Repository navigation

Prove bounded private tree and sparse table projections - #48

Closed

ThorFuchs wants to merge 2 commits into

codex/nav7-snapshot-integrationfrom

codex/nav7-projections-proof

Closed

Prove bounded private tree and sparse table projections#48
ThorFuchs wants to merge 2 commits into
codex/nav7-snapshot-integrationfrom
codex/nav7-projections-proof

Commits on Oct 16, 2026
- Prototype exact package-only tree and sparse table projections
  ThorFuchs
  committed
  9acaf27
- Fix projection fixture paths on WASI
  ThorFuchs
  committed
  bda8aef