Manuscript XIX-A@1 · XIX-A.tex · section · e30d8062
What is released
Main separation theorem and exact release › What is released · lines 1492–1513
| Object or statement | Ending here | Exact extent |
|---|---|---|
| Four-object ledger | Constructed | Domains and prescriptions named |
| Scalar–lapse separation | Proved | Flat common-domain witness |
| Original–modified rod separation | Proved | Compact cosmological perturbation |
| Quadratic lapse difference | Evaluated | Equation (eq:rod-lapse-difference) |
| Fixed-ramp non-clock and defect | Proved | Displayed density prescription |
| Incidence–matter-clock separation | Proved | Additional-data and calibration tests |
| Family 271 comparison | Documentary | No proof or Lean verification |
| VI–XVI-D coordinate identification | Not decided | Actual Cauchy comparison still required |
| Quantum regulator removal | Not constructed | No quantum family defined here |
| Continuum evolution of the register | Not constructed | Not the target of this paper |