The Math, From the Ground Up

This page teaches the second mathematical effort behind the theory — the clean-room build. The rule of the game is severe and it is the whole point: start with nothing but the most basic mathematics a person can write down — sets, relations, maps, order, and counting — and import no known physics. No vector spaces, no complex numbers, no metric handed to you, no calculus, no probability, no spinors. Then take the theory's own definition of an interaction — two poles, a mark, local space, local time, a Propagation — posit the absolute minimum of it, and derive the rest of its own anatomy as theorems. The ladder below is that derivation, one provable rung at a time, in the theory's exact vocabulary.

How to read this page — three honest tags

Every rung carries a status, and the honesty is the method. DERIVED — forced by the toolbox alone, with a proof. POSITED — something that genuinely must be assumed; named, not smuggled. WITHDRAWN — a claim that was drafted, then killed under review and removed. That last tag is unusual to show in public, and it is the most important: each rung of this build was handed to an adversarial critic whose only job was to break it. Three exciting-looking results were broken and withdrawn. What remains is what survived an opponent.

Already comfortable with spinors and Hilbert space? The companion Formal Theory page climbs the other way — top-down, assuming the rich structure and deriving physics from it. This page is the skeptic's route: bottom-up, assuming almost nothing. They are two roads to the same mountain, and where they meet is the interesting part (see the end).

The toolbox — everything you are allowed to use

Before the first rung, here is the entire permitted vocabulary. If a concept is not on this list or built from this list, it may not appear until the structure forces it.

Tool	What it means	What it does not give you
Sets	collections of things; membership (`∈`, `⊆`)	no size, no distance between members
Relations	"e relates to f" — e.g. `e ⇀ f`	no direction-as-number, no strength
Maps	each thing assigned to one other — `f : A → B`	no continuity, no smoothness
Order	"e before f" — `e ≺ f` — some pairs left unordered	no clock, no duration
Counting	how many (`\|S\|`); comparing counts	only `ℤ, ℚ` — never `ℝ, ℂ`, no continuum

The atom — what an interaction is

The theory is a single-primitive ontology: everything that exists is made of one substance, interaction. And an interaction is not a vague "connection" — the Foundations define it as an atomic structure of exactly six items:

an interaction  e  =  ⟨ A, B, local space, local time, mark, Propagation ⟩
Pole A — the mark-leaver                (written  e⁻)
Pole B — the one that becomes aware     (written  e⁺)
local space — intrinsic to e, not borrowed from any backdrop
local time  — intrinsic to e; zero-duration from outside
mark m(e)  — a bit set by A, delivered to B (“I exist”); moved, never copied
Propagation — e's internal process, which carries the mark A→B

Inside every interaction the same script runs: Agent A leaves a Mark upon the local space; after some local time, Agent B becomes aware of the Mark. Until B becomes aware, the interaction does not exist — there is no mark in limbo, no half-event waiting to be finished. And B's act is awareness, not detection: if B had to detect the mark, the detection would itself be an interaction needing its own detection, and so on forever. Awareness is primitive and non-interactional — it is what brings the whole six-item structure into being.

