Formal results
Prime-word abelianization; G² = 5I; null form; inertia; Fibonacci correction; Burau identities.
Audit edition · 2 November 2026
Physical Reality Inside Constraint
Gravity Contacting Light: an audited formal structure.
This edition proves a receipt-preserving contact calculus. It places the ordered address w and occurrence receipt r before the commutative evaluation Ev(w), carries the mirror carrier through its null-coordinate form, distinguishes the tensor and Lorentzian carriers by inertia, and closes the historical registry at the future boundary.
Release set
Public materials
| Material | Role | Link |
|---|---|---|
| Audited paper | Canonical reading edition. | |
| LaTeX source | Inspectable source. | Source |
| Deterministic verifier | Reproducible exact witness. | Python |
| Verification receipt | Recorded passing output. | Receipt |
| SHA-256 ledger | File-identity receipt. | Ledger |
| K8 gate witness | Exact finite-graph check. | Python |
| K8 gate receipt | Recorded passing output. | Receipt |
Status ledger
Each relation keeps its office
K8 address ledger
Eight addressed states, twenty-eight relations, and a seven-matching finite reading structure.
Contact relation
G_embodied = e, Π(e, ℓ) = c, and the identity record Id(c).
Declared inputs
The transverse I₂ extension, chosen specialization t = Φ², and admission policy.
Subsequent realization
Each new map and realization enters through F with its own hypothesis and receipt.
Deterministic implementation
Certified formal witness
The verifier uses only the Python standard library and exact arithmetic in Q(√5), Laurent polynomials, and a finite jet algebra. It checks the displayed root-carrier, null-coordinate, inertia, pp-wave, Burau, Fibonacci, winding, Z[Φ], and receipt-state identities.
$ python3 verify_physical_reality_final.py
ALL DETERMINISTIC EXACT CHECKS PASSED
The independent K8 witness checks eight vertices, twenty-eight unordered pairs, seven perfect matchings, and their edge-partition factorization.
$ python3 k8_gate_check.py
ALL K8 GATE CHECKS PASSED
Contact interface
Gravity contacting light
G_embodied = e
Π(e, ℓ) = c = (e, ℓ, w, r)
Id(c) = (e, ℓ, w, r)
The embodied metric carrier meets light at an ordered, receipt-bearing address. The record preserves w and r through the numerical read Ev(w).