The recorded reproduction of the v83 package
Original ledger classification: External reproduction (substantive: PASS) + process fix
Recorded statement: EXTERNAL REPRODUCTION of the v83 package (Alessandro, 2026-06): TeX build.sh notes = 9 ok 0 failed; Python run_all v1-v83 = ALL CHECKS PASSED; Wolfram tfpt_readouts.wl = 116/116 ALL WOLFRAM CHECKS PASSED; redteam run_redteam.py reproduces…
Statement, assumptions and sources
Paper context: Red-team audit
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
REVIEW.REPRO.02
Original ledger classification: External reproduction (substantive: PASS) + process fix
Original claim text
EXTERNAL REPRODUCTION of the v83 package (Alessandro, 2026-06): TeX build.sh notes = 9 ok 0 failed; Python run_all v1-v83 = ALL CHECKS PASSED; Wolfram tfpt_readouts.wl = 116/116 ALL WOLFRAM CHECKS PASSED; redteam run_redteam.py reproduces the status matrix (A reduced not closed, B/D/E survive narrowed, C survives); lean_manifest.sha256 verifies literally (36 files, missing 0, bad 0; byte-identical to the v78 archive, so the local AUDIT: PASS carries over - Theorem A stays formally verified). ONE FINDING: the shipped main manifest had a single STALE row (verification/status_ledger.csv hash mismatch) because the manifest was not regenerated after a final ledger edit; regenerating inside the reviewer package fixed it (117 files, missing 0, bad 0). PROCESS HARDENING (this round): make_manifest.py now has a --check mode that verifies both shipped manifests line-by-line against the tree and exits nonzero on any missing/stale row; RELEASE RULE codified: make_manifest.py is the LAST step before export and --check must pass on the exported tree. REVIEWER VERDICT ADOPTED VERBATIM as the canonical wording: Target A 'moved from diffuse to sharply reduced' NOT 'metric sector closed'; Target B 'arithmetic core formally closed, upstream reduced to the half-spinor Spin(10)-type carrier input'; Target C closed at the reduced dimensionless coefficient level with 1/G the anchor; Target D 'magnitudes reduce to v_geo, CP phases not covered'; Target E 'certified tiers one scale, full theory conditional on frontier identifications'; Koide 'sharpened to one physical identification, not closed'; certified strict physical TOE: not yet
Original classification detail
External reproduction PASS; one stale manifest row -> --check mode + release rule
Dependencies as recorded
GATE.METRIC.04; CAR.PASCAL.01; REDTEAM.A.01-E.01; FR.KOIDE.04
Open the original ledger source, row 170Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Red-team audit
- Verification reference catalog
No paper section is linked to this claim in the current source registry. The ledger statement remains available above.
Registered verification modules
No separate module is linked in this claim record. This is a coverage statement, not a verdict about its truth.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.