Location
ARCHITECTURE.md (states "148 tests: 100 unit + 46 integration + 2 doc"), DO178C_ALIGNMENT.md (states "140 tests" in two places), SAFETY_MANUAL.md (changelog entry states "140 tests").
Problem
Running the actual test suite at HEAD (cargo test --lib, --all-targets/integration, and --doc) gives 107 unit + 46 integration + 2 doc = 155 tests total, all passing. None of the three documents agree with this or with each other: ARCHITECTURE.md claims 148 total (and specifically 100 unit, vs the actual 107), while DO178C_ALIGNMENT.md and SAFETY_MANUAL.md both claim 140. For safety documentation that's meant to be evidence of verification coverage, having three different wrong counts undermines confidence in the rest of the document set.
Suggested fix
Derive the test count from actual cargo test output (e.g., in CI) and template it into the docs rather than hand-maintaining a static number, so the figures can't drift out of sync with the real suite again.
Filed from the 2026-07-29 ecosystem audit register; independently re-verified against current HEAD before filing.
Location
ARCHITECTURE.md(states "148 tests: 100 unit + 46 integration + 2 doc"),DO178C_ALIGNMENT.md(states "140 tests" in two places),SAFETY_MANUAL.md(changelog entry states "140 tests").Problem
Running the actual test suite at HEAD (
cargo test --lib,--all-targets/integration, and--doc) gives 107 unit + 46 integration + 2 doc = 155 tests total, all passing. None of the three documents agree with this or with each other: ARCHITECTURE.md claims 148 total (and specifically 100 unit, vs the actual 107), while DO178C_ALIGNMENT.md and SAFETY_MANUAL.md both claim 140. For safety documentation that's meant to be evidence of verification coverage, having three different wrong counts undermines confidence in the rest of the document set.Suggested fix
Derive the test count from actual
cargo testoutput (e.g., in CI) and template it into the docs rather than hand-maintaining a static number, so the figures can't drift out of sync with the real suite again.Filed from the 2026-07-29 ecosystem audit register; independently re-verified against current HEAD before filing.