The Intent Envelope: Proofs for Completeness, Not Just Soundness ai formalmethods midspiral.com