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.
Constant-density limiting center loses regularity
Statement refuted
For a fixed energy density , vary the radius in the regular constant-density branch of Exact regular constant-density solution with verified matching, with . The claim that this fixed-density family extends to with finite central pressure and a positive central lapse is false.
Facts & Assumptions
Given: The central pressure and lapse formulas of Exact regular constant-density solution with verified matching, with fixed and as in The Axiom of Countable Choice ().
On the branch , , , and (Exact regular constant-density solution with verified matching).
The sequence indexed by tends to zero, with its positive terms explicitly identified (Reciprocals of the positive integers decrease to zero).
Rational numbers are dense in ; in particular every interval with real contains a positive rational, by clause 1 of Both and are dense in , and every nonempty open subset of is uncountable.
The geometric supplier chain uses exactly as defined in The Axiom of Countable Choice (), with no full Axiom of Choice.
Counterexample
Fix . For integers , set and . With , direct substitution gives . Thus each supplies an admissible regular star of [F1], rather than varying at fixed radius. By [F2], after reindexing , . Set ; then For any real , [F3] gives rational with . By [F2], eventually , so . This proves directly from the convergence definition, including all rational positive error thresholds.
For , step 1.1 gives , so and . Hence . Given , apply [F3] to to choose a rational with ; by [F2], for all sufficiently large , , so . Also ; for any , apply [F3] to to choose rational with and apply [F2] to get eventually. Thus the central pressure diverges to and the central lapse tends to zero. At the denominator is exactly zero with positive numerator, so no finite central pressure or positive central lapse is obtained by extending these formulas.
Remarks
This refutes endpoint regularity for this explicit family only. It is not a proof of a compactness bound for other density profiles.