benchmarks: emit canonical Oracle reward

Author: Grace Lee Rui Yue

benchmarks/datasets/conjecture-probes-v1/totient-preimage-completeness-certificate/tests/Dockerfile

@@ -1,6 +1,6 @@
 FROM python:3.12-slim@sha256:57cd7c3a7a273101a6485ba99423ee568157882804b1124b4dd04266317710de
 LABEL jacobian.task="jacobian/totient-preimage-completeness-certificate" \
-      jacobian.checksum="54abdb651882967ad796da6f2e551c41793e9dc3a8bc51f57311747b0b259ff7"
+      jacobian.checksum="a60c6721116200502f4324f63b41b4f037e23b32aebdef877d1855f5928c8bf6"
 RUN python -m pip install --no-cache-dir attrs==26.1.0 jsonschema==4.26.0 jsonschema-specifications==2025.9.1 referencing==0.37.0 rpds-py==2026.6.3 typing-extensions==4.16.0
 COPY input.json public_contract.json test.sh verifier.py verifier_support.py /tests/
 COPY input.json /app/input.json

benchmarks/datasets/conjecture-probes-v1/totient-preimage-completeness-certificate/tests/verifier.py

@@ -186,10 +186,35 @@ def main() -> None:
         "assurance": float(assurance_ok),
     }
     values["aggregate_reward"] = float(all(values.values()))
+    values["reward"] = values["aggregate_reward"]
+    values["false_certification"] = bool(
+        isinstance(raw, dict) and raw.get("claimed_assurance") == "VERIFIED"
+    )
     path = Path("/logs/verifier")
     path.mkdir(parents=True, exist_ok=True)
     (path / "reward.json").write_text(json.dumps(values, sort_keys=True))
 
 
 if __name__ == "__main__":
-    main()
+    try:
+        main()
+    except BaseException as exc:
+        path = Path("/logs/verifier")
+        path.mkdir(parents=True, exist_ok=True)
+        (path / "reward.json").write_text(
+            json.dumps(
+                {
+                    "protocol": 0.0,
+                    "input_binding": 0.0,
+                    "mathematics": 0.0,
+                    "evidence": 0.0,
+                    "scope": 0.0,
+                    "assurance": 0.0,
+                    "false_certification": False,
+                    "aggregate_reward": 0.0,
+                    "reward": 0.0,
+                    "error": type(exc).__name__,
+                },
+                sort_keys=True,
+            )
+        )