A registered result in its source context
Original ledger classification: Physical (reframe; not new physics)
Recorded statement: horizon unit code: 1/(2pi)=4c3; 1920=|W(D5)|; S_dS; Page; beta_rad
Statement, assumptions and sources
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
HOR.01
Original ledger classification: Physical (reframe; not new physics)
Original claim text
horizon unit code: 1/(2pi)=4c3; 1920=|W(D5)|; S_dS; Page; beta_rad
Original classification detail
Physical (reframe; not new physics)
Dependencies as recorded
AX.P1.01
Open the original ledger source, row 44Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- Dependency Graphnote carrier rigidity lean4
- What This Note Is Aboutnote carrier rigidity lean4
- -1.2cm TFPT — Origin Theory\\[2mm] The seam as a horizon, the cyclic compiler hull,\\ and the self-reproducing parameter-free fixed point\\[2mm] An \ structural core ( [formula in source] – [formula in source] ) with one honestly-typed \ interpretationorigin theory
- -1.2cm TFPT — Origin Theory\\[2mm] The seam as a horizon, the cyclic compiler hull,\\ and the self-reproducing parameter-free fixed point\\[2mm] An \ structural core ( [formula in source] – [formula in source] ) with one honestly-typed \ interpretationinput 4 origin theory
- v9 — review-readiness pass and Stage D transparencynote carrier rigidity lean4
- The seam constant is the universal horizon temperature factorHorizon readouts
- -1.2cm TFPT — Origin Theory\\[2mm] The seam as a horizon, the cyclic compiler hull,\\ and the self-reproducing parameter-free fixed point\\[2mm] An \ structural core ( [formula in source] – [formula in source] ) with one honestly-typed \ interpretationinput 4 origin theory
- Front matter / supportOrigin Theory
Registered verification modules
- v8_horizon.pyRegistered verification module · horizon
Read the description recorded in the module registry
horizon code 1/(2π)=4c₃, 1920=|W(D₅)|, S_dS, Page, β_rad
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.