RTFalsifier
plain-language theorem explainer
RTFalsifier packages a textual description of a potential counterexample to the Ryu-Takayanagi area law together with its verification status. Researchers auditing holographic entanglement entropy in Recognition Science would cite instances when checking ledger projections against experiment. The declaration is a plain record definition with two string fields and no computational content or proof obligations.
Claim. A record type consisting of a string field that names a potential violation of the entanglement-entropy area law and a second string field that records its current experimental status.
background
The module derives the Ryu-Takayanagi formula from Recognition Science ledger structure: entanglement entropy counts shared ledger entries across a boundary, so S_A equals the minimal surface area divided by 4 G_N ℏ. Upstream, RSNativeUnits.status fixes the native units with ħ = φ^{-5} and c = 1, while LedgerFactorization.of calibrates the J-cost on the multiplicative group. PhiForcingDerived.of supplies the self-similar fixed point that forces the eight-tick geometry underlying the 2D ledger surfaces.
proof idea
This is a structure definition that directly introduces the record type with two string fields. No lemmas or tactics are invoked; the declaration serves only as a typed container for the list constructed in the downstream experimentalStatus definition.
why it matters
The structure supplies the element type for experimentalStatus, which enumerates confirmations of the BH entropy formula, CFT area law, and tensor-network area law. It therefore closes the QG-008 target of obtaining the Ryu-Takayanagi formula from ledger projection. The construction touches the open question of whether the phi-ladder mass formula and the holographic bound remain consistent under the same ledger factorization.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.