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.
Residual entropy and the scope of the third-law postulates
Interpretive distinction between a macroscopic entropy-difference postulate and a finite microscopic canonical model; no identification of their entropies or universal zero-temperature value is asserted.
Remark
Residual entropy here means a finite entropy limit at low temperature under a model's specified entropy convention. In a finite canonical model, let a finite set of microstates have energies in joules, assign for , and use the Gibbs entropy . If the ground energy has finite degeneracy and there is a positive gap to all excited states, this model-specific entropy tends to ; Residual entropy in a finite canonical model ↗ supplies the full finite-state calculation. Here is the number of ground states and is the natural logarithm of The natural logarithm as the inverse of the exponential function.
This formula belongs to that specified microscopic preparation and entropy convention. It does not identify every Gibbs entropy with the macroscopic , and it does not establish a universal value . The uniform Nernst postulate Uniform Nernst heat-theorem postulate on a compact family constrains differences across its declared family, not the common entropy offset: adding one fixed constant to every leaves every displayed difference unchanged. Thus that postulate alone neither selects an absolute zero nor forces a unique ground state. The Nernst heat theorem, zero-entropy convention for a unique ground state, and operational unattainability remain distinct model statements.