experimentalStatus
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.
claimThe 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 in Recognition Science
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.
scope and limits
- Does not derive the bound $S ≤ A/(4 l_P^2)$ from ledger axioms.
- Does not supply new observational data.
- Does not enumerate every conceivable falsifier beyond the three listed.
- Does not invoke Recognition Science constants such as phi or the RCL.
formal statement (Lean)
218def experimentalStatus : List HolographicFalsifier := [
proof body
Definition body.
219 ⟨"Entropy exceeding bound", "Never observed"⟩,
220 ⟨"Black hole entropy mismatch", "All calculations match"⟩,
221 ⟨"AdS/CFT failure", "Passes all tests (string theory)"⟩
222]
223
224end HolographicBound
225end Quantum
226end IndisputableMonolith