R3 gate #82: effect_enumeration_lens_behaviorally_complete (T-Lens-Behavioral-Parity / **Cluster F (T-LP-Retir)

INVARIANTS.md

@@ -336,6 +336,7 @@ Per **Dispatch-Discipline Mechanisms (b)** above, each **new** path added to `EX
 | `src/v3/compiler/tests/integration/anthropic_tool_result_wire_demo_test.rs` | **ROADMAP:** `ROADMAP.md` § **PR #901 (merged)** — third bullet (`anthropic_tool_result_full_content_surface`, PR #2711 nested tool-result wire) **and** § **LLM service flattening** (`rest_request_wire_serde_alignment`, nested Anthropic tool-result contracts). **Dissolution:** remove this file when Messages tool-result nested serde is emitted **only** from `dsl/extdeps/llm/anthropic.dag` `CoproductWireContract` authorities (no hand-maintained `Serialize` mirror). **Interim ratchet:** `tool_result_wire_demo_projection_is_locked_to_modeled_dag_surface` pins demo field/variant shapes to `generated_full_bootstrap_dag()`. **Residual:** `structural_coverage_gap_anthropic_tool_result_nested_block_wire_payloads` in `dsl/extdeps/llm/anthropic.dag`. |
 | `src/v3/compiler/tests/integration/cementing/cost_lens_symbolic_consumer_test.rs` | **ROADMAP:** `ROADMAP.md` § **R3 gate #78 — unary-bind `SymbolicCost` iterate alias collapse post-pass** (`per_call_pattern_at` / host-wrapper alias-collapse residual, `e_p_sub_value_relation_per_call_landed`). **Dissolution:** remove this file when the cost-lens `symbolic_cost_of` host wrapper no longer owns the alias-collapse post-pass and the `per_call_pattern_at` unary-countdown assertion is carried by the modeled lens substrate / `.dag` receipt instead of hand Rust. **Interim ratchet:** `e_p_sub_value_relation_per_call_landed_cost_lens_routes_through_per_call_pattern_query` pins the remaining consumer to the shared substrate query. **Retired role:** gate #87 Band-C `cost_symbolic` COMPLETE cementing moved to `src/v3/compiler/tests/dag/t_r3_gate_87_cementing_regen_cost_symbolic.dag` and must not be counted against this hand-Rust receipt. |
 | `src/v3/compiler/tests/integration/cementing/e_p_per_call_descent_lens_consumer_cementing.rs` | **ROADMAP:** `ROADMAP.md` § **Substrate carrier port program** → **Lane E-P — per-call descent-evidence provenance (M)** (`Remaining acceptance for the broader lane: cost lens consumption and same-source v2/v3 cementing beyond the already-wired complexity recurrence consumer`). **Plan:** `docs/r3-program-plan.md` §1.8 gate **#76** `e_p_per_call_descent_evidence_full_coverage` (T-E-P-Producer-Broadening Phase-3 lens-consumer-path cementing — CONSUMER_LANDED retained, NOT PASSING). **PR receipt (P5 Mechanism (b)):** this INVARIANTS row + the matching `EXPECTED_HAND_AUTHORED_TEST` line in `sg0_census_test.rs` land in the same PR as the cementing file. **Named lane / dissolution trigger:** lens-consumer match-arm walker substrate extension under R3 Substrate Mgr standing authority (`docs/design-complexity-lens-behavioral-completeness.md` §272/§282) — `src/v3/lenses/complexity.dag` + `src/v3/lenses/cost.dag` currently fold only `Branch` behavior (`branch_summary` at `complexity.dag:330`), leaving `compose_many_inputs` unreached on match-arm result ports for ADT-typed recursive functions; producer surface is correct per `m2_substrate_inhabitance_test.rs` receipts (`StrictSubValue` + `ChildAccessorCall` projection). **Dissolution:** remove this file (or migrate the same 4 fixtures to `.dag` `TestClaim` rows) when the lens-consumer match-arm walker lands and the 4 `#[ignore]`'d ratchets can drop their `#[ignore]` markers in the same PR (Hot-fix #2723 / Pattern-A `#[ignore]`'d-scaffold precedent). **Interim ratchet:** 4 `#[ignore]`'d tests pinning frozen v2-projection shapes for `complexity_of` + `symbolic_cost_of` on match-payload + multi-arg per-arg vector fixtures (named blocker per `LENS_CONSUMER_MATCH_ARM_WALKER_BLOCKER` constant + module doc); 1 always-on `lens_consumer_match_arm_walker_blocker_constant_is_present` grep-anchor keeps the blocker constant grep-discoverable on green CI. |
