Skip to content

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

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/k5-coverage-geometry

Prove P112 endpoint dimension and linear-lift cost obstruction

c755bf3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
verify (3.14)
succeeded Oct 14, 2026 in 1m 10s