Requirement health
arkadiuss/openfief main 9fe0ab8364ed

Requirement health · main

Intent to proof,
without the gaps.

Kibi compiles product intent into an inspectable chain of semantics, scenarios, implementation ownership, end-to-end tests, and fresh evidence.

0%
Tested end to end
0 of 322 current requirements fully tested end-to-end

Kibi only counts a requirement when every required proof gate passes.

Intent → proof

Where proof stops

Counts are sequential. Each drop is the earliest unmet gate, so a strict score never looks like a broken report. Select a gate to inspect those requirements.

Requirements322
Proved by certificate0
Tested end to end0
Asserted, no current test128
Unverified194
Below evidence floor0
Pending re-proof0
Stale E2E evidence0
Missing scenarios124
Requirements without implementation62
Unmapped production symbols0
Contradictions0

Proof ledger

Requirements

Each row shows independent proof stages. Missing knowledge remains visible instead of being inferred as success.

Needs attention
  • Semantic model .kb/facts/FACT-PROP-2B3582BA05FB6B0D.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-A373F3C36ED8D806.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-B7976F5DAC647953.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-1D04B43DEDD01BD1.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-080C4BA4F1B2F816.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-AC0DD96EF7064185.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-FD8F39E3C7811DF8.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-F2C46FEEDCD7610F.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-0C641A2167D22CAB.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-E228CD59A42BE9FC.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-ECE6DD1915BBB026.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
  • Semantic model .kb/facts/FACT-PROP-3E2618C1EA1BC3A3.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-576CBD983068F350.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-2539037CB1AA40BD.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-481A47825EF0C57C.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-0B9C99281442D729.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-FD3CB139705E27A1.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-28A3EA47848AAE17.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-54B308ABBC4511C2.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-C72A14F0685D6B58.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-3F425E9EE575DAD4.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-95A8EBD08C121C3C.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-CF40E2FBDBF8E99C.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
  • Semantic model .kb/facts/FACT-PROP-5C1F2C979A167B34.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
3 proof gaps
  • Missing Passing E2e
  • Missing Proof Receipt
  • Missing Production Symbol Coverage
Needs attention
3 proof gaps
  • Missing Passing E2e
  • Missing Proof Receipt
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-58BD0C472CFA160C.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-3BB090089DE580EC.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-B75AECE3789CB9F9.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-8737F3C0AB61B72D.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-BFB6F8D239C3B7D2.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-EA32161D7003E2CB.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-5B8983633DE6EAAE.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-B6E167175DEB2812.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-312799058FA4FBB2.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-20C72896D40BAF42.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-B8222597829A5A58.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-74D4AA91BCC360D2.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-8D2F7FF064A4DDDD.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-83384CB4ED0B72AC.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-78A60F5961E7D837.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
  • Semantic model .kb/facts/FACT-PROP-8C6FC3045E333330.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-1311270421025B58.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-EEBC4E6283EBC964.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-5DAB8B49C482120E.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
3 proof gaps
  • Missing Passing E2e
  • Missing Proof Receipt
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-F1A73B5F25DA362E.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-C649D77283FD356E.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Proof Receipt
  • Missing Production Symbol
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-ABA1FAFE9F9CC8FF.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
  • Semantic model .kb/facts/FACT-PROP-8FC50A3A7622EE2C.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-75FA196DDD1B73A8.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-2CDD39C7B602EA48.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-0586BDDB5DC4FF1F.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-D60934BF06444D9C.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
  • Semantic model .kb/facts/FACT-PROP-CF4B222B4E769C4A.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-EF2510694DAEC3EA.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
  • Semantic model .kb/facts/FACT-PROP-8937EBA1D6F57526.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-D9F9812D9DC3FE58.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-011C72EF3E18094A.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-CC897825B9C20A83.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
  • Semantic model .kb/facts/FACT-PROP-4317F36482E3CC9E.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-8D72E183F764E908.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-CED460FF888B624D.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-AF7A7A36B38036B2.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
  • Semantic model .kb/facts/FACT-PROP-25298B4ECE4E4D0C.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-28EFDBC47B0FA695.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-03AD0BAB8B39A991.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-47564F9B895EFE81.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-F8DAC6F37A560B67.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
  • Semantic model .kb/facts/FACT-PROP-5FE79668F4A908AA.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-18477697F3B620B8.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-EBAE49B1175D654F.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
  • Semantic model .kb/facts/FACT-PROP-D733C79725F0C7A1.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
  • Semantic model .kb/facts/FACT-PROP-03D2204F3E02E576.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
  • Semantic model .kb/facts/FACT-PROP-79730D6EA2535D1B.md
  • Scenario Missing requirement scenario
  • Implementation No production symbol ownership
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol
Needs attention
  • Semantic model .kb/facts/FACT-PROP-C0E6F10714BE8A60.md
  • Scenario Missing requirement scenario
  • Implementation Ownership present; proof coverage is incomplete
  • E2E test No scenario-backed end-to-end test
  • Evidence No fresh passing E2E receipt
3 proof gaps
  • Missing Scenario
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
Needs attention
2 proof gaps
  • Missing Passing E2e
  • Missing Production Symbol Coverage
No requirements match this view.