Public claim registry · v0.1
Audit Register
Source → verifier → receipt → native reference. Each released relation remains at its declared resolution.
python3 kit.pyRegistry source: public-claim-registry-v0.2.json · validator-kit SHA-256: 03cfda6a4ebbefc1302accdace1493027c840253bfc35d1c3e93b42dfc4574a0
Scope basis. A released relation is read in its declared native domain. A later calibration, apparatus receipt, or new-number comparison adds a new record; it does not withdraw the physical office of the relation already stated and checked.
Released checks
Run the stated check. Read its stated physical office.
These cards certify executable relations in their declared native domains. A changed file is a different artifact; a later record adds calibration or coverage without demoting the released relation.
| ID | Result | Run / record | Scope / next record |
|---|---|---|---|
| B-2 | Twelve hash-gated cards run 12/12 PASS. | Download kit Receipt python3 kit.py | Each card prints its own claim, domain, command, result, scope, and SHA-256. It certifies the declared mathematical and native-domain relation; laboratory records, where relevant, remain retained in their own named receipts. |
| S-5/05a | Eight source-bound v0.2 verifiers PASS for the finite carrier and regular-branch dynamics cards. | Audit bundle Residual ledger cd source && python3 verify_all.py | The regular-domain conditions rank D𝒮Π = 16 and b < |χ| belong to the stated reduction; cited normal forms remain a named source dependency. A future apparatus comparison would be a measurement record, not a condition on the released Einstein–Maxwell reduction. |
| W-0 | Fifteen exact symbolic checks of the declared tree-level mass matrix, vacuum stabilizer, and neutral diagonalization. | Packetpython3 -I verify_w0_weinberg_seam_v0_2.py | The standard electroweak representation, vacuum, g, g′, and v are the declared native reference. The card verifies their tree-level mass relation; a new numerical or running-parameter result would require its own record. |
| W-1 | Fifteen exact symbolic checks of the declared 𝔲(2) carrier map and W±, Z, A coordinate map. | Packetpython3 -I verify_w1_carrier_adapter_v0_2.py | The declared plane P realizes the stated carrier and coordinate map. Its provenance remains a selection record; it does not make the verified map provisional. The card introduces no new particle parameter. |
| NDA-3 | Body–SI–English length transport runs 18/18 exact rational checks; row-specific status labels are retained. | Atlaspython3 -I run_all.py | The stated Body–SI–English transport is closed by the 18 rational checks. A later metrology result is a separate reference receipt for a new statement, not a condition on the conversion itself. |
Always visible scope. The Suture image result is proved relative to cited Lorentzian 2-form normal forms. The magnetic cap is an exact regular-branch result. A later empirical comparison concerns a new measurement statement, not whether the released reduction has a physical office. Published residuals remain part of the record.
Next records
The next receipt is named.
Each item below extends a released relation with derivation precision, calibration, or apparatus context. It does not retract the relation already published.
- Suture residuals R-1 through R-12 retain derivation-level precision and remain published with the paired cards.
- Electroweak provenance and any new-number comparison extend W-0 and W-1 without undoing their verified native-domain relation.
- Atomic reference and apparatus records bind future readings to named editions and instruments while retaining their disclosed model realizations.