Repository navigation

Lever 1: floor compile-clean receipt through the shared index — one typecheck universe per run - #6783

Merged

briansrls merged 4 commits into

mainfrom

lever1-gate-via-index

Jul 17, 2026

Merged

Lever 1: floor compile-clean receipt through the shared index — one typecheck universe per run#6783
briansrls merged 4 commits into
mainfrom
lever1-gate-via-index

Commits on Jul 16, 2026
Commits on Jul 17, 2026
- Canonicalize the shared-index roots key (review 39118): CLI-absolute and plan-relative spellings of one pool address ONE index
  
  briansrls
  and
  claude
  committed
  34dcdb8