Articles
Structural patterns across domains — observed, formalized, verified.
Push-Together and Bounce-Back
Push a swing at the right moment and it climbs with almost no effort; push at the wrong one and it fights you. Flick a rope at a wall and the wave bounces straight back; hand it to a matched partner and it flows through. One idea — matching — decides which happens. The opening of a four-part arc on how connections carry, return, and build up energy.
The Bounce Is a Dial
Between "everything through" and "everything back" lies every real connection. How much reflects is a quantity you can read off, aim for, and design around — the same dial behind a cell-tower antenna and the anti-reflection coating on your glasses. The textbook reflection coefficient is just the picture, said exactly.
One Rhythm Makes a Small Push Enormous
Return to the swing for the secret the rope doesn't show: at one special rhythm, small patient pushes stop adding and start to accumulate. That's resonance — a wine glass shattered by a held note, a radio picking one station out of thousands, soldiers breaking step on a bridge. A different kind of match: of timing, not of sides.
One Family of Ideas
Match, mismatch, and resonance turn out to be three faces of one question: when two things are joined, how does the fit between them govern what gets across? The same equations recur across strings, cables, and tuned circuits — and the arc closes by holding one resemblance loosely, marked clearly as a felt impression, not physics.
To Figure Out How Humans and AI Should Work Together, We Had to Ask a Simpler Question First
Who exactly are the parties, and what exactly is the deliverable? Treat both parties as the same kind of thing — cognition — and "who supervises whom" becomes an engineering question: which jobs in producing a trustworthy claim are interchangeable, and which provably are not. Series introduction.
Witness Independence: The Two Axes
While drafting a series about filing claims honestly, we hit a claim of our own that refused to be filed as one unit: the math is machine-checked; what the math means is not — and those are different purchases. Two axes of independence, and why a review count can't buy you either one.
Human-at-the-Loop: Naming the External Axiom the Algebra Requires
For one worked case, machine-checked in Lean 4: something outside a system is required to stand across a gap the system's own machinery provably cannot close. The proof says nothing about that something being a person — and why we name it "the human-at-the-loop" anyway, labelled as our interpretation.
Pricing Independence: Fidelity SLAs as Witness Contracts
Two AI-review contracts can read word-for-word identical and buy you completely different assurance. "A review" is not a unit — independent witness along a named axis is. Four lines that make a cognitive-fidelity SLA honest: declare the axes, allowlist what counts, set the cadence, price each axis out loud.
Why a Piano Octave and the Periodic Table Are the Same Shape
A piano octave and the periodic table share the same underlying structure — and that shape is now machine-checked in both. Not the physics each one rests on — the shape. In 1866 John Newlands was laughed out of the room for saying so; we can now say precisely what he saw, and where it stops.
The Cleanest Case We Have Is One You Can Hear
Of everything we've checked, the structure shows up most cleanly in the one place you'd dismiss as mere convention: music. The octave's 2:1 doubling is a measured fact — and the same shape, machine-checked, sits in the periodic table's main groups.
Three Places Our Own Model Came Back Negative
If your model can't come back negative, it isn't a model — it's a mirror. Three places ours said no: cosmology never had the invariant, a published "richness" result was retracted, and the chemistry model is being rebuilt mid-repair, in public.
The Most Interesting Part of the Periodic Table Is the Part We Haven't Proved
The spiral shape is proved for the main-group elements — under half the table by count, but the part where the octave idea was born. The transition metals and rare earths are open, the boundary is drawn in public, and refinements go on the record under your name.
The Proof That Changed Nothing
In 1952, Dyson proved the perturbation series underlying QED diverges. The proof was never retracted or refuted. It changed nothing. An examination of the structural dynamics — threshold cascade, boundary formation, narrative compression — that absorbed it.
The Step That Disappears
Lightning strikes eight million times a day at field strengths an order of magnitude too weak for conventional breakdown. Five candidate triggers compete for the explanation. A pattern-mathematics analysis dissolves the competition and predicts the streamer-to-leader transition mechanism.
The Self-Assembling Cosmos
From stellar nurseries to the cosmic web, the same filamentary geometry appears at every observable scale. Laboratory plasma experiments reveal the self-organizing mechanism that standard cosmology compressed out of view.
The Force You Were Taught to Cancel
Ampère’s original force law contains a longitudinal component that the standard framework treats as exactly zero. It isn’t zero — it was compressed out across four reformulation steps. A formally verified account of the sleeping force.
The Coupling Constant You Stopped Seeing
Four of physics' fundamental force laws share one mathematical skeleton. Maxwell's reformulation hid the structural invariance. A formal verification program is proving it matters.
Three Problems, One Shape
An electrical engineer, an immunologist, and a teacher walk into the same equation. The coupling pattern they share is not metaphor — it is structural identity, verified across 18 domains.