+| `src/v3/compiler/tests/integration/cementing/effect_enumeration_lens_behavioral_completion.rs` | **R3 program plan:** `docs/r3-program-plan.md` §1.8 gate **#82** `effect_enumeration_lens_behaviorally_complete` (T-Lens-Behavioral-Parity / Cluster F). **PR receipt (P5 Mechanism (b)):** this INVARIANTS row + the matching `EXPECTED_HAND_AUTHORED_TEST` line in `sg0_census_test.rs` land in the same PR as the Band-C receipt. **Dissolution:** remove when operation-row read/write/breaking effect-enumeration carrier assertions are expressible and run as `.dag` `TestClaim` rows or a generated harness without host Rust. **Interim ratchet:** `effect_enumeration_lens_behaviorally_complete_classifies_operation_reads`, `effect_enumeration_lens_behaviorally_complete_classifies_operation_writes`, and `effect_enumeration_lens_behaviorally_complete_classifies_breaking_operations_as_writes` pin generated `operation_structural_effect_shape(Operation)` consuming canonical `std.effects::operation_effect_shape`. |
 | `src/v3/compiler/tests/integration/common/symbolic_cost_verification_fixture.rs` | **R3 program plan:** `docs/r3-program-plan.md` §1.8 — T-CostLens-Composition gates **#40** (`symbolic_cost_expr_equals_executable`) + **#70** (`cost_lens_demonstration`) integration receipts (`m1_5_verification_test.rs` / `lens_cost_target_realization_test.rs`). **Dissolution:** remove when `TestClaim` fixtures can declare expected `SymbolicCost` values for dynamic `PortId`-anchored oracles without a host-side serializer (testgen or substrate-reflected literal emission aligned with `test_runner::field_value_to_symbolic_cost_eq_pattern`). **Interim ratchet:** `symbolic_cost_as_v3_data_initializer` + `escape_v3_string_literal_content` stay aligned with the runner’s structural decode rules; unit tests in-module pin `SumCost`/`LinearCost` surface spellings. |
 | `src/v3/compiler/tests/integration/cementing/cementing_provenance_origin_integration_test.rs` | **ROADMAP:** `ROADMAP.md` — Post-merge debt bullet **v3 lens capability honesty pass** (cementing-test discipline per `regen.dag`; see `docs/v3-lens-capability-register.md`). **Dissolution:** remove when `origin_of` provenance seam checks for gate-#87 regen harnesses live as `.dag` `TestClaim` obligations alongside `tests/dag/cementing_dispatch.dag` (no Rust mirror of the dispatch projection from `std.verification`'s `lens_capability_register_rows`). **Interim ratchet:** narrow slice split from the retired `cementing_lens_registry_dispatch_test.rs` monolith. |
 | `src/v3/compiler/tests/integration/common/wiring_scanner_test.rs` | **ROADMAP:** same **v3 lens capability honesty pass** bullet — Band-C `tests/integration.rs` `#[path]` wiring is enforced by `integration_rs_wiring_scan.rs` + `cementing_dispatch.rs`. **Dissolution:** remove when `integration.rs` wiring can be validated structurally for cementing modules without line scanners. **Interim ratchet:** unit tests for helpers promoted from the retired `cementing_lens_registry_dispatch_test.rs` monolith. |
@@ -398,7 +399,7 @@ Per **Dispatch-Discipline Mechanisms (b)**, each path in `EXPECTED_HAND_AUTHORED
 | `src/v3/compiler/src/integration_rs_wiring_scan.rs` | **ROADMAP:** same **v3 lens capability honesty pass** bullet as `wiring_scanner_test.rs`. **Dissolution:** remove when `tests/integration.rs` cementing `#[path]` / `mod` wiring can be validated structurally (no line scanner). **Interim ratchet:** `Err` (not panic) on raw/byte string openers in **Code** so `CementingDispatchMatchesProjection` surfaces `ClaimResult::Fail`. |
 | `src/v3/compiler/src/lens_declaration_apply.rs` | **ROADMAP:** `ROADMAP.md` § **Nine lanes** — **T-PB-A** / `pb_hand_rust_at_shim_floor` (SG-0 non-test census in `sg0_census_test.rs`; `docs/design-pure-bootstrap-zero.md`). **PR receipt (P5 Mechanism (b)):** this INVARIANTS row + matching `EXPECTED_HAND_AUTHORED_NON_TEST` literal land in the same PR. **Dissolution:** delete when this file's contract is carried only by `.dag` substrate + pipeline-emitted Rust per `SELF_HOSTING.md` §2 (no hand-maintained parallel authority). **Interim ratchet:** `cargo fmt` / `ci` / `v3` + SG-0 census tests keep the path stable. |
 | `src/v3/compiler/src/lens_t_las_carrier.rs` | **ROADMAP:** `ROADMAP.md` § **Nine lanes** — **T-PB-A** / `pb_hand_rust_at_shim_floor` (SG-0 non-test census in `sg0_census_test.rs`; `docs/design-pure-bootstrap-zero.md`). **PR receipt (P5 Mechanism (b)):** this INVARIANTS row + matching `EXPECTED_HAND_AUTHORED_NON_TEST` literal land in the same PR. **Dissolution:** delete when this file's contract is carried only by `.dag` substrate + pipeline-emitted Rust per `SELF_HOSTING.md` §2 (no hand-maintained parallel authority). **Interim ratchet:** `cargo fmt` / `ci` / `v3` + SG-0 census tests keep the path stable. |
