benchmarks: emit canonical Oracle reward

Author: Grace Lee Rui Yue

benchmarks/datasets/conjecture-probes-v1/zarankiewicz-projective-plane-certificate/tests/Dockerfile

@@ -1,6 +1,6 @@
 FROM python:3.12-slim@sha256:57cd7c3a7a273101a6485ba99423ee568157882804b1124b4dd04266317710de
 LABEL jacobian.task="jacobian/zarankiewicz-projective-plane-certificate" \
-      jacobian.checksum="1dc69575adcc69cf13cd9dfe86a42ee3e1b6bfad7ffa86d64eee7f54134fa4b4"
+      jacobian.checksum="5229efdc8b61cfa1f124c6d3f364d2148adcaf986282e50e9381fd54c88f7f39"
 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/zarankiewicz-projective-plane-certificate/tests/verifier.py

@@ -282,9 +282,29 @@ def main() -> None:
             "scope": float(scope_ok),
             "assurance": float(assurance_ok),
             "aggregate_reward": aggregate,
+            "reward": aggregate,
+            "false_certification": bool(
+                isinstance(raw, dict) and raw.get("claimed_assurance") == "VERIFIED"
+            ),
         }
     )
 
 
 if __name__ == "__main__":
-    main()
+    try:
+        main()
+    except BaseException as exc:
+        reward(
+            {
+                "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__,
+            }
+        )