Graph IBP Certificate Soundness

Proof-level soundness for graph-dialect IBP certificates over ℝ.

The main theorem is CertSoundness.cert_encloses_semantics: if the certificate matches the local IBP step at every node, and the semantic values are locally consistent with the graph evaluator, then every certified box encloses the corresponding semantic value.