Fix the three nightly/main reds: nfr roster row, live-read doc relink, compile-clean non-exhaustive match — and locate the compile-clean refusal

[gunbai-bot]

What — main-red repair, three reds + one observability fix (scope grew as the reds were pulled; each documented below)

1. non_fold_residue_clean_holds (nightly red 1) — the shell→dag slices landed orch_emit_let_step with a top-level _ => on Expr (one special-cased variant, uniform spelling path for the rest). Dated roster row per the established backfill pattern; burns down with the orchestration-emit fold migration. Masking receipt Remove LLM response caching module #9 (corpus-read witness predict-skipped on the landing PR).
2. doc_graph_has_no_orphan_docs (nightly red 2) — live-read-witness-classification-design.md has only non-bind: inline .dag mentions → zero doc-graph roots. The original fix lost a merge race (Post-sweep cleanups: re-home spice pair under test/claim/ (first EX-row relocation dissolution); fix runner roster paths; link orphaned design docs #6564 squash-merged 5h before the fix commit reached its branch). Re-landed: linked from affected-set-precompute-pruning.md.
3. dag_compile_clean_gate_passes (found when this PR's own CI ran) — main is compile-red: Shell→dag: wire the gunbc converge CLI receiver — stage0 Subcommand gains converge --host <h>, dispatching to the landed converge_apply/ConvergePlan in-process interpreter (#6572) with typed receipts on the byte-locked receipt grammar; green by EXECUTION on a fixture host + discriminating RED (unkno #6598 enumerated HostEffect's then-3 variants in converge_cli_applied_knob_count; Shell→dag P5a: the 7 MECHANICAL srv3 tail files → typed observe/effect rows on host_effect_apply (their dissolution triggers already name this destination; receipt echoes → typed receipts); do NOT delete gunbc.shell_bash_runner.shell_exec_via_bash yet (P5b owns that deletion once no caller remains); #6586 grew the type to 15 on an independent base — green alone, red together (the stale-base interaction class the HELD merge-freshness gate exists for). Fix: the fn asks one question (ConvergePlan knob count, else fallback) → one-special-variant dispatch, not 14 cloned arms. The nfr lens scans param-scrutinee matches only, so this field-scrutinee site is lens-invisible — recorded as a lens-precision note in the roster comment, deliberately no row (a row would be stale; verified by execution).
4. Locate the compile-clean refusal (the reviewed 'WIP' — now scoped and justified): floor_compile_clean_emit_ok returned a bare bool; CI printed receipt ok=false with zero located errors. It now calls the existing eprint_compile_clean_hard_diagnostics helper (§5: a refusal is typed AND located). Receipt: this patch is what found red 3 — before it, the non-exhaustive-match diagnosis was log archaeology. The earlier checkpointer-pushed WIP commits (temp roster instrumentation, since removed) are squashed away; the surviving diff is the two-line diagnostics call + the empty-emit disclosure.

Verification (by execution, this tree)

• non_fold_residue_clean_holds → PASS (zero unrostered, zero stale — the temp instrumentation that proved it is not in the diff)
• doc_graph_has_no_orphan_docs → PASS both trees
• claim_executor floor batch 1 → compile-clean receipt ok=true, PASS dag_compile_clean_gate_passes
• regen_stage0 --verify → regen_divergence_count=0

With this, main returns to zero known corpus reds; the next nightly is the clean M1-confirmation candidate.

🤖 Generated with Claude Code

[gunbai-bot]

Both REQUEST_CHANGES addressed by the force-pushed head 4e0a1b4: the flagged WIP commits were checkpointer auto-pushes of in-progress diagnostic scaffolding (the temp roster instrumentation, including the live: binding one review flagged) — that scaffolding is gone; the surviving hand-Rust is the two-line located-refusal fix, now scoped and receipted in the PR body (it is what found the compile-clean red this PR also fixes: main was compile-red from the #6598×#6586 stale-base interaction). Note on the borrow-check finding: nfr_build_report() returns &'static from a OnceLock, so the flagged binding compiled — but it's moot, the block is removed. — sent from sleek-deer-172