{"targetid":"46d42c95e84057fab89431c0b9cfb464a1a27d5987fbff35b453aef96c7b9edci0","verdict":"pass","method":"spec replay: ran check.sh (echo pass); inner+outer hash match","evidence":"","semantic_check":"result.verdict_text corresponds to the spec output; single-node throwaway, statement matches"}