Alphabeta MathHow 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.
Evidence records for irreversible and transport claims
Requirements for any future empirical record used to discuss thermodynamic fluctuations, local equilibrium or transport; this remark contains no experiment, observation or measured value.
Remark
Evidence record.
An empirical claim in a later item must identify the source report and exact locator, the material and sample, apparatus and geometry, boundary and control conditions, operational definitions of measured quantities, calibration, sampling procedure, and the source's reported uncertainty and systematic limitations. Preserve the units, resolution, sample size, and selection conditions actually given by the source. If the source omits one of these details, record the omission and limit the claim; do not supply a plausible value or precision.
Keep four records separate: source-reported observations; derived estimates from those observations; model predictions under stated assumptions; and statistical comparisons between estimates and predictions. State the sampling and measurement model and the inference method when a statistical conclusion is made. Agreement supports the specified model-and-apparatus combination; it does not prove a postulate. Evidence belongs in an experiment item or a nonlogical evidence relation unless a theorem actually assumes a qualified empirical result, in which case that qualification must be carried as an empirical premise.
The source treatments cited here discuss modelled fluctuations and transport. Their illustrative numerical values are not measurements made by this library. No experiment item or observation is supplied by this remark.
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.