Self-verified. Externally open.
The honest replication picture, stated plainly. The dimensionless skeleton is reproduced three independent ways inside this project; no independent external reproduction is claimed yet. We do not claim endorsements — we invite review, and we will record what comes back here, including disputes.
Self-verified — three independent paths
Reproducible by anyone, today, from the public repository. This is what 'independent' means here: the same result falls out on your machine, on a separate Wolfram path, and (for the carrier) in Lean.
One file per claim cluster; run_all.py ends ALL CHECKS PASSED. Exact sympy where possible, mpmath/numpy otherwise.
An independent second path for the exact algebraic / identity / lattice results, on the Wolfram Engine.
The carrier algebra — hypercharge, anomaly-freedom, integer rigidity — formalised with only kernel axioms (AUDIT: PASS).
Independently reproduced — none yet
No third party has yet published an independent reproduction. This is stated as a status, not hidden. Every script is public: browser-compatible checks run here, while native interval certificates use the pinned local environment.
If you reproduce a result (or fail to), we will record it here as confirmed, partial, or disputed, with a link to your write-up. Start with a browser-compatible check here, or use a local clone for the full suite. v1022, v1025 and the Round 4 norm closure v1026 require native python-flint/Arb and are not Pyodide certificates.
External critique — tracked in public
Open questions and known limitations are tracked openly in the research contracts and the status ledger; substantive disagreements belong in the issue tracker and will be answered there and reflected in the objection ledger.