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. The bar to clear is low: every script is public and runnable in the browser.
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. The fastest way to start is the in-browser reproducer or a local clone.
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.