Repository navigation

Scoped obstruction: sharp P112 endpoint dimension and complete linear-lift cost - #1417

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

aliromman:codex/k5-coverage-geometry

Oct 14, 2026

Merged

Scoped obstruction: sharp P112 endpoint dimension and complete linear-lift cost#1417
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/k5-coverage-geometry

Commits on Oct 14, 2026
- Prove P112 endpoint dimension and linear-lift cost obstruction
  aliromman
  committed
  c755bf3