How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Regulated relative Kepler phase volume and shell law
Definition
Use SI units, positive masses in , reduced mass , gravitational parameter in , relative position in , relative momentum in , and a fixed action reference in . Assume and . The relative phase domain is with no center-of-mass variables or factor . The relative Hamiltonian is
For with , put and The radial integration formula of Radial integration over a bounded Euclidean shell gives the explicit phase volume This is finite and positive on the stated branch.
Define and for . Let be the angular area measure of total mass from Radial integration over a bounded Euclidean shell. Push the finite measure on forward by ; call the resulting measure . Its candidate normalized shell law is . The separate result Finite regulated Kepler shell measure is normalized ↗ proves , finite total mass, and . Thus the energy-shell preparation is explicitly defined; it is not inferred from phase-volume counting alone.
The entropy convention attached to this model is Gibbs volume, , with and where defined. Other finite-system entropy conventions are distinct.