{"data":{"slug":"proof-lab","term":"Proof Lab","bucket":"buildability","definition":"The service that runs reproducibility checks against paper code. Budget-capped at seven dollars a month, twenty-three cents a run.","short_definition":"The service that runs reproducibility checks against paper code. Budget-capped at seven dollars a month, twenty-three cents a run.","long_definition":"Proof Lab is the sandbox that actually attempts to build a paper. It runs the candidate code under the Replication Harness, classifies failures (deps, oom, network, missing_weights, entrypoint), and reports back to the Buildability Receipt. Budget-capped so a single bad week cannot blow the monthly spend.","related_terms":["build-passport","buildability-check"],"related_term_routes":[{"slug":"build-passport","term":"Build Passport","route":"/resources/glossary/build-passport"},{"slug":"buildability-check","term":"Buildability Check","route":"/resources/glossary/buildability-check"}],"canonical_route":"/resources/glossary/proof-lab","api_route":"/api/v1/resources/glossary/proof-lab","jsonld_id":"https://sciencetostartup.com/resources/glossary/proof-lab","variants":[],"tldr":"The service that runs reproducibility checks against paper code. Budget-capped at seven dollars a month, twenty-three cents a run.","key_points":[],"quality_tier":null,"citation_count":null,"source_state":"curated_static","source_module":"apps/web/data/glossary/terms.ts","definition_sections":{"schema_version":1,"intro":"Proof Lab is the sandbox that actually attempts to build a paper. It runs the candidate code under the Replication Harness, classifies failures (deps, oom, network, missing_weights, entrypoint), and reports back to the Buildability Receipt. Budget-capped so a single bad week cannot blow the monthly spend.","sections":[{"title":"Definition","items":[{"subtitle":"Proof Lab","text":"Proof Lab is the sandbox that actually attempts to build a paper. It runs the candidate code under the Replication Harness, classifies failures (deps, oom, network, missing_weights, entrypoint), and reports back to the Buildability Receipt. Budget-capped so a single bad week cannot blow the monthly spend."}]},{"title":"Related vocabulary","items":[{"subtitle":"Build Passport","text":"Reproducible build artifact bundle for a paper: pinned Dockerfile, RUN.sh, EXPECTED_OUTPUT.json, SBOM, cost estimate."},{"subtitle":"Buildability Check","text":"One typed check inside a Buildability Receipt. Status (pass, fail, skip, pending), evidence, and a blocker flag."}]}],"cited_arxiv_ids":[]}},"meta":{"canonical_route":"/resources/glossary/proof-lab","api_route":"/api/v1/resources/glossary/proof-lab","source":{"label":"curated glossary catalog","source_state":"curated_static","source_module":"apps/web/data/glossary/terms.ts","method_version":"public_glossary_curated_terms_v2","freshness":{"status":"versioned","observed_at":null,"fresh_until":null,"reason":"Git-versioned curated catalog; daily ingestion freshness windows do not apply.","reason_code":"git_versioned_curated_catalog"},"source_count":111,"bucket_count":7,"buckets":["scoring","surfaces","agents","distribution","data","foresight","buildability"]}}}