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.
Calibration data and calibration rules
Definition
Let be a probability space and let be integers. A calibration family is a family of prediction maps on a nonempty parameter set , in fixed numerical coordinates, indexed by a nonempty set of apparatus settings (Measurement models and additive-error observation models).
A calibration datum for this family consists of
- a finite family , , of reference inputs, either fixed values or maps , according to the branch specified in clause 4, representing values supplied by a reference standard under stated conditions;
- a set of admissible reference observations and the observed vector ;
- a calibration rule, that is, a map the nominal reference tuple belongs to and ;
- either, in the fixed-value branch, a stated bound with for each , or, in the random-input branch, a Borel random element of deviations with a stated joint law (Random elements and real random variables), where is its th component and for every and every . The bound uses the Euclidean norm of The Euclidean inner product on on the fixed coordinates; deviations need not themselves belong to .
Given the datum, the calibrated setting is and the calibrated prediction map is .
Well-definedness and conventions
The rule and the sets , , are data: nothing in the definition requires to be injective, continuous, measurable, or to return an apparatus setting for which the calibrated prediction is accurate. The reference inputs are values of a physical standard; their uncertainty is recorded in clause 4 and must be carried into any quantitative conclusion about by the argument that uses it. The definition states the structure of a calibration only; properties such as consistency, unbiasedness or attainment of a stated accuracy require separate hypotheses and proofs, and no such property is asserted here.
Reference inputs are explicit arguments of the rule: a fixed-reference rule is only a slice of . This mathematical definition attaches no units to the coordinates. A physical consumer must specify one unit and, when a norm compares different coordinates, one positive reference scale per coordinate; subtraction and addition then operate on numerical coordinates in those fixed units.