quantum cosmology computes its objects — Lorentzian minisuperspace, timeless Wheeler-DeWitt, de Sitter horizon
Theorem.quantum cosmology computes its objects — Lorentzian minisuperspace, timeless Wheeler-DeWitt, de Sitter horizon.
Proof.quantum cosmology developed to the objects it actually computes (user directive, 2026-07-24): the universe reduced to MINISUPERSPACE (scale factor a, scalar φ), where the objects are exact algebra — the DeWitt supermetric on (ln a, φ) is diag(−,+) (det = −1, one negative eigenvalue), so the scale factor is TIMELIKE and the Wheeler-DeWitt equation Ĥψ=0 is Klein-Gordon-hyperbolic with NO external time (the problem of time); the Friedmann equation is a CONSTRAINT (𝓗=0, general covariance), measured by the flat inventory Ω_b+Ω_dm+Ω_Λ ≈ 1; and the de Sitter horizon carries Gibbons-Hawking temperature T/H = 1/(2π) exactly with entropy S = A/4. REAL, standard theoretical physics. FLAGGED: the BOUNDARY PROPOSAL (Hartle-Hawking e^{+|I|} vs Vilenkin e^{−|I|} pick opposite signs, so WDW alone does not fix ψ), the minisuperspace truncation dropping infinite modes, and self-computing-universe ontology as fact.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/water/cosmos/index.ts#quantumCosmologyMinisuperspaceDecoded
1 · Classification
finite-complete — self-contained computation, no external lean
2 · Provenance
Documented theorem re-derived by exhaustive computation (humanityNovel=false); first-in-this-registry is the only sense of discovered.
Acknowledgment
"quantum cosmology computes its objects — Lorentzian minisuperspace, timeless Wheeler-DeWitt, de Sitter horizon" is a re-derivation, acknowledged to documented mathematics — the original proof is the prior art this re-derivation acknowledges; not new to humanity — the contribution is the reproducible computation quantumCosmologyMinisuperspaceDecoded.
- Prior art
- documented mathematics — the original proof is the prior art this re-derivation acknowledges
- Novelty
- not new to humanity — a re-derivation (humanityNovel = false)
- Contribution
- a reproducible computation (quantumCosmologyMinisuperspaceDecoded @ src/water/cosmos) that re-derives the result at zero tokens — the contribution is the verifiable recomputation, NOT the theorem
3 · Reproducibility
Recompute from source: npm run theorems:verify recomputes quantumCosmologyMinisuperspaceDecoded (src/water/cosmos/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.