This issue is the machine-checkable finish line for the goal audit-simard-s-test-coverage-and-raise-it-to-70-4d27c91a ("Audit Simard's test coverage and raise it to >70% line coverage").
It is CLOSED only when every box below is checked, and it must be closed by the final audit-complete pull request (Closes #4616), so the goal's completion gate observes both a merged PR and a closed issue on the same merge.
Canonical criteria: Specs/COVERAGE_AUDIT.md §2 (done) and §3 (deterministic next-target procedure). Companion ledger: docs/testing/COVERAGE_BASELINE.md.
Reproduce (the evidence — §3.1)
cargo llvm-cov --no-fail-fast --summary-only
Close-when — all must hold (§2)
Scope
The simard crate + sibling simard-* crates in rysweet/Simard only (§1). amplihack-rs (#1735 / #1937) is a different repository and out of scope. Do not convert .github/workflows/coverage.yml into a blocking CI gate (§4).
Filed as the acceptance-anchor done-gate during Overseer escalation triage of the stalled coverage goal (see prompt_assets/simard/overseer/escalation_triage.md). Closing this issue by hand does not complete the goal — it must be closed by the merged audit-complete PR so the completion gate certifies it.
This issue is the machine-checkable finish line for the goal
audit-simard-s-test-coverage-and-raise-it-to-70-4d27c91a("Audit Simard's test coverage and raise it to >70% line coverage").It is CLOSED only when every box below is checked, and it must be closed by the final audit-complete pull request (
Closes #4616), so the goal's completion gate observes both a merged PR and a closed issue on the same merge.Canonical criteria:
Specs/COVERAGE_AUDIT.md§2 (done) and §3 (deterministic next-target procedure). Companion ledger:docs/testing/COVERAGE_BASELINE.md.Reproduce (the evidence — §3.1)
Close-when — all must hold (§2)
docs/testing/COVERAGE_BASELINE.mdshows a landed post-lift aggregate ≥ 70% line coverage (or a recorded, justified exception).src/file that is both high-risk (per the §3 risk list) and below 70% with more than 50 executable lines.cargo llvm-covtable proving the above is attached to the closing PR, and the ledger records the whole-audit DONE verdict.Scope
The
simardcrate + siblingsimard-*crates inrysweet/Simardonly (§1).amplihack-rs(#1735 / #1937) is a different repository and out of scope. Do not convert.github/workflows/coverage.ymlinto a blocking CI gate (§4).Filed as the acceptance-anchor done-gate during Overseer escalation triage of the stalled coverage goal (see
prompt_assets/simard/overseer/escalation_triage.md). Closing this issue by hand does not complete the goal — it must be closed by the merged audit-complete PR so the completion gate certifies it.