Published on: August 13, 2026
Ready to accelerate your breakthrough? Send yourself an Un-Robocall™ • Get transcript when logged in
Send Strategic Nudge (30 seconds)Green in-lane · amber a little out · red drift. Every panel is a real commit, byte-identical on recompute. Tap any panel to open its shareable receipt.
The AI industry is not wrestling with an unsolved problem; it is paying salaries against a forgotten one. Turing proved in 1936 that no procedure decides what a general program will do; Rice proved in 1953 that every non-trivial question about what one MEANS is undecidable — theorems every computer-science undergraduate meets, and the industry that scaled the biggest programs in history forgot them at exactly the moment they became load-bearing, which is why alignment committees and certification roadmaps burn budget promising the mathematically impossible. That faint whiff coming off the strategy deck is amnesia. Anger at it is useless and politeness feeds it; the compassionate move is clinical — a diagnosis, a cure, and a bill. So we wrote the diagnosis down, shipped the cure as running code that answers the one question that is decidable — WHERE an output landed, never whether it is good — and we keep a ledger: every claim timestamped, and we collect the pints, warmly, as the predictions land.
What follows is the anatomy of the cure, and it has three organs: a nose, a ledger, and an anvil. How a whole field misplaces its own foundations without anyone getting stupid; the meeting where your shoulders flagged the problem before your vocabulary could; the one-line test you get to carry into your own building, no vendor required; the four papers that hold the entire forgotten canon — an afternoon, not a degree; a wager from 2007 that is still on the books; the measured numbers the receipts stand on, and the one claim we refuse to make; the ledger you can start tonight with an inbox you already own; the standard institutions will price whether or not anyone is persuaded; and the papers themselves, raw, at the bottom, with the concluding left to you.
One house habit, stated up front: the exact thought each section below is built to fire was committed to this public repo before publication, so you can grade the writing itself. The win condition is recomputation — you check a date, run a command — never agreement.
The maître d', presenting: Madeleine, Charred — the famous memory-cake, served burnt: one bite was supposed to bring the whole past back, and the kitchen sends it out char and all, because the industry's past stopped coming back on its own.
WHAT THE INDUSTRY FORGOT WHAT THE LEDGER REMEMBERS
───────────────────────── ─────────────────────────
1936 Turing: no procedure decides every claim timestamped —
what a general program does git, a filed patent, this post
1953 Rice: every non-trivial ↓
question about what one the nose: "which theorem does
MEANS is undecidable that promise need to be false?"
1970 Codd: one fact, one place ↓
1990 Harnad: symbols defined by the tax: one pint per landed
more symbols never touch prediction, collected warmly
ground ↓
↓ the anvil: code that answers
promises shipped anyway — the one DECIDABLE question —
"aligned" · "certified safe" WHERE did the output land —
↓ and refuses to answer the rest
committees, audits, payroll
spent on undecidable questions
Do you worry about $1.2B in AI liability?
If the property is trivial, software can check it — and why are you paying to check trivial properties? If it isn’t trivial, Rice’s theorem says nobody can. So we fixed the math.
a number we can call — or whatever you would actually ask
Who did this make you think of? We’d love to know.
This week, in a group chat where insurance people and AI people argue, the specimen arrived on cue: the confident claim that an autoregressive language model is a bounded function. A pint now rides on it. A single forward pass IS bounded — that much the industry remembers. But nobody deploys a single pass. The deployed thing samples, appends, feeds back, calls tools; the loop is the product, and the loop has no ceiling — which is precisely the door through which Rice's theorem walks in and voids every semantic guarantee anyone has promised about its output. The person on the other side of that pint is not a fool. They are a professional in good standing repeating what an entire industry repeats, and that is the diagnosis in one line: the error is institutional, not personal — a faint whiff of amnesia, detectable in any meeting where an undecidable promise is presented as a Q3 deliverable.
A brand that intends to outlive its founder needs what a person needs, and this one has exactly three organs. A nose — the diagnosis it cannot help making: which theorem does that promise need to be false? A voice — the ledger: claims written before the event, dated where nobody can quietly edit them, priced at one pint each. A body — the anvil: running code that answers the one question mathematics left decidable, WHERE an output landed against a declared lane, and refuses on principle to answer the undecidable one. In plain terms, before any metaphor: one habit of noticing (the theorem test), one habit of record-keeping (dated claims with a price on them), one thing that runs (code you can execute this minute). Every section below is one of those three, and nothing below is anything else. Focus, language, physiology: the anatomy is borrowed openly from a man who coaches humans rather than companies, and the borrowing is itemised at the bottom with everything else.
The anvil half runs today, before you have been asked to believe anything: npx -y thetacog-mcp@latest attest-demo — one minute, local, nothing leaves your machine. What returns is a placement and a receipt you can recompute, not a score you take on faith. The rest of this piece is the same argument from eight angles: how the forgetting happened, where you have already smelled it, the test you get to keep, the four papers that reverse it, the wager that prices it, the numbers that anchor it, the ledger that will outlive us, and the standard that gets adopted whether or not anyone is persuaded.
The whole argument, as rungs you can refuse one at a time: (1) the deployed loop is not a bounded function; (2) therefore every non-trivial guarantee about what its output means is undecidable — Rice, 1953; (3) an industry shipping such guarantees anyway has forgotten, not lied — amnesia is mechanical, not moral; (4) the kind response is a diagnosis with a price attached, because politeness maintains the condition; (5) the one question that stays decidable is WHERE an output landed, and running code answers it; (6) institutions price the decidable thing, so the receipt becomes the standard on survival grounds alone. Reject any one rung and you know exactly which sentence we disagree on. Rung 5 is a claim about running code, and you cannot settle claims about running code by thinking — npx -y thetacog-mcp@latest attest-demo settles it in a minute.
The maître d', presenting: Broth, Left on the Hob Since 1936 — the base stock of the whole kitchen, still simmering; everyone downstairs can smell it, and nobody upstairs remembers putting it on.
Here is why we believe the diagnosis over the outrage, and it is the reason we never get angry in that meeting. The people shipping undecidable promises are not stupid — many of them could re-derive Rice's proof on a whiteboard if you stopped them mid-sprint. That is exactly what makes it amnesia rather than ignorance: the knowledge is in there, unreached. The field has a context window too. Everything in it is optimised for the next token — the next round, the next benchmark, the next launch — and under that pressure its own axioms scrolled out the back. Nobody decided to forget 1953. It was evicted, the way any bounded memory evicts whatever has not been touched recently, and foundational theorems are by definition the thing you stopped touching decades ago.
Which is why the two easy responses both fail. Contempt is enjoyable and useless — you cannot shame a memory back into a context window, and the person you sneer at was never the author of the condition. Politeness is comfortable and worse, because it actively maintains the amnesia: every meeting where the impossible roadmap goes unchallenged is a meeting that confirms it as consensus. Letting a whole industry stay amnesiac is no help to anybody in it — least of all the people whose budgets are being spent on committees answering questions mathematics closed in 1953.
The compassionate move is the clinical one: a diagnosis, a cure, and a bill. The diagnosis is said warmly and once, with a date attached. The cure is handed over as something that runs rather than something to believe. And the bill — one pint — exists because a treatment with no price is indistinguishable from an opinion. State comes before story: you deliver this standing comfortably, smiling, the way a doctor delivers a treatable finding. It is treatable. That is the whole point of writing it down.
An industry that optimises entirely for its next token behaves exactly like the machine it is building — and evicts its axioms the same way. The whiff of amnesia is not a metaphor bolted onto the field; it is the field exhibiting the failure mode of its own flagship product.
The maître d', presenting: Apéritif, Bitter, Served at the Offsite — poured in a carpeted conference room; it tastes exactly like the moment the roadmap slide went up and your shoulders answered before you did.
You have sat in the room. The slide said the model will be "aligned by Q3" or "certified safe for deployment", and something in you did a small involuntary thing — a tightening across the shoulders, a breath held half a second longer than the sentence deserved. You did not have the citation ready. You may not have known there was a citation. But the wince was accurate: your body flagged a theorem violation faster than your vocabulary could name it, the way you can smell that the milk has turned before you could write the chemistry.
What you were smelling has a name and a date. The promise on that slide requires deciding a non-trivial semantic property of an unbounded system — the exact class of question Rice closed in 1953. The discomfort you filed under "I'm probably missing context" was not a gap in your knowledge. It was your knowledge, arriving ahead of the room's. The meeting continued because everyone else filed it the same way, and that mutual filing — each person deferring to a consensus that consists entirely of other people deferring — is the mechanism by which an industry's amnesia feels, from inside any one meeting, like expertise.
So take the retroactive permission: the wince was right. You were the instrument in the room that still worked. Everything after this section is about what to do with that — because an accurate nose with no language and no ledger just makes meetings more uncomfortable, and you deserve better return on it than that.
If you own risk, budget, or architecture anywhere near a deployed model, and you have ever left a governance meeting with the feeling of having watched something impossible get scheduled — this was written for you, and the wince you suppressed is the most valuable data you generated that quarter.
The maître d', presenting: Salt, Passed Down the Table — the one seasoning that improves every dish in the room; you take a pinch, and the cellar moves to the next chair with your fingerprints on it.
Here is the sniff test, and once you have it, it is yours — it works in your building, on your roadmaps, with every vendor who visits, and it requires nothing from us ever again. When a promise about a deployed model crosses your desk, ask one question: which theorem does this promise need to be false? If the promise is about WHERE something landed — which lane, which boundary, which declared scope — the answer is none, and you are looking at something checkable. If the promise certifies what an unbounded loop will MEAN — aligned, safe, honest, on-brand, forever — the answer is Rice, 1953, and you have smelled it.
The delivery matters as much as the test, and this is the part most people get wrong. Say it kindly, once, with the date attached. Not "this is impossible" — that starts a status fight you do not need. Something closer to: "I think this line promises a semantic guarantee, and I'd love to be wrong — Rice's theorem, 1953, is the thing it would need to get past. Can we reframe it as a boundary we can actually check?" You have handed the room a falsifier instead of an accusation. Anyone can look up the theorem tonight; nobody has been called a fool; and the promise either reforms into something decidable or its author declines to look up a sixty-year-old result, which is also information.
Notice what forwarding this costs you: nothing. The test stakes no credibility, because it is a question; the citation carries its own authority, because it is a theorem and not a vendor claim. This is the rare piece of ammunition that cannot blow up in your hands — the worst case is that someone checks the mathematics and the mathematics holds, which has been the worst case since 1953.
The maître d', presenting: Marrow, Cracked Open — ninety years of foundation served in four bones; the whole skeleton fits on one plate, and the richest part was inside the thing everyone stopped ordering.
The strange, hopeful part of this diagnosis: the entire forgotten canon is four papers, and an honest afternoon covers it. Turing 1936 — no general procedure decides what a program will do; the ceiling on prediction is structural, not a hardware complaint. Rice 1953 — the extension that closes every side door: not just halting, EVERY non-trivial question about what a program means is undecidable. Codd 1970 — the relational model, and the discipline the industry once had in its bones: one fact lives in one place, because meaning that lives in two places will drift into contradiction on its own schedule. Harnad 1990 — the symbol grounding problem: a symbol defined only by other symbols never touches ground; the dictionary chases its own tail unless definitions bottom out in something that is not another word.
Read in one sitting, they stop being four separate results and become one argument: meaning cannot be certified from inside an unbounded system, and it cannot be grounded by adding more symbols — so if you want anything checkable, you must bound the arena and give meanings addresses. That sentence is the entire foundation of what we build, and it was assembled from parts the industry already owns and stopped reading. Re-membering is the body's own word for this — putting the members back on. Nothing needs to be invented to reverse the amnesia. It needs to be re-read.
And the return on that afternoon is out of all proportion to its cost. The person in the meeting who has actually read the four papers outranks the consensus without raising their voice, because the consensus is made of people deferring to each other and they are deferring to the source. Growth here is not accumulating something new; it is recovering an inheritance that was left to the entire field and is currently unclaimed.
The maître d', presenting: The Pint, Pulled Cold — the house's unit of account: a beer with a date on the coaster and a claim written under it, undrinkable until the prediction lands.
Now the fun half, because a cure with no play in it does not get taken. A wager is a falsifiable claim wearing a price, and that is the entire technology of the pint: the moment someone stakes a beer on "an autoregressive model is a bounded function," an argument that could have circled for hours becomes a dated, decidable event. The rules of the house ledger are three: the claim is written before the outcome, in public or in git or in an inbox — anywhere with a timestamp nobody can quietly edit; the price is one pint, always one, so it can always be paid; and collection is warm — in person where possible, with genuine pleasure, because the point of collecting was never the beer. The point is that the ledger exists, and everyone who has paid into it remembers that it exists.
The oldest entry in ours is not from this year. A December 2007 email, still sitting in Gmail where nobody can rewrite it, carries a card design for the same coordinate architecture this post runs on — nineteen years of the same claim, timestamped by an inbox. That is what a ledger is for: not to win a week's argument, but to make time itself testify. Anyone can claim foresight after the fact; a dated artifact is foresight with the amnesia protection built in.
And the ledger cuts both ways, or it is worthless. Misses print too. A predictions record that only remembers its wins is marketing wearing a lab coat, and one whiff of that would cost the whole instrument its authority. The uncertainty is real — that is what makes the game a game, what makes each landed prediction worth a pint instead of a shrug, and what separates a ledger you can audit from a highlight reel you are asked to admire.
The maître d', presenting: Cast Iron, Never Washed — seasoned black by use, holding the same heat for every cook who touches it; the one piece of the kitchen that gives the same answer every time.
Diagnosis without an anvil is punditry, so here is what the ledger stands on — measured, not asserted. The arena is a 144 by 144 lattice: 20,736 addressed cells, where a meaning is a position rather than another word — the direct answer to Harnad's regress. The recursive walk that places things sustains north of six million walks per second on ordinary Apple silicon — fast enough that placement happens between keystrokes, not in a batch job overnight. The physical layer is measured too: a probe chases identical dependent loads over identical bytes, varying only whether consecutive steps cross a 64-byte cache line — ratio 1.000 while resident (no boundary cost), rising to 4.3x at 8MB and 6.3x at 128MB, deterministic seed, re-runnable on your own machine. And on the claims side: a filed US utility patent, 36 claims, on the machine itself — the apparatus, not the idea.
The property that makes all of this an anvil rather than a demo: the receipt is computed with zero model in the path. The same commit renders the identical panel every time, for every visitor, on every re-run. There is no temperature, no sampling, no model having a different opinion on Tuesday. When we say a claim landed in-lane or out-of-lane, that verdict is a pure function of the inputs, and you recomputing it is not a courtesy we extend — it is the design.
And now the claim we refuse to make, stated as plainly as the ones we do: we never claim the output is good. Goodness — quality, safety, alignment, truth — is exactly the undecidable thing; a vendor claiming to certify it has caught the amnesia this post diagnoses, and we would rather forfeit the revenue than the position. The receipt answers WHERE: in-lane, out-of-lane, unplaced. It stops there because mathematics stops there, and standing exactly on that line — feet planted, weight even, nothing overclaimed — is what lets the anvil take a hammer swing from any direction without moving.
The maître d', presenting: The Cellar Book, Handed Over — every great house keeps one: what was laid down, when, and by whom, in ink that outlasts the cellarmaster. Tonight the house lends you the pen.
Start yours tonight, with tools you already own and no vendor in the loop. Write one prediction about your own domain — dated, falsifiable, priced at a pint — and mail it to yourself. Your inbox is a notary; so is a git commit, a printed page in a drawer, a message to a colleague. The habit costs five minutes a month and compounds like nothing else in professional life, because a year from now you will be the only person in the room whose sentences about the future carry dates from the past. That person gets listened to differently. Not because they are louder — because they are auditable, and auditable is the scarcest register in any industry mid-amnesia.
Here is what that habit builds at brand scale, and why this post exists at all. A brand whose claims are executable has a pulse of its own. The nose fires from a guard — a script that flags the undecidable promise whether or not its author is awake. The ledger appends from a hook — every commit timestamped, every prediction filed by machinery rather than memory. The anvil answers from a command line that runs on your hardware, not ours. None of the three organs requires its founder's mood, presence, or continued existence; the whole anatomy was deliberately built below the threshold where it needs a person to vouch for it. That is what it means for a brand to take on a life of its own — not reach, not recognition: executability. The founder becomes the first employee of a discipline that no longer depends on him.
And the significance on your side is the same move at your scale. The role this hands you is not "customer" — cross out every mention of our product in this section and every sentence still works, because the ledger habit needs nothing from us. The role is the one who remembers: the person in your organisation whose wince has a citation, whose predictions have dates, and whose standard for a promise is "which theorem does it need to be false?" Every organisation is about to need exactly one of these, and the position is filled by whoever starts their ledger first.
The maître d', presenting: Crêpes, Scorched On Purpose — flambé lit off the house candle that has been burning since the first plate; latecomers are served the same flame, and charged exactly one pint for arriving after it was lit.
Everything above was said warmly, so this can be said flatly. An underwriter cannot price a promise that mathematics voided, and will not try forever. Premiums, capital requirements, audit standards — every institutional instrument that touches deployed AI eventually needs a trigger that two parties can verify without hiring a philosopher, and there is exactly one class of trigger available: the decidable one. WHERE did the output land, against which declared lane, on which date. Institutions will converge on decidable receipts for the same reason water converges on downhill — not because anyone persuaded them, but because the alternative cannot clear a claims process. Survival adopts the standard; persuasion just decides who arrives early.
So here is the 2027 protocol, written now so it is on the record before it is needed. When the industry's memory returns — when a competitor ships "bounded execution" as a feature, when a lab announces that semantic guarantees were never decidable and unveils a positional architecture — that is not a threat and will not be treated as one. That is the amnesia clearing, on schedule, and the protocol is: welcome them by name, collect one pint, hand them the map. The tax is one pint precisely so that it can always be paid; a toll designed to humiliate would just be contempt with a receipt attached, and contempt was never the position. The position is that we would rather be joined than proven right alone — the pint is how latecomers are honored, not how they are punished. But the ledger does not forget who was early, because that is the one thing a ledger is structurally incapable of doing.
The maître d', presenting: Amaro, Bitter By Design — the digestif that refuses to flatter the meal; the papers arrive with the glass, dated, and the arithmetic is yours to settle.
The evidence, raw and dated, in the order it was forgotten. Turing, 1936, "On Computable Numbers, with an Application to the Entscheidungsproblem" — the structural ceiling on predicting a general program. Rice, 1953, "Classes of Recursively Enumerable Sets and Their Decision Problems," Transactions of the AMS — every non-trivial semantic property, undecidable. Codd, 1970, "A Relational Model of Data for Large Shared Data Banks," CACM — one fact, one place; the normalization discipline this whole architecture descends from. Harnad, 1990, "The Symbol Grounding Problem," Physica D — symbols defined by symbols never touch ground. On the loop's unboundedness specifically: Pérez, Marinković and Barceló, 2021, in the Journal of Machine Learning Research, on the Turing completeness of attention under unbounded decoding. And the borrowed anatomy, credited by name: the six-needs taxonomy that structures the middle of this piece, and the triad — physiology, focus, language — belong to Tony Robbins; we borrowed a coaching frame for a brand's skeleton because a brand that intends to outlive its founder had better be built like a person who intends to function without their moods. The theorems are not his. The anatomy is.
The companion arguments, if you want the thesis underneath: watermarking tags the slop, it does not remove it — yesterday's post on why measuring provenance was always the wrong question and reading was the right one — and the meat-mechanic on why a machine that manufactures its own meaning at runtime is a different risk class from one whose goal is set upstream. The book's chapter on the half of this that lives in your skull: how your brain grounds symbols — why meaning resolves to positions rather than to more words, which is the same answer to Harnad the lattice gives in silicon.
The to-do fits on a coaster. Run the anvil: npx -y thetacog-mcp@latest attest-demo — one minute, local, recomputable. Read one paper — Rice, 1953, the abstract alone reframes your next governance meeting. Write one dated prediction and mail it to yourself: your ledger opens tonight. And the next time a slide promises the undecidable, ask the room — warmly, once — which theorem it needs to be false.
And the win condition, as declared before the first plate: this piece wins if you recompute something — a date, a theorem, the demo on your own machine — and fails if you leave merely agreeing. Count how many of the claims above you could check without asking us for anything: the four papers are public, the patent filing is public, the 2007 email is subpoenaable, the command runs on your hardware, and the sentence each section was built to fire is committed in this repo's cook-rounds folder, timestamped before publication. The pints are the only part you will have to collect yourself — and now you know the protocol: warmly, once, with the date attached.