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 initial preparation for a finite protocol
The start of the specified finite-state protocol is modeled as a canonical preparation at one positive reservoir temperature; preparation success and equilibration are not derived.
Postulate
For a protocol of Finite driven protocol and path work, fix a bath temperature kelvin and set in joules, using the exact constant and SI conventions of SI quantities and unit conventions. The finite-state clause of the adopted Canonical sampling assumption for finite and normalized statistical models then gives the stage-zero law ; adopt that the initial microstate is drawn from this law, so . Here is finite and nonempty and is finite, so as required by that clause. This is a model premise about the preparation distribution. It does not follow from the finite partition-sum definition, does not assert that an arbitrary system equilibrates in finite time, and does not report a measured preparation. The countable-state and measure-integral branches of Canonical sampling assumption for finite and normalized statistical models are not used.