core: close Program proof and allocation boundaries - #463

Closed

lemone112 wants to merge 3 commits into

agent/public-program-apifrom

agent/program-packed-proof-boundary

Commits on Jul 26, 2026

test: close compile-fail sentinel escape
lemone112
committed
4eb8966
core: make joint order non-empty by construction and bound evidence cells

lemone112
and
claude
committed
4fc9521
docs: explain packed proof invariants
lemone112
committed
412da83