affected-set: record the fenced REAL-fix follow-on (behind resolver-B #6155)

[gunbai-bot]

What

Durably captures the affected-set REAL fix as a discoverable, dispatchable item in docs/plans/affected-set-precompute-pruning.md, so it survives lane wind-down instead of living only in a closed-PR comment + a dangling branch.

Context

PR #6105 (Provenance ingest at CI floor runtime) was closed as not-landable. A floor-repair scout measured its overlay path by execution on the pa_ingest single-witness fixture:

Arm	entry_resolve	typecheck_module	witness_evals	total_resolve_ms
PRESENT (overlay, witness skipped)	6	28	0	3885
RUN-ALL (skip disabled)	1	27	1	2042

Pruning as built is work-neutral theater — it increases resolve+typecheck and only saves the witness EVAL, because the node-frontier skip fires after the witness-entry closure is resolved and floor_runner resolves its closure twice. The #6127 width-1 shard trap in miniature.

The recorded follow-on

• Why Provenance ingest at CI floor runtime: make v2.lens.affected_set node-closure LIVE during the floor pass (host_source_root_ingest_manifest currently Empty) so node-level pruning replaces the Rust diff->declaration / node-touch bridge — the blocker for Step 5 full-deletion in docs/plans/affected-set- #6105 was closed (the measured counts), branch session/quick-carp-343 preserved as harvest.
• Acceptance (c) strengthened per the operator standing rule (2026-07-02): scheduling changes require a before/after resolve+typecheck-COUNT receipt (PRESENT strictly fewer than run-all), not just wall-clock/RSS.
• Two-part real fix: (1) move the skip BEFORE witness-entry resolve; (2) share the 2× duplicate floor_runner closure resolves (M1 walk_memo is the precedent).
• Fence: behind resolver-B resolver-pathology-B1: compositional build_type_env — kill the whole-ancestry-per-module quadratic (src/v1/04_infer.dag), before/after wall receipts #6155 — landing pruning on the current quadratic resolve would multiply the work resolver-pathology-B1: compositional build_type_env — kill the whole-ancestry-per-module quadratic (src/v1/04_infer.dag), before/after wall receipts #6155 is deleting.

Doc-only; no code/.dag/gate surface. Revert-trivial.

🤖 Generated with Claude Code