sev2_v7r9_semantic_proof_gate_successor.ts