R3 gate #10: bounded L7 AlgebraicLaw witnesses (assoc / comm / identity)

scripts/check-test-timeout.sh

@@ -57,7 +57,7 @@ log_file_arg=${1:-}
 budget_ms=${2:-${TEST_TIMEOUT_MS:-2000}}
 pkg=${TEST_TIMEOUT_PACKAGE:-v3-compiler}
 exempt_file=${TEST_TIMEOUT_EXEMPT:-scripts/slow-test-exemptions.txt}
-max_exemptions=${TEST_TIMEOUT_MAX_EXEMPTIONS:-43}
+max_exemptions=${TEST_TIMEOUT_MAX_EXEMPTIONS:-44}
 
 script_dir=$(cd "$(dirname "$0")" && pwd)
 repo_root=$(cd "$script_dir/.." && pwd)

scripts/slow-test-exemptions.txt

@@ -65,6 +65,7 @@ m2_lens_unused_parameters_migration_test::unused_parameters_dag_runs_end_to_end_
 m2_lens_unused_parameters_migration_test::unused_parameters_dag_self_analysis_reports_zero_findings  # Lane 2 migration harness roundtrip; compile-heavy self-analysis remains explicit until lens migration paydown.
 r1c_e_emit_gates_dag_test::r1c_e_emit_gates_suite_passes_through_runner  # R1C-E emit-gates `.dag` wrapper shells through the runner/binary harness and sits on the 2s CI edge (2166ms on PR #1233); paydown owned by R1C-E emit-gates runner/shared-setup work, not this impossible-bugs row-removal slice.
 r3_verification_l4_l7_l5_skeleton_test::r3_verification_l4_emit_eval_false_branch_passes_w1_emit_vs_eval  # R3-V L4 W1 direct consumer fixture runs the full emit-vs-eval suite through TestRunner and can sit just above 2s on CI (2072ms on PR #1799); paydown owned by R3-V L4/L7 direct harness shared runner setup, see docs/briefs/r3-v-l4-l7-direct-w1-consumer-spec.md.
+r3_verification_l4_l7_l5_skeleton_test::r3_verification_l7_algebraic_law_matrix_has_current_runner_receipts  # R3 gate #10 / issue #2382: single `L7_MATRIX_SUITE` runner pass + per-claim source receipts ~2.4s cold CI (PR #2394); paydown: slimmer witness applications or shared runner amortization with other Lane 1 L7 rows.
 
 complexity_lens_behavioral_completion::literal_bind_cements_constant_complexity_summary  # R3 T-Lens-Behavioral-Parity cementing receipt: cold compile_to_dag + COMPLETE complexity lens summary assertion can exceed 2s on CI; paydown owned by lens behavioral parity shared-fixture/testgen migration.
 complexity_lens_behavioral_completion::recursive_countdown_cements_linear_work_and_span  # R3 T-Lens-Behavioral-Parity cementing receipt: recursive fixture + COMPLETE complexity lens summary assertion can exceed 2s on CI; paydown owned by lens behavioral parity shared-fixture/testgen migration.

src/v3/compiler/src/bootstrap_generated.rs

