Triton recursive proof contract (version 1) `vm.triton.proof.verify(expected_claim: Digest)` verifies an official Triton 7 proof using fixed `Stark::default()` parameters. The caller supplies `Tip5::hash(&expected_native_claim)`, which commits to the native claim's program digest, claim version,…