Proof Portal

Requirements by verification rigor (A highest → E lowest, inspired by DO-178C). A distribution of requirements — not a count of checks; the rows sum to the total requirement count.

Level B — High rigor20 / 12316%

Level E — Minimal rigor103 / 12384%

Traceability

Meets verification policy123 / 123100%

every requirement has the evidence its policy requires

Required gaps0

no required trace link is missing

Audit checks

Checks passing167 / 18789%

6 skipped

Errors0

must resolve

Warnings9

Advisory2

informational, non-gating

View all checks

Open findings by severity

Open findings needing attention in this run · 11 resolved not shown

No findings recorded.

Check highlightsAll 187 checks

Checks reporting issues or not passing in this run

Mediumspec_lint_acceptance_review_current7

lint-acceptance-review-current: 7 issue(s)

Mediumspec_lint_formalization_quality1

lint-formalization-quality: 1 issue(s)

Mediumacceptance_criteria_witnessed

15 testable acceptance criteria lack an acceptance-test witness across 7 stakeholder req(s) (0 witnessed via direct acceptance test)

Mediumacceptance_witness_quality

15 acceptance tag(s) sit on a unit/integration test of a derived requirement — a tag is not PoC-quality acceptance evidence

Mediumcode_mcdc_coverage

code-level MC/DC below policy (aggregate decisions 61.1% < 100%, aggregate conditions 63.6% < 100%, parser decisions 61.1% < 100%, parser conditions 63.6% < 100%)

Mediumobligation_enforcement_backed

4 cataloged obligation(s) on 4 requirement(s) lack signal-rule and evidence backing (silent no-ops)

FindingsIssue catalogue

RequirementsMap & obligations

TimelineChanges, defects & activity

DocumentsReports & specs