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 passing164 / 18788%

6 skipped

Errors0

must resolve

Warnings12

Advisory2

informational, non-gating

View all checks

Open findings by severity

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

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

Mediumauthored_delta_expected

2 traced production implementation files lacked current no-authored-change review

Mediumchange_evidence_complete

2 in-branch-changed change-typed reviews lack the backing evidence their declared change kind requires (refactor: no-authored-change; fix: a resolvable DEFECT; feature: a feature LocalChange + spec update)

FindingsIssue catalogue

RequirementsMap & obligations

TimelineChanges, defects & activity

DocumentsReports & specs