Section 7.3, “Reproducibility status”No public reproducibility package yet; a versioned package and repeated evaluation are future work
Open or deferred item Explicitly left open, deferred or not yet connected.
1 Paper text
Reproducibility status. The restoration notebook, checkpoint-accuracy CSV and FSM notebook are retained with the local review materials. The public repository previously named for this work does not currently provide a reproducibility package; we therefore do not claim that code and data for all configurations are publicly available. The numerical results above remain tied to the saved runs and their stated limitations. A public versioned package and independently repeated evaluation are future work.
Generated from paper_jmlr.tex, lines 1217–1218.
2 Explain this
The status of the experimental record: the notebooks and checkpoint file are retained with the local review materials, but the public repository previously named for this work does not provide a reproducibility package. The paper therefore does not claim public availability of code and data, and lists a versioned package and repeated evaluation as future work.
3 How this is formalised
Status: open (future work stated in the paper). This edition bundles the Lean sources and their build, not the experimental code or data.
| Paper anchor | par-reproducibility-status-p1 (website anchor; the manuscript has no label here) |
|---|---|
| Displayed as | Section 7.3, “Reproducibility status” |
| Claim | No public reproducibility package yet; a versioned package and repeated evaluation are future work |
| Coverage category | Open or deferred item |
| Statement source | paper_jmlr.tex lines 1217–1218; SHA-256 of the normalised block source e5b5112a55a7de58… |
| Explanations | explain/c-reproducibility, formal/c-reproducibility |
| Build evidence | fresh isolated rebuild, audit report |
4 Lean statement and source
No Lean statement corresponds to this claim. This item is explicitly open or deferred.
Build evidence: fresh isolated rebuild of all 38 bundled modules with Lean (version 4.26.0, started 2026-10-10T15:21:56Z, finished 2026-10-10T15:27:00Z: 38/38 modules compiled, 1588 axiom reports, no errors. See Build for the commands and the independent audit of 2026-10-10 (dated evidence).