Skip to content

lens/structural_resolution.dag — registry-entry fill (LensIdV0::StructuralResolution currently Unbound; pattern T-13 mirror — lens-over-substrate per Practice 11 + monomorphism/prelude carve-out; reads InferredTree + dependency-graph projection; produces Witness<StructuralResolutionFact>; substrate- - #3482

Merged
briansrls merged 53 commits into
mainfrom
session/cool-dove-67
May 22, 2026
Merged

lens/structural_resolution.dag — registry-entry fill (LensIdV0::StructuralResolution currently Unbound; pattern T-13 mirror — lens-over-substrate per Practice 11 + monomorphism/prelude carve-out; reads InferredTree + dependency-graph projection; produces Witness<StructuralResolutionFact>; substrate-#3482
briansrls merged 53 commits into
mainfrom
session/cool-dove-67

Commits

  1. Commits on May 21, 2026

  2. Commits on May 22, 2026