The Keystone

The six studies are not independent essays that happen to share a subject; they are the six faces of one construction, and they build. The Substrate lays the ground the construction stands on. The Fulcrum proves the theorem that ground supports. The Fates populates the theorem with its instances. The Box sharpens the deepest of them. The Bridges establishes the right by which they are called instances at all. The Horizon marks where the construction's reach ends. Each takes for granted what the ones before it settled, so the natural order of reading is the order of the numerals, I through VI. The seventh, The Recurrence, is a companion rather than a face: it presupposes the whole and reflects on it, and is best read after the six, as a coda.

But cumulative logic is not a locked door. Every study opens with its own orientation and closes with its own colophon; each can be entered cold by a reader willing to take the earlier results on trust. This guide exists precisely so that the trust is informed — so that a reader who begins with The Box because provability logic is what they came for can see, before starting, what The Substrate and The Fulcrum have already established and where The Box sits in the arc. The index that follows gives each study's thesis and a direct link; the map shows how they reference one another; the arc shows why the order is what it is. Take the shape first, then choose the door.

The index first. Each row is a door — the study’s face, its title, its thesis in a sentence, and a link straight to it.

And the web they form. A study built late stands on the ones built before it, and says so — The Bridges draws on all four studies that precede it, The Horizon on all five, The Recurrence on the mathematics of The Fulcrum and The Bridges read forward in time. The density is not redundancy; it is the structure of a cumulative argument, each result used downstream the moment it is established. The map shows it. Tap a study to see what it builds on.

The index and the map answer where each study sits and what it leans on. They do not yet answer why the order is what it is — why the setting must come before the theorem, the theorem before the instances, the bridge-assumptions before the boundary. That is the arc, and it is the spine of the whole series rather than a property of any one study.

Read in order, the seven studies are not a tour of a subject but the unfolding of a single argument, and the dependencies are strict enough that the order could hardly be otherwise. Walk it once, end to end.

It begins with ground. Before the theorem can be stated, one needs the setting it lives in: a category with finite products and an object that can apply to itself. The Substrate supplies exactly this, and no more — it shows that cartesian closure is the having of a certain adjoint, that Lawvere's theorem needs only finite products and never the full closure, that reflexive objects are what self-application requires, and that the fixed-point theorems divide into three genera of which Lawvere's is one. Nothing about the theorem can be said until this much is fixed, so it comes first.

Then prove. On that ground, The Fulcrum proves the theorem itself — as a diagram-chase that, strikingly, never uses well-pointedness, the hypothesis one might have thought essential. And it does the deeper work of locating the theorem's root: the diagonal is the categorical face of contraction, the rule that lets a thing be used twice, and the proof term, read at a reflexive object, is Curry's fixed-point combinator. The theorem and its mechanism, settled before any instance is touched.

Then populate. A proved theorem with no instances is empty; The Fates fills it. Each of the seven classical results — Cantor, Turing, Tarski, Russell, Curry, Gödel, Kleene — is written as a four-tuple feeding the one construction, and the results sort themselves into four fates by two questions: whether the naming is genuine and whether the twist has a fixed point. The instances are now in hand, and visibly one family.

Then sharpen. Among the instances, one carries more structure than the rest: the provability instance obeys Löb's law. The Box follows that thread into the modal logic GL and reaches the de Jongh–Sambin theorem, where the fixed point the construction merely guaranteed becomes unique and computable — and the Gödel sentence is revealed, exactly, as consistency. The deepest instance, taken to its floor.

Then warrant. The word doing the heavy lifting in all of this is instance, and a skeptic may doubt it means anything. The Bridges makes it a technical term — a faithful interpretation of a single generic situation — meets the objection that categorical unity is cheap, and shows the unity constrained, exclusive, and predictive, hence load-bearing and falsifiable. The right to call the results instances, earned.

Then bound. A reach established and warranted still has an outside, and to leave it unmapped is to invite the suspicion that there is none. The Horizon walks to the edge in three directions: the natural independence the diagonal cannot reach, the contraction below which it cannot be drawn, the receding horizon its own generality forbids it to cross. The borders, marked.

And then reflect. The six faces complete the construction; the seventh steps back from it. The Recurrence asks why one construction was discovered, in disguise, again and again across eighty years before anyone unified it — and answers that the situation it responds to recurs wherever a system is rich enough to represent itself, so that the construction proves its own recurrence inevitable. The whole, seen from outside itself.

That is the arc, and it is why the numerals run as they do. Each study is a load it could not bear without the ones beneath it, and the whole stands as an arch stands — which is the figure this guide is named for. What remains is to be exact about how much of each study is proved and how much is framed, for the corpus's discipline is to keep the two apart, and a guide to the series owes the same accounting for the series as a whole.

Not everything in a study has the same standing, and the corpus's habit is to say which is which rather than let argued framings borrow the authority of proved theorems. A theorem is checked; a framing is defended. The de Jongh–Sambin uniqueness is proved; the four-fate taxonomy is a framing. Both earn their place, but not in the same way, and conflating them is the failure the discipline exists to prevent. Inspect the lattice for each study.

The lattice records what each study establishes and how. It remains to record that the studies are consistent with one another — that the cross-references hold, the counts agree, the shared identity is stable across all seven — and to place the series against the nine volumes it deepens. That is the collation, and it is the last thing a keystone owes.

The seven studies were built one at a time, each when fewer of the others existed, each carrying references and counts that could drift as the series grew. The corpus's hard-won lesson — that its few real defects have almost all been cross-references frozen at an earlier stage — makes a collation pass mandatory whenever the body grows. The seven were checked against that lesson.

One cosmetic vestige is noted for completeness and left in place: a single comment in the shared stylesheet, inherited unchanged through all seven, names an element that the studies do not render. It is invisible to every reader and affects nothing, and scrubbing it would mean re-cutting seven files for a line no one sees. The honest course is to record it and move on — a reminder that a collation reports the state of a work truthfully, including the small imperfections not worth the cost of removing.

And the placement. The seven studies are not a separate work but a magnification of part of the existing one. The corpus proper is nine volumes — seven thematic studies, the apparatus Scholia, and a front-matter hub — and of these the Scholia is the compression these seven unfold. Six of the seven open the Scholia's six sections to proof-depth; the seventh is a new companion. They were built to deepen the corpus, never to revise it, and nothing in them contradicts the volumes; where a study sharpens a claim the volumes made loosely, it sharpens rather than overturns, in the corpus's standing preference for correcting an overclaim over hedging it. The nine volumes and the seven studies are one corpus at two magnifications, and this keystone is the joint that holds the second to the first.