[Bug]: Graph artifact composition verifier image references a missing input file

[morluto]

Problem

The mathematical-benchmarks-v1/graph-artifact-composition Harbor task cannot build its verifier image. Its tests/Dockerfile references an input filename that is not present in the task's tests/ build context.

Evidence

The task contains:

• tests/agent-workflow-v1-graph-artifact-composition-input.json
• environment/input.json

but tests/Dockerfile:5-6 requests:

COPY expected.json mathematical-benchmarks-v1-graph-artifact-composition-input.json test.sh verifier.py verifier_support.py public_contract.json /tests/
COPY mathematical-benchmarks-v1-graph-artifact-composition-input.json /app/input.json

The agent-workflow-v1-... name is the pre-migration filename; the Dockerfile was changed to the mathematical-benchmarks-v1-... name during the taxonomy migration without renaming the file in the task directory.

Reproduction

The all-dataset Harbor Oracle run on revision 528500bf8691982d36d583dc7daf5f68e765cd32 reached this task and failed during verifier environment construction before the agent or verifier ran:

RuntimeError: Docker compose command failed for environment graph-artifact-composition
...
COPY expected.json mathematical-benchmarks-v1-graph-artifact-composition-input.json ... /tests/
ERROR: "/mathematical-benchmarks-v1-graph-artifact-composition-input.json": not found
...
COPY mathematical-benchmarks-v1-graph-artifact-composition-input.json /app/input.json
ERROR: "/mathematical-benchmarks-v1-graph-artifact-composition-input.json": not found

The checked-in task files and git ls-files confirm that no file with the requested mathematical-benchmarks-v1-... name exists. The failure is deterministic and independent of provider availability or model behavior.

Impact

This task is unrunnable in the Oracle and cannot produce a verifier result. It prevents the full mathematical benchmark dataset from completing its validation run.

Suggested fix

Make the two COPY source names match the checked-in agent-workflow-v1-graph-artifact-composition-input.json file, or rename the file and update the task contract consistently. Re-run the Harbor contract checks and the task Oracle after the correction.

[morluto]

The same migration mismatch independently affects mathematical-benchmarks-v1/finite-partition: tests/Dockerfile:5-6 requests mathematical-benchmarks-v1-finite-partition-input.json, while the checked-in context contains only agent-workflow-v1-finite-partition-input.json. The Oracle reached this task at trial 55 and failed during Docker build with the same COPY ... not found error. This appears to be one taxonomy-migration class affecting at least these two tasks, so I am recording the second manifestation here rather than opening a duplicate issue.

[morluto]

A read-only scan of all mathematical-benchmarks-v1 test Dockerfiles found the same missing-source pattern in six tasks, not just the two reached so far by the Oracle:

• finite-partition — context has agent-workflow-v1-finite-partition-input.json
• graph-artifact-composition — context has agent-workflow-v1-graph-artifact-composition-input.json
• graph-counterexample — context has agent-workflow-v1-graph-counterexample-input.json
• hermite-normal-form — context has agent-workflow-v1-hermite-normal-form-input.json
• rational-linear-solution — context has agent-workflow-v1-rational-linear-solution-input.json
• sat-witness — context has agent-workflow-v1-sat-witness-input.json

Each Dockerfile requests the corresponding mathematical-benchmarks-v1-... filename in both COPY instructions. The static scan found no other missing mathematical-benchmarks-v1-... input references in that dataset.