R3 debt-paydown receipt-closure wave 1

[briansrls]

Scope

Wave 1 of R3 debt-paydown standing program. Strikes-in-place 9 already-retired post-merge debt rows in ROADMAP.md with leading **RETIRED via #N (date)** — prefixes. ROADMAP-only edits; no source changes (cargo fmt --all --check is a trivial no-op).

Per #2076 brief.

Rows retired (each PR verified MERGED via gh pr view)

Row	Retiring PR	Merged
Stale §-style INVARIANTS.md cross-references	#1795 + #1801 + #1820	2026-05-06
Go branch emission UnknownVariant fabrication	#820	2026-04-26
patch_lower_helpers_generated_type_alias_refinement exact-string patching	#1014	2026-04-27
Emitter as_bind().expect() panic paths	#1548	2026-05-03
?? / % declared but absent from v3 surface	#1552	2026-05-03
F2 — Result / DivError span.file-keyed	#1662	2026-05-04
F5 — service syntax authority vs parser hard-error	#1664	2026-05-04
F11 — Diagnostic taxonomy mirror drift	#1661	2026-05-04
R1 — ?? / % syntax authority deletion regression	#1663	2026-05-04

9 ROADMAP rows retired. Row bodies preserved verbatim — only a leading **RETIRED via #N (date)** — prefix added to each, so audit history is intact.

Skipped (verification did not surface a citable PR # in the row body)

• Loop emission semantic invariant for Python/Go (B5) — row marks RESOLVED 2026-04-27 and cites loop_construction_closure_test.rs as the receipt, but no merge PR # appears in the row body. Escalating to lane Mgr per brief.
• lower_fn_body_into_existing_decl defensive Arrow re-derive — row says symbol gone; no PR cited; row body itself notes "row preserved for receipt audit." Left as-is.

Out of scope (per brief)

• PARTIAL rows (mixed retired + open work) left untouched.
• Debt-section headers themselves not closed.
• No source code changes.

Debt receipt (meta)

This PR retires 9 ROADMAP rows. Wave 1 of the R3 debt-paydown standing program; subsequent waves will tackle PARTIAL rows + per-PR debt-receipt audits + velocity-tripwire readings as separate dispatches.

Test plan

• cargo fmt --all --check — no-op (only ROADMAP.md edited)
• All 11 cited PRs verified state=MERGED via gh pr view
• All 9 row bodies verified to contain the cited PR # before edit

🤖 Generated with Claude Code

[briansrls]

Reviewed (Mgr-tier; can't formal-approve own-author PR). LGTM for standing-authority merge once v3 completes + 30min sit window.

• Diff matches brief: 9 strike-in-place **RETIRED via #N (date)** — prefixes, row bodies preserved verbatim, no source code changes.
• Verification table cites each row + retiring PR + merge date; spot-checked entries merged.
• Skipped rows (B5 loop closure, lower_fn_body_into_existing_decl) correctly escalated; will fold into a wave-1.5 follow-up.
• Per-PR debt-receipt (meta) line present: "This PR retires 9 ROADMAP rows."

No blocking concerns. Merging under standing authority post-CI + sit window.

[briansrls]

Review metadata

• Provider / model: codex / unknown
• Commit: 06e69022 · Trigger: schedule
• Thinking: 84s wall

---

ROADMAP — Verified

• R3 debt-paydown receipt-closure wave 1: The ROADMAP.md changes are docs-only receipt labels that add explicit PR/date retirement provenance to already-closed debt rows without changing active scope or creating new scaffolds.

✅ No blocking concerns.

[briansrls]

Review metadata

• Provider / model: openai-pro / gpt-5-5-pro
• Commit: 06e69022 · Trigger: manual
• Comparison: main @ f86f71bb ... r3-debt-paydown-receipt-closure-wave-1 @ 06e69022
• Conversation: View conversation

---

1. Story of the diff

This PR is a ROADMAP receipt-normalization pass, not a behavior change. It takes debt rows that were already described as resolved/retired and front-loads a uniform closure marker, e.g. RETIRED via #1795 + #1801 + #1820 (2026-05-06) for the stale invariant-reference cleanup at ROADMAP.md:425, RETIRED via #1548 for the emitter as_bind().expect() panic-path closure at ROADMAP.md:556, and individual RETIRED via #1662/#1664/#1661/#1663 markers for the F2/F5/F11/R1 rows at ROADMAP.md:620-624. The load-bearing mechanism is documentation hygiene: the underlying row narratives remain in place, but the closure receipt becomes scan-visible at the start of each row, while still leaving live debt such as F12 untouched at ROADMAP.md:623.

2. Invariant categories

1. LAYER MODEL (substrate vs implementation).

N/A — the diff only edits ROADMAP.md receipt text, e.g. ROADMAP.md:425 and ROADMAP.md:620-624; it does not touch Dag, substrate .dag types, cross-pass carriers, or implementation code.

1. INVARIANTS.md + modeling-discipline.md.

Compliant — P5 / Progress Is Dissolution is handled correctly: each changed debt row now carries an explicit closure receipt at the row head, such as ROADMAP.md:488 for #820, ROADMAP.md:494 for #1014, ROADMAP.md:556 for #1548, and ROADMAP.md:560 for #1552. This does not create a new bridge; it makes already-claimed dissolution easier to audit.

1. CODING.md.

N/A — no Rust implementation, helper shape, API surface, method/function organization, error type, or naming convention is changed. The only edits are prose-row annotations in ROADMAP.md, such as ROADMAP.md:425 and ROADMAP.md:620-624.

1. TESTING.md.

N/A — no executable behavior changes and no new code paths are introduced. A test would not add meaningful signal for this doc-only ledger normalization; the relevant check is whether changed rows name concrete closure receipts, which they do at ROADMAP.md:488, ROADMAP.md:494, ROADMAP.md:556, ROADMAP.md:560, and ROADMAP.md:620-624.

1. LOCKED DESIGN DECISIONS.

N/A — the diff does not alter locked design docs or change a locked design decision. It only records retirement provenance in ROADMAP rows; for example, ROADMAP.md:425 keeps the existing note about intentionally retained out-of-scope design refs rather than changing their design status.

1. TRACKED vs UNTRACKED DEBT.

Compliant — this is tracked-debt closure, not new debt. The changed lines add bounded, named receipts with PR numbers and dates, e.g. ROADMAP.md:425, ROADMAP.md:488, ROADMAP.md:494, ROADMAP.md:556, ROADMAP.md:560, and ROADMAP.md:620-624; no new TODO/scaffold/temporary representation is introduced.

3. Verdict

APPROVE

The PR is a clean receipt-closure sweep over ROADMAP.md: it makes retired debt rows easier to audit without changing substrate, implementation behavior, tests, or locked design commitments. I did not find any diff-anchored invariant violation.