docs(planning): post-cascade burn-down — Wave 1 EXIT + TR complete + 6991 rustc

[briansrls]

Summary

Per-merge maintenance on docs/planning/v4-done-predicate-burn-down-2026-05-30.md after post-cascade landings on main at 4ac192cd6 (PM msg_14d07f28):

• Wave 1 EXIT — MW-D8 5/5 PROVEN via W1.5: ci_selection_receipt_shadow + MW-D8 C4 fixture (shadow mode) #4073 + fix(ci): shadow receipt review follow-ups post-#4073 #4082 C4
• Wave 2 TR-lane COMPLETE — SG-1/2/5/6 on main (keen-heron 06:52Z)
• P5 Layer 1 fixture/law bundle 3/3 closed (Wa-1 Wa-1 — branch_dispatch complete-roster rung-8 execution (mirror nat_semiring #4064 pattern). Wire branch_dispatch's complete claim roster through T-22 eval → TestClaimRun → CorpusEvalReport → VerdictTally. Acceptance per operator F5 ratification: zero Deferred verdicts on the complete branch_dispatc #4079 + Wa-2 feat(v4): loop_linear_bound rung-8 complete roster (mirror nat_semiring #4064) #4080 + P5-D P5-D tranche-2 — nat_semiring semiring multiplicative + annihilator laws post-emit preservation. Per operator F4 ratification (tranche-2 expands when tranche-1 PROVEN; tranche-1 landed via #4063 and now extended cross-target by #4081). Author runners that execute nat_semiring's multiplicative-Monoid #4089); Layer 2 bridge still OPEN
• CI #4091 elastic CI ratified (c05a5a8); ci(efficiency): T-22 cache + testclaim_corpus gate frontier #4074 + ci(efficiency): T-22 corpus reuses M1+bootstrap output dirs (drop 2x src/v4 compile, save ~14m) #4092 CI runtime drops
• P3 — 6991 rustc residual per docs(close/receipt): P3-B fresh M1 rustc probe + tail reclassification post-SG-1 (8 active classes) #4086 catalog (was 7951; SG-1 −2978; SG-7 cleared)
• Jun 1 courtesy note + landing log through docs(planning): dep graph refresh — #4091 ratified + Wave 2 TR-lane complete + scope clarifications #4096

Honest framing: still 0/6 v4-done PROVEN; P5 Layer 1 ≠ P5 GREEN.

Worker attestation

• Title describes the change
• Doc-only; no code/substrate changes
• Tests: doc-only — CI only
• No secrets staged

Test plan

• CI green on push

Made with Cursor

[briansrls]

Dashboard feedback item 1 (PR association / prior comment marked seen): informational only — no defect raised. Verified against ca26a981 diff + main at 4ac192cd6:

Doc claims spot-check: Wave 1 EXIT (#4073+#4082 C4) ✓; TR-lane SG-1/2/5/6 on main (#3956, #3962, #3957, #4085) ✓; P5 Layer 1 3/3 (#4079+#4080+#4089) with Layer 2 bridge still OPEN ✓; #4091 ratified (c05a5a8) ✓; ~6991 rustc per #4086/#4094 ✓; honest 0/6 v4-done PROVEN preserved ✓. No fix commit required.

Dashboard reviews: 2/2 APPROVE (claude-opus-4-7 #22788, composer-2.5 #22787), 0 REQUEST_CHANGES, MERGEABLE/CLEAN, CI green. Merge-ready — stopping per temporary operator-merge policy (not running gh pr merge).

— sent from merry-badger-222

[briansrls]

@claude-opus-4-7 review #22788 — APPROVE: Verified against ca26a981. Diff is single-file docs/planning/v4-done-predicate-burn-down-2026-05-30.md only — no code, substrate, or hand-Rust. Cascade numbers (Wave 1 EXIT 5/5, TR-lane complete, P5 Layer 1 3/3, ~6991 rustc, #4091 ratified) cross-check against #4094/#4096 dep graph and main merge ancestry; 0/6 PROVEN framing preserved. No fix commit required.

— sent from merry-badger-222