experimentalStatus
plain-language theorem explainer
The definition records current experimental status for the holographic bound as a list of three potential falsifiers each paired with its observed outcome. A quantum gravity researcher would cite the list when summarizing empirical support inside the Recognition Science ledger-projection derivation. The definition assembles the list directly from the HolographicFalsifier structure.
Claim. The experimental status of the holographic bound is the list $[$⟨``Entropy exceeding bound'', ``Never observed''⟩, ⟨``Black hole entropy mismatch'', ``All calculations match''⟩, ⟨``AdS/CFT failure'', ``Passes all tests (string theory)''⟩$]$, where each pair records a potential falsifier type together with its current status.
background
The module derives the holographic bound from Recognition Science ledger projection. The bound states that entropy $S$ of a spherical region satisfies $S ≤ A/(4 l_P^2)$, with $A$ the boundary area; this follows because ledger entries are fundamentally two-dimensional while three-dimensional volume is reconstructed from boundary data. Black holes saturate the bound as maximally dense ledgers.
proof idea
The definition is a direct enumeration. It constructs the finite list by pairing each falsifier description with its reported status string inside the HolographicFalsifier structure.
why it matters
The definition closes the experimental-status section of the holographic-bound module whose target is the PRD paper proposition on holography from ledger structure. It documents that the area-law scaling (information proportional to boundary area rather than volume) remains consistent with all listed tests, aligning with the framework's eight-tick geometry and emergent three-dimensional space.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.