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.
Framework-local SI units, the vacuum constants and the exact/measured status of their values
SI unit and constant conventions for the classical electromagnetic framework, with the exact defining values of c and e, the measured status of mu_0, and the framework's definition of eps_0 = (mu_0 c^2)^-1. The item fixes units and dimensional bookkeeping only; it asserts no measurement, no charge quantisation and no cross-framework identification of quantities.
Definition
Adopt the SI system of units for this framework, with the following quantity table and conventions; every symbol is a quantity of this framework and the laboratory structure is that of Laboratory geometry: a restricted inertial chart, its spatial slices and fixed-time fields.
(a) [Coordinates and constants] and each spatial coordinate carries the metre (m); the time coordinate carries the second (s); the conversion constant carries m s and has the exact SI defining value ; the elementary charge has the exact SI defining value , and this item does not assert that physical charge is quantised; the magnetic constant carries N A and is measured, so no exact numerical value of is asserted. The pre-2019 SI fixed the historical nominal exactly; since the revised SI took effect on 20 May 2019, is experimentally determined. The SI brochure quotes the nominal as the estimate at the 2019 adoption with relative standard uncertainty ; this is historical estimate and uncertainty context, not an exact equality for the actual or a current measured value. The electric constant is defined within the framework by
in F m, consistent with the exact SI relation , so that and inherits the relative standard uncertainty of .
(b) [Electromagnetic quantities] Charge carries the coulomb (C); the charge density of the framework's source definition carries C m and the current density carries A m, so that the four-current components carry A m; the electric field carries V m; the magnetic field carries the tesla (T), where ; the scalar potential carries V and the vector potential carries T m, so that the four-potential components carry T m; the components of the electromagnetic two-form of the framework's tensor definition carry T; a force carries the newton (N), .
(c) [Mechanical quantities] A rest mass parameter carries the kilogram (kg) and a four-momentum of the relativistic particle model carries kg m s; field energy density carries J m, energy flux W m, so that .
(d) [Bookkeeping only] The unit of a quantity records the adopted system of units; it does not show that a quantity is primitive in this or any other framework, it contains no measurement, and it does not identify a quantity with a similarly named quantity of another framework. The exact defining values of and fix numerical conventions of the SI; they do not by themselves identify with the vacuum propagation constant of ideal light, which is the physical adoption of the framework's Minkowski postulate.
Depends on
Dependency tree · 2 levels
Sources
- BIPM, The International System of Units (SI), 9th edition, official current PDF version 4.01 (214 pages; PDF metadata dated 2 June 2026), retrieved 9 October 2026
- David Tong, Electromagnetism, University of Cambridge Part II Mathematical Tripos lecture notes (2026 printing, 236 pp.)
- David J. Griffiths, Introduction to Electrodynamics, 3rd edition (Prentice Hall 1999, 596 pp.; full scanned text)