Distinction
A state, quantity, relation, or event remains distinguishable.
Coordinates, symbols, basis elements, state labels, and indexed records provide address.
Public formal reader · 2 November 2026
The Architecture Of Silence
A typed minimum for the conditions under which a formal result can be stated, compared, and tested.
A public formal result identifies its terms, governs its transformations, carries its relations in a declared structure, states its conditions of use, and provides a proof or measurement another reader can test.
Five conditions of formal science
Remove address and a state cannot be identified. Remove a gate and no transformation is lawful. Remove a carrier and no relation is represented. Remove a boundary and no claim has stated scope. Remove contact and no proof or measurement becomes public.
Lawful operation
A declared rule identifies which constructions and transformations count.
Proof rules, equations of motion, symmetry laws, and selection rules provide a gate.
Declared structure
A mathematical structure carries the differentiated terms and their transformations.
Number systems, vector spaces, manifolds, phase spaces, bundles, and Hilbert spaces carry form.
Stated scope
A model has conditions of applicability, resolution, and domain.
Initial data, boundary conditions, regularity, scale, and stated approximations establish boundary.
Public evidence
A result connects to a proof condition, observation, or comparison procedure.
Clocks, detectors, calibration, records, and statistical tests provide contact.
| Field | Address | Gate | Carrier | Boundary | Contact |
|---|---|---|---|---|---|
| General relativity | Events, tensors, coordinate charts | Covariance and field equations | Metric spacetime | Initial and boundary data | Clocks, light, geodesics, detectors |
| Quantum theory | States, rays, observables | Linear operators and evolution | Hilbert space | Preparation and operator domain | Statistics and detector records |
| Thermodynamics | State variables and ensembles | Conservation laws and admissible processes | State space and system | Subsystem, control parameters, scale | Temperature, pressure, heat, work |
| Standard Model | Fields and representations | Gauge symmetry and action | Field configurations and bundles | Background, effective scale, regularization | Cross sections and detector events |
Formal lineage / 24 historical constructions
A lineage of operations
One construction at a time. Each card carries its author, statement, figure, and governing equation.
Open a card for its construction, conditions, source record, and original geometric plate.
Current audit edition
Physical Reality Inside Constraint
Exact algebraic statements, finite graph computation, and stated physical interfaces occupy separate evidence columns. The computational receipt verifies the declared exact checks; supplied field interfaces retain their own hypotheses and evidence.
Ev : P* → (N>0, ×) · G² = 5I · finite K₈ witness · deterministic verification
A diagram, equation, table, or written proof holds a relation still long enough for another reader to compare it. The public record begins there.