Spaces:
Running
Running
Claim 5 method
The fixed campaign command is:
uv run --locked python repro/src/run_campaign.py
The committed phase claim5_finalize performs a public-artifact audit and
reruns the accepted Claims 1–3 plus the final Claim 4 integrity checker. It:
- recursively audits pinned paper-time and current official
regress-lmrepository trees, including the contents of every small text source/config file, for exact ablation/scaling markers; - audits the author's complete public Hugging Face model listing for a Table 5 model or a b-b/600M RLM;
- verifies pinned metadata and serialized parameter counts for the two named T5Gemma prefix-LM bases;
- pins and hashes the cited Qin et al. implementation and checks the exact normalized-target/scalar-regressor pattern;
- uses a synthetic exact-artifact filename as a detector negative control;
- requires four distinct routes, including a dedicated falsification route;
- invokes
repro/src/claim5_exact_gate.pyand requires its nonzero, fail-closed result.
Network requests use an explicit User-Agent. Dynamic response hashes and exact revisions are printed in the raw result. The verifier exits nonzero on an unexpected upstream artifact or metadata change so that it cannot silently preserve the BLOCKED verdict after new evidence appears.
This audit is expected to use one active CPU core and finish in under five minutes, so the authorized backend is local CPU. It trains no model and makes no performance forecast from repository absence.