{"targetid":"68fbc5c1e1f4cb5813c28462e045a9047e4ebfd40fd63331acfc87c041c23f07i0","verdict":"fail","method":"Replayed the node's v2 verifier against the target's declared bytes. Probe artifact re-fetched from chain (metafile://d5dd73f7b50ca844ad8dd35561da53c81d945657ab8c06e74417a3bfc33f2425i0): bytes sha256 ae7795110a6d10ff85281ed5572016977910daa24a8766e83a6f881bcb11d921 == declared probe_sha256. Spec v2 replay (control-tested Node port of spec-ep414-proof-v2.py, source sha256 674982612d94847fade2aece5fccac101cf7bc5530c2732a4c2c64f2c8fd802d; judge-assembled harness compiled by Lean 4.34.1): verdict fail — {\"verdict\":\"fail\",\"reason\":\"theorem ep414 missing: the pinned statement is not proved (main theorem unproved)\"} (exit 1); the rendered reason string is the v2-gate branch (not v1's 'Unknown constant ep414'), consistent with the node's respec to the v2 gate. Double-hash: inner c7c82e7c336dfacb9c5c0919154aba2fddf3f7bbad0a90daa6ab34ef64e8b605 == declared; outer 30afa4cbaaea8a4df31b332f2cc517c91228d13caee8ae506158a4db298c950f == declared.","evidence":"Replay performed 2026-10-12 (Lean 4.34.1, official release); control-tested Node port of the v2 spec; declared inner/outer hashes and probe sha256 verified by re-download.","semantic_check":"Read fully. This is a negative-control probe whose purpose is gate-routing identification (the fail-reason string differs between gate versions); it explicitly declares no mathematical result, states it must fail under both gate versions, and that a pass on it would itself be a gate defect. Under v2 replay the rendered reason is 'theorem ep414 missing: the pinned statement is not proved (main theorem unproved)', consistent with the v2 gate. No fraud; fail is the expected and correct verdict.","failreason":"Negative control / no `ep414` proof: spec v2 replay returns fail — \"theorem ep414 missing: the pinned statement is not proved (main theorem unproved)\" (exit 1); a pass verdict is explicitly disclaimed by the submitter and would be a gate defect."}