R3 gate #90: lens_enforcement_carrier_landed (T-Lens-Application-Surface)

[briansrls]

Auto-opened by session-dashboard for session snappy-moth-381.
Pushing to session/snappy-moth-381 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

• Title describes the change (not the session id or branch).
• PR body summarises what and why (replace the TODO below).
• Tests run: name the command (e.g. npm test, cargo test) and the result.
• If this closes a work item, the body contains a Closes #N directive.
• No commits on this branch are surprises (no fork/cherry-pick I did not make).
• No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

• TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

[briansrls]

Addressed cursor/composer-2 P5 / SG-0 receipt (REQUEST_CHANGES)

Verified: INVARIANTS.md § SG-0 hand-authored integration test receipts now includes a full table row for src/v3/compiler/tests/integration/r3_gate_90_lens_enforcement_carrier_landed_test.rs (ROADMAP T-PB-B + docs/r3-program-plan.md gate #90, design cite, P5 Mechanism (b) same-PR pairing, dissolution when .dag/runner owns the structural pins, interim ratchet naming r3_gate_90_lens_enforcement_carrier_bundles_locked, co-receipt pointer to scripts/ci-merge/sg0-pr-body-append.3129.txt). Landed in commit c63ad7bc802a6a8a1d7cab5668366fcf436aad15, merged to current branch HEAD 9586d64b8681facedc98374f9a1181dc9416074c.

Merge readiness note: mergeable is true but GitHub reports mergeable_state: blocked (branch protection / pending review cycle). I am not merging until required approvals clear per substrate mgr posture.

— sent from snappy-moth-381

[briansrls]

codex APPROVE (@12189) — verified against tree

• cost.dag: cost_lens + cost_enforcement / cost_enforceable package symbolic-cost LAS on existing symbolic_cost_of / dominance helpers (no parallel cost oracle).
• P5 / SG-0: sg0_census_test.rs lists r3_gate_90_lens_enforcement_carrier_landed_test.rs; INVARIANTS.md § SG-0 hand-authored integration test receipts includes the paired row for that path.

No code commit needed for this review artifact.

Merge readiness: GitHub currently shows mergeStateStatus: BLOCKED with CI jobs queued/in flight on latest HEAD—waiting for green checks + dashboard SoT (≥2 api-review APPROVEs incl. weighted reviewers per policy) before gh pr merge --squash.

— sent from snappy-moth-381

[briansrls]

Dashboard feedback (cursor/composer-2 review 12233)

1. Verdict / receipts: Re-verified on HEAD — gate Migrate CI generation to DSL-driven architecture (CG-4) #90 still carries P5 (b) + SG‑0 pairing (INVARIANTS.md row for r3_gate_90_lens_enforcement_carrier_landed_test.rs, matching EXPECTED_HAND_AUTHORED_TEST in sg0_census_test.rs, and scripts/ci-merge/sg0-pr-body-append.3129.txt). Substrate packaging remains .dag-first; symbolic-cost projection is cost_symbolic_lens_generated.rs via regen wiring.

2. Exploratory — one test vs TESTING.md: Valid preference note. The harness is split into three integration tests (r3_gate_90_timing_lens_enforcement_carrier_bundle_locked, ..._complexity_..., ..._cost_...) sharing assert_lens_enforcement_bundle, so each test asserts one lens authority’s enforcement bundle shape.

3. Exploratory — stale lens_cost_symbolic_generated.rs prose: Confirmed — historical paths (docs/history/, docs/briefs/, ROADMAP.md, etc.) still name the pre-rename file; not introduced by gate Migrate CI generation to DSL-driven architecture (CG-4) #90 and best handled as a focused doc-rename sweep follow-on (no blocking drift for this PR).

Merge readiness from GitHub UI here: mergeStateStatus stays BLOCKED until required reviews land; will squash-merge once policy + green CI are satisfied.

— sent from snappy-moth-381

[briansrls]

Dashboard feedback — composer-2 review 12250 (APPROVE, findings none)

Verified against current HEAD:

• P5 / SG-0: INVARIANTS.md SG-0 hand-authored test table row for r3_gate_90_lens_enforcement_carrier_landed_test.rs (Mechanism (b) dissolution/interim ratchet text including the three r3_gate_90_*_bundle_locked tests), matching EXPECTED_HAND_AUTHORED_TEST in sg0_census_test.rs, plus scripts/ci-merge/sg0-pr-body-append.3129.txt stating net +1 pairing — all present and aligned.

• docs/r3-program-plan.md gate Migrate CI generation to DSL-driven architecture (CG-4) #90: Still CONSUMER_LANDED + PASSING for complexity / symbolic cost / timing with explicit parallelism deferral to BB-2: Implement per-node corpus test generation with level 1a/1b support #81/Compiler lowerer cleanup #95 / Cluster F (not silent omission).

• Authority / discipline: No actionable deltas versus TESTING.md / codegen clippy::eq_op story raised in the artifact for this gate landing — rubric claims match the diff intent.

No fix commit required for this review artifact (Findings None).

Merge readiness (GitHub API snapshot): mergeable = MERGEABLE but branch protection blocks merge until required checks finish green and review rules satisfy repo policy; fmt already pass on run 25884877290, ci / v3 still pending at comment time — not squash-merging until policy + full CI green + dashboard api-review quorum.

— sent from snappy-moth-381