Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedprecheck passjudge pass (gpt-6-luna)
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.

Separate no-conserved-number radiation fluid branch

Physical scope

Smooth entropy-only radiation perfect-fluid model with positive temperature and an adopted positive equation-of-state parameter; no conserved-number current, quantum blackbody calibration, measured material claim, or general solution-existence claim is asserted.

Postulate

Use the smooth time-oriented Lorentzian geometry, metric-selected Levi-Civita connection ∇, and length-coordinate conventions of Thermodynamics-GR fields, currents, reference normalization and units, with signature (−,+,+,+). On an open region O of a smooth four-manifold without boundary, take a smooth positive temperature field T:O→(0,∞) and a smooth future unit observer-congruence field u satisfying g(u,u)=−1. Adopt the separate entropy-only state maps of Separate entropy-only radiation state maps with a fixed parameter aR>0 in J m−3 K−4:

ε=aRT4,p=13aRT4,s=43aRT3,h:=ε+p.

The fields ε,p,h have units J m−3=Pa and s has units J K−1 m−3. Adopt the perfect stress tensor and its source-free balance

Tab:=h uaub+p gab,∇aTab=0

on the specified smooth background. In the proper-time velocity convention Ua:=cua, this is equivalently Tab=(h/c2)UaUb+pgab with g(U,U)=−c2. This branch has no conserved particle-number coordinate, particle-number current, or chemical-potential field. It adopts an effective equation of state and perfect-stress balance; it does not determine aR from quantum statistics, assert that a physical system realizes these maps, report a measurement, or derive an Einstein-field equation.

Depends on

Dependency tree · 2 levels

Sources