Accept hyphenated algebraic-independence evidence

benchmarks/datasets/mathematical-benchmarks-v1/algebraic-independence-transfer-audit/tests/Dockerfile

@@ -1,7 +1,7 @@
 FROM ghcr.io/astral-sh/uv:0.8.4-python3.12-bookworm-slim@sha256:dc7e1d08f8ca979826ec0b68b31c783e0b35b568be6a078d4cbedf38c4cc085e
 # Exact sparse-polynomial transfer verifier.
 LABEL jacobian.task="jacobian/algebraic-independence-transfer-audit" \
-      jacobian.checksum="f1be056e8c80b9b537d82d6376207970f9c493d08b52d67d6788acf28a3032ab"
+      jacobian.checksum="594d348a29e830e834bb82db04f63e25d0da37a5680f52109687c4cdc0471812"
 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 expected.json input.json test.sh verifier.py verifier_support.py public_contract.json verifier_contract.json /tests/
 COPY input.json /app/input.json

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

@@ -67,7 +67,7 @@ def _limitations_valid(value: object) -> bool:
         re.compile(r"\brational\s+(?:numbers?|coefficients?)\b"),
     ),
     "independence_theorem": (
-        re.compile(r"\balgebraic\s+independence\b"),
+        re.compile(r"\balgebraic(?:\s+|-)independence\b"),
         re.compile(r"\bmodular[- ]form\s+independence\b"),
     ),
     "trusted_premise": (

benchmarks/validation/mathematical_benchmarks_v1/test_algebraic_independence_transfer_audit.py

@@ -143,6 +143,25 @@ def test_equivalent_evidence_wording_is_accepted(tmp_path: Path) -> None:
     assert reward.reward == 1.0
 
 
+def test_hyphenated_algebraic_independence_wording_is_accepted(
+    tmp_path: Path,
+) -> None:
+    task, app, logs = _prepare(tmp_path)
+    submission = json.loads((app / "submission.json").read_text())
+    evidence = app / "evidence/answer.txt"
+    evidence.write_text(
+        "Both coordinate substitutions are birational with explicit rational "
+        "inverses. The conjugate norm is computed exactly over QQ. The "
+        "modular-form algebraic-independence theorem is a trusted external "
+        "premise and is not verified here.\n"
+    )
+    submission["evidence"][0]["sha256"] = support._digest(evidence)
+    support._write_json(app / "submission.json", submission)
+    reward = support._run_verifier(task, app, logs)
+    assert reward.details["evidence_validity"] == 1.0
+    assert reward.reward == 1.0
+
+
 def test_rational_inverse_wording_is_accepted(tmp_path: Path) -> None:
     task, app, logs = _prepare(tmp_path)
     submission = json.loads((app / "submission.json").read_text())

tests/component/providers/polynomial/test_polynomial_map_inverse_synthesize.py

@@ -302,6 +302,7 @@ def test_ring_mismatches_fail_closed(polynomial_services) -> None:
         assert result.artifact_uris == (), mutation
 
 
+@pytest.mark.timeout(60)
 def test_corrupted_found_candidate_does_not_verify(
     authorized_polynomial_services,
 ) -> None: