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

Merge remote-tracking branch 'origin/main' into session/cool-dove-67

4240ee9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar