Every reconstruction rests on a declared target domain and physical inputs. This register separates those inputs, mathematical consequences, approximation statements and unresolved global questions.
C. Assumption and theorem-status register
The following inventory separates input premises from reconstructed consequences. IDs are shared with the machine-readable public registers. The presence of an assumption does not imply that the corresponding source residual vanishes before that sector is selected.
| ID | Component | Assumption or domain |
|---|---|---|
| A01 | Native support | The walking marked dependency is in the supplied initial witness class; literal preparation contains no physical field. |
| A02 | Event and measurement domain | Smooth four-dimensional event manifold; nondegenerate local calibrations; Lorentz form (-,-,-,+); fixed units. |
| A03 | Local and global scope | Local sections use sufficiently small charts; global geometric descriptions use compatible overlaps, not a global coframe. |
| A04 | Differential calculus | Metric-compatible, torsion-free comparison is the selected realization sector; raw defects remain retained. |
| A05 | Curve dynamics | Regular non-null length stationarity with fixed endpoints; free massive test-particle interpretation; negligible backreaction. |
| A06 | Field variation | Dependent omega(E); unrestricted symmetric variations before unit-volume specialization; compact support or the specified boundary values. |
| A07 | Gravity coupling | Selected vacuum contraction and total-energy matter coupling; fixed nonzero kappa; no cosmological term added to the target. |
| A08 | Matter symmetry and join | Symmetric covariant stress and simultaneous calibration/stress transformations; same geometry and units across joins. |
| A09 | Fluid constitution | Original rho convention, normalized timelike velocity and supplied equation-of-state relation; no general IVP theorem. |
| A10 | Electromagnetic law | Potential convention F=-d phi, metric raising, prescribed current and second-index Maxwell divergence; local potential/gauge scope. |
| A11 | Charge and transfer | Zero transfer is a restricted branch; general material carrier requires its own current law; primitive fields are retained beyond stress. |
| A12 | Weak-field approximation | Uniform derivative control and bounded inverse; slow motion, quasi-static source and negligible leading pressure supplied separately. |
| A13 | Exterior completion | Additional static spherical positive-lapse ansatz and asymptotic clock normalization; no arbitrary-vacuum or horizon classification. |
| A14 | Observations | Specified observer, direction and endpoint protocol; classical test-ray optics; finite deflection remains coordinate-tagged. |
| A15 | Orbit and integral domains | Positive-mass exterior; nonradial bound branch 0<e<1, delta(3+e)<1; optical closest approach d<2/3. |
| A16 | Empirical interpretation | Historical quoted astronomical numbers not independently remeasured; diagnostics use declared dimensionless values. |
Evidence and theorem status
Every theorem and proposition in the following register has its proof in the manuscript. Computational tests check implementations, fixtures and invalid alternatives; they are not used as a substitute for the stated general proof. Neither a complete baseline replay nor a matching hash provides independent external review.
| Result | Claim | Scope limitation |
|---|---|---|
| 2.1 | Composition and information-loss criterion | Set-level factorization is not a regularity theorem. |
| 3.1 | Local metric section and complete fibre | No unique native antecedent or global frame. |
| 4.1 | Tensor algebra recovery | No restriction to decomposable tensors. |
| 4.2 | Compatible comparison existence and uniqueness | Physical compatibility is selected at realization layer. |
| 4.3 | Derivative operation recovery | Appended derivative slot is included. |
| 6.1 | Full curvature recovery | Einstein short covector form also needs zero torsion. |
| 7.1 | Field action and variation recovery | Not off-gauge covariant action equivalence. |
| 10.1 | Original conservation identity with volume defect | Zero only after stated volume specialization. |
| 11.1 | Reversible energy/Euler split | No arbitrary EOS well-posedness or division by rho. |
| 12.1 | Local potential section and gauge fibre | No global exactness or arbitrary boundary quotient. |
| 12.2 | Complete electromagnetic transfer residual | Zero-transfer conservation is conditional. |
| 13.1 | Finite-jet operation recovery | Not long-time uniform Newtonian convergence. |
| 16.1 | Boundary-sensitive optical comparison | Finite coordinate direction change, not observer-invariant angle. |
| 17.1 | Perihelion coefficient and error bound | Leading Kepler conversion; no fitted-element error bound. |
| 18.1 | Cumulative conditional reconstruction | No native law selection, new dynamics or independent peer review. |
What the public verification binds
The checks bind explicit algebraic inputs, scripted operations and recorded outputs. The six stage suites use preserved code; the final cross-convention audit is separately written. The release manifest binds the exact files supplied, and the clean replay receipt identifies the fresh extraction on which all suites were executed. The complete equation correspondence has 101 rows. The archive intentionally omits private research instructions and third-party scans. Original source access is bibliographic rather than a hidden runtime dependency: all fixtures needed by the verification are included.
The numerical diagnostics test dimensionless turning integrals, not solar-system measurements. Their arithmetic precision is 65 decimal digits. Each checks a strict error-bound inequality, not approximate equality at an unstated tolerance. No probabilistic significance, unseen holdout validation, interval certification or proof-assistant verification is claimed.
Published source: The Foundations of General Relativity: A Source–Readout Reconstruction of Einstein’s 1916 Theory. Read the original PDF alongside the web treatment.