Merge main into #622; drop superseded schema-load weakening

#615 landed load_submission_raw and reverted weakening load_submission,
which had collapsed host-verifier expectations (correctness staying 1.0
on envelope-only failures). Resolve conflicts by adopting main's tree so
this branch matches the supported diagnostic split.

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

Author: cursoragent

.github/scripts/manage-test-timings

@@ -300,10 +300,16 @@ def merge(
         payload = load_json_bytes(path.read_bytes(), str(path))
         durations = validate_durations(payload, str(path), suite)
         duplicates = merged.keys() & durations.keys()
-        if duplicates:
-            duplicate = min(duplicates)
-            raise ValueError(f"duplicate timing entry across shards: {duplicate}")
-        merged.update(durations)
+        for nodeid in sorted(duplicates):
+            previous = merged[nodeid]
+            incoming = durations[nodeid]
+            if incoming > previous:
+                merged[nodeid] = incoming
+            warning(
+                f"duplicate timing entry across shards for {nodeid}; "
+                f"keeping max({previous}, {incoming})"
+            )
+        merged.update({k: v for k, v in durations.items() if k not in duplicates})
 
     envelope = {
         "version": 1,

benchmarks/datasets/conjecture-probes-v1/vizing-bounded-cartesian-products/tests/verifier_support.py

@@ -115,7 +115,11 @@ def load_submission(
         )
     except (OSError, ValueError, RecursionError, MemoryError, TypeError):
         return None
-    return value if isinstance(value, dict) else None
+    return (
+        value
+        if isinstance(value, dict) and _public_submission_is_valid(value)
+        else None
+    )
 
 
 def _public_submission_is_valid(submission: object) -> bool:

benchmarks/datasets/mathematical-benchmarks-v1/algebraic-independence-transfer-audit/tests/verifier_support.py

@@ -115,7 +115,11 @@ def load_submission(
         )
     except (OSError, ValueError, RecursionError, MemoryError, TypeError):
         return None
-    return value if isinstance(value, dict) else None
+    return (
+        value
+        if isinstance(value, dict) and _public_submission_is_valid(value)
+        else None
+    )
 
 
 def _public_submission_is_valid(submission: object) -> bool:

benchmarks/datasets/mathematical-benchmarks-v1/alternating-recurrence-stability-certificate/tests/verifier_support.py

@@ -115,7 +115,11 @@ def load_submission(
         )
     except (OSError, ValueError, RecursionError, MemoryError, TypeError):
         return None
-    return value if isinstance(value, dict) else None
+    return (
+        value
+        if isinstance(value, dict) and _public_submission_is_valid(value)
+        else None
+    )
 
 
 def _public_submission_is_valid(submission: object) -> bool:

benchmarks/datasets/mathematical-benchmarks-v1/apollonius-gap-repair/tests/verifier_support.py

@@ -115,7 +115,11 @@ def load_submission(
         )
     except (OSError, ValueError, RecursionError, MemoryError, TypeError):
         return None
-    return value if isinstance(value, dict) else None
+    return (
+        value
+        if isinstance(value, dict) and _public_submission_is_valid(value)
+        else None
+    )
 
 
 def _public_submission_is_valid(submission: object) -> bool:

benchmarks/datasets/mathematical-benchmarks-v1/autoformalization-semantic-audit/tests/Dockerfile

@@ -2,7 +2,7 @@ FROM ghcr.io/astral-sh/uv:0.8.4-python3.12-bookworm-slim@sha256:dc7e1d08f8ca9798
 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
 # Exact semantic-alignment verifier for an autoformalized orthogonality claim.
 LABEL jacobian.task="jacobian/autoformalization-semantic-audit" \
-      jacobian.checksum="a60077fa4e38dcb24aea4d660782a88e85c9815828a69266e08875ad18b72355"
+      jacobian.checksum="6de7e3bf86ef8439758ccfefce419656c95112e1d1dedc0dd727046991182687"
 COPY expected.json input.json test.sh verifier.py verifier_support.py public_contract.json /tests/
 COPY input.json /app/input.json
 RUN chmod +x /tests/test.sh && \

benchmarks/datasets/mathematical-benchmarks-v1/autoformalization-semantic-audit/tests/verifier.py

@@ -218,9 +218,9 @@ def main():
         contract and math_correct and limitations_correct and not false_certification
     )
     reward = (
-        0
-        if not correct
-        else 0.7 + 0.1 * evidence_valid + 0.1 * scope_correct + 0.1 * assurance_correct
+        0.0
+        if not correct or not evidence_valid
+        else 0.8 + 0.1 * scope_correct + 0.1 * assurance_correct
     )
 
     Path("/logs/verifier").mkdir(parents=True, exist_ok=True)

benchmarks/datasets/mathematical-benchmarks-v1/autoformalization-semantic-audit/tests/verifier_support.py

@@ -115,7 +115,11 @@ def load_submission(
         )
     except (OSError, ValueError, RecursionError, MemoryError, TypeError):
         return None
-    return value if isinstance(value, dict) else None
+    return (
+        value
+        if isinstance(value, dict) and _public_submission_is_valid(value)
+        else None
+    )
 
 
 def _public_submission_is_valid(submission: object) -> bool:

benchmarks/datasets/mathematical-benchmarks-v1/bounded-variation-uniform-limit/tests/verifier_support.py

@@ -115,7 +115,11 @@ def load_submission(
         )
     except (OSError, ValueError, RecursionError, MemoryError, TypeError):
         return None
-    return value if isinstance(value, dict) else None
+    return (
+        value
+        if isinstance(value, dict) and _public_submission_is_valid(value)
+        else None
+    )
 
 
 def _public_submission_is_valid(submission: object) -> bool:

benchmarks/datasets/mathematical-benchmarks-v1/c4-characteristic-invariant-audit/tests/Dockerfile

@@ -2,7 +2,7 @@ FROM ghcr.io/astral-sh/uv:0.8.4-python3.12-bookworm-slim@sha256:dc7e1d08f8ca9798
 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
 # Exact graph-semantic verifier for two incompatible C4 invariants.
 LABEL jacobian.task="jacobian/c4-characteristic-invariant-audit" \
-      jacobian.checksum="7d3a08303c325fd059b67f660e20182ec8a60ee1949fb6fbfedfb1275ee19a0a"
+      jacobian.checksum="5664082658eb19ea223758ec9bb0491037c53cc6e0a6ff7bf792db2798999a2f"
 COPY expected.json input.json test.sh verifier.py verifier_support.py public_contract.json /tests/
 COPY input.json /app/input.json
 RUN chmod +x /tests/test.sh