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.
Empirical tests and limitations
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Arc Length and Rectifiable Curves
- Areas of Elementary Plane Figures
- Banach-Space Differential Calculus and Banach Manifolds
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Linear Operators and Quotient Spaces
- Causal kernels, gauge and point fields after wave existence
- Compactness
- Compactness in Metric Spaces
- Complete retarded point fields
- Completeness, Completion, and Uniform Continuity
- Complex Differentiability and the Cauchy–Riemann Equations
- Complex Lp Spaces and Test-Function Conventions
- Connectedness
- Constant Rank, Submersions, Immersions and Regular Level Sets
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Density Separability and Convolution in Lᵖ
- Determinants of Matrices over a Commutative Ring
- Distributions Test Functions and Differentiation
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Electrostatics in vacuum
- Em Elementary Mathematical Prerequisites
- Em Expanded Analysis Prerequisites
- Em Experiment Analysis Prerequisites
- Em Minkowski Mathematical Prerequisites
- Em Wave Equation Prerequisites
- Energy Momentum
- Energy momentum angular balance
- Euclidean Surface Measure, Divergence, and Green Identities
- Exterior Powers, Orientation and Hodge Duality
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Dimensional Normed Spaces and Riesz Lemma
- Finite Probability and the Probabilistic Method
- Forces and Continuum
- Foundations of the Real Numbers for Analysis
- Free Modules, Exact Sequences, Projective and Injective Modules
- Fubini and Change of Variables
- Fundamental Solutions Newtonian Potentials and Green Functions
- Fundamental Trigonometric Identities
- Further Trigonometric Identities and Inverse Functions
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Harmonic Functions and Mean Values in Rn
- Hausdorff via the Diagonal
- Hereditary and Productive Behaviour of the Separation Axioms
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Improper Integrals
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Integral Maxwell and constraints
- Lebesgue Measure on Euclidean Space
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Line Integrals and the Gradient Theorem
- Linear Algebra Methods in Combinatorics
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Lorentz Transformations
- Manifolds with Boundary Collars and Orientations
- Material response and stationary interfaces
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Maximum Principles Harnack and Liouville in Rn
- Measurable Densities and Radon Volume on Manifolds
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modes of Convergence Egorov and Lusin
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Norming and Separation under Hahn–Banach
- Order, Zorn's Lemma, and the Axiom of Choice
- Outer Measure and the Caratheodory Extension Theorem
- Partial Differential Equations and Characteristics
- Partitions of Unity and Paracompactness
- Polynomial Rings, the Division Algorithm and Roots
- Potentials and gauge
- Power Series and Real-Analytic Functions
- Primitives and postulates
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Radon Measures and the Riesz Markov Kakutani Theorem
- Rank Theorems and Embedded Submanifolds
- Regular Surfaces and Surface Integrals
- Relations, Functions, and Quotients
- Retarded fields and radiation
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Schwartz Space and the Plancherel Theorem
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Sine, Cosine, and the Definition of Pi
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Spacetime Primitives
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- Tensor Fields Exterior Algebra and Differential Forms
- Tensor Products of Modules
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Complex Exponential and Euler's Formula
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Divergence Theorem and Classical Stokes
- The Exponential Function
- The Fundamental Theorems of Calculus
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Lebesgue and Riemann Integrals Compared
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Maximal Function and Lebesgue Differentiation
- The Real Gamma and Beta Functions
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Vacuum waves and polarization
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Volumes of Elementary Solids and Solids of Revolution
- Wave Energy, Finite Propagation and Huygens' Principle
- Wave Equation Representation Formulas
- Worldlines And Clocks
2 · Summary
This page closes the framework's empirical dimension with a declared record vocabulary and three primary-report accounts, and then states exactly what such evidence can and cannot do. The definition fixes the finite vocabulary of primary sources with declared reading limits, comparison quantities and measurands, apparatus-and-preparation descriptions, recorded data and reported observations, calibration models with declared error bounds, uncertainty records with source labels, analysis-assumption lists and qualified interpretations, and it asserts no measurement. The three experiments record Faraday's 1831 induction transients, Hertz's 1888 finite-velocity spark and wire-node indicators, and Cavendish's enclosed-globe inverse-square nulls with its sensitivity control, each kept qualitative with its missing calibration, datasets, sampling laws and corrupted numerics retained as missing. On that basis the comparison theorem isolates two exact framework reference predictions — a zero enclosed electric flux in the smooth charge-free branch and the exact averaged plane-wave intensity — and proves the deterministic confinement under a declared apparatus-and-calibration dictionary and declared bounds, with no sampling law, coverage, -value or numerical application asserted. The closing remark records the framework's material, point-source, mechanical and quantum validity limits. Every item is conditional on its stated hypotheses and on the qualifications carried by the reports it cites.
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
Report-backed operational evidence with uncertainty
Framework-local vocabulary for report-backed operational evidence in classical electromagnetism: comparison quantities built from the fields and sources of the framework at declared events or regions in the SI units of the laboratory frame; apparatus-and-preparation descriptions; finite recorded data or reported qualitative observations with condition annotations; calibration models with a declared error bound; uncertainty records with declared source labels; analysis-assumption lists; and qualified interpretations. The definition asserts no measurement, no apparatus behaviour, no sampling law, no precision, no independence, no coverage, no calibration correctness, no empirical support and no value of any physical constant; it selects no experiment and missing report detail stays missing.
Definition
Adopt the laboratory region with its inertial chart and fixed-time reading of Laboratory geometry: a restricted inertial chart, its spatial slices and fixed-time fields, the electric and magnetic fields of The electric and magnetic fields as fixed-time spatial vector fields, the charge parameter, frame charge and current densities and charge integrals of Charge parameter, frame charge and current densities, volume charge and flux, and the four-current, and the SI units and constants of Framework-local SI units, the vacuum constants and the exact/measured status of their values. This definition fixes the framework's report-record vocabulary; it selects no experiment, records no value, evaluates no indicator and asserts no measurement.
(a) [Primary source] A primary source is a declared bibliographic identification of a report (author, title, date, publication, and the identification of the passages actually inspected) together with the declared limits of the reading: which parts of the report were read, which were not, and any carrier defects (for instance corrupted optical-character-recognition text of formulae or tables).
(b) [Comparison quantity and measurand] Let be an integer. A comparison quantity of dimension is a declared map from a declared condition set to , with declared units, whose components are finite expressions in specified framework quantities. These may include the values of at declared events, the charge parameter , and the declared charge or current integrals of Charge parameter, frame charge and current densities, volume charge and flux, and the four-current; declared field circulations and surface fluxes on the admitted fixed geometries of Fixed volume and patch test geometries, outward normals and induced orientations; and declared finite-time or period averages of specified derived field quantities, including and of Vacuum electromagnetic energy density and energy flux (the Poynting vector). An integral or average is admitted only with its domain, orientation where needed, integration convention and actual well-definedness hypotheses declared. For example, a component continuous on a declared compact interval inside the laboratory time domain, with , has the finite Riemann average by A continuous function on is Riemann integrable, by Heine-Cantor and Riemann's criterion; a period average additionally declares the period and interval. Field fluxes inherit the regularity, compactness, boundary presentation and measure/choice conventions of their fixed-test supplier. A declared detector-response integral may be used only when its declared model and integral suppliers establish a finite real value. An extended nonnegative integral with value is not a component of this real-valued comparison map or a recorded finite rate. No existence or finiteness of an arbitrary field integral, distributional product or detector response is asserted. A measurand is a comparison quantity together with a declared condition description under which it is to be read. All quantities carry the SI conventions of Framework-local SI units, the vacuum constants and the exact/measured status of their values.
(c) [Apparatus and preparation description] An apparatus-and-preparation description is a declared finite record of the apparatus, the preparation, the controls and the environment in the report's own terms, with the identification of the passage of the primary source of (a) from which each item of the description is taken. The definition asserts only that the description is declared and finite; it asserts nothing about its correctness or completeness.
(d) [Recorded data and reported observations] For an integer , a recorded datum is a vector with declared units together with a condition annotation , a declared finite text identifying the declared run condition of the datum and, when the datum is taken from a report, its locator in the primary source. A reported observation is a declared finite text recording a qualitative observation of the report. A record is a finite tuple of recorded data and reported observations together with the declared condition annotations. The record contains no probability space, random variable, distribution, sampling law, independence assumption, likelihood or coverage statement.
(e) [Calibration model] A calibration model is a tuple in which is a declared nonempty set of apparatus-output values, is a declared calibration map and is a declared calibration-error bound: it declares that for every output obtained under the declared conditions, the value of the comparison quantity of (b) lies in the closed box in the declared units. A calibration model is a declaration; the definition asserts no accuracy beyond the bound and no statistical property of or . A declared missing calibration is recorded as missing, and no value or bound is then available from this clause.
(f) [Uncertainty record] An uncertainty record is a finite tuple of declared bounds, each carrying a declared source label from the finite list and a declared value in the declared units; each entry is a declared constraint of the form of (e), and the record may state that a bound is unavailable. No entry is a standard-deviation convention, a coverage probability, a confidence level, a -value, a posterior or a probability law.
(g) [Analysis assumptions] An analysis-assumption list is a finite tuple of declared assumptions used to obtain the recorded data or to compare them with a model (binning, background model, selection rules, corrections, fitting or estimation procedure, independence or dependence of entries, and the treatment of the sources of uncertainty); declared omissions are recorded as omissions and are not filled in by the definition.
(h) [Interpretation] An interpretation is a declared statement that identifies a specified model prediction and declares the result of comparing the record with it (support, constraint, failure to distinguish, or no conclusion), conditional on (a)-(g). The interpretation is part of the report account and not of the data; it asserts no probability, no significance level and no truth of any framework, and it records a comparison of a specified model, not of a whole theory.
(i) [Well-definedness and scope] All components of (a)-(h) are finite tuples, real numbers, declared maps on declared sets and finite text labels; forming this finite vocabulary uses no choice principle. Evaluating a comparison quantity inherits every hypothesis and axiom of its actual suppliers, including countable choice when the selected fixed-test surface or Lebesgue-measure interface requires it; no measurability, integrability, completeness or differentiability is inferred merely from the record. A comparison quantity is evaluated only where the cited items supply its ingredients and a finite value. Missing source detail stays missing: no universal sampling law, precision, independence, coverage or calibration correctness is part of the definition, and none may be inferred from it. The definition is the framework-local vocabulary for the reports of this page; it does not assert that any laboratory realises a measurand or that any reported observation is correct.
Source notes
The vocabulary above formalises the record fields of the three primary reports recorded on this page: a declared primary source with its reading limits, an apparatus-and-preparation description, finite recorded data or reported qualitative observations with condition annotations, a calibration model that may be declared missing, an uncertainty record of declared bounds with source labels, an analysis-assumption list with recorded omissions, and an interpretation separated from the data. The GUM clauses cited in the frontmatter supply the metrological vocabulary of measurand, measurement model, error correction and uncertainty source; the definition keeps every declared bound distinct from any coverage, confidence or probability statement, and it performs no numerical evaluation. No measurement, apparatus behaviour, sampling law, precision or calibration correctness is asserted, and no experiment is selected.
Faraday's 1831 induction experiments: reported transients and the iron-ring apparatus
Primary-report account of Faraday's 1831 induction experiments for the described apparatus: transient deflections at make and break of the battery circuit, needle magnetization and reversal controls, relative-motion transients, and the soft-iron-ring apparatus. Qualitative observations with finite resolution; no calibrated current, no sampling law, no precision, no single quantitative model comparison, and no proof or refutation of any induction law or postulate is claimed.
Primary source and reading limits. Michael Faraday, Experimental Researches in Electricity, Volume I, First Series (read 24 November 1831), 1849 collected second edition, read in the Project Gutenberg transcription derived from BnF/Gallica images; the First Series paragraphs 1-33 were read completely, and no claim is made to have read the whole volume. This is an original report reprint transmitted by a later transcription, not a newly repeated experiment. The account below is the report's apparatus descriptions and reported observations, structured by the record contract of Report-backed operational evidence with uncertainty; it is not a deduction, and 'no perceived deflection' is everywhere the report's finite-resolution verbal observation.
Setup
Insulated copper helices wound on a wooden cylinder, each containing about twenty-seven feet of wire and kept from touching by interposed twine, twelve helices superposed in the same direction with the first, third, fifth, seventh, ninth and eleventh joined into one helix and the remainder into a second (paragraph 6). A pair of two-hundred-and-three-foot coils interleaved as a spiral on a wooden block with metallic contact prevented by twine (paragraph 10). A small hollow helix wound on a glass tube into which a steel needle could be inserted (paragraph 13). Insulated zigzag wire boards moved relatively to one another (paragraph 18). A welded soft-iron ring, seven-eighths of an inch thick and six inches in external diameter, with three insulated inducing helices A of about twenty-four feet each and a separate helix B made from about sixty feet of wire in two pieces. The A helices were joined end to end and connected to a battery of ten pairs of plates; B was connected to a galvanometer three feet from the ring (paragraphs 27-28). Paragraph 31 reports the ring trial with one hundred pairs; paragraph 11 reports a separate coil trial with one hundred and twenty pairs.
Procedure
Making and breaking the battery circuit of the inducing helix while the detector loop is kept complete (paragraphs 10-11); removing the inserted needle before breaking the battery contact, and inserting it after make but before break (paragraphs 13-14); completing the detector circuit before the battery contact is made or broken (paragraph 17); moving the zigzag boards together and apart with a steady battery current (paragraphs 18-19); reversing the direction of the battery connection (paragraph 30); repeating with larger batteries and with charcoal contacts (paragraphs 31-32).
Observations
A slight deflection of the galvanometer needle at the moment of completing the connection, always in one direction, with the opposite deflection at breaking, and no sustained perceived deflection under the continued steady battery connection (paragraphs 11 and 28-31); magnetization of an inserted steel needle, with opposite poles at make and at break and near-cancellation when both transients act on the same inserted needle (paragraphs 13-17); opposite transient deflections as the boards approach and recede, with return to the ordinary position when the movement ceases (paragraphs 18-20); a minute spark at the secondary helix with charcoal contacts (paragraph 32); and the control that, after the first effect, the galvanometer needle resumes its position under the continued battery current (paragraphs 28 and 33). These are reported finite-resolution qualitative observations.
Uncertainty
The read passages identify deflection direction, needle-pole comparison, battery reversal and background and timing controls, but supply no calibrated conversion from deflection to current, no detector response or transfer function, no trial-level dataset, no declared sampling law, no error bars and no formal significance test; dimensions, wire lengths and battery plate counts are historical approximate apparatus descriptions, not modern precision estimates. The sign interpretation of the induced current depends on galvanometer and needle response conventions. Missing information is retained as missing; no error bars, precision or independence are invented.
Interpretation
The reported observations support a transient induction model for the described apparatus under the stated apparatus assumptions and are qualitatively consistent with conditional framework predictions of transient induction where those are instantiated for the described circuits; they do not establish a universal exact induction law, do not isolate all auxiliary assumptions (magnetic inertia, switching transients, leakage, current history, geometry) and supply no quantitative model comparison. The empirical support is a nonlogical relation to the induction predictions, not a proof of any postulate, and the source limitations of the reading travel into any downstream conclusion.
Hertz's 1888 finite-velocity tests: sparks, wire nodes and qualitative interference
Primary-report account of Hertz's 1888 finite-velocity experiments: spark detection, wire standing-wave nodes, and qualitative interference indicators under the described oscillator, detector, wire and air-path models. Qualitative historical observations with an explicit OCR limitation; no calibrated intensity, period or speed, no sampling law, no confidence interval, no proof of the Maxwell equations and no exact measurement of is claimed.
Primary source and reading limits. Heinrich Hertz, 'On the finite velocity
of propagation of electromagnetic actions' (Berlin Academy, 2 February 1888;
Wiedemann's Annalen 34 p. 661), in the authorized English Electric Waves
translation (D. E. Jones, Macmillan 1893), Chapter VII, printed pp. 107-123; the
complete chapter narrative was read in the Internet Archive OCR of
electricwavesbe00hertgoog, whose tables are visibly scrambled and have not
been reconstructed or recomputed, and the rest of the volume was not read. This
is a primary-report translation with an OCR limitation, not a modern
replication or a measured- precision source. The account below is the
report's apparatus descriptions, procedures and reported observation
indicators, structured by the record contract of
Report-backed operational evidence with uncertainty.
Setup
A spark-excited primary conductor with brass end plates and a central spark gap drove rapid oscillations; circular or square secondary conductors with micrometer-adjusted spark gaps served as qualitative detectors; the comparison used waves on a long wire versus direct action through air, with tuned secondary orientations and adjustable additional wire length; the room was darkened, and reflections and nearby fixtures were apparatus concerns (chapter VII narrative, printed pp. 107-123).
Procedure
Locating nodal points of the wire standing wave by moving the tuned secondary along the wire and marking their positions with paper riders; comparing spark strength and suppression at different positions along a defined baseline; lengthening the added wire from 100 cm to 600 cm in 50 cm increments and repeating the comparison (printed pp. 117-118); changing the distance between the primary and secondary circuits; and comparing the direct air-path action with the wire-wave action (chapter VII narrative).
Observations
Orientation-dependent spark responses of the secondary detector; approximately recurring and roughly equally spaced nodal points along the wire; and changing signs of the interference indicator as the path length or the distance is varied. These are the reported observed indicators; the finite phase delay and the propagation speed of the order of light speed are the author's model-dependent inferences, requiring his assumed oscillator, detector, wire-wave and air-path phase interpretation.
Uncertainty
The report expressly treats its inferred absolute period from circuit theory as doubtful beyond order of magnitude; it supplies no modern calibrated spark-intensity transfer function, no independent absolute period calibration, no trial-level likelihood or sampling model, no confidence interval and no synchronized-clock travel-time measurement; the numerical tabular signs cannot be faithfully recovered from the OCR used, and no quantitative fit, exact speed or uncertainty interval is claimed here. The author's rough order-of-magnitude remarks are not confidence intervals.
Interpretation
The described apparatus observations qualitatively support finite-propagation and wave-interference models under the stated auxiliary assumptions; they do not deductively prove the Maxwell equations, do not exactly establish the value of , and do not eliminate every alternative, since the comparison involves the assumed oscillator, detector and wire-wave models. The historical decomposition into separately propagating electrostatic and electromagnetic components is not promoted to a modern Lorentz-covariant theorem. The source limitations travel into any downstream historical or empirical conclusion, and the support is a nonlogical relation to the wave predictions.
Cavendish's enclosed-globe inverse-square nulls with a sensitivity control
Primary-report account of Cavendish's enclosed-globe null tests of the inverse-square law: reported absence of detectable charge in the connected enclosed interior, the precharge sign comparison, a deliberate small-charge sensitivity control and the box-geometry null. Qualitative finite-resolution nulls under the described apparatus; no numerical exponent limit, no calibrated sensitivity function, no sampling law and no proof of an exact exponent or of any force law is claimed.
Primary source and reading limits. Henry Cavendish's original manuscripts as
edited by J. Clerk Maxwell, The Electrical Researches of the Honourable Henry
Cavendish (Cambridge 1879), 'Experimental determination of the law of electric
force', arts. 217-235, printed pp. 104-113, with the detector and electrometer
descriptions arts. 244-249, printed pp. 119-121; read in the Internet Archive
OCR of electricalresea00cavegoog. The original apparatus, procedure, reported
observations and sensitivity check are identifiable, but the fractional
calibration ratios and the exponent computation are corrupted by the OCR and no
numerical exponent limit is transcribed or recomputed here. The account below
is the report's descriptions and observations structured by the record contract
of Report-backed operational evidence with uncertainty; it is a reported finite-resolution
null, not a proof that a true charge is exactly zero.
Setup
A conducting inner globe 12.1 inches in diameter, supported by a glass stick coated with sealing wax, enclosed between two tinfoil-coated pasteboard hemispheres 13.3 inches in diameter with a small clearance, the two hemispheres applied to each other to form a complete sphere; a removable wire connected the inner globe and the hemispheres, and could be drawn out by a silk string; linked strings operated the apparatus so that the charging wire, the inner connecting wire and the hemispheres were successively separated (paragraphs 219-222). A coated glass jar and an electrometer monitored and repeated the charging level through a separate electrometer fastened to the prime conductor (paragraphs 224-225). The inner-globe detector was a pair of pith balls about one-fifth of an inch in diameter on fine linen threads (paragraphs 220-222 and 244). The paper-cylinder electrometer of paragraph 248 monitored charging; the later straw electrometer with cork balls, suspended from the prime conductor, served that monitoring role in the subsequent charge-comparison experiments (paragraph 249), rather than replacing the inner-globe detector in the reported null tests. A second experiment enclosed a wooden piece between two wooden drawers forming a hollow box (paragraph 235).
Procedure
The hemispheres were charged from a Leyden vial through a wire, which was then withdrawn; immediately afterwards the wire connecting the inner globe and the hemispheres was drawn out by the silk string, the hemispheres were separated without touching the inner globe, and the outer shells and charging wire were discharged; a pith-ball detector was then brought to the inner globe (paragraphs 220-222 and 226). For greater sensitivity the pith balls were precharged positively before the charge, the comparison being made against the negative-precharge case at monitored equal charging levels (paragraphs 228-229). For the sensitivity control the hemispheres and their frames were removed, leaving the globe and pith balls. A smaller coated glass element was charged to the monitored level and its charge transferred to the initially uncharged main jar; that jar then charged the exposed globe. After withdrawal of the charging wire the precharged pith balls were compared (paragraph 230). The report's fractional charge comparisons are unusable in this OCR; no calibrated charge value is assigned here.
Observations
Several repetitions without perceived pith-ball separation or signs of residual inner charge (paragraph 227); in the precharged-ball comparison, equal small residual separations for positive and negative precharge rather than a detectable charge-sign asymmetry (paragraphs 228-229); in the sensitivity control, the small deliberately imposed charge was visibly distinguished by the same detector (paragraph 230); and a corresponding qualitative null with the enclosed-box geometry (paragraph 235). The reported 'must be inversely as the square' inference (paragraph 232) is recorded as the author's conclusion from the null under his theory, not as a modern theorem.
Uncertainty
The read passages supply charge-level monitoring, the precharge comparison, a deliberate sensitivity check and the pith-ball and electrometer construction, but no calibrated charge transfer function, no trial-level sampling model, no confidence interval and no modern SI traceability. Insulation leakage, finite separation time, imperfect spherical geometry, shell holes, accidental contact and outside charges are apparatus-model and systematic conditions. The OCR cannot faithfully recover all fractional calibration ratios or the exponent calculation, so no numerical exponent bound, precision, likelihood or certainty is invented.
Interpretation
An ideal inverse-square enclosed-conductor equilibrium model predicts zero charge in the connected enclosed interior under its idealization, and the reported observations support that model within the apparatus sensitivity and auxiliary assumptions; they constrain specified alternative force laws only after an explicit response and sensitivity model, which the read passages do not supply in numerically usable form. A finite null cannot prove an exact exponent, and the empirical support is a nonlogical relation to the static prediction.
Conditional predictions and qualified experimental comparison
Conditional statement about the smooth branch of the adopted Maxwell equations and about idealised plane-wave intensity: exact framework reference predictions (zero electric flux through an admitted boundary of a charge-free enclosed volume; the exact averaged plane-wave intensity through a plane), and, for any declared comparison family, apparatus-and-calibration dictionary and declared bounds satisfying the stated hypotheses, the deterministic confinement . Excluded: sampling laws, likelihoods, confidence levels, coverage, -values, rejection error rates, numerical application to the three reports of this page, weak or singular branches of the equations, and any claim that agreement proves or disagreement refutes the framework. Inherits from the cited integral theorem for clause (a)(i).
Statement
Assume the Axiom of Countable Choice (, The Axiom of Countable Choice ()) exactly as inherited from clause (a) of The integral form of the vacuum Maxwell equations and its equivalence with the smooth differential form, which is used in clause (a)(i) below with its piecewise boundary and surface-measure conventions; no other choice principle is used. Let the laboratory region, its inertial chart, the fields and the source fields be those named in The integral form of the vacuum Maxwell equations and its equivalence with the smooth differential form, with its constants and units, and let be a record of Report-backed operational evidence with uncertainty of dimension (primary source, apparatus-and-preparation description, recorded data or reported observations, calibration model, uncertainty record, analysis-assumption list, interpretation). Write for the laboratory time interval. Let be a nonempty open parameter interval, , and a declared comparison map of class such that and for every . Suppose the record's declared apparatus-and-calibration dictionary identifies the comparison quantity with the deviation of a declared model family from the exact framework reference prediction of clause (a), and declares the recorded deviation and the bounds and with .
(a) [Exact framework reference predictions] (i) [Static branch] Assume the smooth branch of the adopted vacuum Maxwell equations with the regularity hypotheses of The integral form of the vacuum Maxwell equations and its equivalence with the smooth differential form (fields jointly on with the additional derivatives appearing in the displayed equations existing and continuous there; for instance jointly of class and of class ). Let be a volume test geometry of Fixed volume and patch test geometries, outward normals and induced orientations and let be such that vanishes identically on . Then clause (a) of The integral form of the vacuum Maxwell equations and its equivalence with the smooth differential form gives On the smooth branch every admitted boundary whose enclosed volume is charge-free has vanishing electric flux; charge-freeness of the surface alone is insufficient, and the exact framework prediction for the enclosed-flux observable is the value .
(ii) [Wave branch] Let be the plane-wave solution of Period-averaged energy density, Poynting vector and momentum flux of a plane wave with data there, and let be the period average of its Poynting vector. Then that item gives the signed identity for every unit vector ; if the declared dictionary fixes the comparison quantity as the magnitude of the normal period-averaged flux (a declared intensity convention), then the exact framework prediction is The absolute value is part of that declared magnitude convention and is not a consequence of the signed identity.
(b) [Conditional confinement] Under the stated identifications, every parameter value compatible with the declared model family, the apparatus-and-calibration dictionary and the two declared bounds satisfies Equivalently, a proposed violating this bound is incompatible with the conjunction (specified family, dictionary, calibration bound, recorded bound); the conclusion is a deterministic statement about the declared bounds.
(c) [Status and qualifications] The conclusion is conditional on the declared family, dictionary, calibration and recorded bounds and on the declared monotonicity margin ; it is not a sampling law, a likelihood, a confidence level, a coverage probability, a -value or a probability that any model or framework is true, and it asserts no rejection error rate. Agreement of a record with a specified family, like disagreement with it, concerns the conjunction of that family with the apparatus, calibration and analysis assumptions; a discrepancy may lie in the family, the dictionary, the calibration or the analysis, and neither agreement nor disagreement proves or deductively falsifies the adopted framework. The three primary reports recorded on this page supply, in their recorded read extents, no calibrated response transfer function, no trial-level dataset and no declared sampling law; accordingly this item asserts no numerical bound and performs no numerical application for any of them, and their own uncertainty records carry their source limitations. Empirical support and its constraints are nonlogical relations, not dependencies, and any consumer of this item inherits , , , the declared family, the record's conditions and the source limitations.
Facts & Assumptions
Given: the Axiom of Countable Choice ; the laboratory region, chart, fields, sources, constants and units named in The integral form of the vacuum Maxwell equations and its equivalence with the smooth differential form with its smooth-branch regularity hypotheses; a volume test geometry of Fixed volume and patch test geometries, outward normals and induced orientations and a time with vanishing identically on ; the plane-wave solution of Period-averaged energy density, Poynting vector and momentum flux of a plane wave with data and a unit vector ; a record of dimension with the declared apparatus-and-calibration dictionary, comparison map of class on the nonempty open interval , centre , , on , recorded deviation and bounds , , .
The Axiom of Countable Choice, written , is the statement that every at most countable family of nonempty sets has a choice function (The Axiom of Countable Choice ()).
Under , if the smooth branch of the adopted vacuum Maxwell equations holds pointwise on for fields jointly with the additional derivatives appearing in the displayed equations existing and continuous there, then for every volume test geometry and every the integral form of the Gauss law reads (The integral form of the vacuum Maxwell equations and its equivalence with the smooth differential form, clause (a) and its regularity hypotheses).
A volume test geometry in is a pair with a nonempty bounded open set, and a specified finite piecewise boundary presentation with outward unit normal , and its closed-surface flux is the finite face sum (Fixed volume and patch test geometries, outward normals and induced orientations, clause (a)).
For the plane-wave solution with data the period average of the Poynting vector is , so for every unit vector (Period-averaged energy density, Poynting vector and momentum flux of a plane wave, clause (b)).
A record of Report-backed operational evidence with uncertainty carries a comparison quantity that is a declared map on a declared condition set, with declared units (clause (b)); a calibration model is a tuple with a declared nonempty set of apparatus-output values and a declared calibration-error bound (clause (e)); and the analysis-assumption list contains the declared assumptions used to compare the data with a model (clause (g)).
Let , open, and with ; let be an open interval with and for every ; let be of class with and for every . If a recorded scalar satisfies , , and the calibration bound , , holds for at a candidate , then (Uncertainty analysis: bounded-error data confine the parameter of a prediction along a declared unit direction in , Statement).
Proof
[Static branch] Fix the volume test geometry and the time of the statement, with vanishing identically on ; under the smooth-branch regularity hypotheses of [F2], clause (a) of [F2] gives , and the integrand is the identically zero function on , so its integral is and the flux vanishes: , the exact framework prediction for the enclosed-flux observable being ; the test-geometry conventions are those of [F3], and is used here exactly through [F2].
[Wave branch] Let be the plane-wave solution with data and let be a unit vector; clause (b) of [F4] gives the signed identity , so if the declared dictionary fixes the comparison quantity as the magnitude of the normal period-averaged flux, the exact framework prediction is , the absolute value being the declared magnitude convention and not a consequence of the signed identity.
[Displacement interval] Put , the translate of the nonempty open interval : is a nonempty open interval and contains because , and for every by the hypothesis on .
[Conditional confinement] Apply [F6] with , , base point , unit direction (so ), interval and : is open and contains ; for every one has by the definition of ; is of class on with ; and the directional derivative of along is the ordinary derivative, , because in the difference quotient defining is the ordinary difference quotient. Hence, for every candidate for which the record declares with and , [F6] yields ; writing for the candidate parameter value of the record's declared dictionary, this is exactly , which is clause (b).
[Status] Clause (c) records the scope of steps 1.1-2.1: the result is conditional on the declared family, dictionary, calibration and recorded bounds and on the margin ; it is not a sampling law, likelihood, confidence level, coverage probability or -value, and asserts no rejection error rate; the record vocabulary of [F5] supplies only declared comparison quantities, calibration models and analysis assumptions, so the dictionary identification in step 2.1 is a declaration rather than a consequence of the record structure; a discrepancy may lie in the family, the dictionary, the calibration or the analysis, so neither agreement nor disagreement proves or deductively falsifies the framework; the three primary reports recorded on this page supply no calibrated response transfer function, trial-level dataset or sampling law in their recorded read extents, so no numerical bound and no numerical application is asserted for them; and the empirical support relations are nonlogical.
Classical material, point-source and mechanical regimes and the quantum exclusions
Scope statement for classical electromagnetism as assembled in this framework: continuum and regularity regime; the declared material-closure branches and their excluded nonlinear, nonlocal, hysteretic and beyond-branch responses; the point-source self-interaction exclusions; the external-force Lorentz coupling; the absence of quantum charge, spin, measurement and photon postulates, with the classical-wave interference statement; and the qualitative, report-backed status of the empirical content. The remark asserts no theorem, no measurement, no probability and no proof, and it carries the qualifications of every item it cites.
Remark
Every cited conditional result retains its stated hypotheses. In particular, the point-source and causal-wave comparisons below assume Countable Choice (, The Axiom of Countable Choice ()) through their source suppliers; this qualification supplies no additional field or self-interaction model.
Record the established scope limits of the classical electromagnetic results assembled in this framework, with no speculative content. Each clause names what is and is not supplied; the remark asserts no theorem and adds no result.
(a) [Continuum and regularity regime] The fields of the framework are the maps of The electric and magnetic fields as fixed-time spatial vector fields on the laboratory region, with the regularity class carried by each statement; the solved branches are the smooth and stated weak branches of the adopted equations, and every conclusion holds only under its own stated regularity, domain and boundary hypotheses. No discrete, atomic or finite-resolution structure of matter or charge is assumed, and none is derived.
(b) [Material-model regime] The material results rest on the declared constitutive branches of Declared material-closure branches: linear nondispersive Ohmic response and the causal memory branch (the elementary inertial-rest linear nondispersive Ohmic branch and the causal memory branch with its declared kernel or transfer-function hypotheses); arbitrary nonlinear, nonlocal, hysteretic, or beyond-branch anisotropic and strongly dispersive response is not established by this framework, and each declared branch carries its own regime of validity, including the finite-band qualification of the constant-coefficient branch.
(c) [Singular sources and self-interaction] For a nonzero point charge , Divergence of the point-charge field energy and the limits of mass inference(a)-(b) gives divergence of the self-field energy as the inner cutoff is removed; for its displayed truncated energy is identically zero and this divergence does not occur. Self-force, runaways and finite-size regularizations are not supplied by this page records that products of a singular self-field with the charge's own distributional current are not defined by the adopted source model, and that the emitted-power results concern prescribed sources and determine no back-reaction. No self-force dynamics, runaway analysis, finite-size regularization or electromagnetic derivation of rest mass is supplied by this framework.
(d) [External-force and mechanical coupling] Particle motion enters only through the adopted Lorentz coupling The Lorentz coupling: external force on a test charge and the continuum force and power densities with a prescribed external field; the framework determines the motion of a specified test charge in a specified field and supplies no material law, no self-field dynamics and no derivation of the particle parameters. Any coupling to matter beyond the declared branches is an additional model assumption.
(e) [Quantum and ontological exclusions] The framework adopts no quantisation of charge, no spin or magnetic-moment degree of freedom, no measurement postulates and no photon model. Its interference results, such as the coherent cross term of Superposition intensity and the coherent interference cross term, are deterministic statements about classical wave fields; classical electromagnetic waves interfere, so an interference pattern alone neither establishes a quantum description nor falsifies classical electromagnetism, and the framework's field predictions do not single out an ontology of the underlying field or of a particle.
(f) [Empirical status] The empirical content of this page is report-backed and qualitative: the records of the three primary reports, in their stated read extents, carry no calibrated response functions, trial-level datasets or declared sampling laws, so they support and constrain the specified models only within their declared apparatus, calibration and analysis assumptions; agreement does not prove the framework and disagreement does not deductively falsify it. No measurement, precision, probability or confidence level is invented or inferred by this remark.
(g) [Status] This is a scope remark, not an established theorem; it records the limits of the results assembled here and asserts no new result, no measurement and no proof.
5 · Examples, experiments and counterexamples
None yet.
Sources
- JCGM 100:2008, Evaluation of measurement data - Guide to the expression of uncertainty in measurement (GUM 1995 with minor corrections), Joint Committee for Guides in Metrology, first edition September 2008, 134 PDF pages
- Michael Faraday, Experimental Researches in Electricity, Volume I, First Series (read 24 November 1831), 1849 collected second edition, Project Gutenberg transcription
- Heinrich Hertz, Electric Waves, authorized Jones English translation (Macmillan 1893), Chapter VII (Berlin Academy 2 February 1888; Wiedemann's Annalen 34 p. 661), Internet Archive OCR
- Henry Cavendish, The Electrical Researches (ed. J. Clerk Maxwell, Cambridge 1879), Internet Archive OCR
- Michael Faraday, Experimental Researches in Electricity, Volume I, First Series (read 24 November 1831), 1849 collected second edition, Project Gutenberg transcription (URL stamped and hashed in the batch coverage file; sha256 61a33e232f34d99c2a526ccd5d1cac42c32190e90083b10b7dba51838be6f7f0)
- David Tong, Electromagnetism, University of Cambridge Part II Mathematical Tripos lecture notes (author-hosted, 236 pp.); modern account of Faraday's law and the moving-wire emf used only as the context of the conditional induction predictions named in the interpretation
- Heinrich Hertz, Electric Waves, authorized Jones English translation (Macmillan 1893), Chapter VII, Internet Archive OCR of electricwavesbe00hertgoog (URL stamped and hashed in the batch coverage file; sha256 e64ca355422b781ab29a54939bd1ca7bbd7e70062ed540fef250cbae9098be31)
- Henry Cavendish, The Electrical Researches of the Honourable Henry Cavendish (ed. J. Clerk Maxwell, Cambridge 1879), Internet Archive OCR of electricalresea00cavegoog (URL stamped and hashed in the batch coverage file; sha256 8c54fe399606a71186f8c0717e3bdd00ec614ccd2bb040ebbb3b2cf787135133)
- Heinrich Hertz, Electric Waves, authorized Jones English translation (Macmillan 1893), Chapter VII, Internet Archive OCR
- JCGM 100:2008, Evaluation of measurement data - Guide to the expression of uncertainty in measurement (GUM 1995 with minor corrections), 134 PDF pages