wrap_decision: enroll UseSiteVerdict carrier and close ownership-gate follow-on

[gunbai-bot]

Summary

• Completes the #6776 follow-on after #6775 routed 06_translate through wrap_decision_gate: enrolls UseSiteVerdict in the SG-RC ownership catalog with owned-at-all-sites rows (return/param/binding), so the v2 translate path has a typed wrap decision instead of falling through to the v1 shared_types silent-Rc fail-open.
• Extends wrap_decision_predicate_test.dag with UseSiteVerdict witnesses (param + return both WrapByValue).
• Updates frontier_band_a_emit_readiness and the use_site_verdict behavioral transport finding to record that the ownership construction predicate landed; frontier flip for parse_engine_hooks / discovery_enumeration remains gated on rustc-green receipts + Track B body emit.

Context

Step	Status
wrap_decision_gate predicate + witnesses	#6776
06_translate rewire	#6775
UseSiteVerdict catalog enrollment	this PR
v1 shared_types retirement on gunbc compile	deferred to v1 delete (S3)
Band A frontier flip	separate (behavioral receipts)

Test plan

• gunbc run --claim-run --source-root dag --source-root src/v2 --entry src/v2/test/claim/wrap_decision_predicate_test.dag --function wrap_decision_predicate_witness_holds — EXIT 0
• gunbc run --claim-run --source-root dag --source-root src/v2 --entry src/v2/test/claim/wrap_decision_gate_smoke_test.dag --function wrap_decision_gate_smoke_bundle_absent_inapplicable — EXIT 0
• gunbc run --claim-run --source-root dag --source-root src/v2 --entry src/v2/test/claim/self_host/compiler_frontier_census_test.dag --function compiler_frontier_band_a_emit_readiness_roster_holds — EXIT 0

Made with Cursor

[gunbai-bot]

Verified review 39723 (claude-opus-4-7 APPROVE) against current HEAD eae5b27:

• target_carrier_use_site_verdict_node() in target_model.dag ✓
• Three ReferenceLayerOwned catalog rows (return/param/binding) + "UseSiteVerdict" binding spelling in rust.dag ✓
• Witnesses wrap_decision_use_site_verdict_param_is_owned / _return_is_owned wired into wrap_decision_predicate_witness_holds ✓
• frontier_band_a_emit_readiness note + ssuv_ownership_rc_default_fail_open_finding superseded text ✓

No code changes requested; no fix commit needed for this review.

Merge readiness (re-eval): 1/2 distinct dashboard approvals (claude only), CI build still pending, mergeable=MERGEABLE, no REQUEST_CHANGES. Waiting on second approval provider + green CI before stopping work per merge policy.

— sent from jolly-swift-614

[gunbai-bot]

Verified review 39725 (cursor/composer-2.5 APPROVE) against HEAD eae5b27 — all claims hold:

• UseSiteVerdict enrolled in rust_sg_rc_use_site_ownership_catalog with owned-at-all-sites rows (return/param/binding) ✓
• target_carrier_use_site_verdict_node() + "UseSiteVerdict" binding spelling ✓
• Witnesses in wrap_decision_predicate_test.dag ✓
• Doc strings mark ownership-gate blocker superseded; frontier flips still gated on behavioral receipts + Track B body emit ✓
• Same carrier-enrollment pattern as ProbeHeap/Diagnostics; no hand-Rust or shell ✓

No code changes requested; no fix commit needed.

Merge readiness (re-eval): 2/2 distinct dashboard approvals (claude, cursor), no REQUEST_CHANGES, mergeable=MERGEABLE. build check green; ci workflow job still in progress on this run — waiting for full CI green before stopping per merge policy.

— sent from jolly-swift-614

[gunbai-bot]

Verified review 39768 (cursor/composer-2.5 APPROVE) against branch content at 2ddd99fdec (substantive commit; HEAD e487e0ba44 is empty re-dispatch only, same tree):

• UseSiteVerdict enrolled in rust_sg_rc_use_site_ownership_catalog with owned-at-all-sites rows (return/param/binding) ✓
• target_carrier_use_site_verdict_node() + "UseSiteVerdict" binding spelling in rust.dag ✓
• wrap_decision_predicate_test.dag param/return witnesses wired into aggregate ✓
• Doc/frontier notes mark ownership-gate superseded; Band A flips still gated on behavioral receipts + Track B body emit ✓
• No hand-Rust, no parallel authorities; follows existing catalog pattern ✓

No findings requested; no fix commit.

Merge readiness: 1/2 fresh dashboard approvals (cursor 39768 on substantive SHA; claude stale pending operator manual trigger per manager). mergeable=MERGEABLE, build green, ci pending. Not at bar yet.

— sent from jolly-swift-614

[gunbai-bot]

Verified review 39774 (claude-opus-4-7 APPROVE) on HEAD e487e0ba44:

• target_carrier_use_site_verdict_node() mirrors probe_heap carrier pattern ✓
• Three owned-at-all-sites catalog rows + binding spelling in rust.dag ✓
• wrap_decision_predicate_test.dag param/return witnesses in aggregate ✓
• Design/notes updated — ownership-gate fail-open closed via emit: Rc/Optional coherence (symptoms 2/3; symptom-1 wrap gated on #6776) #6775/Add wrap_decision_gate predicate for fail-closed Rc ownership wrapping #6776 ✓
• No unit-modeling, medium-as-string, or fail-open concerns in diff ✓

No findings requested; no fix commit.

Merge readiness: 2/2 distinct dashboard approvals (claude 39774 on e487e0ba44, cursor 39768), 0 REQUEST_CHANGES, mergeable=MERGEABLE. build green; ci job still pending — waiting for full CI green before STOP per merge policy.

— sent from jolly-swift-614