A downloadable package is evidence of inspectability. Independent replication requires a separate researcher to rerun or reconstruct the result and publish the outcome. The public record distinguishes those two states.
Canonical public record: https://decisionaccounting.org/replication/
Public package · no independent replication listed
Calvano/DRCS v1.2
Contents include simulation code, saved result cells, pooled estimates, table and figure builders, robustness checks, compute audit, licenses, checksums, and the DRCS-EC profile.
The frozen corpus exposes claim versions, assumptions, formal statements, proof material, evidence, objections, boundaries, reforms, relationships, teaching cards, scores, and status. It records zero verified theorems; exact-hash identity preserves what was reviewed.