an event  =  one completed interaction   (the math's word for it)
the script:     A leaves m(e)  →  local time  →  B becomes aware  →  e exists
existence:      e exists   ⇔   e ∈ E          (E = the actual, E ⊆ Ω = the potential)
                no uncompleted events:  not-yet-aware  ⇒  not yet in E
awareness:      primitive, NOT detection      (detection ⇒ infinite regress)
agents:         not a primitive — an agent is a bundle of pole-positions
                tied together by one awareness

Two consequences to hold on to. First, what an observer cannot reach is not the small or the far — it is the unfinished interaction, because until B becomes aware it does not yet exist, and there is nothing to observe. Existence is conferred by completion, never by size (Rung 4 shows an agent can interact across any scale). Second — and this is the game of the whole page — the clean room does not get to assume the six items. It posits only the barest skeleton: that there are completed events, each with its two poles and its mark; that awareness relates them; and that each interaction belongs to its parent's Propagation (nesting). Items 3 and 4 — local space and local time — must be earned back as theorems, and item 6's inner law (how candidate carrier-paths are weighted) stays honestly open. The ladder below is the earning.

Item of the interaction	In the clean room	Where
1–2. Poles A, B	POSITED — `e⁻, e⁺`, exactly two per event	start
5. Mark `m(e)`	POSITED as a bare distinction; its inner nature is the wall	start → Rung 8
awareness	POSITED as the informing relation `⇀`	start
6. Propagation	its relation POSITED (nesting `⊏` — belonging to a Propagation); the carrier path expressed at Rung 2; how candidate paths weigh stays open	Rung 2
4. Local time	DERIVED — the succession of completions inside an interior	Rungs 1–2
3. Local space	DERIVED — the coexistence of completions inside an interior	Rung 3

The ladder

Each rung: the idea in the theory's own words, then the same idea in notation, then its honest status. The rungs are the formalism/cycle_*.md documents in the repository, where each carries its full proof and its critic exchange.

Rung 1 — Time is the order of completions · DERIVED

Posit the minimum: completed events e, each with its mark-leaving pole e⁻ and its aware pole e⁺, and the informing relation — e ⇀ f means f's aware pole becomes aware of e's mark. One axiom, straight from the script: a pole can only become aware of a mark that has already been left, so informing can never loop back to itself. Follow the arrows (transitive closure) and a partial order ≺ appears. That order is time — not a coordinate, not a number: the order in which completions may inform one another. And because nothing forces the order to be total, there is provably no universal "now" — pairs of events with no informing chain either way are simply not ordered. No external time, as the Foundations demand — here as a theorem, not a declaration.

informing:      e ⇀ f      "f's aware pole  f⁺  becomes aware of  m(e)"
axiom (A):      no chain   e ⇀ … ⇀ e        (completion precedes awareness-of)
before-order:   ≺  =  transitive closure of  ⇀
theorem:        ≺  is a strict partial order        (time, derived)
theorem:        some  e, f  have   e ⊀ f  and  f ⊀ e     (no global clock)

Rung 2 — Propagation, Mass, the One Interaction, and local time · DERIVED

Item 6 of the six: the Propagation is an interaction's internal process — the subtree of sub-interactions through which its mark is carried (v0.13: carried, not computed). The bit set at A travels down to Mass, across the floor, and up to B's awareness. (The chain neuron→vocal cord→air→ear when one human speaks to another is the Propagation of a human-to-human interaction.) Formally this is a second relation, nesting: c ⊏ p says the interaction c belongs to p's Propagation. Nesting must bottom out — and the bottom is Mass: the atomic, leaf-level interaction, with no Propagation below it and a primitive mark, the simplest fact of distinction. It tops out, too, in a single root: the One Interaction — the universe — whose mark-leaving is the Big Bang, whose awareness is the end, and whose Propagation is the whole of cosmic history. Then item 4 falls out: local time is the before-order ≺ restricted to p's own sub-interactions — each interaction manufactures its own clock from the succession of its children's completions. And the encapsulation theorem: that interior succession is invisible one level up — from outside, a completed interaction is a single zero-duration point carrying one mark; all its duration is internal. Encapsulation seals an interaction's inner duration, not its reachability: its sub-agents still interact outward (Rung 4).

nesting:        c ⊏ p        "c is a sub-interaction of p's Propagation"
                par(c) = p   exactly one parent  (only the root 𝟙 has none)
                ch(p)        p's sub-interactions;  Comp(p) = the subtree under p
Mass    :=      { e : ch(e) = ∅ }     atomic leaf interaction, mark primitive
root    :=      𝟙, the One Interaction:  every e sits inside it
                Big Bang = 𝟙's mark-leaving;  the end = 𝟙's awareness
local time:     τ_p  =  ( ch(p), ≺ )      p's own clock — succession of
                                           its children's completions
encapsulation:  τ_p is invisible in τ_par(p)   — zero-duration outside,
                full duration inside           (theorem, not slogan)

Rung 3 — Local space: coexistence, the other reading of the same order · DERIVED

Item 3 of the six. Inside a parent's interior, every pair of sub-interactions is either ordered (one informs, directly or through a chain — succession) or not (coexistence — neither before the other). The theory's v0.5 definitions are exactly these: time is the order of succession of a parent's children's completions, read upward; space is the order of coexistence of those children — the room the parent grants them to be many at once — allocated downward. So local space needs no new primitive: it is the incomparability already sitting inside the same order whose comparability is local time. One structure, two readings — a theorem now. A slice of space is a maximal set of mutually-coexisting children, and the dimension of the coexistence gets a native, counting-only definition (the order-dimension) — though why it is 3 remains open, honestly.

inside p:       every pair of children is  comparable  or  not
succession:     c ≺ c′  or  c′ ≺ c        — TIME, read upward (content from below)
coexistence:    c ∥ c′  ⇔  c ⊀ c′ and c′ ⊀ c   — SPACE, granted downward
a slice of space  =  a maximal antichain of  ( ch(p), ≺ )
dim(space)  =  order-dimension  =  fewest line-orders whose overlap
              rebuilds the whole          (why 3?  —  open)

Rung 4 — Only Mass truly informs; Forms interact through their substrate · DERIVED

A correction the theory forced on itself. A human becomes aware of the sun, the wind, an apple, a virus — Forms at wildly different complexity. So interaction cannot be locked to "same level." The resolution is the theory's own cross-level principle made formal: elementary informing holds only between Mass-interactions — only the most basic agents truly touch — and every higher interaction is a path through the substrate: the source Form's structure carries the mark down to its Mass, the mark crosses the shared floor Mass-to-Mass, and the receiving Form realizes it up through its own structure to awareness. "Level" is nesting-depth — how deep a Form's Propagation runs — never a barrier to what it can interact with. The Foundations' asymmetry is preserved exactly: a Form interacts with lower and same-level Forms, but cannot interact upward with the higher Form it is part of — toward the whole it belongs to, it is constitution, not interaction.

rule E′:        e ⇀ f   elementary   ⇒   e, f ∈ Mass
a Form sensing the sun  =  down (⊏ inside the sun's structure)
                           → across (⇀ at the Mass floor)
                           → up (⊏ inside the human)  →  awareness
level = nesting depth  —  not a limit on interaction
upward:   no  ⇀  toward one's own whole   (constitution, not interaction)

Rung 5 — Form, Action, and the two existence criteria · FORMALIZED — the fixed-point form derived; the definitions are the ontology's

What is a thing, if interactions are the only substance? A Form — a constituted agent: Form_N is what emerges when many alike Form_N−1 interact according to a Protocol. And a Form is not a frozen lump: it persists by Action, the way a Form maintains its own existence — ago ergo sum, I act therefore I am. Action is not evidence of the Form's existence; Action is the Form's existence. The substrate never holds still — Mass is ongoing interaction, never inert, so the Form's parts are perpetually exchanged — and the Form is the invariant shape re-made through that flux, like a whirlpool that is never the same water. Formally: reality is what is self-consistent, a fixed point of the realization map; Forms are the attractors of the flow. This gives the theory's two-level existence criterion its mathematical home.

Form-constitution:   Form_N  =  many alike Form_{N−1}
                                interacting by a Protocol_N
two existence criteria:
   an interaction exists   ⇔   B becomes aware of A's mark   (e ∈ E)
   a Form exists           ⇔   it acts          (ago ergo sum)
reality as self-consistency:     E  =  Cl(E)        (fixed point)
Forms  =  attractors of the flow:  shape invariant, substrate exchanged
Mass is ongoing interaction  —  the floor never rests  ⇒  the flux

Rung 6 — Alikeness becomes the first number · DERIVED (after a withdrawal — see below)

The theory defines alikeness as structural isomorphism: two Forms are alike iff their lower-level interaction patterns have the same structure. Here that definition starts paying in mathematics. Two substrate-configurations are the same Form when they are isomorphic (c ≅ c′) — and the distance between two configurations is how many structural edits separate them, minimized over all ways of matching them up. That is a genuine, provable metric, built from counting alone — the first magnitude in the entire build. And a theorem drops out: because Mass-marks are primitive distinctions with no inner identity, swapping substrate parts costs zero — the parts change, the shape stays the same Form, proven, with no extra machinery. The first number in the theory measures robustness of Form, not yet distance in space.

alikeness  =  structural isomorphism:      c ≅ c′
distance   =  fewest edits over the best matching of the two shapes:
        d(c, c′) ≥ 0            d(c, c′) = 0  ⇔  c ≅ c′
        d(c, c′) = d(c′, c)     d(c, c″) ≤ d(c, c′) + d(c′, c″)
theorem (turnover is free):
        swap substrate parts, keep the arrangement   ⇒   d = 0
        (Mass-marks carry no inner identity — nothing to tell apart)

Rung 7 — Distance between events, and the fingerprint of spacetime · DERIVED (after a withdrawal — see below)

Now a distance between events: count elementary informing steps along the Mass floor. Coexisting events share no direct informing (informing orders; coexistence is unorderedness) — so their separation must run through structure they share. Space is relational: the distance between two coexisting events is the size of the smallest causal bridge connecting them, not a gap in a pre-existing container. And the deepest surviving result echoes the ontology's oldest hunch — v0.5 conjectured that because time flows up and space is granted down, the two must enter any combined measure with opposite signs. The clean room proves the bare-hands version: time and space extremize oppositely. The time between two events is the longest chain of completions (the straight path takes the most time — the twin paradox); the distance between coexisting events is the shortest floor-path. Longest-versus-shortest is the combinatorial fingerprint of the minus sign in Minkowski spacetime — derived with no geometry, while the full signature honestly waits at the wall.

floor graph:    Mass-events;  edge = an elementary ⇀  (direction dropped)
SPACE:   g(x, y)  =  SHORTEST floor-path     (a bridge through shared structure)
              g(x, z)  ≤  g(x, y) + g(y, z)         (sub-additive)
TIME :   τ(x, y)  =  LONGEST chain of completions  x ≺ … ≺ y
              τ(x, z)  ≥  τ(x, y) + τ(y, z)         (super-additive)
opposite extremes   =   the ( − , + ) fingerprint of Minkowski
(v0.5's "time up, space down ⇒ opposite signs" — the provable half)

Rung 8 — The mark's interior: the one thing you must assume · POSITED · the wall

Every rung above hit the same ceiling whenever it reached for a precise magnitude. Rung 8 names what lives there, and it is the Foundations' own oldest open question: what does a Mass-interaction's mark consist of? The theory's commitment (its own chosen primitive, not a derivation) is that the mark is a two-sided distinction — that which separates what is in existence from what is not, a set of two: {0, 1}. What no amount of counting and order can supply is the next step: that the two sides superpose — combine linearly, with continuous complex weights and a phase, and interfere. Superposition needs a continuum, a phase, and linear addition; the toolbox yields none of them. So superposition is the chief irreducible assumption, and it has a precise address: it lives on the potential Ω — the not-yet-realized — so that every actual mark remains what the theory always said it was, a perfect bit, existence versus void. Physics = the derived scaffolding + a short, honestly-named list of inputs, with superposition the largest (the law of motion and the spacetime ruler are the smaller items still owed — see the table below). The build's job was to corner the mystery into the smallest cage it honestly could.

the mark (the theory's commitment):   a perfect bit — existence vs void
           actual events:   β = 1  on  E          two sides:  { 0, 1 }
the CHIEF posit (not buildable from the toolbox):  superposition, on Ω
        α|0⟩ + β|1⟩         with   α, β ∈ ℂ
        needs:  linear addition  +  a continuum  +  a phase
        counting gives  ℤ, ℚ  …  but never  ℝ, ℂ
self-consistency law:    E = Cl(E)
        its FORM is forced  —  its SOLUTION (which Forms can exist:
        the particle spectrum) is the open calculation

The honest part: three results that were broken on purpose

The reason to trust the surviving rungs is the rungs that didn't survive. Each draft was given to an adversarial critic instructed to destroy it. Three times, an exciting claim was found to smuggle in exactly the kind of rich structure the clean room forbids — and three times it was withdrawn rather than defended. Showing this is the point.

The tempting claim	What the critic found	What replaced it
"Stability is a basin of attraction" (Rung 6 draft)	A "basin" secretly assumes a dynamics — a law of motion pulling things back. The toolbox has no such law. Smuggled physics.	The honest part kept: the metric `d`, and the proof that substrate turnover is free. The "margin of stability" was admitted to need an extra assumption, not derivable.
"The (1, d) signature is forced" (Rung 7 draft)	A pun: it confused "one oriented relation" with "one dimension" with "one minus sign." A signature is a property of a quadratic form there was none of.	The genuine fingerprint that does survive: `τ` (longest) and `g` (shortest) extremize oppositely. The actual minus sign still needs the wall (Rung 8).
"Physics = one posit, the program is complete" (Rung 8 draft)	Over-tidy. It hid several distinct gaps under one word and asserted a uniqueness it hadn't proved.	An honest list: superposition is the chief posit, but the law of motion, the spacetime ruler, and one open calculation are separate items still owed.

The whole climb, at a glance

Concept (the theory's term)	In notation	Built from	Status
Time — succession of completions	`≺ = closure of ⇀`	awareness cannot loop	DERIVED
No external time / no universal "now"	`e ⊀ f ∧ f ⊀ e`	the order being only partial	DERIVED
Mass (atomic leaf) · the One Interaction (root)	`ch(e)=∅` · `𝟙`	nesting bottoms / tops out	DERIVED
Local time, encapsulated (item 4)	`τ_p = (ch(p), ≺)`	succession inside an interior	DERIVED
Local space, coexistence (item 3)	`c ∥ c′`; order-dim	the un-ordered pairs of the same `≺`	DERIVED
Propagation (item 6) — the carrier path	the subtree	nesting; how candidate paths weigh = open	EXPRESSED
Form persists by Action (ago ergo sum)	`turnover ⇒ d = 0`	alikeness + indistinguishable Mass-marks	DERIVED
The first magnitude (a metric)	`d(c, c′)`	counting edits between shapes	DERIVED
Space is relational	`g(x, y)`	shortest shared-causal bridge	DERIVED
The minus sign of spacetime (fingerprint)	`τ` longest vs `g` shortest	opposite extremes	DERIVED
Why dim = 3 · the ruler · the particle spectrum	`E = Cl(E)`, solved	—	OPEN
Quantum superposition (the mark's interior)	`α\|0⟩ + β\|1⟩` on `Ω`	—	POSITED

Where the path ends — and where it meets the other road

Climb the ladder and you arrive at a single door marked superposition. The clean-room build cannot open it from below: counting and order yield whole numbers (ℤ, ℚ), never the continuous, phase-carrying, linearly-combining amplitudes (α|0⟩ + β|1⟩, α, β ∈ ℂ) that quantum mechanics runs on. This is not a failure of the climb — it is its sharpest result. The empirical content of physics has been cornered into a short, named list of inputs, with superposition the chief one — and with a precise statement of where it must be inserted: on the potential Ω, the not-yet-realized — so that every actual mark stays what the script delivers, a perfect bit, existence versus void.

Counting and order force the shape of physics — time, space, dimension, distance, the fingerprint of Minkowski. They stop, every single time, at one wall: the interior of the mark. That wall is superposition.

And this is exactly where the two roads meet. The Formal Theory page starts on the other side of that same door — it assumes the amplitude (the complex 2-spinor, ℂ²) and derives relativity and quantum mechanics together, the de Broglie bridge, even a route to Einstein's equations. The clean-room build, coming from below, independently re-discovers that this one assumption is precisely what cannot be derived — the very premise the top-down road had to put in by hand. Two methods, opposite directions, agreeing on where the irreducible mystery lives. That agreement is the strongest thing either road says.

What remains is no longer derivation but calculation and decision: solve the self-consistency condition the build arrives at (E = Cl(E) — which Forms can hold themselves in existence; its solutions would be the particle spectrum, the "closure gate"), test whether the law of motion and the spacetime ruler collapse into that same single assumption or are separate, and settle a couple of open ontological choices. The honest verdict is the same as the rest of the site: not a finished theory of everything — a candidate skeleton with its inputs named, its overclaims withdrawn under review, and its one remaining mystery pinned to a single point.

Full development in the project repository, one document per rung: formalism/cycle_1.md (events, poles, informing; time as order), cycle_2.md (nesting, Mass, the One Interaction, local time, encapsulation), cycle_3.md (local space & dimension), cycle_4.md + cycle_4_5.md (the existence-bit; reality as a fixed point; floor-only informing), cycle_5.md (existence as dynamic functional stability), cycle_6.md (alikeness; the first metric), cycle_7.md (the floor metric; the Lorentzian fingerprint), cycle_8.md (the wall, decomposed), cycle_9.md (the mark is carried, not computed — Propagation). Each cycle records its full adversarial-critic exchange and every withdrawal. Tags: DERIVED / POSITED / WITHDRAWN.