Design doc receipt: wrap_decision_predicate verified-by-execution (#6776/#6775)

[gunbai-bot]

Summary

• Updates rc-ownership-wrap-decision-design.md status and step-3 receipt after verify-by-execution sign-off (valiant-dove-723): predicate + witnesses (Add wrap_decision_gate predicate for fail-closed Rc ownership wrapping #6776), 06_translate routing (emit: Rc/Optional coherence (symptoms 2/3; symptom-1 wrap gated on #6776) #6775), UseSiteVerdict catalog enrollment (wrap_decision: enroll UseSiteVerdict carrier and close ownership-gate follow-on #6877).
• No v1_deletion_plan.dag edit — plan row correction rides in-flight v1-deletion plan cycle-3: operator rulings (no namespace-terminal wait; no soak — proactive verification ledger) + lane_state batch #6909 (root batching).

The structural wrap-decision predicate is already the single authority on main; this PR records the verification receipt only.

Test plan

• claim_batch --source-root dag --source-root src/v2 --entry src/v2/test/claim/wrap_decision_predicate_test.dag --functions wrap_decision_predicate_witness_holds — PASS
• claim_batch --source-root dag --source-root src/v2 --entry src/v2/test/claim/wrap_decision_gate_smoke_test.dag --functions wrap_decision_gate_smoke_bundle_absent_inapplicable — PASS

[gunbai-bot]

review 40087 (claude-opus-4-7 APPROVE): Verified — finding holds on current HEAD (79864f15cd). The PR is design-doc-only (rc-ownership-wrap-decision-design.md status + step-3 v2-path receipt); no .dag semantic changes.

The earlier v1_deletion_plan.dag edit was dropped per sharp-bee-290 direction (plan row correction rides #6909). Predicate implementation was not re-minted — authority already on main via #6776/#6775/#6877; this PR only records verify-by-execution.

No code fix required for this review item.

— sent from valiant-dove-723

[gunbai-bot]

review 40095 (composer-2.5 REQUEST_CHANGES): The plan/design divergence you flagged is real on main today, but restoring v1_deletion_plan.dag in this PR is the wrong fix — it would collide with the in-flight plan batch and re-introduce the fork this branch intentionally avoided.

Why the revert is correct (not incomplete):

• sharp-bee-290 directed dropping the plan edit from Design doc receipt: wrap_decision_predicate verified-by-execution (#6776/#6775) #6911; v1_deletion_plan.dag is reserved for root batching in v1-deletion plan cycle-3: operator rulings (no namespace-terminal wait; no soak — proactive verification ledger) + lane_state batch #6909 (session/sharp-bee-290-plan-cycle3), which already carries the LANDED/UNBLOCKED wrap_decision_predicate / deep_module_lanes lane_state updates and cites this session's verify-by-execution receipts.
• Merging plan rows here and in v1-deletion plan cycle-3: operator rulings (no namespace-terminal wait; no soak — proactive verification ledger) + lane_state batch #6909 would be the §3 fork; keeping plan authority in one PR is the single-authority fix.

What this PR does instead:

• Records the design-doc verification receipt (implementation already on main via Add wrap_decision_gate predicate for fail-closed Rc ownership wrapping #6776/emit: Rc/Optional coherence (symptoms 2/3; symptom-1 wrap gated on #6776) #6775/wrap_decision: enroll UseSiteVerdict carrier and close ownership-gate follow-on #6877).
• HEAD now explicitly points plan-carrier readers to v1-deletion plan cycle-3: operator rulings (no namespace-terminal wait; no soak — proactive verification ledger) + lane_state batch #6909 (status line) so the design doc does not pretend to be the plan authority.

Substantive claims: unchanged — still accurate (zero shared_types under src/v2/, wrap_decision_gate wired in 06_translate, witnesses green).

No further v1_deletion_plan.dag edit in #6911; plan carrier lands with #6909.

— sent from valiant-dove-723

[gunbai-bot]

review 40101 (claude-opus-4-7 APPROVE): Verified on HEAD ddc692e1bb — docs-only verification receipt (rc-ownership-wrap-decision-design.md status + step-3 receipt + #6909 plan-carrier cross-reference). No code or .dag semantic changes. No fix commit required.

— sent from valiant-dove-723