Retire the closed-PR recovery census: every LiveWork row has landed on main

[gunbai-bot]

Retires gunbc.plans.v2_closed_pr_recovery by its own dissolution condition: "Delete this census when every LiveWork row has landed as revival work on main or been row-edited to DeadWork, so the closeout reading is no longer the reference for unrevived closed PRs." The last LiveWork row (#13378/#13392) landed as #13778 (cbe0a877ecf).

The closeout reading: 19 of 19 LiveWork rows landed

How each row was joined:

• The join key is the row's own closed PR numbers, matched against every PR merged since 2026-10-10 (138 PRs).
• v1 closeout mega branch #13641, the v1 closeout mega branch that cites every row, is excluded.
• Each match was read for a revival statement ("re-derives", or a row disposition), not just a mention.
• Every merge commit is an ancestor of main cbe0a877ecf, and no revert of it follows on main.

Census row (closed PRs)	Revival on main	Merge commit
13097 G1 belt cutover	#13690	dd786baf74
13217/13339/13639 Deployment-risk D2	#13688 (1/4); #13723 (the layer-2 continuation: #13722 closed as wrong-branch, work moved to sleek-ferret-468/d2-l2); #13726 (layer 4); #13729 (layer 4b); #13744 (colocated non-holder admit)	982222d989 c6a38b4b77 d0d441f487 858eec3abf af06e1bff6
13252 mtcollins1 runner offer	#13692	fa11f3aae4
13265 type parameters bind only inside their declaration	#13698 (Rule A': v2 already refuses at resolve; pinned with a sibling red, no code carried)	a9be5efd21
13330/13488 derived-node identity, nested optionality	#13696	0eefa98974
13377 qualify Cardinality/Optional	#13711 (renames the arm to Occupancy)	1ed90d96ab
13378/13392 from_code_point + git fixture	#13778	cbe0a877ec
13382/13383/13411 accepting wildcards	#13694	d37a68a4d0
13390 RFC 3986 percent-encoding	#13730	aa83993fa0
13391 product value at a kernel-scalar type	#13742	57d55bc989
13399 bottom seam to std.error_primitives	#13686	3ee2abcf4d
13420 managed-host fan/KVM	#13689	d853aec2ec
13426 foreign lexers	#13760	a5dac32687
13430/13638/13284 XL-2 templates and concat	#13693 (PR1); #13725 (PR2)	acc218340e 5e8b1eb069
13475 empty [] vs List	#13698 (v2 never types Empty/[]; the residual is a declared red)	a9be5efd21
13541 retire v2.std.algebra filter/any	#13728	127b6fbde5
13558/13623 N7 payload binders, untyped lambdas	#13698	a9be5efd21
13578 hosted OpenAI-compat classifier	#13687	4c7854389f
13642 quoted record-key brace	#13760	a5dac32687

The DeadWork rows (6, covering 25 closed PRs) needed nothing; the operator's 2026-10-10 ruling put them out of scope.

Consumers, enumerated before deleting (DESIGN §3, a root outside the gate)

Every committed file naming the census, by git grep on main:

• dag/gunbc/plans/v2_closed_pr_recovery.dag: deleted.
• dag/test/claim/plans/v2_closed_pr_recovery_witness.dag: deleted. It is the census's own witness.
• dag/gunbc/plan_registry_batch_g.dag: import and list entry removed. No claim counts the registry.
• dag/gunbc/roadmap/roadmap_authority.dag: the parked-context link to the projection is removed.
• .gitignore (generated): the /docs/plans/v2-closed-pr-recovery.md line follows by regeneration, not by hand.

Receipts

• Regeneration, not a hand edit. The .gitignore line comes from the generator: gunbc.instruments.generated_artifact_gate main_wet_one --arg path=.gitignore, run at 678628cd8ec on srv1, exit 0.
  • Its only change is the removal of /docs/plans/v2-closed-pr-recovery.md.
  • Main's .gitignore is unchanged between cbe0a877ecf and ab9bcd5778d, and the generator's output differs from the merged tree by exactly that line. It is committed as ed56a846278.
  • The PR's heal job does not regenerate .gitignore (heal covers stage0 mirrors and seed-build artifacts), which is why heal passed without a commit.
• Merge of main (f55910c96b5, a merge commit): Retire v2.std.algebra: list ops to std.algebra, node folds to v2.std.node #13860 had renamed v2.std.algebra to std.algebra in one census row's subject text. The deletion is kept. No row's standing or count changed, and a re-grep of the merged tree finds no reference to the census except the generated line above.
• Whole-corpus census (srv1, gunbc compile --target dag over dag + src/v2), at the PR's source change 678628cd8ec vs its base main cbe0a877ecf:
  • 114 blocking on both sides, an IDENTICAL error set (0 new, 0 gone);
  • advisories 47042 -> 47041 (the one advisory inside the deleted module).
  • The merge with ab9bcd5778d (Retire v2.std.algebra: list ops to std.algebra, node folds to v2.std.node #13860) touches none of the deleted or edited files except the census row text above.
• v2 native census (census-infer src/v2 with the emitted v2 compiler of each side), same pair of trees: identical.
  • 1699 module outcomes per side with no difference (55 inferred, 129 infer-refused, 1497 resolve-refused);
  • 18 file refusals per side, identical by path and reason;
  • residual 80844 on both sides.
  • The deleted modules are under dag/, outside the src/v2 root population.
• Final head 89d92fec822 (after the second merge of main: Cross-tree migration 1: v2.std.live_tree -> std.live_tree #13837 rewrote the deleted witness's import): witnesses run 38396852186 PASS, heal run 38396852310 PASS; cursor review 79384 APPROVE at this head; side-chat APPROVE to land at this exact head.

🤖 Generated with Claude Code