Verification Proofs

Stable umbrella for proof-backed verification results.

This namespace is for theorems that turn verification hypotheses into mathematical guarantees. Executable certificate checkers and parsers live under NN.Verification; the proof layer here is where the accepted hypotheses are connected to real-analysis or model-level soundness statements.