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.
Canonical thermal preparation
Fixed finite particle number and fixed controls in a classical canonical model with a finite positive partition function; no claim that isolated Hamiltonian dynamics prepares or equilibrates this law.
Postulate
For a fixed , controls , measurable classical Hamiltonian , measurable for the phase Borel sigma-algebra and taking energy values in joules, and the declared physical reference measure of Classical particle counting and physical observables, choose a prescribed thermodynamic-temperature control in kelvins and in J using the SI temperature convention of SI quantities and unit conventions. For every within-species permutation of Classical particle counting and physical observables, require for -almost every . Thus its Gibbs density has an invariant representative and represents a quotient state under the declared indistinguishable-particle convention. For operationally distinguishable labels the corresponding group is trivial and its factorial is omitted, as specified by that convention. If adopt the canonical state with density relative to . Set . Normalizability is a required condition on the chosen model; bounded-below energy alone does not imply it. This probability law is an adopted preparation, not a consequence of deterministic mechanics or evidence of laboratory equilibration.