The HFT Constraint Program

What makes a physical quantity reportable? Not every equation in physics produces a number an observer can check. Some propagate. Some evolve. Some describe energy in motion. But only some produce a definite, frame-invariant, checkable result. What distinguishes the ones that do?

Two examples

Take the Schrödinger equation: iħ ∂ψ/∂t = Hψ. It evolves a quantum state forward in time. It is dimensionally consistent. It is fundamental. But it does not, by itself, produce a number anyone can check. To get a reportable result, you must square the amplitude: |ψ|². Only then does a probability — even, positive, unitless — appear. The equation propagates. The squared amplitude reports.
 

Take the Einstein-Hilbert action on a finite region. Vary it. The variation leaks at the boundary — a surface term remains that the bulk equation cannot cancel. To get a well-posed variation, you must add the Gibbons-Hawking-York boundary term. Only then does the action principle close. The bulk propagates. The boundary-completed action reports.
 

Notice the shared shape. In both cases: a first pass produces something that propagates but does not close. A second pass — squaring, bounding, tracing — produces something reportable. One pass opens. Two passes close.
 

Mirror Law

For every action there exists a twin — equal and opposite in angle. One computes; the other displays. Only their closure is physical.

ℛ² = 𝟙

ℛ is the reflection operator — the operation of testing whether a quantity survives a round trip. Not the wavefunction (that is data being reflected). Not the geometry (that is the result of reflection). ℛ is the test itself. 

ℛ² = 𝟙 says: apply the reflection twice and identity returns. This is not a new postulate. Unitarity (U†U = 𝟙), CPT invariance, conjugation, the Born rule — every squared norm, every inner product, every closure from unobservable to observable is an instance of this law.

The question is not whether ℛ² = 𝟙 is true. It is trivially true. The question is whether it is sufficient — whether one axiom, applied to the four normed division algebras (ℝ, ℂ, ℍ, 𝕆 — dimensions 1, 2, 4, 8, the only algebras where this reflection preserves a multiplicative norm) and terminated by Hurwitz's theorem at dimension 8, forces the complete structure of reportable physics.

The diagram below maps the four normed division algebras to eight tiers. Each tier assignment is forced by which algebraic property is lost at that stage — ordering, commutativity, associativity — not chosen.

 

 

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​
The eight tiers (T1–T8) correspond to the four normed division algebras forced by Hurwitz's theorem. Even tiers display. Odd tiers generate. Chassis primes 2, 3, 5, 7 are the four operators that build the machine. Everything above 7 is data.

 

The mapping is deterministic — zero free parameters. Feed in any atomic number, the output is fixed by prime factorization and modular arithmetic. Either it tracks nuclear stability or it doesn't.

A Tool for Testing: Mirror Notation 7.4x

Mirror Notation is a formal compiler — lexer, parser, AST, dimensional evaluator, epsilon classifier — not a conceptual framework. It takes equations as input and returns typed closures or classified deficits. The compiler enforces the gate on any equation. Feed it in. It returns: does this close? If yes, what type of closure? If no, what type of deficit, and what is the minimal fix? When an equation fails to close, the failure is classified. Three types exhaust all observed failure modes: missing readout (ε^Ω), missing boundary (ε^η), and missing parity partner (ε^op). The Schrödinger equation logs the first — evolution running without a readout to close it. Einstein-Hilbert logs the second — a variation leaking at a boundary no one supplied. A third type exists for parity-odd densities that lack a topological partner. No fourth type has been found. Each deficit names its own cure.
 

Three levels of engagement

At minimum — a closure-checking discipline that catches boundary omissions, parity errors, and incomplete readouts. This requires no commitment to the broader hypothesis.

At medium — a structural map. The typed deficits predict where squares must appear, why Born has the form it has, why gravity needs a boundary term.

At maximum — if the hypothesis survives, a constraint grammar linking quantum propagation, classical measurement, and boundary completion from one axiom and one theorem.
 

The first stands on its own. The second is testable. The third is the question.

Run it. Break it.

🔗 Begin here to understand the model → The Dark Room - a key walkthrough description of the Harmonic Field Lattice (Opens Google Doc Directly)

Mirror Notation 7.4x
 

A Deterministic dimensionality tool that enforces the HFT model on any equation and gives its location in the Harmonic Field.

🔗 Begin here to go straight to testing the mechanics → Mirror Notation Compiler 7.4x  (Opens Google Doc Directly)
🔗 Python Compiler code → Mirror Notation Compiler Code 7.4x  (Opens Google Doc Directly)
 

​​​​​​​​​​​​​​​​​​​
My Published Papers
https://doi.org/10.5281/zenodo.18842595