Skip to content

Commit af2a679

Browse files
committed
fix(benchmarks): bound raw submission read and refresh Dockerfile checksum
- Bound _raw_submission() with is_regular_bounded_file to prevent reading oversized submission files before strict validation - Refresh Dockerfile checksum label to match updated verifier code
1 parent 86085bf commit af2a679

2 files changed

Lines changed: 5 additions & 1 deletion

File tree

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
FROM python:3.12-slim@sha256:57cd7c3a7a273101a6485ba99423ee568157882804b1124b4dd04266317710de
22
LABEL jacobian.task="jacobian/perfect-cuboid-scope-audit" \
3-
jacobian.checksum="76663826594ca3763322609df24095c3e82fa26b68134fa43ecda04ad9c1a7b0"
3+
jacobian.checksum="746547d8c69379618f8a80892d2fc7c9cfa099548a97120f67c28c2b9f6a1991"
44
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
55
COPY input.json public_contract.json test.sh verifier.py verifier_support.py /tests/
66
COPY input.json /app/input.json

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

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
from typing import Any
1010

1111
from verifier_support import (
12+
MAX_SUBMISSION_BYTES,
13+
is_regular_bounded_file,
1214
evidence_list_is_bound,
1315
load_submission,
1416
read_evidence_json,
@@ -26,6 +28,8 @@
2628

2729
def _raw_submission() -> dict[str, Any] | None:
2830
"""Parse the raw submission JSON without strict schema validation."""
31+
if not is_regular_bounded_file(Path("/app/submission.json"), max_bytes=MAX_SUBMISSION_BYTES):
32+
return None
2933
try:
3034
value = json.loads(Path("/app/submission.json").read_text())
3135
except (OSError, ValueError, RecursionError, MemoryError):

0 commit comments

Comments
 (0)