BlackHoleFalsifier
plain-language theorem explainer
The falsifier record for the black hole information resolution enumerates concrete observations that would refute ledger-based unitarity under Recognition Science. A quantum-gravity theorist or analog-gravity experimentalist would cite the record when stating testable consequences of horizon compression. The definition is a direct record constructor whose three string fields hold the observation type, the RS prediction, and the falsifying condition.
Claim. A record with three string fields: an observation description, the Recognition Science prediction for that observation, and the condition under which the ledger-preservation resolution of the black-hole information paradox would fail.
background
The module treats the black-hole information paradox as resolved by ledger mechanics: the horizon compresses entries without erasure, Hawking radiation decompresses them while preserving correlations, and unitarity holds throughout. Upstream ledger-factorization supplies the calibration of the J functional on positive reals under multiplication, while J-cost convexity and spectral emergence supply the discrete tier structure that encodes information at the Planck scale. The record makes these mechanisms empirically falsifiable by naming the four classes of observation listed in its documentation.
proof idea
This is a structure definition that directly introduces the record type with the three documented string fields; no lemmas or tactics are applied.
why it matters
The record supports the module claim that current understanding backs the RS resolution by codifying the precise falsifiers. It connects to the ledger-preservation account that rests on J-cost minimization and eight-tick local dynamics from upstream results. No downstream theorems reference it yet, leaving open the quantitative mapping of these string conditions onto specific experiments or analog systems.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.