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 of a mechanical apparatus against the primitive standards of the framework: reference inputs, deviations, rules and calibrated prediction maps
Calibration of an apparatus for an operational observable model of the force branch: a family of preparation-sliced prediction maps indexed by apparatus settings with an explicit setting-to-preparation selection, a finite family of reference inputs traced to realizations of the framework's primitive quantities (durations in seconds, lengths in metres, masses in kilograms) with declared deviations, declared reference observations and a calibration rule. The item defines the datum that assigns numerical values in the framework's units to model parameters; it asserts no accuracy, consistency or unbiasedness of any calibration, no realized standard and no measurement.
Definition
Fix the force branch and one inertial frame, and fix an operational observable protocol as in Operational observable model of the force branch: parameters, preparations, observation times, readout, units and additive error, with prediction map , nonempty , , and its declared observation times, readout and numerical coordinates. Specify a nonempty set of apparatus settings and a map selecting a preparation setting for every . A calibration family is the family of preparation slices Thus the initial datum used in is , and the readout uses and its ordered model states. The preparation selection is part of the family data; fixing times and readout alone does not select it. The dimensions and units are those of Dimensions and SI unit conventions of the non-relativistic classical mechanics framework. Coordinate is the numerical coefficient of a quantity in one fixed unit with declared dimension; different coordinates may use different units. Choose positive numerical scales and define . This norm compares normalized numerical deviations, not sums of different physical dimensions.
A calibration datum for this family consists of:
- a finite family, with , , , of nominal reference inputs assigned by a reference standard under stated realization conditions. Each coordinate uses its fixed unit , and the nominal assignment is traced to declared realizations of the framework's primitive quantities, such as durations, lengths or masses (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework, Adopted Newtonian spacetime structure: absolute time, Euclidean spatial slices and their smooth structure, Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses clause (v)). The nominal value is the standard's assigned value, not an assertion that the actual realization equals it;
- one description of the actual reference inputs for the whole family: either fixed values for all , with declared bounds , , or a Borel random deviation vector on one probability space with a stated joint law, where belongs to for every outcome and every (Random elements and real random variables). No independence is imposed. A mixture of fixed and random reference inputs uses this second branch: each fixed input is represented by its constant deviation component, retaining any declared bound on that component. In the random branch declare whether the law describes uncertainty about fixed realizations or physical variation across realizations; a model for one is not automatically a model for the other. Additions are coordinatewise in the fixed units, and deviations need not belong to ;
- a set of admissible reference observations and a declared realized vector , together with a separate uncertainty specification for these readouts: declared bounds, a joint probability model, or an explicit statement that readout uncertainty is idealized as zero. If a random vector models the readings before realization, specify its joint law with the reference-input deviations, including any correlations; denotes its recorded realization, not the random vector itself;
- a calibration rule, that is, a map Here and ; each observation coordinate is read in the fixed readout unit of Operational observable model of the force branch: parameters, preparations, observation times, readout, units and additive error.
Given the datum, the calibrated setting is and the calibrated prediction map is . This is the physical instance of the calibration structure of Calibration data and calibration rules, with the framework's primitive quantities as reference realizations. If normalized coordinates are used, the deviation norm is exactly the Euclidean norm of that mathematical structure. A rule with fixed references is only a slice of this two-input rule, not a rule that discards reference values.
Well-definedness and conventions
The sets , , , the preparation selection and the maps , of the underlying protocol, the reference inputs, the deviations and the rule are data. Nothing in the definition requires to be injective, continuous or measurable, or to return a setting whose prediction map is accurate; Calibration data and calibration rules records the same conventions for the mathematical structure. Clauses 2 and 3 specify reference-input and reference-readout uncertainty separately, and both must be carried into every quantitative conclusion about ; a calibration with those uncertainty terms dropped supports no quantified uncertainty conclusion. A random calibrated setting requires the additional hypothesis that this composite is measurable and is in the rule domain; the deterministic realized rule does not imply that hypothesis.
Calibration is the step at which the framework's units and a standard's values assign numerical values to model parameters. The framework by itself fixes no numerical value of any parameter (clause (e) of Dimensions and SI unit conventions of the non-relativistic classical mechanics framework), and the value is the value attached by the standard, not a measured value of this item. A calibrated prediction map is a model object; a claim that an apparatus realizes it requires separate evidence.
Depends on
Operational observable model of the force branch: parameters, preparations, observation times, readout, units and additive error
Calibration data and calibration rules
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Adopted Newtonian spacetime structure: absolute time, Euclidean spatial slices and their smooth structure
Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses
Random elements and real random variables
Dependency tree · 2 levels
Sources
- JCGM 200:2012, International Vocabulary of Metrology - Basic and General Concepts and Associated Terms (VIM), definition 2.39 'calibration' with its notes on the relation between the indication and the corresponding value of a quantity and on the uncertainty of the reference
- JCGM 100:2008, Evaluation of measurement data - Guide to the expression of uncertainty in measurement (BIPM, 2008 corrected version), clause 4.1.3 (input quantities brought in from calibrated standards and reference data) and clauses 4.2-4.3 on the evaluation of standard uncertainty of such inputs
- B. N. Taylor and C. E. Kuyatt, Guidelines for Evaluating and Expressing the Uncertainty of NIST Measurement Results, NIST Technical Note 1297 (1994), Section 2 and Appendix A on the combination of standard uncertainties including those of reference standards