predictions
plain-language theorem explainer
Recognition Science lists four concrete predictions for black hole evaporation derived from ledger conservation. Quantum gravity researchers comparing island formulas to discrete dynamics would cite this enumeration when testing information preservation. The definition is a direct string list extracted from the entanglement ledger model without further reduction steps.
Claim. The Recognition Science model for black hole evaporation yields four predictions: the Page curve is exactly triangular and piecewise linear, scrambling proceeds through discrete $τ_0$ time steps, the Hawking spectrum carries $φ$-ladder modulation, and ledger entries supply the physical meaning of islands in the island formula.
background
The module treats the Page curve as the entanglement entropy of radiation during black hole evaporation. Early radiation increases entropy until the Page time at half evaporation; late radiation then decreases it because it shares ledger entries with early radiation. Entanglement is identified with shared ledger entries, so ledger conservation directly enforces the curve shape and information preservation. Upstream structures supply the required calibration: LedgerFactorization.of gives the multiplicative structure on positive reals together with J-cost calibration, while PhiForcingDerived.of encodes the J-cost that sets the discrete tiers used for scrambling and spectrum modulation.
proof idea
The definition is a direct enumeration of the four strings. It assembles the claims already obtained from ledger evolution and spectral emergence lemmas inside the same module; no tactics or reductions are applied beyond literal listing.
why it matters
The definition completes the QG-004 derivation by stating the observable consequences that follow from ledger conservation. It extends the Recognition Science forcing chain (T5 J-uniqueness through T8 D=3) to quantum information flow and supports the Nature paper claim that the Page curve arises exactly rather than approximately. The list also anchors the downstream claim that information is preserved by the page curve and that no firewall appears.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.