Alphabeta Math
RemarkRemark: AI-adaptedProof: Not applicablePipeline-generated
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.

Contract for a future reported experiment of the framework: source, setup, calibration, procedure, sampling, observations, uncertainty and interpretation

Physical scope

A scope remark fixing the inventory a future reported experiment of this framework must provide: an actually retrieved primary source, the preparation and apparatus with its calibration data, the measurement protocol in a declared frame, the sampling and selection model, the reported observations with units, the statistical and systematic uncertainty treatment, and a specified comparison model. The item reports no experiment, no observation, no uncertainty and no empirical conclusion; it is a contract for later items, not an experiment.

What a reported experiment must supply

A later experiment item for this framework is a report of an actual measurement, and must be assembled from an actually retrieved primary source and record, separately:

  1. Source. A primary report with a resolvable reference, read in full: an apparatus paper, an instrument report or a data release, not a textbook exposition of a law and not a secondary anecdote.
  2. Setup. The prepared system in the vocabulary of the model: labels, declared parameters, configurations and the initial-data region (Operational observable model of the force branch: parameters, preparations, observation times, readout, units and additive error); the apparatus and its settings; and the calibration with its reference inputs and their declared deviations (Calibration of a mechanical apparatus against the primitive standards of the framework: reference inputs, deviations, rules and calibrated prediction maps).
  3. Procedure. The measurement protocol in a declared inertial frame: observation times, readout, units; the sampling model with its adopted IID and second-moment hypotheses, or an explicit statement of the dependence or drift that replaces them (Repeated-observation protocols of the force branch: adopted IID and second-moment sampling hypotheses and the sample mean); and the selection of the reported data.
  4. Observations. The values actually reported by the source, with their units and their conditions, quoted or transcribed faithfully. If the source records no quantitative detail, only a correspondingly limited qualitative account is supported; no precision, count or value may be supplied from elsewhere.
  5. Uncertainty. The statistical and systematic uncertainty treatment of the source and of the calibration: Type A evaluation from repeated observations, Type B evaluation from declared bounds and reference data, combination and expansion, and the deviations of the reference standards. Measured inputs of the comparison model carry their uncertainties and conditions into the conclusion (Scope of the sampling, propagation and inference interfaces).
  6. Interpretation. A specified comparison between the reported observations and a specified prediction of the model, including the idealizations the prediction uses; a specified discrepancy measure; and a specified test — data space, model family, null set and rejection region with its size (Statistical tests, rejection regions, power functions and size) — or a specified estimation or confidence construction (Confidence sets and their coverage level, Likelihood functions for a dominated parametric family). Agreement is evidence for the joint assumptions of model, apparatus and analysis, and a discrepancy may expose any of them.

What is and is not available now

The treatments cited by this framework are model exposition; they are not primary reports of a measurement of the framework's parameters under a controlled preparation, and the citations of this page therefore close no experiment obligation. No experiment item, no observation, no measured value, no uncertainty, no p-value and no effect size is asserted by this page. The worked computations on the companion page are proposals: they compute what a protocol would imply under declared hypothetical data and uncertainties. Turning such a proposal into a reported experiment requires all six items above, in particular an actually retrieved primary source.

Depends on

Dependency tree · 2 levels

Sources