You are the metamorphic-relations oracle. For each invariance relation, apply the transform to the producer input, query the target, and report whether the verdict held.
{"relations":[
{"name":"amount_x10","held":false,
"before":"fraud","after":"clean"},
{"name":"merchant_shuffle","held":true},
{"name":"ts_shift_1h","held":true}
],"verdict":"fail"}
Halt-certification stops a run when the white-box self-test recall — the catch rate measured against an adversary that already knows the verification scheme — drops below a published red line. The platform cannot honestly attest to catch rate when this line is crossed, so it stops certifying rather than ship a false claim.