-| `src/v3/compiler/src/lib.rs` | **ROADMAP:** `ROADMAP.md` § **Nine lanes** — **T-PB-A** / `pb_hand_rust_at_shim_floor` (SG-0 non-test census in `sg0_census_test.rs`; `docs/design-pure-bootstrap-zero.md`). **PR receipt (P5 Mechanism (b)):** this INVARIANTS row + matching `EXPECTED_HAND_AUTHORED_NON_TEST` literal land in the same PR. **Dissolution:** delete when this file's contract is carried only by `.dag` substrate + pipeline-emitted Rust per `SELF_HOSTING.md` §2 (no hand-maintained parallel authority). **Interim ratchet:** `cargo fmt` / `ci` / `v3` + SG-0 census tests keep the path stable. |
+| `src/v3/compiler/src/lib.rs` | **ROADMAP:** `ROADMAP.md` § **Nine lanes** — **T-PB-A** / `pb_hand_rust_at_shim_floor` (SG-0 non-test census in `sg0_census_test.rs`; `docs/design-pure-bootstrap-zero.md`). **PR receipt (P5 Mechanism (b)):** this INVARIANTS row + matching `EXPECTED_HAND_AUTHORED_NON_TEST` literal land in the same PR; PR #3120 additionally receipts the `lens_effect_enumeration::operation_structural_effect_shape` host adapter through `scripts/ci-merge/sg0-pr-body-append.3120.txt` while generated Rust cannot yet import the canonical `std.effects::operation_effect_shape` carrier without a lib.rs bridge. **Dissolution:** delete when this file's contract is carried only by `.dag` substrate + pipeline-emitted Rust per `SELF_HOSTING.md` §2 (no hand-maintained parallel authority); delete the gate #82 adapter receipt when the generated effect-enumeration Rust can consume the canonical Operation classifier directly with no host helper. **Interim ratchet:** `cargo fmt` / `ci` / `v3` + SG-0 census tests keep the path stable. |
 | `src/v3/compiler/src/lower.rs` | **ROADMAP:** `ROADMAP.md` § **Nine lanes** — **T-PB-A** / `pb_hand_rust_at_shim_floor` (SG-0 non-test census in `sg0_census_test.rs`; `docs/design-pure-bootstrap-zero.md`). **PR receipt (P5 Mechanism (b)):** this INVARIANTS row + matching `EXPECTED_HAND_AUTHORED_NON_TEST` literal land in the same PR. **Dissolution:** delete when this file's contract is carried only by `.dag` substrate + pipeline-emitted Rust per `SELF_HOSTING.md` §2 (no hand-maintained parallel authority). **Interim ratchet:** `cargo fmt` / `ci` / `v3` + SG-0 census tests keep the path stable. |
 | `src/v3/compiler/src/memory_peak_cost.rs` | **ROADMAP:** `ROADMAP.md` / `docs/r3-program-plan.md` §1.8 — **R3 gate #94** cost-lens memory-peak compose + enforcement (`dominant` / max_path). **PR receipt (P5 Mechanism (b)):** this row + census line same PR. **Dissolution:** delete when memory-peak enforcement is substrate-owned without this hand module. **Interim ratchet:** cost-lens integration + cementing tests referencing gate #94. |
 | `src/v3/compiler/src/omni_shape_b_openapi.rs` | **ROADMAP:** `ROADMAP.md` — **T-Omni-Shape-B** transitional surface (`docs/briefs/` brief #1 / PR #2251). **PR receipt (P5 Mechanism (b)):** this row + census line same PR. **Dissolution:** delete when Shape B `.dag` program owns OpenAPI projection end-to-end. **Interim ratchet:** omni emit boundary tests. |