@@ -38634,7 +38634,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 4903, 15724),
+            span: SourceSpan::new("src/v3/std/verification.dag", 4903, 15825),
         });
         declarations.push(Declaration {
             id: DeclarationId(1228),
@@ -38648,7 +38648,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 15832, 15852),
+            span: SourceSpan::new("src/v3/std/verification.dag", 15933, 15953),
         });
         declarations.push(Declaration {
             id: DeclarationId(1229),
@@ -38667,7 +38667,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 15995, 16050),
+            span: SourceSpan::new("src/v3/std/verification.dag", 16096, 16151),
         });
         declarations.push(Declaration {
             id: DeclarationId(1230),
@@ -38704,7 +38704,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 16660, 16793),
+            span: SourceSpan::new("src/v3/std/verification.dag", 16761, 16894),
         });
         declarations.push(Declaration {
             id: DeclarationId(1231),
@@ -38729,7 +38729,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 16795, 16854),
+            span: SourceSpan::new("src/v3/std/verification.dag", 16896, 16955),
         });
         declarations.push(Declaration {
             id: DeclarationId(1232),
@@ -38754,7 +38754,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 17052, 17133),
+            span: SourceSpan::new("src/v3/std/verification.dag", 17153, 17234),
         });
         declarations.push(Declaration {
             id: DeclarationId(1233),
@@ -38764,8 +38764,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
                 output: DeclarationId(2506),
                 body: ArrowBody::Unparsed(SourceSpan::new(
                     "src/v3/std/verification.dag",
-                    17575,
-                    17591,
+                    17676,
+                    17692,
                 )),
             },
             type_params: vec![],
@@ -38776,7 +38776,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 17504, 17591),
+            span: SourceSpan::new("src/v3/std/verification.dag", 17605, 17692),
         });
         declarations.push(Declaration {
             id: DeclarationId(1234),
@@ -38786,8 +38786,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
                 output: DeclarationId(1232),
                 body: ArrowBody::Unparsed(SourceSpan::new(
                     "src/v3/std/verification.dag",
-                    17649,
-                    17734,
+                    17750,
+                    17835,
                 )),
             },
             type_params: vec![],
@@ -38798,7 +38798,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 17593, 17734),
+            span: SourceSpan::new("src/v3/std/verification.dag", 17694, 17835),
         });
         declarations.push(Declaration {
             id: DeclarationId(1235),
@@ -38808,8 +38808,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
                 output: DeclarationId(2508),
                 body: ArrowBody::Unparsed(SourceSpan::new(
                     "src/v3/std/verification.dag",
-                    17817,
-                    17856,
+                    17918,
+                    17957,
                 )),
             },
             type_params: vec![],
@@ -38820,7 +38820,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 17736, 17856),
+            span: SourceSpan::new("src/v3/std/verification.dag", 17837, 17957),
         });
         declarations.push(Declaration {
             id: DeclarationId(1236),
@@ -76264,7 +76264,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 17551, 17574),
+            span: SourceSpan::new("src/v3/std/verification.dag", 17652, 17675),
         });
         declarations.push(Declaration {
             id: DeclarationId(2507),
@@ -76284,7 +76284,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 17776, 17791),
+            span: SourceSpan::new("src/v3/std/verification.dag", 17877, 17892),
         });
         declarations.push(Declaration {
             id: DeclarationId(2508),
@@ -76304,7 +76304,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 17796, 17816),
+            span: SourceSpan::new("src/v3/std/verification.dag", 17897, 17917),
         });
         declarations.push(Declaration {
             id: DeclarationId(2509),
@@ -76994,7 +76994,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 12140, 12219),
+            span: SourceSpan::new("src/v3/std/verification.dag", 12241, 12320),
         });
         declarations.push(Declaration {
             id: DeclarationId(2545),
@@ -77023,7 +77023,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 12439, 12552),
+            span: SourceSpan::new("src/v3/std/verification.dag", 12540, 12653),
         });
         declarations.push(Declaration {
             id: DeclarationId(2546),
@@ -77052,7 +77052,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 12557, 12693),
+            span: SourceSpan::new("src/v3/std/verification.dag", 12658, 12794),
         });
         declarations.push(Declaration {
             id: DeclarationId(2547),
@@ -77077,7 +77077,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 12698, 12780),
+            span: SourceSpan::new("src/v3/std/verification.dag", 12799, 12881),
         });
         declarations.push(Declaration {
             id: DeclarationId(2548),
@@ -77102,7 +77102,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 12785, 12871),
+            span: SourceSpan::new("src/v3/std/verification.dag", 12886, 12972),
         });
         declarations.push(Declaration {
             id: DeclarationId(2549),
@@ -77122,7 +77122,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 12950, 12960),
+            span: SourceSpan::new("src/v3/std/verification.dag", 13051, 13061),
         });
         declarations.push(Declaration {
             id: DeclarationId(2550),
@@ -77147,7 +77147,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 12876, 12966),
+            span: SourceSpan::new("src/v3/std/verification.dag", 12977, 13067),
         });
         declarations.push(Declaration {
             id: DeclarationId(2551),
@@ -77176,7 +77176,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 13908, 14042),
+            span: SourceSpan::new("src/v3/std/verification.dag", 14009, 14143),
         });
         declarations.push(Declaration {
             id: DeclarationId(2552),
@@ -77205,7 +77205,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 14681, 14825),
+            span: SourceSpan::new("src/v3/std/verification.dag", 14782, 14926),
         });
         declarations.push(Declaration {
             id: DeclarationId(2553),
@@ -77224,7 +77224,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 15670, 15724),
+            span: SourceSpan::new("src/v3/std/verification.dag", 15771, 15825),
         });
         declarations.push(Declaration {
             id: DeclarationId(2554),
@@ -77244,7 +77244,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 16768, 16791),
+            span: SourceSpan::new("src/v3/std/verification.dag", 16869, 16892),
         });
         declarations.push(Declaration {
             id: DeclarationId(2555),
@@ -77264,7 +77264,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 16837, 16852),
+            span: SourceSpan::new("src/v3/std/verification.dag", 16938, 16953),
         });
         declarations.push(Declaration {
             id: DeclarationId(2556),
@@ -77284,7 +77284,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 17108, 17131),
+            span: SourceSpan::new("src/v3/std/verification.dag", 17209, 17232),
         });
         declarations.push(Declaration {
             id: DeclarationId(2557),