Skip to content

T-12 — lens/cost.dag + lens/complexity.dag (one mechanism, two projections per U2; complexity is asymptotic projection of cost; NEVER re-derives; scaffold-against-T-9-contract; Practice 11 + lens-over-substrate enforced) - #3470

Closed
briansrls wants to merge 16 commits into
mainfrom
session/sharp-owl-625
Closed

T-12 — lens/cost.dag + lens/complexity.dag (one mechanism, two projections per U2; complexity is asymptotic projection of cost; NEVER re-derives; scaffold-against-T-9-contract; Practice 11 + lens-over-substrate enforced)#3470
briansrls wants to merge 16 commits into
mainfrom
session/sharp-owl-625

Commits

  1. Commits on May 20, 2026

  2. Commits on May 21, 2026

  3. Commits on May 23, 2026