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.
Finite-site canonical law and microcanonical shell
Definition
Fix a finite alphabet , , and real single-site energies in a fixed energy unit. At inverse parameter , define For , a configuration has additive energy . Given a width , the shell is When this finite set is nonempty, its microcanonical law means the uniform probability on , and its dimensionless entropy is . A type is a vector , where the nonnegative integer counts sum to ; its multiplicity is .
The convention fixes both the shell center and the law within the shell. It makes no physical claim that an apparatus has resolution .