Master plan + provability gaps sync (post #151)¶

Summary¶

Updates the phase tracker and adds a standing Still open (G-*) section so every session reports which proof gaps remain.

Agent continuation¶

1. Read provability-gaps.md before claiming proof or math milestones.
2. Run ./li-tests/run_all.sh --ci (176 pass on main).
3. Next — close P-linalg loop open VC; then G-lean default kernel gate.
4. Blocked on Core.lean array/loop semantics for loop ≡ closed-form proofs.

Changed¶

Not changed¶

• Compiler, li-tests specimens.

Breaking¶

N/A.

Security / Performance / Downstream¶

N/A.