July 2026Level 1 · PromptsLevel 5 · Admissibility

Run Grand Argument Synthesis Gas Yourself

frameworks that prove themselves: manuals composed from what you already said, whose completion is the proof of their own purpose. Here is the process, step by step, with the signal that ends each one.

The system you need: the manual + the skilltome on GitHub, plus the daily journal ritual that harvests and approves your claims.

Step 1 — State the fixpoint: write the purpose, and the completion that would prove it.

State the fixpoint: write the purpose, and the completion that would prove it. That pair is the root claim — steps executed lead to completion, and completion proves the purpose.

Begin when: Whenever you begin composing a framework from your claims. You are done when: A written root claim naming the purpose and the completion that entails it.

Step 2 — Roll up: gather your claims about the subject and place each one under the thesis they prove together.

Roll up: gather your claims about the subject and place each one under the thesis they prove together. The argument is a fixpoint structure — the claims roll up to prove the thesis, and the thesis is why those claims belong together.

Begin when: The root claim exists. You are done when: Every claim has a place in the argument and the thesis is stated.

Step 3 — Backtrace: start from the target state and derive each missing link deductively until the chain reaches claims you already hold.

Backtrace: start from the target state and derive each missing link deductively until the chain reaches claims you already hold. You are not inventing forward — you are recovering the chain backward from where it must end.

Begin when: Your claims do not yet reach the thesis. You are done when: An unbroken deductive chain from your claims to the thesis.

Step 4 — Verify you already know it: every link in the chain must be something you actually said or did, with a receipt.

Verify you already know it: every link in the chain must be something you actually said or did, with a receipt. An invented link means you do not know the argument yet — go live it, or drop it. You cannot arbitrarily make a grand argument.

Begin when: The chain is complete on paper. You are done when: Every link carries a receipt.

Step 5 — Close: run the chain.

Close: run the chain. If it produces the target state, the argument is closed and the manual is finished. If it does not, the closure check names exactly which step lacks support — that step is your next work, and nothing else is.

Begin when: All links are receipted. You are done when: The closure check reads CLOSED.

The one guarantee worth stating: closure is computable — at every moment you know either that the argument is CLOSED, or exactly which step lacks support; nothing can assert completion without a receipt

Grand Argument Synthesis itself: once a working version exists, you recognize it is universal, make the mental model of it — that mental model is the meat of the manual — and the manual gets made around it. Then it flows: into the skilltome, the website, the community, the channels, the book.

The argument behind this post is machine-checked: its claims, steps, and thesis compile as a closed grand argument at depth 4 — nothing here asserts completion without a receipt.

Next note: L5: Admissibility →

See one actually run.

The fastest way to judge any of this is to watch the engine do it.

Watch a world run →