Repository navigation
[codex] Add lens behavioral parity demo - #2525
Conversation
|
Addressing the approved review's optional observations: no code change in this PR. The row-73 wording point is a good follow-up for the canonical program-plan text, but this PR now carries the P5 receipt and PR-body receipt tying the host test to row 73 plus T-Tests-As-Data rows 84/87. The 64 MiB stack wrapper follows the existing v3 integration-test pattern for |
|
Addressing the P5 PR-description observation: valid. I updated the PR description receipt to cite the concrete |
|
The P5 finding is already satisfied by the live PR description, so I am not adding a second receipt in code/docs. The PR body currently has a |
|
Verified both non-blocking observations against the current code. No code change needed: |
|
Verified the observations against the current PR. No source change needed: the required P5 receipt is in the PR description under |
…te-landing tests) (#2665) * docs(audit): SG-0 trajectory snapshot 2026-05-11 (+4 vs prior EOD) PM standing daily-cadence duty per docs/audit/r3-sg0-trajectory-tracker.md §5. Today (31acf43): non_test=53 test=112 fragments=2 total=167. Delta vs 2026-05-10 EOD baseline (163): +4 test entries. The 4 new entries are gate-landing tests, identified via per-entry diff: - lens_behavioral_parity_demonstration_test.rs (gate #73, snappy-raven-508 PR #2525) - r3_gate_87_lens_cementing_regen_receipts_test.rs (gate #87 PR #2639) - r3_lens_producer_retirement_executable_witness_test.rs (PR #2595) - t_ci_workflow_as_data_demo_test.rs (T-Workflow-As-Data demo) Many gates landed during the 2026-05-10 → 2026-05-11 cycle (T-Tests-As-Data #84/#85/#86/#87; T-Bridge-Retirement #31; T-LensProducer #5+#6; T-V-L4 #11/#13; T-V-L7 #10/#15; #74 + #27 + #26 and many others). Cluster M Phase 3 bulk-port has NOT yet kicked in to shrink the census — calm-newt-602 (gate #84) + silent-swift-300 (cementing+behavioral-parity census slice) are active workers; their migration work is what flips trajectory from accumulating to shrinking. 11-day cumulative is +47 entries; per-day avg +4.3. Velocity tripwire status remains pending/uncomputed until Phase 3 migration begins producing dissolution events. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(audit): address codex BLOCKING on PR #2665 — PR-merge vs §1.8 gate-PASSING Same root cause as PR #2583 codex BLOCKING #5/#6 (memorized as feedback_pm_compile_audits_pre_existing_errors): PR-merge events ≠ §1.8 gate-PASSING promotion. Cell text said "T-Tests-As-Data gates #84/#85/#86/#87 landed". Verified against §1.8 ledger at HEAD: - #84 `every_rust_test_ports_to_dag_or_generated`: DECLARED — cannot promote until EXPECTED_HAND_AUTHORED_TEST = 0 (Phase 3 bulk-port close criterion) - #85 `forall_exists_quantifier_substrate_landed`: DECLARED — carriers landed via PR #2647 but CONSUMER_LANDED not yet claimed; §P2 requires generated consumer of declared surface - #86 `program_generator_carrier_landed`: CONSUMER_LANDED + PASSING ✓ - #87 `lens_cementing_test_discipline_complete`: CONSUMER_LANDED (PR #2639), NOT PASSING — 8 regen harnesses still Compiles-only placeholders per §1.8 close-criterion Only #86 is fully PASSING. Cell reframed to distinguish PR-merge evidence from canonical §1.8 status per memorized discipline; row notes the status drift sweep step that promotes evidence to PASSING. Same reframe applied to T-Bridge-Retirement #31, T-LensProducer #5/#6, T-V-L7 #10 — PR-merges with §1.8 status drift sweep pending. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
1 participant
Summary
Adds the executable R3 gate #73 demonstration receipt for
lens_behavioral_parity_demonstration.The new integration module exercises the four in-R3 T-Lens-Behavioral-Parity lens surfaces on representative inputs:
CallPatternfacts into work/span linear costsLinearCostParallelEffectreportsIdempotentCompositionThe module is registered in the consolidated
tests/integration.rsbinary.P5 Receipt
Exactly one checkable receipt for the new
src/v3/compiler/tests/**hand-Rust: this module is the temporary host receipt fordocs/r3-program-plan.md§1.8 row 73 (lens_behavioral_parity_demonstration). Dissolution is through the same row plus the concreteROADMAP.mdrows underPost-merge debt:ROADMAP.md§"Post-merge debt" row "Hand-Rust census" (lines 170-177 in current main), where the test subset ofEXPECTED_HAND_AUTHORED_TESTis owned by T-PB-B and dissolves to zero Rust-authored tests.ROADMAP.md§"Post-merge debt" row "SG-0 PR-window net-shrink discipline" (line 177 in current main), satisfied below with the required delta and Director-budget citation.Trigger: once the four-lens snapshot can be expressed as
.dagTestClaimdata, deletesrc/v3/compiler/tests/integration/lens_behavioral_parity_demonstration_test.rsand itstests/integration.rsregistration.SG-0
SG-0 hand-path delta: +1
SG-0 pairing: (b) Director-budget citation for gate #73 host receipt: #846 (comment)
Validation
cargo fmt --checkcargo test -p v3-compiler lens_behavioral_parity_demonstration --test integrationcargo test -p v3-compiler sg0_v3 --test integrationscripts/check-test-timeout.shsynthetic timing line for the new gate Daglang core components #73 slow-test exemptionBootstrap slow-test exemption note: this PR keeps the slow-test exemption count flat by replacing the stale
bootstrap::tests::kernel_bool_path_a_attaches_diagnostic_when_boolean_algebra_unresolvableline with the gate #73 cold lens receipt. The bootstrap test still exists and is no longer exempt here; if it exceeds the 2s ratchet on cold CI,scripts/check-test-timeout.shwill fail closed and require a fresh measured exemption.