Repository navigation
docs(r3): post-#1488 follow-up — SizeVariable construction invariant + EnforceableLens uniqueness - #1500
Merged
Commits
Commits on May 1, 2026
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 2, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- committed
- andcommitted
- andcommitted
- andcommitted
- committed
- committed
- committed
- committed
- andcommitted
- committed
- andcommitted
docs(r3): retract cost-lens parallel SizeExpr proposal — align with complexity-lens single authority
andcommitted- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- committed
- committed
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- committed
- andcommitted
- andcommitted
- committed
- andcommitted
- committed
- committed
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- committed
- andcommitted
- committed
- committed
docs(r3): align lens-application doc with per-coordinate certainty (work_certainty / span_certainty)
andcommitted- committed
- andcommitted
- andcommitted
- committed
- andcommitted
- andcommitted
- committed
- andcommitted
- committed
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- committed
- andcommitted
- andcommitted
- committed