Formal Verification: When Intention Is Not Enough

Inference Draft 2026-33