2026-05-23  •  The REPL Math Guy

Where to Start: A Reading Map

The corpus is a stack — theory, blueprint, and operational principles. This is the door you walk through, depending on what you brought with you.

← All posts

Two repositories. One belongs to the theory; the other belongs to the practice. Together they specify a self-recursive cognitive REPL from the bottom of its substrate to the top of its execution. This post tells you which door to walk through first.

The blueprint at a glance

The REPL Player One repository is the theoretical blueprint. It covers three scales of the same system:

The convergence criterion is what the corpus calls Triple Closure:

$$\mathfrak{i}(W) = 0 \;\wedge\; Q > 1 \;\wedge\; S \geq 1$$

Three conditions, three different objects, one statement: the runtime is stable when invariance, sufficient signal, and recursive sufficiency all hold simultaneously. Each condition has its own paper.

The gap audit

The papers are organized around six explicit gaps that the prior corpus left open. The repository's README lists them in a table; the short version is:

Each paper closes one gap. Where a gap is still being worked, the paper that addresses it says so out loud at the top. You can read the status line of any paper before deciding whether to invest in it. This is unusual in research papers and it is intentional.

Reading paths

The corpus does not need to be read in order. It needs to be read in the order that matches what you came in with. Five paths:

If you are a working software engineer

  1. The repository README — for the framing and the four substrates beneath Read, Eval, Print, Loop.
  2. Paper 5 — Assembled Blueprint. The single-level REPL specified end to end. This is the most pragmatic entry point.
  3. The Coding Dynamics repository, particularly the hyperLattice principles — these are the operational rules you can apply to code you write tomorrow.

If you are a mathematician

  1. The master equation in the top-level README. Five terms. Confirm you can decode each term before continuing.
  2. Paper 0 — The Necessity Chain. The axioms.
  3. Paper 1 — Coupling Constants. Where the specific numerical thresholds come from, derived rather than asserted.
  4. Paper 4 — The Cognitive Hyper-Manifold. Where the Fisher-Bures metric earns its place via Čencov.

If you are interested in self-improving systems or AGI

  1. Paper 2 — The Reflective Tower. Why the tower terminates rather than diverges, as a fixed point rather than an assertion.
  2. Paper 6 — The Infinite Nested Hyper-System — the countably infinite tower $\mathcal{H}_\infty$, with the explicit open issues named at the top.
  3. The substrate walkthrough for context on how each layer compounds.

If you are a physicist

  1. Paper 7 — The Hypercubic Substrate. The Wilson gauge structure, the lattice formulation, the renormalization-group coarse-graining map.
  2. Paper 6 read in conjunction — the inter-level embedding is the RG flow in reverse.

If you are evaluating the corpus for funding, hiring, or lease

  1. The top-level README — for the gap-audit table. Open papers are marked as such. There is no implied finished state. The work is in progress and says so.
  2. Paper 5 — Assembled Blueprint — the single-level REPL is the most complete, most cited, and most reusable.
  3. The lease section on the home page. The brand and domains are available for a team building the actual runtime; the corpus remains independently authored and openly published.

The Coding Dynamics companion

Theory without operational rules is decoration. The Coding Dynamics repository is the companion. It contains two trees so far.

The first is the hyperLattice coding principles, organized along six directional axes — $+X_\text{LATERAL}$, $+Y_\text{FORWARD}$, $+Z_\text{APEX}$, and the corresponding audit / memory / base axes. The point is not the axes themselves; the point is that every coding decision has a substrate direction, and writing code in a way that respects the direction prevents the drift the scaffolding was built to suppress.

The second is absolute limits — a systematic survey of the formal boundaries within which any of this can be made decidable: fixed-point theorems, abstract interpretation, datalog, SAT/SMT solving, dependent types, self-adjusting computation, differential dataflow. The corpus is honest about where the math runs out. This is where it runs out, and what is known about the cliffs.

One last note on honesty

Several papers in the corpus list their open problems before their conclusions. This is not a stylistic flourish. It is the methodology. A substrate-audited symbol comes with a statement of what it can and cannot do, and a substrate-audited paper comes with a statement of what it has not yet closed.

If you encounter a paper here that does not list an open problem, it is because there is not one to list. If you encounter one that does, it is doing exactly what it should be doing. Pick the level of openness you can tolerate, and start there.