Skip to content

build/20260610 093522/0044 per requirement coverage map#135

Merged
cahenesy merged 19 commits into
masterfrom
build/20260610-093522/0044-per-requirement-coverage-map
Jun 10, 2026
Merged

build/20260610 093522/0044 per requirement coverage map#135
cahenesy merged 19 commits into
masterfrom
build/20260610-093522/0044-per-requirement-coverage-map

Conversation

@cahenesy

Copy link
Copy Markdown
Owner
  • test(failing): review prompt carries the FR-78 per-requirement coverage-map section (TDD 0044 §1)
  • step(1): add the FR-78 per-requirement coverage-map section to review-prompt.md (TDD 0044 §1)
  • test(failing): coverage_map_block extraction + coverage_map_normalize anti-false-green downgrades (TDD 0044 §2)
  • step(2): add coverage_map_block + coverage_map_normalize extractors to gates.sh (TDD 0044 §2, FR-78)
  • test(failing): write_coverage_report rendering + idempotent replace + unavailable/degraded paths + clear-path wiring (TDD 0044 §3)
  • step(3): add write_coverage_report + wire it into the consolidated-review clear path (TDD 0044 §3, FR-78)
  • test(failing): _pr_coverage_pointer PR-comment pointer, best-effort degradation, three create sites (TDD 0044 §4)
  • step(4): post the FR-78 coverage-map PR pointer at the three gh-pr-create sites (TDD 0044 §4)
  • test(failing): aggregator AND-chain goes non-zero when the coverage-map eval fails (TDD 0044 §5, TDD 0038 §3 wire-in rule)
  • chore: bump plugin 3.25.0 -> 3.26.0 (TDD 0044 per-requirement coverage map)
  • step(5): register the coverage-map eval in the CI aggregator + doc the report's coverage section (TDD 0044 §5, FR-78)
  • docs(tdd): backtick Touched-files paths in 0044–0047 (fix false structural-(a))
  • docs(tdd): reconcile 0044 diff-size estimates to real build sizes (fix structural-(b))
  • rework: add -- option terminator to both grep -qxF membership checks in coverage map
  • rework: add option-shaped regression fixtures guarding both grep -qxF -- terminators
  • docs(tdd): add 0048 — touched-files path-parse robustness (gap-closure)
  • docs(tdd): reconcile 0044 gates.sh estimate to observed (235); unblock 3.24.0 resume
  • rework: serialize write_coverage_report's report.md RMW under --parallel (mkdir lock + per-subshell temp name)
  • mark 0044-per-requirement-coverage-map implemented (verified + reviewed)

cahenesy and others added 18 commits June 10, 2026 10:21
…ge-map section (TDD 0044 §1)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…-prompt.md (TDD 0044 §1)

Instructs the consolidated final review pass (discriminated by the
pre-extracted diff-vs-narrative facts block) to emit a
COVERAGE_MAP_BEGIN..COVERAGE_MAP_END block — one COVERAGE: line per in-scope
requirement from the TDD's traceability table, status enum
pinned/proposed/justified-no-surface/unverified-gap, pinned requiring a cited
asserting test from the scoped diff (ADR 0006), advisory framing above and
separate from REVIEW_RESULT (ADR 0005 — gates keep flip authority).

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
… anti-false-green downgrades (TDD 0044 §2)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…o gates.sh (TDD 0044 §2, FR-78)

coverage_map_block: awk-range extraction strictly between the
COVERAGE_MAP_BEGIN/END fences, last complete block wins, missing block or
unreadable log degrades to empty + rc 0 (report-only). coverage_map_normalize:
TSV rows with the status enum validated and BOTH model-independent
anti-false-green downgrades — pinned-without-citation (citation shape) and
pinned-citation-not-in-diff (runner-derived git diff --name-only presence).

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
… unavailable/degraded paths + clear-path wiring (TDD 0044 §3)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…view clear path (TDD 0044 §3, FR-78)

write_coverage_report re-derives the scoped-diff file list (git diff
--name-only base..head), normalizes the review's COVERAGE_MAP block against
it, filters rows to the TDD's traceability-table domain (unlisted ids dropped
with a visible note), and appends a per-slug '## Per-requirement coverage'
section to report.md with the mandatory advisory legend — idempotent per-slug
replace on resume, explicit 'coverage map unavailable' on a missing block
(NFR-4), warn-and-continue on every failure, always rc 0 (report-only,
ADR 0005). _rework_loop calls it once on the genuinely-clear path, before the
flip/PR step.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…egradation, three create sites (TDD 0044 §4)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…eate sites (TDD 0044 §4)

_pr_coverage_pointer (shared by the sequential / combined / parallel create
sites) posts a one-line PR comment naming the run report's '## Per-requirement
coverage' section after a successful gh pr create --fill — purely additive,
the --fill body untouched. Best-effort: a failed gh pr comment warns into the
gate log and returns 0 (the map still lives in report.md; only the PR
convenience pointer is lost — the one accepted degradation).

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…ap eval fails (TDD 0044 §5, TDD 0038 §3 wire-in rule)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…e map)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…e report's coverage section (TDD 0044 §5, FR-78)

Wire-in adds the CMAP_FAIL accumulator to the aggregator's final AND-chain
(new gating behavior per the TDD 0038 §3 rule — driven red→green by the
eval's §W dogfood). SKILL.md's run-completion section now names the
'## Per-requirement coverage' report section and its advisory framing
(gap = human-review finding, never an automatic flip-blocker; PR pointer
comment).

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…in coverage map

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
… -- terminators

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…lel (mkdir lock + per-subshell temp name)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Base automatically changed from build/20260610-093522/0043-rework-on-build-model to master June 10, 2026 20:38
@cahenesy cahenesy merged commit b54258d into master Jun 10, 2026
1 check passed
@cahenesy cahenesy deleted the build/20260610-093522/0044-per-requirement-coverage-map branch June 10, 2026 20:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant