Penelope's Loom Never Halts
Published on: August 4, 2026
#Odyssey#Penelope#halting problem#Rice's theorem#Turing machines#Jacquard loom#decidability#AI verification
https://thetadriven.com/blog/2026-08-04-penelopes-loom-never-halts
Published on: August 4, 2026
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.
For three years, one hundred and eight armed men occupied a hall on Ithaca demanding that a woman finish a piece of cloth, and not one of them ever counted its rows. Penelope wove the shroud by day and unraveled it by torchlight, and the work never halts — that is the design, not the failure. The suitors kept asking the two questions that cannot be answered from outside the loom: when will it be finished, and is she weaving in good faith. The question that would have caught her on the second morning — how many rows are on the frame today, versus yesterday — was never asked by anyone. It is the oldest recorded exploit of an undecidable question, and it is written down in Books 2, 19 and 24 of the Odyssey. The reason it belongs to you and not to a classics seminar: the same exploit is being run, right now, against every person who asks an AI system whether it is safe instead of counting where its actions landed.
Have you ever sat in a review asking of a model, a codebase, a vendor — is it safe, is it good, when will it be done — and watched the meeting end with nothing a stranger could check?
Nobody in the hall ever counted the rows.
One paragraph of stagecraft, printed rather than hidden: this piece is served as courses, and each one publishes the exact sentence it is built to make you think before you read it — a prediction you get to grade, because manipulation needs the dark. The win condition: this piece wins if you take one question you are currently asking about an AI, a project, or a person, and split it into its undecidable half and its countable half — on paper, this week. It fails if you leave merely liking the Odyssey more.
![tolerance panel for commit 048b3ba — chore(blog): attach commit tolerance panel as OG image [panel-attached]](/blog/post-panels/2026-08-04-penelopes-loom-never-halts/048b3ba4cec6e12299e3b2bd292241421084531d.png)
PENELOPE'S LOOM — a two-axis machine (Odyssey, Books 2 · 19 · 24)
WARP (strung first, fixed) WEFT (arrives row by row)
───────────────────────── ─────────────────────────
the declared pattern the work that actually lands
"a burial shroud for Laertes" woven by day, unraveled by torchlight
the intent — public, approved the reality — never once audited
└────────── every crossing has an address ──────────┘
THE THREE QUESTIONS THE HALL COULD HAVE ASKED:
"When will it be finished?" → UNDECIDABLE (the halting problem)
"Is she weaving in good faith?" → UNDECIDABLE (Rice: any semantic property)
"How many rows since yesterday?" → DECIDABLE (count them — the loom holds the answer)
108 suitors asked the first two for three years.
The third takes one minute, and it ends the story the morning it is asked.
The maître d', presenting: Shroud, Unraveled Tableside — three years of warp on one plate, raw wool with the lanolin still on it; assembled by daylight, taken apart by torchlight, and the house has never once closed the check.
Inner monologue it should trigger: "I have been asking the suitors' questions my whole career."
Start with what the suitors got right, because it is the same thing you get right. They checked the intent. Penelope announced her program in public: I will choose a husband when I finish this shroud for Laertes — a burial cloth for her father-in-law, which made the declared purpose pious, specific, and unattackable. The hall reviewed the spec and approved it. No one could object to a shroud for an old man without shaming himself in front of the room. As governance, this step was executed perfectly.
Then they stopped. For three years, the most motivated audience in literature — men whose marriages, fortunes and dynasties depended on that cloth being finished — watched a machine run and never once measured its output. They asked when will it halt. They asked, with growing suspicion, is she acting in good faith. Both questions point at the weaver's inner state, and the weaver's inner state was not available to them at any price. What was available, hanging in a frame in an upstairs room, was the cloth itself: a physical record with a row count, changing by day and changing back by night. The intent was declared in the hall. The reality hung on the loom. Nobody ever diffed them.
Understand the machine before the moral. A warp-weighted loom — the kind every Greek household ran, the kind archaeology digs up by the crateful because the clay weights survive — is a two-axis device. The warp is strung first and fixed: the declared structure, the pattern committed to before any work arrives. The weft lands one row at a time, each pass crossing every warp thread at a position. Every crossing has an address. A finished cloth is not a vibe; it is a lattice of placements, and on any given morning the frame holds an exact, countable number of them. Penelope never halts because the program is designed not to halt — three rows forward by daylight, three rows back by torchlight, net placement zero, forever — and the design is invisible to everyone who only asks about completion and sincerity, and it is naked to the first person who counts. In your own dress: the warp is the declared configuration — the lane, the spec, the SLA — and the weft is the log of what actually landed. Same machine.
The poem even tells you how the exploit finally dies, and it is not what the suitors' method deserved. No suitor out-reasoned her. One of her own women, who knew the whole of it, told them — and the suitors walked upstairs at night and caught her with the rows undone in her hands. Detection came from an observer of placement: someone standing next to the frame in the dark, watching reality diverge from intent. It took three years, it required a betrayal, and the witness was a person — bribable, deniable, and afraid. Hold that thought; it becomes course D.
And be clear about who to root for, because this post is not a prosecution of Penelope. She is the finest defensive engineer in the ancient world: alone, besieged, she held a hostile committee at bay for three years with nothing but their own refusal to measure. The prosecution here is of the hall. You are not Penelope in this story. You are the hall — every time you accept a declared intent, ask when and whether and in-good-faith, and never once count what is on the frame.
The maître d', presenting: Punched Cards au Gratin — a gruyère crust blistered brown at 1804, laid over a stock that has been reducing since the Bronze Age; the steam vents through the punched holes in exactly the pattern the baker cut, and that smell filling the room is the program running. The cards taste of nothing. The pattern is the whole flavour.
Inner monologue it should trigger: "The computer didn't borrow the loom as an image — it descended from it."
Here is why the loom is allowed to carry this much weight: computing did not adopt weaving as a metaphor. Computing descended from weaving, by a documented chain of custody, and every link is checkable.
In 1804, Joseph Marie Jacquard attached a chain of punched cards to a loom so the pattern — the warp-lift sequence — could be stored, edited, and rerun. The program left the weaver's head and became an object. In 1843, Ada Lovelace, annotating Menabrea's sketch of Babbage's Analytical Engine, made the connection explicit in the most famous sentence she ever wrote: "We may say most aptly, that the Analytical Engine weaves algebraical patterns just as the Jacquard-loom weaves flowers and leaves." In 1890, Herman Hollerith ran the US census on punched cards, and the company his machines became was IBM. In 1936, Alan Turing formalized the whole lineage into the machine that carries his name: a tape of discrete cells, written one at a time, each symbol at an address — which is a row of weft, described by a mathematician.
And drive the lineage all the way home, because Lovelace was not an exception — she was the first named member of a much older profession. Weaving was women's work for the whole of recorded history, which means the pattern-discipline that became computing was a women's discipline for millennia before it had a male name attached. The Greeks said it outright: the Fates who determine every life are three women at a thread — one spins it, one measures it, one cuts it — the textile machinery as the machine that generates a life, pattern as the stuff lives are made of. Penelope is that archetype's working engineer, running the machine in production. And the line continues past Ada without a gap. Computer was a job title before it was a machine, and the job was held overwhelmingly by women. The first programmers of ENIAC were six women. And when Apollo flew, its guidance software was physically woven — core rope memory, a wire threaded through or around each magnetic core, by hand, by women at Raytheon; a one threaded through, a zero around; the program a fabric you could hold. The engineers' own nickname for it was LOL memory — little old ladies. The first computer was a loom, and in a very real way the first computers were women. When course A said every crossing has an address, that was not this architecture flattering itself with a metaphor. It was the architecture rejoining its own maternal line.
So when this architecture says an AI action lands at a coordinate on a two-axis lattice — actor crossed with patient, 144 by 144, every cell an address — it is not decorating engineering with Homer. It is returning computation to the machine it came from, and importing the loom's oldest lesson along with it. The lesson is the one belief this whole piece asks you to hold, and Penelope is its proof by demonstration:
Every verification question splits in two. There is the semantic half — will it halt, is it good, is it acting in good faith — which asks about an inner state you cannot reach. And there is the positional half — what landed, where, when, versus what was declared — which is sitting in a frame in the upstairs room, countable by anyone who climbs the stairs. The hall's error was not asking a bad question. It was asking only the unanswerable half, for three years, of a machine that never halts.
The maître d', presenting: The Estate, Carved Daily — your own herds, spit-roasted by guests who asked an unanswerable question and sat down to wait for the answer; the fat drips onto a fire you are paying for.
Inner monologue it should trigger: "The burn rate while I wait for an unanswerable answer — that's the part I never put on the same page."
The Odyssey is precise about what the suitors' method cost, and it is not their dignity. It is the estate. While the hall waited on an undecidable question, it ate: Odysseus's herds, his wine, his stores, itemized by the poem with an accountant's relish, consumed at a daily rate for years. The undecidable question came with a burn rate, and the burn rate was charged to the household that failed to count.
You have paid this exact bill. The agent that ran for a quarter with valid credentials, passing every login check, while what it actually did drifted from what it was deployed to do — and the drift surfaced in an incident review, not a measurement. The model that "passed evals" last Tuesday, where the eval was a semantic verdict about good behavior, aged one distribution shift into folklore. The project that was almost done for three consecutive quarters because "done" was never converted into a countable remainder. Different frames, same hall: a declared intent everyone approved, a reality nobody diffed against it, and a meter running on the gap.
The connection to draw is not "measurement is good," which costs nothing to agree with. It is narrower and more uncomfortable: in every one of those rooms, the countable question existed, was cheap, and was not asked — because the semantic question feels like the responsible one. Asking is it safe sounds like diligence. Asking where did its last thousand actions land, against the lane it was declared into sounds like bookkeeping. The hall was full of men performing diligence. The bookkeeping was upstairs, in a frame, the whole time.
The poem even stages your incident review. Book 2: Telemachus convenes the assembly of Ithaca — the first shareholder meeting in Western literature — to demand that someone answer for the wasting estate. Watch the blame move. Antinous stands and points at Penelope: she deceived us, with the loom — the suitors' entire defense is the cloth nobody counted. Telemachus points at the suitors. The elders shrug at both. Then Mentor rises and points at everyone else: his anger, he says, is not for the suitors but for the rest of the hall, who sit in silence with the numbers on their side and restrain nothing. The assembly adjourns with no verdict, and the meter keeps running — because in a room where nobody holds a record everyone must accept, blame is a ball that never stops moving. That meeting is being held this week, in every company that deployed agents faster than it deployed counting.
The maître d', presenting: Torchlight Testimony — heavily smoked; what the maid saw, hung in the dark for three years and brought to the table only after it turned.
Inner monologue it should trigger: "Every detection system I currently run is a maid I am hoping stays loyal."
Go back to how Penelope was caught, because the mechanism is the gift this course hands you. She was not caught by a better judge of character. She was caught by an observer with access to placement — a woman standing beside the loom at night, watching rows come out. That observer was also the system's single point of failure: a human witness, loyal until she wasn't, silent for three years, and reporting only under whatever pressure or grievance finally moved her. The hall's entire detection apparatus was one bribable person with a grievance.
Now inventory your own. The vendor's logs — held by the vendor, the party being measured, which is the maid reporting on her own mistress. The screenshot in the incident channel. The engineer who noticed something and said so, this time. The whistleblower, three years late, with a lawyer. Every one of these is testimony: it depends on a person's position, courage and incentives, it arrives late, and it can be argued with. A record is the other thing — produced by the frame itself, at the moment of placement, the same for every reader, arguable by no one. The loom was already keeping the record. The tragedy of the hall is that its only reader was a maid.
What you can contribute — to your team, this week, without buying anything from anyone — is the split from course B, applied as a writing exercise. Take your next review agenda — or your next vendor SLA. Next to every semantic question on it (is the model safe, is the vendor trustworthy, is the project on track), write its countable twin: what landed where, since when, against what declared lane, readable by whom. If a question has no countable twin, that is worth knowing — you have found a place where your organization is running purely on testimony. You will be the person who added the third question to the agenda. Courses G and H are about what that position turns into.
The maître d', presenting: Olive Heartwood, Bone-In — the one cut in the house that cannot be moved from the kitchen; gnaw down to the bone and you find the room was built around it.
Inner monologue it should trigger: "Penelope didn't verify his name. She verified a coordinate only he could hold."
The Odyssey runs the identity problem from both directions, and both directions are about what a name is worth. Answer: nothing.
Direction one: Odysseus tells the Cyclops his name is Outis — Nobody — and when the blinded giant screams for help, his neighbors hear "Nobody is attacking me" and go home. The label check passed and the label was hostile. Polyphemus is every access-control system you have ever run: he verified the string and admitted the payload — the oldest prompt injection on record. Twenty years later the same man walks into his own hall and the verification problem runs in reverse — a stranger in rags claims to be the king, credentials long gone. What actually authenticates him, in sequence: a dog who knew him by something no disguise reaches; a scar, read by the old nurse's hands — a mark written into the body by a documented event; and finally, for the one verifier who matters most, the bed. Penelope orders their marriage bed moved. Odysseus — who built it — says what only the builder can say: it cannot be moved; one bedpost is a living olive tree, and the room was built around it. She does not verify his name, his face, or his story. She verifies his knowledge of a coordinate that cannot change — a position grounded in the physical world, which an impostor could learn every fact about except the one that requires having stood there with the adze.
That is the growth this course is after, stated as a rule you can apply tomorrow: identity is not the badge; identity is the position, held over time. "Is Peter still Peter" — the question you should be asking of every long-running agent with valid credentials — is Book 23's question exactly. The name still matches. The login still works. Is the thing operating inside the credential still occupying the position it was granted the credential for? A name check cannot answer that even in principle; the Cyclops proves it. A placement record answers it every morning; the bed proves it. Your systems currently check like Polyphemus. The book's distinction between calculated proximity and grounded position is this exact rule in its technical dress.
The maître d', presenting: Sirens' Broth, Served Lashed — sweet past the point of trust; house rule says you taste it tied to your chair, because judgment does not survive the first spoonful.
Inner monologue it should trigger: "The limit is permanent, and they are the ones insisting on it."
Now the course where we swing at our own claim, because a measurement pitch that never states its limits is just the suitors' method wearing a lab coat.
Here is the limit, and it is not an engineering gap that road-mapping will close. In 1936 Turing proved no procedure can decide, for arbitrary programs, whether they halt — the suitors' first question is formally unanswerable, not merely hard. In 1953 Henry Gordon Rice generalized it: every non-trivial semantic property of programs is undecidable. Not "difficult." Not "undecidable until better tooling." Undecidable the way a square circle is unavailable. And semantic property covers exactly the questions the hall asked and exactly the questions your reviews ask: is it safe, is it aligned, is it acting in good faith, is it good. No eval suite, no interpretability breakthrough, no model grading another model will ever decide these for the general case. Anyone selling you a machine verdict on a semantic property is selling you a seat in the hall. The strangeness here is worth saying out loud: the strongest claim in this piece is a claim about what cannot be built, it has stood since 1953, and refuting it requires only one counterexample — one non-trivial semantic property with a decision procedure. The Transactions of the American Mathematical Society await your paper. And before you file the theorem as a legal shield — nobody can verify this, so nobody can oblige us to — read what it actually signs: the theorem is a release with a transfer attached. It excuses you from the verdict forever, and in the same motion makes the uncounted frame yours. Once the row count exists and costs a minute, not running it stops being a limitation and starts being the negligence.
What survives the theorem is the other half of the split: placement. Where an action landed, against a declared lane, is not a semantic property of the program — it is a positional fact about an output, checkable the way a row count is checkable. That, and only that, is what a receipt can carry. And the Sirens episode specifies the architecture with a precision that should embarrass most AI-safety roadmaps. Odysseus does not plan to hear the song and stay rational — he knows judgment inside the song is already compromised. The constraint binds before the water: wax for the crew who must row, rope for the one who must listen, and standing orders that mid-song pleading gets more rope, not less. The measurement layer is built the same way and for the same reason: no model sits in the receipt path — not because models are useless, but because a judge who can be sung to cannot notarize the singer. The mast is deterministic. That is its entire qualification.
The maître d', presenting: The Morning Count — served cold and crisp, no dressing: rows at dawn minus rows at dusk, the one dish on this table that tastes the same to every diner.
Inner monologue it should trigger: "The morning count would have caught it on day two — and I can run the morning count."
So run the hall's missing minute, on Penelope, and watch the story end. Monday dawn: forty rows on the frame. Monday dusk: forty-three. Tuesday dawn: forty. That is the whole audit — two counts and a subtraction, no theory of her motives required, no committee verdict on her good faith, and the exploit is dead on its second morning. The count does not accuse her of anything. It states a placement fact that her declared intent cannot survive, and hands the interpretation to the humans in the room, which is where interpretation belongs.
The commit receipt this site runs on is the morning count, mechanized. Three panels per commit: INTENT — where the declared work says it lands, the warp; REALITY — where the delivered work actually landed, the weft; DELTA — the cells where they disagree, circled. It is generated with no model in the path, from the immutable commit, which buys the property the whole argument turns on: run it twice, get the same answer; run it on a stranger's machine, get the same answer; run it in a worse mood, get the same answer. A drifting week looks like Penelope's frame — intent lit in one region, reality landing somewhere else — and it looks that way to everyone, including people with every incentive to see it differently. That last clause is what testimony can never offer.
You do not have to take a sentence of this on trust, which is the point of the entire architecture:
npx -y thetacog-mcp@latest attest-demo
That returns a placement — where a piece of work landed against where it was declared to be going — recomputable by anyone holding the same commit. It is a row count, not a verdict. It will never tell you the work was good. Nothing can, and after course F you know the reason is a theorem and not modesty.
The maître d', presenting: The Carving Knife, Unclaimed — steel-cold, one per hall, resting on the cloth since the amuse-bouche; whoever picks it up and counts aloud owns the table.
Inner monologue it should trigger: "Being the one who counts is a position, and in my hall it is currently vacant."
The Odyssey has already shown you what happens when someone finally brings a decidable test into a hall run on assertion. It is Book 21. A decade of suitors' claims — he is dead, be realistic, choose — is settled in one evening, not by a better argument but by a physical test nobody present can fake: string the bow. The room does its own arithmetic the moment there is finally something to count. We wrote that course in full three days ago, and the one-line summary is that assertion cost the man a decade and attestation cost him an evening.
Here is who this course says you become, and note that it requires owning nothing of ours. The split from course B is a piece of paper. The agenda edit from course D is fifteen minutes with your own template. The person who does this repeatedly — who, every time a semantic question starts eating the room's afternoon, writes its countable twin on the whiteboard under it — acquires a specific kind of standing that the loudest verdict-issuer in the room never gets. Not the smartest-in-the-room position; the bow-bringer position. Rooms remember who converted an argument into a check. And in a market that is currently one giant hall — enterprises asking vendors is it safe, vendors answering with benchmark testimony, meters running on the gap — the people and institutions that convert first are not making a philosophical choice. They are choosing the side of the story that the poem, the mathematics, and shortly the liability lawyers all land on. The underwriter's version of the bow-bringer is the insurable officer. Today's blanket AI exclusions are not cowardice — they are the correct actuarial answer to an uncountable risk, exactly as declining to price Penelope's finish date was the correct answer in the hall; the receipt is what turns the exclusion back into a market. And D&O carriers are learning to ask the third question at renewal, where we kept a record is about to be the difference between a covered claim and a personal one.
The maître d', presenting: A Bitter Rind, Deliberately Left On — the pith is the point: this course ends at the precise line where the kitchen's authority ends, and hands you the knife across it.
Inner monologue it should trigger: "The receipt stops exactly where my judgment is supposed to start — and that is a feature of both."
Now the question a careful reader has been carrying since the intro: why build all of this on the Odyssey — why not Scripture, which is older still and has more to say about right and wrong? The answer is the sharpest edge this piece has, so it was saved for last: because this is not about right and wrong, and the Odyssey is the great book that never pretends to be.
The Odyssey is an operations manual, not a moral code. It issues no commandments. Its hero lies constantly, magnificently, and is admired for it — Athena catches him lying to her face in Book 13 and all but applauds. The poem records what things cost — six men at the strait, a decade for a shout, three years for an uncounted loom — with actuarial precision and near-total silence about what things are worth. And at its most violent hour it shows you exactly what that silence is: after the slaughter of the suitors, twelve serving women are hanged in the courtyard. Homer records the scene with terrible precision — where, how, in what order — and issues no verdict at all. Three thousand years of readers have supplied the verdicts, furiously, and they still disagree; there are novels-length arguments in print right now. Even the 2026 film — which stages nearly everything else in the poem — declines to stage this scene, and the omission is one of the least discussed choices in the adaptation. Notice it, because it is evidence: the hardest placement record in the poem is still too hot to screen, three thousand years on. The record was decidable. The judgment never was — and it has outlived every generation's attempt to settle it. That is not a defect of the poem. That is the poem knowing which book it is.
The Bible is the other book — the one whose entire subject is the question the loom cannot weigh: not where did the action land but ought it have been taken. Covenant, righteousness, judgment, mercy — every one a semantic verdict on the weaver's heart, which is precisely the territory Rice fences off from every machine forever. So mark the seam exactly, because the whole architecture depends on neither side crossing it. The loom tells you the rows; it cannot tell you whether the shroud should be woven. The receipt tells you where the agent's action landed; it cannot tell you whether the lane itself was a worthy place to point an agent. The morning count convicts nobody — it establishes the facts and then stops dead at the threshold of the courtroom, the boardroom, the confessional. Cross the seam in either direction and you get the two great corruptions: measurement pretending to be morality — a machine that outputs righteous, which is the overclaim this architecture exists to refuse, and which dies in its first hostile deposition — or morality pretending it doesn't need measurement, which is a hall full of men issuing verdicts about a cloth nobody has counted.
And if you want to see how rare the Odyssey's discipline is, look at the myth most people actually carry, because it runs the opposite architecture. Star Wars is a universe where measurement and morality are fused into one substance: the dark side is a detectable state, evil has a sensor, a blood test can assay a soul by its midi-chlorian count. It is, precisely, a universe where Rice's theorem is false — is this agent good? returns a reading. That is the universe every alignment dashboard is implicitly set in, and it is fiction twice over: once as cinema, once as engineering. So hold the three stories as three different handholds, because dividing them correctly is the entire discipline. Homer grips what happened — placement, cost, count. Scripture grips what ought to have been — covenant, judgment, mercy. Star Wars is the wish that one hand could grip both, and every vendor selling a machine that outputs aligned is selling you a midi-chlorian count.
The seam is not a philosophical nicety, either. It is the exact line the liability system already draws, and has drawn since before software existed. Directors-and-officers law does not ask a machine to judge anyone's soul — it asks one placement question of the human in charge: did you maintain a record capable of assigning responsibility? Delaware's Caremark doctrine holds that a board presiding over no reporting system at all is not unlucky; it is acting in bad faith — and bad faith is the one category the exculpation statute refuses to shield and the D&O policy is drafted to exclude. The T.J. Hooper closed the custom defense in 1932: the cheap instrument existed, the tug sailed without it, and "nobody in the industry carries one" persuaded Learned Hand of nothing. The errors-and-omissions version runs the same question one level down — not was the work good, which nobody can decide, but did it stay inside the engagement's declared scope, which is a lane and a landing. In loom terms: nobody can insure the shroud's beauty. What can be covered is whether the weaving stayed the shroud it was declared to be — scope, not quality, is the whole shape of that question.
So here is the sentence to carry out of this course, read in your own voice, about your own shift. If you presided over a shift where everyone ended up pointing fingers at each other, you were not responsible. You were reckless. The finger-pointing is not your defense — it is the prosecution's first exhibit, because it proves the shift ran with no record that could place the blame. Guilty by default. The assembly of Ithaca adjourned without a verdict because no record forced one; the modern courtroom does not adjourn — it treats the missing record as the verdict about you. The morning count is one minute and a command now. Custom will not save the officer who declines it.
One more turn of the crank, because the piece has been circling a definition without saying it. Ask what a god actually is in this poem — not as theology, as mechanism. A god is anything placed over you that you cannot count: the sea, the weather, wrath — yours or anyone else's — a verdict you cannot appeal, a machine you will not measure. Homer's gods are the uncontrollables, personified; larger than life means outside the frame, off the loom, immune to the morning count. Now notice what the hall did to Penelope by refusing to count her: they made her one. Three years of waiting on an oracle upstairs, burning the estate while awaiting its pronouncement — that is not courtship, that is worship, and it is the exact posture of every organization that deploys a system it declines to measure. The uncounted model is not your tool. It is your weather.
The suitors show the opposite death, and it is the more common one. Nail yourself to a verdict — he is dead, be realistic, choose — and that region of you stops deciding. Not evil: dead, the way a fixture is dead. Load-bearing, reliable, finished. A fixture can be productive for decades; it can hold a career up; it just cannot grow, because growth only happens where a decision is still live. A person, on this reading, is exactly the region where choice remains — and the places where you have handed the choice over, to a verdict, a role, a comfortable box, you are something else: furniture in your own hall. The poem's word for people who reached that state and kept issuing verdicts from inside it is suitors. So the split this whole piece exists to reintegrate finally has both its halves named: everything you refuse to count floats up and becomes a god over you, and every verdict you nail yourself to dies under you and becomes a fixture — and the unmeasured middle oscillates between them, the shroud woven and unwoven at once until somebody counts, the button that flicks itself back on when you flick it off. That oscillation is what Rice's theorem looks like from the inside: a process with no self cannot hold a verdict about itself, and no decree from outside can pin one on it. Which is the quiet checkmate under the alignment project as commonly conceived — a semantic verdict welded onto a mindless process is not hard engineering, it is the trap itself, because the trap is precisely what not-having-a-mind is. A mind does not end up in the trap; it holds its own coordinate. Everything without one needs its coordinate held from outside. That is what the receipt is for, and why it is not bookkeeping — it is the instrument that keeps things in the countable category, and the countable category is the human one.
And the rescue, when it is possible at all, always has the same shape — and Homer does not have it. Homer can price the fixture and record the god; the Greeks were honest that you do not stand over a god by willpower, since claiming mastery of your own wrath is exactly the boast the poem charges a decade for. The move comes from the other book: the Gospel of John calls it being born again — the fixture returned, from outside itself, to the category of choice. And the telling of it your kids already know is Vader. More machine now than man is a fixture verdict, issued by a good man, and supported by the record. Luke's move is not to dispute the record — the record is correct — but to address the one region where a choice is still live, and to keep addressing it, at mortal cost, until it decides. That is how a god comes back to the human category; that is how renewal actually works, and why it usually takes a new generation: most people will not make the journey inside one life, because the box is comfortable and productive and asks nothing further of them. Some do. The difference is not talent. It is whether anyone — a savior, a son, a morning count — keeps a live region addressed instead of accepting the fixture as the whole story. Measure everything you can count, so that what stands over you is only what you chose to put there. And be a person in every region where the choice is still yours — that is the handhold this entire piece was built to reach.
So the survival reframe, and then the flip. Any system that lets a machine issue semantic verdicts — safe, aligned, righteous — has built a mechanical conscience, and mechanical consciences do not survive contact with a deposition, a regulator, or Rice's theorem; that is not a competitive claim, it is a scheduling estimate. The standard that survives is the seam itself: machines establish placement; humans own judgment; the handoff is explicit. And the flip is that this standard does not shrink morality — it is the first thing in the AI era to take morality seriously enough to stop doing its job for it. The moral layer — your judges, your boards, your conscience, your Scripture — finally gets what it has lacked in every AI dispute to date: a docket of established facts worth judging. The courtroom is where the two books have held their treaty for two thousand years: judgment stays human, as Scripture insists — but the law demands the facts be countable, as the loom insists, and it convicts the officer who made them uncountable.
The maître d', presenting: The Itemized Check — nothing sweet in it; every line re-runnable, and two of them are three thousand years old.
Inner monologue it should trigger: "I can check every one of these, and the oldest ones are the easiest."
Ingredients, handed over without a conclusion stapled to them.
The poem. The shroud trick is told three times: Book 2 (Antinous tells it to the assembly, including the detail that one of her own women informed), Book 19 (Penelope tells it herself, to a beggar she has not yet recognized), Book 24 (the suitors' shades retell it in the underworld — even dead, they are still explaining the cloth). The count of suitors is Book 16: Telemachus itemizes 52 from Dulichium, 24 from Same, 20 from Zacynthus, 12 from Ithaca — run the addition yourself. Book 9 for Outis and the Cyclops's failed credential check. Book 12 for the Sirens and the mast. Book 17 for Argos. Book 19 for the scar. Book 21 for the bow. Book 22 for the slaughter and the twelve women — read it and try to locate Homer's verdict; the absence is the course-I argument, verifiable by its silence. Book 23 for the bed. Line numbers vary by translation, so cites here are by book — any edition will do, which is itself the point.
The lineage. Jacquard's card-controlled loom, 1804, Lyon. Lovelace's sentence — "the Analytical Engine weaves algebraical patterns just as the Jacquard-loom weaves flowers and leaves" — is from her notes (Note A) to Menabrea's Sketch of the Analytical Engine, 1843. Hollerith's punched-card tabulation of the 1890 US census; his Tabulating Machine Company folded into what became IBM. Turing's tape of addressed cells: On Computable Numbers, 1936. The women's line: computer as a job title held overwhelmingly by women (the Harvard Observatory computers; NACA's, later NASA's, computing pools); the six ENIAC programmers, 1946 (Jean Bartik among them — look up the names, they were left off the unveiling's press photos); Apollo's core rope memory, hand-woven at Raytheon, the "LOL memory" nickname on the record from the MIT Instrumentation Lab era; the Fates — Clotho spins, Lachesis measures, Atropos cuts — for the oldest version of the claim that a life is a thread through a machine.
The theorems. Turing 1936 for halting; H. G. Rice, Classes of recursively enumerable sets and their decision problems, Transactions of the American Mathematical Society, 1953, for the general claim: every non-trivial semantic property of programs is undecidable. The precise statement matters — non-trivial and semantic are load-bearing — and the paper is short.
The law. In re Caremark International Inc. Derivative Litigation, 698 A.2d 959 (Del. Ch. 1996) — the oversight duty; Stone v. Ritter, 911 A.2d 362 (Del. 2006) — its bad-faith formulation; The T.J. Hooper, 60 F.2d 737 (2d Cir. 1932) — custom is no defense once the cheap instrument exists. And Book 2 of the poem for the assembly: read Antinous's speech and count who blames whom — the suitors' own defense is the uncounted cloth.
The book this site is built on. Calculated proximity versus grounded position is course E in its technical form; the tip and the toll is the bow's chapter. Related here: The Decade Was a Tip — the same poem, the price of unwitnessed wins; The Dictionary That Never Closes — definitions that never halt, the loom's problem in language; The Delegation Nobody Claimed — Circe's eviction policy, from the same Book 12.
The club. This piece is built to be read together. The Book Club is where it goes next — a nightly passage, one thread of argument at a time, replies read by a human. If the loom got its rows into you, that is the room where the counting continues.
Four ways to take this apart. Find the passage where any suitor audits the cloth — Book 2 is short; if the hall ran a placement check, this piece's spine breaks. Produce one non-trivial semantic property of programs with a decision procedure — you will have refuted Rice, and this post will be the least of what you've overturned. Break a link in the loom-to-Turing chain of custody — every date above is checkable in an afternoon. Or run the row count yourself:
npx -y thetacog-mcp@latest attest-demo
It returns a placement, not a verdict — where the work landed against where it was declared to be going, recomputable by a stranger. If it tells you the work was good, file the bug; we will have violated our own course F.
The win condition, graded by you. Ten predicted sentences were published before the courses built to produce them — count how many fired; you are the only one who can. Then the real test, which was declared before the first plate: take one question you are asking right now — of a model, a vendor, a team, yourself — and write its countable twin next to it. If you close this tab and write that pair, the piece worked. If you close it merely liking the Odyssey more, it failed — and somewhere in your hall, a loom is being unraveled tonight.