Function verify 

pub fn verify(proof: &[u8], blueprint: &[u8]) -> bool

The Truth Checker. Validates a proof byte array against a blueprint.

Returns true if the proof is valid, false otherwise. All internal errors (tampered proofs, wrong bindings, deserialization failures, etc.) collapse to false.