Claim Summary · Conditionality Footer

Claim Summary

Section 0. Contract with the reader. The four premises supplied from the axiom. The argument cited as standard. The sign derived. No number. The describings given before any formula was in view.

Section 1. RULED; DERIVED. One record, absolute. Every reading from a site, relative to its record history. No privileged site, because there is no position outside the record. Premise (i).

Section 2. RULED; DERIVED. Every operator has one neck: the grain’s own aperture, one in kind, many in site. The record one. The apertures many. One now, one grain, the moment every operator writes and reads from. No reading of it.

Section 3. RULED; DERIVED. Distance is the record a grain takes to cross at the tick. c is a unit. It is invariant because it is the ruler. The Galilean case excluded. Homogeneity and isotropy AP10’s. Premises (ii) and (iii).

Section 4. RULED; DERIVED. A site’s time is its own record count. No third count, and no third clock — a third clock would have to read a now, and none can be read.

Section 5. RULED; DERIVED. Motion is settling relative to the landscape. Velocity the change of a site’s place per tick. Bounded strictly below one grain per click, because a site is held and only the unheld crosses at the tick, in the settled hourglass. Never truly still. No absolute rest. Energy recorded for the next paper. The case §7 runs is uniform settling. Accelerated settling refused.

Section 6. DERIVED. Simultaneity is a reading and never a fact of the record. A reconstruction by the one rule, differing between settling sites, with no third reading. The pupil generalised. One now, one record-order, no readable now. The order is the record’s. The now has potential. Neither is a reading. The interval is what every site reads the same. AP51 §7’s reconciliation, closed.

Section 7 and Appendix A. STANDARD, cited and written out; DERIVED (the sign). The Lorentz group on the corpus’s premises, every step named to its sentence. The packaging of the hypotheses stated against Lévy-Leblond’s. Dilation, symmetric between uniformly settling sites; contraction; the composition of velocities — as §§3–5 made exact. The invariant I = −t² + x² + y² + z². The standard argument’s causality premise supplied by R, fixing which direction carries the odd sign. The transformations maps between readings. KS-D.4 paid at the structural register, written out at the formal, one identification named as remaining.

Sections 8–11. Plain words. Refusals. Dated notes. Four switches armed at lock.

Conditionality Footer

Everything above is conditional on the axiom and its locked developments. It is exactly as strong as they are. If AP51’s pupil falls, §6 falls. If the crossing record is shown not to be the only ruler, §3 falls, and the exclusion of the Galilean case with it. If R’s irreversibility is shown to permit a reversed count, the sign is unfixed. If uniform settling is shown not to be the case Appendix A ran, §7’s application — not the theorem — fails and waits on the gravity paper. Nothing here is armed. There is no number to move.

Dependencies. AP10 (§0.3, §1, §4, §0.7; KS-D.4). AP03 §4.1 (verified; SHA-256 2a390f76…). AP48 §1 (verified; SHA-256 a7d068dd…). AP20. AP01. Ø Dissolutions Chapter 11. AP50 (§§1, 2, 3, 9, 10). AP51 (§§2, 4, 5). W. v. Ignatowsky, Physikalische Zeitschrift 11, 972 (1910); J.-M. Lévy-Leblond, American Journal of Physics 44, 271 (1976).

Dependents. AP10’s dated note (KS-D.4 paid at the structural register; narrowed at the formal). The gravity paper (non-uniform settling). AP51 §7, closed. AP51 §2, where the same sentence now reads: we share the now, the moment we write and read from; we do not share a reading of it.

Kill switches. KS-REL.1–4, armed at lock. KS-D.4 addressed.