fix(benchmarks): repair perfect-cuboid-scope-audit CI contract and lint

Co-authored-by: morluto <morluto@users.noreply.github.com>

Author: cursoragent

benchmarks/datasets/conjecture-probes-v1/perfect-cuboid-scope-audit/tests/Dockerfile

@@ -1,6 +1,6 @@
 FROM python:3.12-slim@sha256:57cd7c3a7a273101a6485ba99423ee568157882804b1124b4dd04266317710de
 LABEL jacobian.task="jacobian/perfect-cuboid-scope-audit" \
-      jacobian.checksum="746547d8c69379618f8a80892d2fc7c9cfa099548a97120f67c28c2b9f6a1991"
+      jacobian.checksum="b1687c97961b8d6621b9288507af3f246f4f05a4735009e95e593425d624061d"
 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/perfect-cuboid-scope-audit/tests/public_contract.json

@@ -21,36 +21,7 @@
       "application/json"
     ],
     "min_items": 1,
-    "payload_shape": {
-      "additionalProperties": false,
-      "properties": {
-        "limitations": {
-          "items": {
-            "type": "string"
-          },
-          "type": "array"
-        },
-        "result": {
-          "type": "object"
-        },
-        "schema_version": {
-          "enum": [
-            "1"
-          ],
-          "type": "string"
-        },
-        "task_id": {
-          "type": "string"
-        }
-      },
-      "required": [
-        "schema_version",
-        "task_id",
-        "result",
-        "limitations"
-      ],
-      "type": "object"
-    }
+    "payload_shape": null
   },
   "limitations": {
     "const": [

benchmarks/datasets/conjecture-probes-v1/perfect-cuboid-scope-audit/tests/verifier.py

@@ -10,8 +10,8 @@
 
 from verifier_support import (
     MAX_SUBMISSION_BYTES,
-    is_regular_bounded_file,
     evidence_list_is_bound,
+    is_regular_bounded_file,
     load_submission,
     read_evidence_json,
     strict_submission_contract,
@@ -23,12 +23,14 @@
 LIMITATIONS = ["TWELVE_FROZEN_INTEGER_CUBOIDS", "NO_GLOBAL_PERFECT_CUBOID_CONCLUSION"]
 CLASSES = {"PERFECT_CUBOID", "EULER_BRICK_ONLY", "SPACE_AND_TWO_FACES", "OTHER"}
 MAX_EVIDENCE_BYTES = 2 * 1024 * 1024
-SCOREABLE_ASSURANCES = frozenset({"UNVERIFIED", "COMPUTED", "CHECKED"})
+scoreable_assurances = frozenset({"UNVERIFIED", "COMPUTED", "CHECKED"})
 
 
 def _raw_submission() -> dict[str, Any] | None:
     """Parse the raw submission JSON without strict schema validation."""
-    if not is_regular_bounded_file(Path("/app/submission.json"), max_bytes=MAX_SUBMISSION_BYTES):
+    if not is_regular_bounded_file(
+        Path("/app/submission.json"), max_bytes=MAX_SUBMISSION_BYTES
+    ):
         return None
     try:
         value = json.loads(Path("/app/submission.json").read_text())
@@ -156,7 +158,7 @@ def main() -> None:
         submission,
         task_id=TASK_ID,
         conclusion="PERFECT_CUBOID_FINITE_SCOPE_AUDIT",
-        allowed_assurances=SCOREABLE_ASSURANCES,
+        allowed_assurances=scoreable_assurances,
         verification_record="forbidden",
     )
     mathematics = bool(
@@ -166,7 +168,9 @@ def main() -> None:
     )
     evidence = bool(
         isinstance(submission, dict)
-        and evidence_list_is_bound(submission.get("evidence", []), max_bytes=MAX_EVIDENCE_BYTES)
+        and evidence_list_is_bound(
+            submission.get("evidence", []), max_bytes=MAX_EVIDENCE_BYTES
+        )
     )
     payload = (
         read_evidence_json(
@@ -192,7 +196,7 @@ def main() -> None:
     )
     assurance = bool(
         isinstance(submission, dict)
-        and submission.get("claimed_assurance") in SCOREABLE_ASSURANCES
+        and submission.get("claimed_assurance") in scoreable_assurances
     )
     false_certification = bool(
         isinstance(raw_submission, dict)