proof(L1): close ADMIT 2 — remove false region_liveness lemma (4→3 admits) + v2 proof audit#322

hyperpolymath merged 1 commit into

mainhyperpolymath/ephapax:mainfrom

claude/v2-grammar-proofs-audit-5lubzchyperpolymath/ephapax:claude/v2-grammar-proofs-audit-5lubzcCopy head branch name to clipboard