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.
Specified constant-density star and vacuum boundary model
Constant-energy-density specialization of the adopted static isotropic model, with prescribed areal radius, compactness 0<u<8/9, zero surface pressure, and a vacuum exterior; no finite-sound-speed constitutive dynamics, general compactness theorem, observed matter, or stability claim.
Postulate
Within the adopted model Static spherical Einstein-fluid model with a supplied equation of state, choose a constant rest mass density in , so the constant rest energy density is in . Fix an areal boundary radius in metres, define in kilograms and , and restrict the model parameters to . For this specialization take and the supplied equation of state . Use its explicit extension given by ; it agrees with on and defines the fluid EOS on an open pressure interval containing zero and every nonnegative pressure in the branch. On the open interior fluid interval , the pressure profile is smooth and has the continuous interior boundary value , interpreted using . Prescribe vacuum stress separately for , with exterior mass ; the vacuum region is not governed by the fluid EOS.
This is a constitutive and boundary preparation within the stated static Einstein-fluid model. The uniform-density relation is a model input; it is not a finite-sound-speed causal transport law. The range defines this selected branch and does not assert a general Buchdahl bound, a realistic stellar equation of state, an observed star, or stability.