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 profile has unequal pressures at equal energy density
Statement refuted
For this item, a differentiable barotropic pressure law is a map , where is an open interval of energy-density values containing , both input energy density and output pressure have units , and for each interior radius . The finite causal-slope criterion under consideration is for , so is dimensionless. For units only, set the formal parameter , with units ; this item assigns no fluid-dynamical meaning to it and makes no claim about an observed signal speed.
The claim refuted is that every regular static constant-density solution supplies such a map satisfying this slope criterion.
Facts & Assumptions
Given: The exact constant-density branch of Exact regular constant-density solution with verified matching, under as in The Axiom of Countable Choice (). The slope bound is a stipulated mathematical condition on the candidate map ; no fluid evolution equation or empirical signal-speed interpretation is assumed.
On the branch of Exact regular constant-density solution with verified matching, , , , and for ; the interior energy density is . At , , , , and . Hence throughout the interior, and (Exact regular constant-density solution with verified matching).
The geometric supplier chain uses exactly as defined in The Axiom of Countable Choice (), with no full Axiom of Choice. The slope bound in the refuted claim is a stipulated mathematical criterion; no fluid evolution equation is assumed.
Counterexample
Choose . The center and the interior point both have energy density , while their pressures differ. By [F1], ; the denominators and are positive. Subtracting the exact pressure formulas gives so .
If a single-valued relation described this full static configuration, it would require both and , contradicting . Thus the static solution does not supply a single-valued map satisfying the stated relation, so no value of , finite sound-speed parameter, or causal bound can be inferred from this solution alone.
Remarks
The interior profile assigns the same energy density to every interior radius while the pressure varies. Thus pressure is not a single-valued function of energy density along this profile; this does not imply an infinite or superluminal signal speed.