briansrls · May 7, 2026 · May 7, 2026 · May 7, 2026 · May 7, 2026 · May 7, 2026
diff --git a/docs/briefs/r3-substrate-t-wad-slice-2-timing-lens-canvas.md b/docs/briefs/r3-substrate-t-wad-slice-2-timing-lens-canvas.md
diff --git a/src/v3/compiler/src/bootstrap_generated.rs b/src/v3/compiler/src/bootstrap_generated.rs
@@ -34136,7 +34136,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 5251, 5362),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 5251, 6658),
         });
         declarations.push(Declaration {
             id: DeclarationId(1072),
@@ -34150,7 +34150,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 5251, 5362),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 5251, 6658),
         });
         declarations.push(Declaration {
             id: DeclarationId(1073),
@@ -34164,7 +34164,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 5251, 5362),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 5251, 6658),
         });
         declarations.push(Declaration {
             id: DeclarationId(1074),
@@ -34189,7 +34189,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 7313, 7421),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 8609, 8717),
         });
         declarations.push(Declaration {
             id: DeclarationId(1075),
@@ -34203,7 +34203,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 7313, 7421),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 8609, 8717),
         });
         declarations.push(Declaration {
             id: DeclarationId(1076),
@@ -34217,7 +34217,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 7313, 7421),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 8609, 8717),
         });
         declarations.push(Declaration {
             id: DeclarationId(1077),
@@ -34254,7 +34254,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 9030, 9226),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 10326, 10522),
         });
         declarations.push(Declaration {
             id: DeclarationId(1078),
@@ -34268,7 +34268,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 9030, 9226),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 10326, 10522),
         });
         declarations.push(Declaration {
             id: DeclarationId(1079),
@@ -34282,7 +34282,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 9030, 9226),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 10326, 10522),
         });
         declarations.push(Declaration {
             id: DeclarationId(1080),
@@ -34311,7 +34311,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 10099, 10199),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 11395, 11495),
         });
         declarations.push(Declaration {
             id: DeclarationId(1081),
@@ -34325,7 +34325,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 10099, 10199),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 11395, 11495),
         });
         declarations.push(Declaration {
             id: DeclarationId(1082),
@@ -70615,7 +70615,11 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             id: DeclarationId(2260),
             name: None,
             connective: TypeConnective::Arrow {
-                inputs: vec![DeclarationId(1073), DeclarationId(1073)],
+                inputs: vec![
+                    DeclarationId(1072),
+                    DeclarationId(1073),
+                    DeclarationId(1073),
+                ],
                 output: DeclarationId(115),
                 body: ArrowBody::NoBody,
             },
@@ -70627,7 +70631,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 5334, 5360),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 6622, 6656),
         });
         declarations.push(Declaration {
             id: DeclarationId(2261),
@@ -70647,7 +70651,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 7360, 7372),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 8656, 8668),
         });
         declarations.push(Declaration {
             id: DeclarationId(2262),
@@ -70673,7 +70677,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 7388, 7419),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 8684, 8715),
         });
         declarations.push(Declaration {
             id: DeclarationId(2263),
@@ -70699,7 +70703,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 9093, 9124),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 10389, 10420),
         });
         declarations.push(Declaration {
             id: DeclarationId(2264),
@@ -70719,7 +70723,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 10144, 10156),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 11440, 11452),
         });
         declarations.push(Declaration {
             id: DeclarationId(2265),

diff --git a/src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs b/src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs
@@ -34136,7 +34136,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 5251, 5362),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 5251, 6658),
         });
         declarations.push(Declaration {
             id: DeclarationId(1072),
@@ -34150,7 +34150,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 5251, 5362),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 5251, 6658),
         });
         declarations.push(Declaration {
             id: DeclarationId(1073),
@@ -34164,7 +34164,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 5251, 5362),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 5251, 6658),
         });
         declarations.push(Declaration {
             id: DeclarationId(1074),
@@ -34189,7 +34189,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 7313, 7421),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 8609, 8717),
         });
         declarations.push(Declaration {
             id: DeclarationId(1075),
@@ -34203,7 +34203,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 7313, 7421),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 8609, 8717),
         });
         declarations.push(Declaration {
             id: DeclarationId(1076),
@@ -34217,7 +34217,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 7313, 7421),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 8609, 8717),
         });
         declarations.push(Declaration {
             id: DeclarationId(1077),
@@ -34254,7 +34254,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 9030, 9226),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 10326, 10522),
         });
         declarations.push(Declaration {
             id: DeclarationId(1078),
@@ -34268,7 +34268,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 9030, 9226),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 10326, 10522),
         });
         declarations.push(Declaration {
             id: DeclarationId(1079),
@@ -34282,7 +34282,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 9030, 9226),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 10326, 10522),
         });
         declarations.push(Declaration {
             id: DeclarationId(1080),
@@ -34311,7 +34311,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 10099, 10199),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 11395, 11495),
         });
         declarations.push(Declaration {
             id: DeclarationId(1081),
@@ -34325,7 +34325,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 10099, 10199),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 11395, 11495),
         });
         declarations.push(Declaration {
             id: DeclarationId(1082),
@@ -68034,7 +68034,11 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             id: DeclarationId(2245),
             name: None,
             connective: TypeConnective::Arrow {
-                inputs: vec![DeclarationId(1073), DeclarationId(1073)],
+                inputs: vec![
+                    DeclarationId(1072),
+                    DeclarationId(1073),
+                    DeclarationId(1073),
+                ],
                 output: DeclarationId(115),
                 body: ArrowBody::NoBody,
             },
@@ -68046,7 +68050,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 5334, 5360),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 6622, 6656),
         });
         declarations.push(Declaration {
             id: DeclarationId(2246),
@@ -68066,7 +68070,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 7360, 7372),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 8656, 8668),
         });
         declarations.push(Declaration {
             id: DeclarationId(2247),
@@ -68092,7 +68096,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 7388, 7419),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 8684, 8715),
         });
         declarations.push(Declaration {
             id: DeclarationId(2248),
@@ -68118,7 +68122,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 9093, 9124),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 10389, 10420),
         });
         declarations.push(Declaration {
             id: DeclarationId(2249),
@@ -68138,7 +68142,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/lens_application.dag", 10144, 10156),
+            span: SourceSpan::new("src/v3/std/lens_application.dag", 11440, 11452),
         });
         declarations.push(Declaration {
             id: DeclarationId(2250),

diff --git a/src/v3/compiler/src/complexity_lens_generated.rs b/src/v3/compiler/src/complexity_lens_generated.rs
@@ -506,9 +506,13 @@ pub fn meet_pair(p0: &Certainty, p1: Certainty) -> Certainty {
 pub fn complexity_enforcement_project(p0: &ComplexitySummary) -> AsymptoticClass {
     ((p0).asymptotic_class).clone()
 }
-pub fn complexity_enforcement_violates(p0: &AsymptoticClass, p1: &AsymptoticClass) -> bool {
-    if asymptotic_dominates(p1, p0) {
-        if asymptotic_dominates(p0, p1) {
+pub fn complexity_enforcement_violates(
+    p0: &ComplexitySummary,
+    p1: &AsymptoticClass,
+    p2: &AsymptoticClass,
+) -> bool {
+    if asymptotic_dominates(p2, p1) {
+        if asymptotic_dominates(p1, p2) {
             (0 == 1)
         } else {
             (0 == 0)

diff --git a/src/v3/compiler/src/enforced_lens_application.rs b/src/v3/compiler/src/enforced_lens_application.rs
@@ -139,8 +139,8 @@ pub(crate) fn check_enforced_lens_applications(dag: &mut Dag) {
         }
         .unwrap_or_else(|| decl.span.clone());
 
-        let observed = match complexity_of(dag, &port) {
-            Lookup::Hit(s) => complexity_enforcement_project(&s),
+        let summary = match complexity_of(dag, &port) {
+            Lookup::Hit(s) => s,
             Lookup::Miss => {
                 violations.push(Diagnostic::ParseError {
                     message: "lens enforcement: complexity lens returned Miss for section — \
@@ -152,7 +152,8 @@ pub(crate) fn check_enforced_lens_applications(dag: &mut Dag) {
                 continue;
             }
         };
-        if !complexity_enforcement_violates(&budget_class, &observed) {
+        let observed = complexity_enforcement_project(&summary);
+        if !complexity_enforcement_violates(&summary, &budget_class, &observed) {
             continue;
         }
         violations.push(Diagnostic::ParseError {

diff --git a/src/v3/compiler/src/lens_t_las_carrier.rs b/src/v3/compiler/src/lens_t_las_carrier.rs
@@ -42,7 +42,7 @@ pub struct Lens<T> {
 #[derive(Clone)]
 pub struct LensEnforcement<Output, Budget> {
     pub project: Rc<dyn Fn(Output) -> Budget>,
-    pub violates: Rc<dyn Fn(Budget, Budget) -> bool>,
+    pub violates: Rc<dyn Fn(Output, Budget, Budget) -> bool>,
 }
 
 /// Mirrors `EnforceableLens<Output, Budget>` in `v3.std.lens_application`.

diff --git a/src/v3/compiler/tests/integration/parse_corpus_manifest.txt b/src/v3/compiler/tests/integration/parse_corpus_manifest.txt
@@ -48,7 +48,7 @@ src/v3/std/go_method_template_contracts.dag	14	133273	43ccd439b5e388ea
 src/v3/std/induction.dag	62	116143	59adc6ec51b803ff
 src/v3/std/integer_diagnostic_order.dag	6	8124	5d7b31594a5b3d5c
 src/v3/std/lens.dag	6	9852	28d5539a5b28716e
-src/v3/std/lens_application.dag	10	15962	5aa2ac2fadfba5bc
+src/v3/std/lens_application.dag	10	16362	db885b76c2a67887
 src/v3/std/list.dag	19	40269	8c648d4a4fd05c21
 src/v3/std/lookup.dag	5	4734	133fcf2d6a90d4bc
 src/v3/std/methods.dag	3	1388	b61693641c32d74b

diff --git a/src/v3/compiler/tests/integration/sg0_census_test.rs b/src/v3/compiler/tests/integration/sg0_census_test.rs
@@ -360,7 +360,8 @@ const EXPECTED_HAND_AUTHORED_TEST: &[&str] = &[
     // Director Option 2 RATIFIED at
     // gunbc#828 #issuecomment-4377533390): slice-active ratchet for
     // `cross_target_coverage.dag` (six type declarations exist;
-    // `emission_path_projections == []`). Stays hand-Rust alongside
+    // `emission_path_projections` Phase-1 populated with 41 rows —
+    // Rust 13 / Python 16 / Go 12). Stays hand-Rust alongside
     // `method_template_contract_test.rs` until testgen covers
     // reflected-Dag structural assertions over std/ row authorities.
     "src/v3/compiler/tests/integration/cross_target_coverage_carrier_test.rs",

diff --git a/src/v3/std/cross_target_coverage.dag b/src/v3/std/cross_target_coverage.dag
@@ -176,7 +176,7 @@ type EmissionPathProjection {
   cells: List<EmissionCell>
 }
 
-// --- emission_path_projections (empty data state) ------------------------
+// --- emission_path_projections (Phase-1 populated: 41 rows) --------------
 //
 // Grounding follow-up population for the current Phase-1 row-list authorities:
 // Rust 13, Python 16, Go 12 (41 total). Each row carries the single