Milestones

One sequence, many tracks. You build before you sell — but every track is running right now, and they feed each other.

Specification
83% · 5% unmeasured
Execution
71% · 16% unmeasured
Market
46% · 4% unmeasured
Is it written down precisely enough to build and to argue? · 83% passing · 12% declared, not yet · 5% unmeasured Does the code exist, run, and hold under a guard? · 71% passing · 13% declared, not yet · 16% unmeasured Has it left the building — pitched, landed, paid? · 46% passing · 50% declared, not yet · 4% unmeasured

56 milestones · one sequence · 8 lists · 63 open checks · commit f2d9fb556
Numbers and ranks are derived from position, never typed. Every bar is a bounded shell predicate — open any line to see which check failed and which file to go edit. No model in this path. Recompute: node scripts/milestones/score.mjs

The next five — what each one means now, where it fits, what can fill it

Five three-word sub-points out of 41 still open across 8 lists. Which five is a count, not a choice: open items only · one frontier rung per list · most checks already passing first · ShortLex breaks ties. Frontier is position, not importance — a rung nobody needs is still the rung you are standing on.

⚠ computed at 56def0d4c, this deploy is 0fcc7ccef — the counts below are from a different tree. Re-run bash scripts/milestones/update.sh.

💻Prove execution bounds.A1 · Ground⚙️ Technical Integration🧪 C2.Operations.Loop7/8 checks
Specification
3/3
Execution
3/3
Market
1/2

7 of 8 declared checks pass. 1 still open, the nearest naming docs/receipts/third-party-recompute.md. One of those files has never been committed to. 4 further items wait behind it in Technical Integration.

What it means now

Execution is provably attested end-to-end: the on-chip spec, the ed25519 signer, and the forgery test all exist and pass, and a stranger visiting the site can already verify a receipt themselves. The one open piece is that no outside party has yet redone that recomputation and put their name on it — the proof runs, but no one but us has run it.

next check: a third party has recomputed onedocs/receipts/third-party-recompute.md

Where it fits

It sits under Ground because everything above it — auditing execution history, the rest of Technical Integration — assumes the execution bound is provable at all; this is the item that makes that assumption load-bearing rather than assumed. It depends on the signer and glossary work already done, and it unlocks the third-party check once someone outside the building actually runs it.

first rung in this list
unlocks A2 🧮 Audit execution history

What can fill it

This isn't a file you write — it's a request you send: get someone outside the building to independently recompute a receipt and record their result, then commit that record to docs/receipts/third-party-recompute.md. Until a named third party runs it and signs off, that file stays empty and the check stays open.

never committed to: docs/receipts/third-party-recompute.md

Read more — why this list exists, its edges, and all 8 checks →

We are replacing trust with deterministic proof. This vector is entirely focused on building the hardware-attested semantic grounding required to isolate and measure AI execution risk. By shipping the trust root and capturing live telemetry on-chip, we transform abstract software behaviour into a mathematically auditable ledger. The terminal state of this track is a frozen, zero-entropy interface where capital can independently verify that our agent remains strictly within its defined operational bounds.

how to read it · Read this track as one chain with no shortcuts: a verdict has to be signed before a run is worth logging, a log has to be quiet before live work is worth measuring, and live work has to be measured before determinism is worth claiming. The A and B phases are already through — the signer exists, the receipts accumulate, the false-alarm rate is sealed with a confidence interval. What is genuinely open here is not code but WITNESS: every market check on this track fails, because nobody outside the building has recomputed a receipt. That single missing artifact is why a track at ninety-something per cent on specification and execution is not finished.

legal The measured boundary becomes the covered boundary. Exclusions can only be written against something that is actually observed, so every claim the legal track fences is a claim this track first made checkable.

commercial The proof a stranger can run in one command is what makes a pitch survive contact. Without it the commercial track is asking for belief; with it, it is asking someone to check.

Specification on-chip resident spec existsdocs/architecture/pmu-resident-onchip-spec.md

Specification verification gaps are written down, not hiddendocs/architecture/pmu-rust-verification-gaps.md

Specification attestation glossary existsdocs/architecture/pmu-spec-attestation-glossary.md

Execution the in-binary signer existspackages/thetacog-mcp/pmu-rust/src/attest.rs

Execution it signs with ed25519, not a hash claimpackages/thetacog-mcp/pmu-rust/src/attest.rs

Execution a one-byte forge is caught by a testtests/pmu-simulator/forge-test.test.mjs

Market a stranger can verify a receipt on the site (the page answers, it does not redirect)src/app/verify-receipt/page.tsx

Market a third party has recomputed onedocs/receipts/third-party-recompute.md

↓ the whole Technical Integration list · ↓ this rung in the sequence · reading written by claude-sonnet-5, after the counts and never inside them

🧱Define uncovered risks.A1 · Ground⚖️ Legal Standardization📐 A2.Strategy.Goal5/6 checks
Specification
2/2
Execution
2/2
Market
1/2

5 of 6 declared checks pass. 1 still open, the nearest naming src/app/deck/insure/page.tsx. Every file it names already exists. 5 further items wait behind it in Legal Standardization.

What it means now

reading pendingno reading written yet.
node scripts/milestones/narrate.mjs --key legal-5

next check: the deck states publicly what we refuse to claimsrc/app/deck/insure/page.tsx

Where it fits

first rung in this list
unlocks B1 📜 Standardize policy terms

What can fill it

src/app/deck/insure/page.tsx — last touched 2026-08-25 (856292444)

Read more — why this list exists, its edges, and all 6 checks →

Technical boundaries are useless to capital until they are translated into financial constraints. This vector maps the precise surface area of our Errors and Omissions liability. We are systematically drafting a narrow-channel posture specification that defines exact exclusions, prices expected losses, and hard-caps tail risk. The output is a standardised actuarial docket — a self-contained liability asset that allows a carrier-side syndicate to confidently price and bind the risk without requiring a single manual underwriting meeting.

how to read it · This track converts a measurement into a price, and the order is the argument. You cannot price an expected loss before you have said what is excluded, and you cannot cap a tail before you have priced the body. The exclusions and the wording are written and guarded — the language fence is a red test, so overclaiming vocabulary cannot ship. The break is at the D phase: everything up to pricing exists as computed artifact, and nothing has been handed to a counterparty who could disagree with it. Arming the underwriter is the hinge, and binding the first policy is the only line here that requires another party to sign.

technical Takes the measurement and refuses to overclaim it. The language fence exists because the technical result is narrower than the market wants it to be, and the honesty is the asset.

commercial Hands over the docket — the thing that lets a syndicate price without a meeting. This is what the commercial track is actually carrying into the room.

commercial Receives objections. Every friction the market surfaces comes back here as a wording change, an exclusion, or a cap; that return path is the only reason cold objections are worth collecting.

Specification the measure-dont-prevent line is canondocs/architecture/narrow-channel-posture-spec.md

Specification the banned vocabulary is documented in codescripts/pmu/insurability-compiler.mjs

Execution overclaiming vocabulary is a red testtests/pmu/insurability-compiler.test.js

Execution tampering with a verdict is rejectedtests/pmu-simulator/insurance-anti-regression.test.mjs

Market carriers have received itdeck/insure

Market the deck states publicly what we refuse to claimsrc/app/deck/insure/page.tsx

↓ the whole Legal Standardization list · ↓ this rung in the sequence

📕Pin canonical terms.A1 · Ground📖 The Argument🔨 C1.Operations.Grid6/8 checks
Specification
2/3
Execution
3/3
Market
1/2

6 of 8 declared checks pass. 2 still open, the nearest naming books/tesseract/epub-metadata.yaml. Every file it names already exists. 4 further items wait behind it in The Argument.

What it means now

reading pendingwritten when 7/8 checks passed; 6/8 pass now.
node scripts/milestones/narrate.mjs --key argument-2

next check: the canonical title is pinned in the metadatabooks/tesseract/epub-metadata.yaml

Where it fits

first rung in this list
unlocks B1 🩻 Publish five retractions

What can fill it

books/tesseract/epub-metadata.yaml — last touched 2026-03-28 (3134d2806)

src/app/book/read/page.tsx — last touched 2025-11-10 (db8f042b3)

Read more — why this list exists, its edges, and all 8 checks →

Technical boundaries are useless to capital until someone outside the building can read the claim and check it without asking permission. This vector maps the surface area of the argument itself — the manuscript, the corpus, and the runnable demo — as one instrument rather than three marketing assets. The book states the physics; the blog corpus repeats it in one voice, five hundred times, indexed and interlinked; the npx command lets a stranger in an empty folder recompute the claim on their own machine and get the same answer. Every buyer meets the thesis here first, and every hostile reader attacks here first. The output is not persuasion. It is a falsifiable public record: claims listed, overclaims retracted in writing, and a command that either reproduces or does not.

how to read it · Read this track as the only one whose failures are public. The manuscript is frozen and built, the errata retracts real overclaims in writing, and the cold-run guard exists because a prospect actually hit the empty-folder crash — that is the shape of an argument being tested rather than promoted. Two lines carry the honest bad news. Voice consistency has a guard and a backlog the guard does not cover: the frontier posts pass the canonical spine and the great majority of the corpus does not, because the check warns rather than blocks. And the outside world has not repeated the claim yet — the registry holds only us, and no named hostile reviewer is on record. Reach is real; corroboration is not.

commercial This is the opening move, not the closing one. A pitch that begins with a command the reader can run has already conceded that they should not simply believe us, which is the only posture that survives a diligence read.

technical Takes the runnable proof and exposes it to someone with no context and no patience. Every cold-run failure here is a defect the technical track cannot see from the inside.

bookclub Supplies the chapter that earns the reply. The book club has nothing to hand anyone if the manuscript is not finished and readable in one click.

Specification the voice rules are written downbooks/tesseract/VOICE-RULES.md

Specification the glossary defines the load-bearing termsbooks/tesseract/CANONICAL-GLOSSARY.md

Execution the chapters existbooks/tesseract/chapters/chapter-*.md

Execution one build script produces the canonical HTMLscripts/build-book-html.sh

Execution the built chapters are on diskpublic/book/chapters/*.html

Market a reader can download the finished bookpublic/book/downloads/tesseract-premium-complete.epub

Specification the canonical title is pinned in the metadatabooks/tesseract/epub-metadata.yaml

Market the book can be read in the browser, chapters and allsrc/app/book/read/page.tsx

↓ the whole The Argument list · ↓ this rung in the sequence

🚨File notice response.B1 · Instrument📜 Patent & IP unplaced — its evidence touches no room surface5/7 checks
Specification
2/2
Execution
2/2
Market
1/3

5 of 7 declared checks pass. 2 still open, the nearest naming .workflow/uspto/*acknowledgement*. 2 of those files have never been committed to. 4 further items wait behind it in Patent & IP.

What it means now

The notice has been received and the response is fully prepared — draft written, claims corrected, replacement drawings ready, and the reply logged on the docket — but none of that has been sent to or acknowledged by the USPTO yet, so from the Office's side nothing has changed.

next check: the USPTO acknowledged the reply.workflow/uspto/*acknowledgement*

Where it fits

It depends on A1 (the seven provisionals already converted) and blocks B2, which needs a live docket to guard; it sits in Patent & IP with no owning room because the next move is a filing to a federal office, not a code change.

after A1 🗂️ Convert seven provisionals (done)
unlocks B2 Ship docket guard

What can fill it

File the signed declaration (.workflow/uspto/sb0015a-signed.pdf) with the prepared response, then wait for and save the USPTO's acknowledgement (.workflow/uspto/*acknowledgement*) — both checks turn on receipts from the Office, not on writing more here.

never committed to: .workflow/uspto/*acknowledgement* · .workflow/uspto/sb0015a-signed.pdf

Read more — why this list exists, its edges, and all 7 checks →

A claim set is a bet nobody has scored yet. This vector runs the prosecution of US 19/637,714 — thirty-six claims, filed 2026-04-02 on Track One, carrying the benefit of seven provisionals back to April 2025 — as a docket rather than a memory. Every application, every priority date and every statutory bar lives in one file beside the document the date was read out of, and a passed deadline with nothing recorded as filed turns the build red. The most valuable output is the negative one: a chart naming which claims the shipped code does not practise, stated plainly before a diligence lawyer or a licensee asks. Prosecution ends when the monopoly is priced per agent and someone pays it.

how to read it · Read this track deadline-first, because unlike every other list here its clock runs whether or not anyone is looking. The A phase is genuinely done — the application is filed, the priority chain is intact, the as-filed papers are on disk. Then it goes red: the formalities reply due 2026-08-16 passed with nothing recorded as filed, and the docket guard is failing ON PURPOSE to say so. Counsel last said the papers would go that week; the docket still shows no filing receipt and no signed declaration. Everything downstream — the claim chart, the defensive publications, the per-agent licence — is real work sitting behind an administrative gate that closes on 2026-12-16.

legal The claim chart is what makes the liability wording defensible: you cannot fence what a policy covers without first naming which claims the shipped code actually practises and which it does not.

commercial The monopoly is what is being sold. A per-agent licence with no granted claim behind it is a subscription; with one, it is a toll, and the difference is the entire commercial thesis.

technical Takes the shipped mechanism and reports back the gap. Where the code does not practise a claim, that is either a build instruction or a claim to drop — and saying which, before diligence asks, is the point.

Specification a response to the notice is drafteddocs/patent/us-19-637714/RESPONSE-to-Notice-2026-06-16.md

Specification the reply is tracked on the docket.workflow/uspto/estate.json

Execution corrected claims are prepareddocs/patent/us-19-637714/EM01US01_Claims_double-spaced_2026-06-27.pdf

Execution replacement drawing sheets are prepareddocs/patent/us-19-637714/replacement-sheets

Market the Office paper was receiveddocs/patent/us-19-637714/USPTO_Notice-to-File-Corrected-Application-Papers_2026-06-16.pdf

Market the USPTO acknowledged the reply.workflow/uspto/*acknowledgement*

Market the signed declaration is filed.workflow/uspto/sb0015a-signed.pdf

↓ the whole Patent & IP list · ↓ this rung in the sequence · reading written by claude-sonnet-5, after the counts and never inside them

📮Disclose escalation ladder.A1 · Ground📮 Market Contact🔨 C1.Operations.Grid4/6 checks
Specification
2/2
Execution
1/2
Market
1/2

4 of 6 declared checks pass. 2 still open, the nearest naming src/app/playbook/page.tsx. One of those files has never been committed to. 7 further items wait behind it in Market Contact.

What it means now

reading pendingwritten when 5/6 checks passed; 4/6 pass now.
node scripts/milestones/narrate.mjs --key contact-8

next check: every rung carries a mitigation, published before it can firesrc/app/playbook/page.tsx

Where it fits

first rung in this list
unlocks A2 🗝️ Equip cold prospects

What can fill it

never committed to: thetadriven.com/playbook

src/app/playbook/page.tsx — last touched 2026-08-25 (4af2e6772)

Read more — why this list exists, its edges, and all 6 checks →

Every other list here produces something that is true whether or not a stranger cooperates; this is the only one that cannot be finished from inside the building. Market contact is a ratchet with three teeth and they turn in order: an outbound approach that reaches a named counterparty, a grassroots reply nobody solicited, and — where a public claim is false and the party will not answer it — a disclosed escalation ladder that ends at an institution rather than at an invoice. The three surfaces are already public and already point at each other. /playbook is the ladder, published in full with every rung's mitigation before the first rung can fire, so the party sees the whole thing in advance. /resources is the master key that ships with the advisory invoice, so a recipient can check every implication without asking us for anything. /cta is the lever a reader reaches for after finishing the book. The scoreboard is deliberately unflattering: the win is a false claim retracted, not a payment extracted.

how to read it · Read this as the one list the repo cannot mark its own homework on, which is why almost every check here fetches production or reads a ledger instead of testing that a file exists. The A phase is genuinely done and says so from outside: all three surfaces answer a cold fetch, the ladder carries a mitigation on every rung, and the invoice hands over the pack rather than a salesperson. Then it splits in two. Outbound is real — forty-one dispatches through the pipeline, a hundred and fifty logged sends, seven distinct carrier and broker domains in the send ledger. Reply is not: six recorded clicks, and no ledger of an unsolicited inbound anywhere. Everything from the C phase down waits on one missing artifact. The register that counts asked / answered / refuted is specified on the ladder's second rung and printed there as zero — honestly, because it does not exist — and four items point at data/register/ with every one of them red. No rung has fired, and none should until the count is real.

commercial Hands the funnel its top. An objection cannot be mapped before somebody has been reached, and this is the list that does the reaching — every named counterparty in the commercial track arrived through a vector declared here.

bookclub Takes the warm introduction and spends it. A reader who volunteers an intro arrives here as a named counterparty rather than as another cold address, which is the entire reason the slow track is worth its slowness.

argument Takes the manuscript and the runnable proof and makes them the opening move instead of the closing one. /resources is the argument, packaged so a stranger can check it with nobody from here in the room.

legal Returns what the market actually said. A refusal that names a wording is a wording change; a refusal that names nothing was a bad meeting, and the ladder exists for the case where there is no reply at all.

Specification the pressure doctrine is written down — the accused is never the audiencedocs/ops/the-respectable-win-2026-08-06.md

Specification the outreach spec names the rooms, the vectors and the send gatedocs/ops/email-iterations/sovereign-outreach-spec.html

Execution the ladder ends at an institution, not at an invoicesrc/app/playbook/page.tsx

Market a stranger can read the whole ladder before rung one firesdev/null

Execution every rung carries a mitigation, published before it can firesrc/app/playbook/page.tsx

Market a named party has actually been served itthetadriven.com/playbook

↓ the whole Market Contact list · ↓ this rung in the sequence

Sufficient for which five sub-points are the live frontier, what is already true about each, and which file the next check names. Not sufficient for which five matter most — frontier is position, not importance, and no count decides that. The pick and every number are LLM-free; the three readings are not, and they live in a separate file so you can always tell which is which. Recompute: bash scripts/milestones/update.sh

Breadth first — the three parents

ShortLex sorts by length before letter, so A, B, C come before A1, A2, C1. Each parent is a pure rollup of the lists beneath it — nothing here is authored.

🏛️A.Strategy

2 lists · 14 items · 0 done

  • A2.Strategy.GoalLegal Standardization (7)
  • A3.Strategy.FundPitch And Fund (7)

next: Define uncovered risks

B.Tactics

1 list · 4 items · 0 done

  • B2.Tactics.DealBook Club (4)

next: Curate reader cohort

🔧C.Operations

4 lists · 32 items · 0 done

  • C1.Operations.GridThe Argument (6)
  • C1.Operations.GridCommercial Extraction (11)
  • C1.Operations.GridMarket Contact (9)
  • C2.Operations.LoopTechnical Integration (6)

next: Prove execution bounds

C1 claimed by argument + commercial + contact — one rank, two lists

⚠ unplaced: Patent & IP (tied on 6 hits - the evidence does not favour one room) — belongs to no parent until its evidence lands in a room surface.

Where the market contact comes from

A green market bar can mean two completely different things, so this section separates them. 15 of 56 milestones have market evidence that leaves the building; 5 have evidence somebody came back. The other 41 need market contact — and each one is a place to go, not a scolding.

1 · Artifact — not contact
a file we wrote ourselves — necessary, and not evidence anybody outside has seen it
2 · Doorway — not contact
a live public route a stranger can reach unaided — contact becomes possible here, it does not happen here
3 · Outbound
we reached a named counterparty and the send is logged — contact initiated
4 · Inbound
they came back — a reply, a click, an outcome, a retraction. Contact returned
doorwaya live public route a stranger can reach unaided — contact becomes possible here, it does not happen here
/playbook1/1 checks

the escalation ladder, published — what we ask, in what order, and what happens when nobody answers

thetadriven.com/playbook
last touched 2026-08-25 (4af2e6772)

📮 Disclose escalation ladder

/resources1/1 checks

what a cold prospect is handed so they can check us without talking to us

thetadriven.com/resources
last touched 2026-08-25 (eac49626e)

🗝️ Equip cold prospects

/cta1/1 checks

the one door a finished reader walks through

thetadriven.com/cta
last touched 2026-08-25 (2381fa24f)

🔥 Arm finished readers

public route0/1 checks

any other live surface a stranger can reach without an introduction

thetadriven.com
last touched 2026-08-25 (56def0d4c)

🧾 Publish non-response register

outboundwe reached a named counterparty and the send is logged — contact initiated
dispatch log2/2 checks

the canonical comms pipeline’s own record of what it dispatched and to which channel

.thetacog/comms/dispatch-log.ndjson
last touched 2026-08-23 (b9b782ee1)

🎯 Name lead allocator · 🎯 Bank first cheque

outreach log2/2 checks

named counterparties reached, appended per attempt

.thetacog/outreach-log.ndjson
last touched 2026-07-14 (fddc8bd3e)

📜 Standardize policy terms · Reach named counterparties

inboundthey came back — a reply, a click, an outcome, a retraction. Contact returned
replies0/1 checks

a human wrote back — the only rung nobody can manufacture from inside the building

.thetacog/inbound-replies.ndjson
NEVER COMMITTED TO — this channel exists only in a predicate

📬 Earn unsolicited replies

dispositions5/7 checks

opens and clicks from the provider — weak signal, real direction

.thetacog/email-dispositions.ndjson
last touched 2026-07-21 (5c1a05dfc)

🎯 Identify lead syndicates · 📜 Standardize policy terms · 🪝 Map underwriter objections · 💬 Establish lateral dialogue · 📬 Earn unsolicited replies · ⚖️ Finalize actuarial asset

register · answering0/2 checks

an outcome landed: a filing answered, a claim retracted

data/register
NEVER COMMITTED TO — this channel exists only in a predicate

🏛️ Lodge formal complaint · 🏳️ Extract public retraction

unreached · 7

contact IS declared and none of it passes yet — the channel exists, the send has not landed

artifact · 32

every market check is a file we wrote ourselves — nothing here says anybody outside has seen it

1 A1 💻 Prove execution bounds · ⚙️ Technical Integration2 A1 📕 Pin canonical terms · 📖 The Argument3 A2 🧮 Audit execution history · ⚙️ Technical Integration4 A1 🗂️ Convert seven provisionals · 📜 Patent & IP7 A1 📖 Curate reader cohort · 📚 Book Club13 B1 ✉️ Dispatch private invites · 📚 Book Club14 B1 🚨 File notice response · 📜 Patent & IP15 B2 Ship docket guard · 📜 Patent & IP16 B1 🩻 Publish five retractions · 📖 The Argument17 B2 ❄️ Force cold recomputes · 📖 The Argument19 B2 🩹 Eliminate edge cases · ⚖️ Legal Standardization20 B1 ⚙️ Isolate true anomalies · ⚙️ Technical Integration22 B3 ✍️ Secure pilot LOI · 💰 Commercial Extraction23 B4 💰 Collect pilot revenue · 💰 Commercial Extraction27 C1 🧾 Disclose unpractised claims · 📜 Patent & IP28 C1 🗣️ Pass voice guards · 📖 The Argument29 C2 🔒 Enforce deterministic state · ⚙️ Technical Integration30 C1 📉 Price expected loss · ⚖️ Legal Standardization31 C2 ✂️ Cap worst case · ⚖️ Legal Standardization32 C2 👀 Collect ghost reads · 📖 The Argument33 C1 🤝 Validate parametric triggers · 💰 Commercial Extraction34 D1 🧱 Block the workaround · 📜 Patent & IP35 C1 🔗 Unlock warm introductions · 📚 Book Club36 C1 🧾 Publish non-response register · 📮 Market Contact37 D1 🛑 Lock trust root · ⚙️ Technical Integration39 D1 📣 Earn outside citation · 📖 The Argument40 D1 🏷️ Lock pricing model · 💰 Commercial Extraction41 E1 🪙 Charge per agent · 📜 Patent & IP42 D2 🖋️ Bind first policy · ⚖️ Legal Standardization46 E2 Ship zero-touch gate · 💰 Commercial Extraction47 E3 🏦 Price first tranche · 💰 Commercial Extraction54 C1 🎯 Earn two meetings · 🎯 Pitch And Fund
undeclared · 2

no market check written at all — unmeasured, which is not the same claim as zero

every market predicate is classified by the SURFACE it opens, never by its label · an item reaches the highest rung among its PASSING checks · rungs: artifact → doorway → outbound → inbound. Sufficient for which rung of the contact ladder each milestone’s market evidence reaches, through which organisational channel, and which milestones have no contact evidence at all. Not sufficient for whether that contact was any good — a logged send to the wrong person is still an outbound rung, and no count can tell you it was wasted. No model in this path. Recompute: node scripts/milestones/market-contact.mjs

The sequence, painted

A · Ground
·
·
B · Instrument
·
·
·
C · Prove
·
D · Bind
·
E · Syndicate
·
·
·
A1
A2
A3
B1
B2
B3
B4
C1
C2
D1
D2
E1
E2
E3
E4

🎯Pitch And Fund💰 A3.Strategy.Fund 🎭7 items · 4 open

2 of 18 declared evidence paths fall inside The Performer's owned surface

The raise, and the two documents it runs on. One deck an allocator reads in four minutes and one the team runs on every week, held to the same canonical numbers so that neither can drift from the other — every figure traceable to a receipt somebody outside this building can recompute, and the claim split stated before the ask rather than discovered during diligence. The audience here is capital and capital reads differently from a carrier: an accredited investor wants the shape of the market and the reason this is the only construction that reaches it; a syndicate partner wants the allocation and who else is in; a strategic wants to know what it costs them if somebody else takes the position first. A deck is never the result. The meeting it produced is a result, the second meeting is a better one, and the cheque is the only one that closes a phase. Nothing on this list can be finished by writing a document, which is what distinguishes it from every strategy list above it.

How to read this list →

A pitch deck for the team that has to double as a pitch deck for the carriers is two audiences wearing one artifact, which is how a deck stops persuading either of them. Split the documents, hold them to one set of numbers, and measure the list by meetings booked and capital committed rather than by slides produced. Fund, allocator, syndicate, dilution, cap table, cheque.

Enters & leaves (3) →
💰 Commercial Extraction
Takes the funnel's numbers as the deck's numbers. An allocator is being sold the same market the carrier objections map, so a figure that moves in one document and not the other is the drift this list exists to prevent.
📖 The Argument
Takes the manuscript and the runnable demo and makes them the evidence page rather than an appendix. The deck says run it yourself; the argument list is what there is to run.
📮 Market Contact
Takes named counterparties instead of a cold allocator list. A capital conversation that started as a reached person converts on a different curve from one that started as an address, and only the contact ratchet produces the first kind.
50A1🎯Freeze canonical numbers.3 open
Specification — 40%, 2 of 5 checks pass
one constants file that the deck and the memo both quote
the free-versus-paid claim split is stated before any ask
no figure appears in a deck without a recomputable source
a deck in the repo quotes the canonical constants rather than restating themdocs/decks
the decks tell a reader to recompute rather than to believedocs/decks
Execution — undeclared: nobody has written a check for this yet, which is not the same as zero
Market — 100%, 1 of 1 checks pass
investor-facing sends exist in the ledger.thetacog/email-sent.ndjson
51A2🎯Split both audiences.
Specification — 100%, 4 of 4 checks pass
the allocator deck and the team deck are separate artifactsdocs/decks
the accredited-investor disclaimer is standing languagedocs/comms
the decks are SERVED per audience, not mailed as one PDFsrc/app/deck
building one runs through a door, not a habit.claude/commands/deck.md
Execution — undeclared: nobody has written a check for this yet, which is not the same as zero
Market — undeclared: nobody has written a check for this yet, which is not the same as zero
52B1🎯Reach five allocators.1 open
Specification — 0%, 0 of 1 checks pass
the investor address book is canonical, not assembled per send
Execution — undeclared: nobody has written a check for this yet, which is not the same as zero
Market — 100%, 2 of 2 checks pass
allocator sends are recorded rather than remembered.thetacog/email-sent.ndjson
every send scheduled its own follow-up at send timedata/self-prompts.json
53B2🎯Answer diligence cold.
Specification — 100%, 2 of 2 checks pass
a hostile-diligence card exists and is maintaineddocs/outreach/_hostile-diligence-card.md
deck replies are kept as graded artifacts rather than remembereddocs/decks/insure-rounds
Execution — undeclared: nobody has written a check for this yet, which is not the same as zero
Market — 100%, 1 of 1 checks pass
a diligence thread exists in the send record.thetacog/email-sent.ndjson
54C1🎯Earn two meetings.
Specification — undeclared: nobody has written a check for this yet, which is not the same as zero
Execution — undeclared: nobody has written a check for this yet, which is not the same as zero
Market — 100%, 2 of 2 checks pass
a booked meeting is on the tape, not inferred from a reply.thetacog/decisions-ledger.ndjson
the node came from a warm thread rather than a cold listdata/leverage-actions.json
55C2🎯Name lead allocator.
Specification — undeclared: nobody has written a check for this yet, which is not the same as zero
Execution — undeclared: nobody has written a check for this yet, which is not the same as zero
Market — 100%, 2 of 2 checks pass
a lead is tracked as a node with attempts and a TTLdata/self-prompts.json
the syndicate conversation is in the dispatch record.thetacog/comms/dispatch-log.ndjson
56D1🎯Bank first cheque.
Specification — undeclared: nobody has written a check for this yet, which is not the same as zero
Execution — undeclared: nobody has written a check for this yet, which is not the same as zero
Market — 100%, 2 of 2 checks pass
a priced allocation exists in the record.thetacog/comms/dispatch-log.ndjson
the raise is tracked as an outcome rather than an artifactdata/self-prompts.json

📚Book Club🤝 B2.Tactics.Deal 4 items · 3 open

9 of 10 declared evidence paths fall inside The Network's owned surface

A lateral insertion vector. Standard vendor outreach triggers immediate defensive friction from institutional buyers. This track bypasses that barrier by engaging the exact same target demographic — insurance executives, risk managers, and capital allocators — at the altitude of shared intellectual curiosity. By curating a tight circle of readers, we establish baseline trust, align our mental models, and earn high-leverage introductions that eventually feed directly back into the Commercial Extraction pipeline.

How to read this list →

The slowest track by design, and the only one whose unit of progress is a person rather than an artifact. Read it as a trust ladder: pick a small circle, put a real chapter in their hands, earn a reply that was not solicited, and only then ask for the introduction. Each rung is worthless without the one below it, which is why a blast would defeat the purpose — nine contextualised invitations beat nine hundred sends. The track sat unplaced on the reef for as long as no room claimed its ledgers. It is not a separate strategy from Market Contact — it is the same strategy on a slower vector, reaching the same demographic, and on 2026-08-24 The Network claimed data/bookclub/, scripts/bookclub/ and the bookclub comms so the count could say that. Both lists now land on B2 Tactics.Deal, and the collision the board reports is the finding rather than a fault: one room, one coordinate, two vectors.

Enters & leaves (2) →
💰 Commercial Extraction
Feeds introductions forward. This track never asks for a meeting; it earns the right to be introduced, and the commercial track is where that right gets spent.
📮 Market Contact
The same strategy as Market Contact, run on a different vector. Both lists reach the same demographic and neither can be finished from inside the building; the difference is that outreach asks for attention and this one earns it, so a reader who arrives here and volunteers an introduction enters the contact ratchet already warm.
7A1📖Curate reader cohort.
Specification — 100%, 1 of 1 checks pass
book club audience snapshot existsdata/bookclub/audience-snapshot.json
Execution — 100%, 1 of 1 checks pass
A/B arm definition existsdata/bookclub/ab-test
Market — 100%, 1 of 1 checks pass
at least 9 recipients on the listdata/bookclub/sent.ndjson
13B1✉️Dispatch private invites.
Specification — 100%, 1 of 1 checks pass
invitations are recorded as sent in the bookclub ledgerdata/bookclub/sent.ndjson
Execution — 100%, 1 of 1 checks pass
book club dispatch ledger presentdata/bookclub/panel-sent.ndjson
Market — 100%, 1 of 1 checks pass
invitations recorded as sentdata/bookclub/sent.ndjson
21B2💬Establish lateral dialogue.1 open
Specification — 0%, 0 of 1 checks pass
reply handling is scripteddocs/comms/bookclub-reply-playbook.md
Execution — undeclared: nobody has written a check for this yet, which is not the same as zero
Market — 100%, 1 of 1 checks pass
a human reply is recorded.thetacog/email-dispositions.ndjson
35C1🔗Unlock warm introductions.2 open
Specification — 0%, 0 of 1 checks pass
the introduction ask is scripteddocs/comms/bookclub-introduction-ask.md
Execution — undeclared: nobody has written a check for this yet, which is not the same as zero
Market — 0%, 0 of 1 checks pass
an introduction actually happeneddata/bookclub/introductions.ndjson

📖The Argument🔌 C1.Operations.Grid 🔨6 items · 7 open

9 of 37 declared evidence paths fall inside The Builder's owned surface

Technical boundaries are useless to capital until someone outside the building can read the claim and check it without asking permission. This vector maps the surface area of the argument itself — the manuscript, the corpus, and the runnable demo — as one instrument rather than three marketing assets. The book states the physics; the blog corpus repeats it in one voice, five hundred times, indexed and interlinked; the npx command lets a stranger in an empty folder recompute the claim on their own machine and get the same answer. Every buyer meets the thesis here first, and every hostile reader attacks here first. The output is not persuasion. It is a falsifiable public record: claims listed, overclaims retracted in writing, and a command that either reproduces or does not.

How to read this list →

Read this track as the only one whose failures are public. The manuscript is frozen and built, the errata retracts real overclaims in writing, and the cold-run guard exists because a prospect actually hit the empty-folder crash — that is the shape of an argument being tested rather than promoted. Two lines carry the honest bad news. Voice consistency has a guard and a backlog the guard does not cover: the frontier posts pass the canonical spine and the great majority of the corpus does not, because the check warns rather than blocks. And the outside world has not repeated the claim yet — the registry holds only us, and no named hostile reviewer is on record. Reach is real; corroboration is not.

Enters & leaves (3) →
💰 Commercial Extraction
This is the opening move, not the closing one. A pitch that begins with a command the reader can run has already conceded that they should not simply believe us, which is the only posture that survives a diligence read.
⚙️ Technical Integration
Takes the runnable proof and exposes it to someone with no context and no patience. Every cold-run failure here is a defect the technical track cannot see from the inside.
📚 Book Club
Supplies the chapter that earns the reply. The book club has nothing to hand anyone if the manuscript is not finished and readable in one click.
2A1📕Pin canonical terms.2 open
Specification — 67%, 2 of 3 checks pass
the voice rules are written downbooks/tesseract/VOICE-RULES.md
the canonical title is pinned in the metadatabooks/tesseract/epub-metadata.yaml
the glossary defines the load-bearing termsbooks/tesseract/CANONICAL-GLOSSARY.md
Execution — 100%, 3 of 3 checks pass
the chapters existbooks/tesseract/chapters/chapter-*.md
one build script produces the canonical HTMLscripts/build-book-html.sh
the built chapters are on diskpublic/book/chapters/*.html
Market — 50%, 1 of 2 checks pass
a reader can download the finished bookpublic/book/downloads/tesseract-premium-complete.epub
the book can be read in the browser, chapters and allsrc/app/book/read/page.tsx
16B1🩻Publish five retractions.1 open
Specification — 100%, 3 of 3 checks pass
an errata existspublic/book/ERRATA.md
it carries real retractions, not typospublic/book/ERRATA.md
a hostile critique is kept in the repobooks/tesseract/reviews/critique1.txt
Execution — 100%, 2 of 2 checks pass
an adversarial review panel was runbooks/tesseract/reviews/3bot-meta-analysis.html
the retracted hardware-counter claim is a red testtests/claims/no-hardware-counter-claim.test.mjs
Market — 50%, 1 of 2 checks pass
the falsifiable claims are published, and there are enough of them to be a listpublic/book/falsifiable-claims.html
a named outside reviewer is on recordbooks/tesseract/reviews/named-external-review.md
17B2❄️Force cold recomputes.1 open
Specification — 100%, 2 of 2 checks pass
the one command is documentedpackages/thetacog-mcp/README.md
a diligence brief existspackages/thetacog-mcp/DILIGENCE.md
Execution — 100%, 3 of 3 checks pass
the empty-folder crash a prospect hit is guardedpackages/thetacog-mcp/tests/claims-check-npx-cold-run.test.mjs
the gate fails closed rather than openpackages/thetacog-mcp/tests/gate-fails-closed.test.mjs
the published version matches the repo./packages/thetacog-mcp/package.json
Market — 0%, 0 of 1 checks pass
a stranger has recomputed a receiptdocs/receipts/third-party-recompute.md
28C1🗣️Pass voice guards.2 open
Specification — 100%, 1 of 1 checks pass
the voice is specified, not vibeddocs/strategy/the-holden-voice.md
Execution — 33%, 1 of 3 checks pass
the voice guards existtests/voice/*.mjs
the newest posts pass the canonical spine (newest by filename date, never mtime)src/content/blog/*.mdx
the whole corpus passes it, not just the frontierscripts/validate-mdx.sh
Market — 100%, 1 of 1 checks pass
the corpus is at scalesrc/content/blog/*.mdx
32C2👀Collect ghost reads.
Specification — 100%, 1 of 1 checks pass
reading friction is trackeddata/ghost-read-friction.json
Execution — 100%, 2 of 2 checks pass
ghost-read reports are accumulatingdocs/reports/ghost-read
the entry surface is livepublic/pixel.html
Market — 100%, 3 of 3 checks pass
posts are actually being readdata/clicks.db
breadth of readership, not one viral postdata/clicks.db
the book itself is being openeddata/clicks.db
39D1📣Earn outside citation.1 open
Specification — 100%, 1 of 1 checks pass
the bar for an outside verification is definedpackages/thetacog-mcp/REGISTRY.md
Execution — 100%, 1 of 1 checks pass
graded posts prove the pipeline runssrc/content/blog/*.grade.json
Market — 50%, 1 of 2 checks pass
a named third party is on the endorsements pagesrc/app/endorsements/page.tsx
the registry holds someone other than uspackages/thetacog-mcp/REGISTRY.md

💰Commercial Extraction🔌 C1.Operations.Grid 🔨11 items · 13 open

9 of 68 declared evidence paths fall inside The Builder's owned surface

This is the collision point between our architecture and the market's reality. We are targeting tier-one carriers and private equity stakeholders not for theoretical feedback, but to extract the exact friction preventing capital deployment. By pushing a paid pilot framework, we force underwriters to reveal their true objections, which we immediately patch in the Legal vector. This track does not end until we have secured a signed LOI, banked the first cheque, and scaled a frictionless facility to mint insured agent-year licences at high volume.

How to read this list →

This is the bottleneck and the page says so without being asked. Every list above it is built; this one is the reason none of it has converted. Read the sequence as a funnel that currently stops dead in the B phase: carriers are named, the docket has been briefed to real people at Marsh, Munich Re and AIG, objections have been captured in depth — and then nothing. No letter of intent, no cheque, no bound policy. The E phase describes a machine that mints insured licences without a human, and every mechanism for it is already built, which makes the emptiness of B3 and B4 the whole story.

Enters & leaves (3) →
⚖️ Legal Standardization
Carries the docket into the room, and carries the objections back out. The loop is the point: an objection that does not become a wording change was just a bad meeting.
⚙️ Technical Integration
Uses the runnable proof as the opening move rather than the closing one — you do not have to trust this, run it.
📚 Book Club
Receives warm introductions. A reader who volunteers an introduction converts at a rate no cold approach to the same person ever reaches.
6A1🎯Identify lead syndicates.3 open
Specification — 100%, 3 of 3 checks pass
a named target list existsdocs/strategy/underwriter-targets-2026-05.md
it distinguishes lead capacity from follow capacitydocs/strategy/underwriter-targets-2026-05.md
it reaches the syndicate layer, not just carriersdocs/strategy/underwriter-targets-2026-05.md
Execution — 50%, 1 of 2 checks pass
the underwriter ecosystem is mappeddocs/strategy/underwriter-ecosystem-spec.md
no placeholder address has ever been mailed.thetacog/email-sent.ndjson
Market — 0%, 0 of 2 checks pass
five distinct NAMED humans at target institutions have engaged.thetacog/email-dispositions.ndjson
at least one is at a Lloyds syndicate, not a broker or reinsurer.thetacog/email-dispositions.ndjson
12B1🗣️Provoke market friction.
Specification — 100%, 2 of 2 checks pass
a discovery proposal existsdocs/outreach/2026-06-22-marsh-discovery-proposal.html
a broker leave-behind is writtendocs/comms/external/drafts/2026-07-22-broker-leave-behind.md
Execution — 100%, 3 of 3 checks pass
the leave-behind is a real PDF, not a plandocs/outreach/2026-06-01-insurer-leave-behind.pdf
an account pack existsdocs/outreach/accounts/marsh-pack/marsh-agenda.html
the canonical send pipeline existsscripts/comms/canonical-send.sh
Market — 100%, 3 of 3 checks pass
a named Marsh person was written to.thetacog/email-sent.ndjson
a named Munich Re person was written to.thetacog/email-sent.ndjson
a named Lloyds person was written to.thetacog/email-sent.ndjson
18B2🪝Map underwriter objections.
Specification — 100%, 2 of 2 checks pass
outreach learnings are written downdocs/ops/outreach-learnings-2026-07-14.md
burned openers are recorded so they are not reuseddocs/ops/burned-openers.txt
Execution — 100%, 2 of 2 checks pass
per-person context files existdata/person-context/mary-quinn-bc9cba.md
engagement is confirmed by the provider.thetacog/email-dispositions.ndjson
Market — 100%, 3 of 3 checks pass
objections from a real account are captureddocs/outreach/marsh-denny-learnings-2026-08-05.txt
captured in depth, not as a notedocs/outreach/marsh-denny-learnings-2026-08-05.txt
the named person actually engaged.thetacog/email-dispositions.ndjson
22B3✍️Secure pilot LOI.2 open
Specification — 0%, 0 of 1 checks pass
an LOI template existsdocs/legal/loi-template.md
Execution — 100%, 1 of 1 checks pass
a pre-LOI discovery proposal existsdocs/outreach/2026-06-22-marsh-discovery-proposal.html
Market — 0%, 0 of 1 checks pass
a signed LOI is on filedocs/legal/loi/*.pdf
23B4💰Collect pilot revenue.1 open
Specification — 100%, 1 of 1 checks pass
an invoice surface existssrc/app/invoice/page.tsx
Execution — 100%, 1 of 1 checks pass
payment rails are wiredsrc/app/api/stripe-webhook/route.ts
Market — 0%, 0 of 1 checks pass
a payment actually settleddata/revenue.ndjson
33C1🤝Validate parametric triggers.2 open
Specification — 100%, 2 of 2 checks pass
parametric extraction is written updocs/01-business/boi-parametric-extraction-2026-07-28.md
the licensor questions were answereddocs/specs/open-questions-v2-parametric-licensor-2026-07-26.txt
Execution — 67%, 2 of 3 checks pass
a claim function exists in the policy contractcontracts/InLanePolicy.sol
the attestation contract is testedcontracts/test/ReefAttestation.t.sol
the backtest series clears its own 30-row floorattest-out/backtest-series.ndjson
Market — 0%, 0 of 1 checks pass
a carrier agreed the trigger in writingdocs/underwriting/trigger-agreed.md
40D1🏷️Lock pricing model.1 open
Specification — 100%, 2 of 2 checks pass
licence terms are writtendocs/legal/agent-year-license-terms.md
the underwriter ecosystem spec existsdocs/strategy/underwriter-ecosystem-spec.md
Execution — 100%, 3 of 3 checks pass
the advisory premium is computedscripts/pmu/advisory-premium.mjs
a real computed premium artifact existsattest-out/advisory-premium.json
we are guarded against promising a premium reductiontests/pricing/no-premium-reduction-promise.test.js
Market — 50%, 1 of 2 checks pass
an actual price is printed, not a contact-ussrc/app/pricing/page.tsx
a premium was quoted to a real counterpartydata/quotes-issued.ndjson
45E1🌐Distribute syndicate asset.
Specification — 100%, 2 of 2 checks pass
the insurance deck is at v5docs/decks/insure-rounds/deck-insure-v5.txt
the evidence pack existsdocs/decks/ai-insurance-evidence-2026-08-13.md
Execution — 100%, 2 of 2 checks pass
the insurability surface is livesrc/app/insurability/page.tsx
a broker surface is livesrc/app/brokers/page.tsx
Market — 100%, 2 of 2 checks pass
the round-2 asset was actually maileddocs/decks/insure-rounds/round-2-email.html
the syndicate report was actually mailed.thetacog/email-sent.ndjson
46E2Ship zero-touch gate.1 open
Specification — 100%, 2 of 2 checks pass
the zero-touch waterfall is specifieddocs/skip-formula/WATERFALL-INVENTORY-30-90-DAYS.md
zero-touch is named in itdocs/skip-formula/WATERFALL-INVENTORY-30-90-DAYS.md
Execution — 100%, 3 of 3 checks pass
the gate existsscripts/pmu/underwriter-gate.mjs
it refuses rather than guesses when data is thinscripts/pmu/underwriter-gate.mjs
it grades without a humanscripts/pmu/underwriter-grade.mjs
Market — 0%, 0 of 1 checks pass
a policy was bound with no human reviewdata/auto-bound.ndjson
47E3🏦Price first tranche.2 open
Specification — 100%, 3 of 3 checks pass
the options-on-confidence GTM existsdocs/research/options-on-confidence-gtm.md
it engages real structures, not analogiesdocs/research/options-on-confidence-gtm.md
a derivatives brief existsdocs/specs/drafts/operator-competence-derivatives-brief-v1.md
Execution — 0%, 0 of 1 checks pass
a facility term sheet existsdocs/capital/facility-term-sheet.md
Market — 0%, 0 of 1 checks pass
capital is committeddocs/capital/committed.md
48E4🪪Mint insured licenses.1 open
Specification — 100%, 2 of 2 checks pass
licence terms are writtendocs/legal/agent-year-license-terms.md
the licence tape schema existsdocs/crm/license-keys-tape-setup.sql
Execution — 100%, 3 of 3 checks pass
minting is implementedsrc/lib/license/mint.ts
payment mints a licencesrc/app/api/webhooks/stripe-iamfim/route.ts
each licence is signed per agent-yearsrc/lib/license/signing.ts
Market — 67%, 2 of 3 checks pass
the buy gesture exists on the page, not just the pagesrc/app/agent-year/page.tsx
it has been announced.thetacog/email-sent.ndjson
a seat actually solddata/licenses-sold.ndjson

📮Market Contact🔌 C1.Operations.Grid 🔨9 items · 16 open

11 of 45 declared evidence paths fall inside The Builder's owned surface

Every other list here produces something that is true whether or not a stranger cooperates; this is the only one that cannot be finished from inside the building. Market contact is a ratchet with three teeth and they turn in order: an outbound approach that reaches a named counterparty, a grassroots reply nobody solicited, and — where a public claim is false and the party will not answer it — a disclosed escalation ladder that ends at an institution rather than at an invoice. The three surfaces are already public and already point at each other. /playbook is the ladder, published in full with every rung's mitigation before the first rung can fire, so the party sees the whole thing in advance. /resources is the master key that ships with the advisory invoice, so a recipient can check every implication without asking us for anything. /cta is the lever a reader reaches for after finishing the book. The scoreboard is deliberately unflattering: the win is a false claim retracted, not a payment extracted.

How to read this list →

Read this as the one list the repo cannot mark its own homework on, which is why almost every check here fetches production or reads a ledger instead of testing that a file exists. The A phase is genuinely done and says so from outside: all three surfaces answer a cold fetch, the ladder carries a mitigation on every rung, and the invoice hands over the pack rather than a salesperson. Then it splits in two. Outbound is real — forty-one dispatches through the pipeline, a hundred and fifty logged sends, seven distinct carrier and broker domains in the send ledger. Reply is not: six recorded clicks, and no ledger of an unsolicited inbound anywhere. Everything from the C phase down waits on one missing artifact. The register that counts asked / answered / refuted is specified on the ladder's second rung and printed there as zero — honestly, because it does not exist — and four items point at data/register/ with every one of them red. No rung has fired, and none should until the count is real.

Enters & leaves (4) →
💰 Commercial Extraction
Hands the funnel its top. An objection cannot be mapped before somebody has been reached, and this is the list that does the reaching — every named counterparty in the commercial track arrived through a vector declared here.
📚 Book Club
Takes the warm introduction and spends it. A reader who volunteers an intro arrives here as a named counterparty rather than as another cold address, which is the entire reason the slow track is worth its slowness.
📖 The Argument
Takes the manuscript and the runnable proof and makes them the opening move instead of the closing one. /resources is the argument, packaged so a stranger can check it with nobody from here in the room.
⚖️ Legal Standardization
Returns what the market actually said. A refusal that names a wording is a wording change; a refusal that names nothing was a bad meeting, and the ladder exists for the case where there is no reply at all.
8A1📮Disclose escalation ladder.2 open
Specification — 100%, 2 of 2 checks pass
the pressure doctrine is written down — the accused is never the audiencedocs/ops/the-respectable-win-2026-08-06.md
the outreach spec names the rooms, the vectors and the send gatedocs/ops/email-iterations/sovereign-outreach-spec.html
Execution — 50%, 1 of 2 checks pass
every rung carries a mitigation, published before it can firesrc/app/playbook/page.tsx
the ladder ends at an institution, not at an invoicesrc/app/playbook/page.tsx
Market — 50%, 1 of 2 checks pass
a stranger can read the whole ladder before rung one firesdev/null
a named party has actually been served itthetadriven.com/playbook
9A2🗝️Equip cold prospects.1 open
Specification — 100%, 2 of 2 checks pass
the enrollment policy says who may be contacted at alldocs/outreach/ENROLLMENT-POLICY.md
the outreach template opens on an attackable claimdocs/outreach/_template.mdx
Execution — 100%, 2 of 2 checks pass
the pack hands over every implication rather than a summarysrc/app/resources/page.tsx
the invoice points at the pack instead of at a salespersonsrc/app/invoice/page.tsx
Market — 50%, 1 of 2 checks pass
it reaches a stranger with no login and nothing under NDAdev/null
a prospect has been sent itthetadriven.com/resources
10A3🔥Arm finished readers.3 open
Specification — 0%, 0 of 2 checks pass
the win condition is declared — a claim retracted, not a payment extractedsrc/app/cta/page.tsx
the reader is aimed at the condition, never at a personsrc/app/cta/page.tsx
Execution — 100%, 1 of 1 checks pass
the page is a lever list, not a newsletter signupsrc/app/cta/page.tsx
Market — 50%, 1 of 2 checks pass
a reader arriving from the book lands on something livedev/null
a book-club send has pointed a reader at itthetadriven.com/cta
24B1Reach named counterparties.
Specification — 100%, 2 of 2 checks pass
the send gate blocks an unreviewed outreach filescripts/outreach/precommit.mjs
the hostile-diligence card names what a buyer will attack firstdocs/outreach/_hostile-diligence-card.md
Execution — 100%, 2 of 2 checks pass
the pipeline has moved real files all the way to sentdocs/outreach/sent/*.mdx
the dispatch log records sends, not intentions.thetacog/comms/dispatch-log.ndjson
Market — 100%, 2 of 2 checks pass
named carrier and broker addresses are in the send ledger.thetacog/email-sent.ndjson
each approach carried a per-person finding rather than a blast.thetacog/outreach-log.ndjson
25B2📬Earn unsolicited replies.1 open
Specification — 100%, 1 of 1 checks pass
the follow-up protocol rotates the key or the vector rather than repeating a senddocs/outreach/README.md
Execution — 100%, 1 of 1 checks pass
the reply sweep runs rather than being described.thetacog/email-sent.ndjson
Market — 50%, 1 of 2 checks pass
an external party clicked something we sent.thetacog/email-dispositions.ndjson
an inbound reply nobody asked for is on the ledger.thetacog/inbound-replies.ndjson
36C1🧾Publish non-response register.2 open
Specification — 100%, 1 of 1 checks pass
the second rung specifies the format and prints its own zerosrc/app/playbook/page.tsx
Execution — 0%, 0 of 1 checks pass
the register is rows on disk, not a number on a pagedata/register/non-response.ndjson
Market — 0%, 0 of 1 checks pass
the count is public and a reader can recompute itthetadriven.com/benchmark
43D1🎯Fire first rung.2 open
Specification — 100%, 1 of 1 checks pass
rung one is a question the party can close by answeringsrc/app/playbook/page.tsx
Execution — 0%, 0 of 1 checks pass
a fire is recorded with its date and its fourteen-day windowdata/register/rungs-fired.ndjson
Market — 0%, 0 of 1 checks pass
a named party has been served rung one.thetacog/email-sent.ndjson
44D2🏛️Lodge formal complaint.2 open
Specification — 100%, 1 of 1 checks pass
each channel is named with the authority that answers itsrc/app/playbook/page.tsx
Execution — 0%, 0 of 1 checks pass
a filing is logged before it leaves, counsel review includeddata/register/filings.ndjson
Market — 0%, 0 of 1 checks pass
an outcome is on the record, dismissals includeddata/register/filing-outcomes.ndjson
49E1🏳️Extract public retraction.3 open
Specification — 0%, 0 of 1 checks pass
the win is defined as a retraction and never as a paymentsrc/app/cta/page.tsx
Execution — 0%, 0 of 1 checks pass
a retraction is logged against the claim it answersdata/register/retractions.ndjson
Market — 0%, 0 of 1 checks pass
a public false claim has actually been retracteddata/register/retractions.ndjson

⚙️Technical Integration🔄 C2.Operations.Loop 🧪6 items · 6 open

8 of 36 declared evidence paths fall inside The Laboratory's owned surface

We are replacing trust with deterministic proof. This vector is entirely focused on building the hardware-attested semantic grounding required to isolate and measure AI execution risk. By shipping the trust root and capturing live telemetry on-chip, we transform abstract software behaviour into a mathematically auditable ledger. The terminal state of this track is a frozen, zero-entropy interface where capital can independently verify that our agent remains strictly within its defined operational bounds.

How to read this list →

Read this track as one chain with no shortcuts: a verdict has to be signed before a run is worth logging, a log has to be quiet before live work is worth measuring, and live work has to be measured before determinism is worth claiming. The A and B phases are already through — the signer exists, the receipts accumulate, the false-alarm rate is sealed with a confidence interval. What is genuinely open here is not code but WITNESS: every market check on this track fails, because nobody outside the building has recomputed a receipt. That single missing artifact is why a track at ninety-something per cent on specification and execution is not finished.

Enters & leaves (2) →
⚖️ Legal Standardization
The measured boundary becomes the covered boundary. Exclusions can only be written against something that is actually observed, so every claim the legal track fences is a claim this track first made checkable.
💰 Commercial Extraction
The proof a stranger can run in one command is what makes a pitch survive contact. Without it the commercial track is asking for belief; with it, it is asking someone to check.
1A1💻Prove execution bounds.1 open
Specification — 100%, 3 of 3 checks pass
on-chip resident spec existsdocs/architecture/pmu-resident-onchip-spec.md
verification gaps are written down, not hiddendocs/architecture/pmu-rust-verification-gaps.md
attestation glossary existsdocs/architecture/pmu-spec-attestation-glossary.md
Execution — 100%, 3 of 3 checks pass
the in-binary signer existspackages/thetacog-mcp/pmu-rust/src/attest.rs
it signs with ed25519, not a hash claimpackages/thetacog-mcp/pmu-rust/src/attest.rs
a one-byte forge is caught by a testtests/pmu-simulator/forge-test.test.mjs
Market — 50%, 1 of 2 checks pass
a stranger can verify a receipt on the site (the page answers, it does not redirect)src/app/verify-receipt/page.tsx
a third party has recomputed onedocs/receipts/third-party-recompute.md
3A2🧮Audit execution history.1 open
Specification — 100%, 2 of 2 checks pass
the evidence ledger is specifieddocs/architecture/pmu-evidence-ledger-2026-05-28.html
claims are tied to proofsdocs/architecture/claims-proof-ledger.md
Execution — 100%, 3 of 3 checks pass
signed drift receipts are accumulating.thetacog/pmu/drift-receipts/receipts.ndjson
each line carries a signature.thetacog/pmu/drift-receipts/receipts.ndjson
tampering with the ledger fails a testtests/pmu-simulator/ledger-attest-tamper.test.mjs
Market — 0%, 0 of 1 checks pass
someone outside has read the ledgerdocs/receipts/third-party-recompute.md
20B1⚙️Isolate true anomalies.2 open
Specification — 100%, 2 of 2 checks pass
the breach rate is sealed, with a confidence intervaldata/pmu/sealed-calibration.json
the sealed rate is the one we quotedata/pmu/sealed-calibration.json
Execution — 67%, 2 of 3 checks pass
premium follows the calibration, not a guessscripts/pmu/calibration-premium.mjs
throughput history is long enough to trust.thetacog/pmu/throughput/history.ndjson
a guard pins the throughput ledgertests/pmu-simulator/throughput-ledger.test.mjs
Market — 0%, 0 of 1 checks pass
a false-alarm rate has been shown to a counterpartydocs/underwriting/false-alarm-rate.md
26C1📡Ingest live telemetry.
Specification — 100%, 1 of 1 checks pass
the streaming checkpoint is written updocs/architecture/pmu-streaming-checkpoint-2026-06-13.md
Execution — 100%, 3 of 3 checks pass
per-commit measurements are accumulatingdata/pmu/measure-history.ndjson
each row carries drift, not just a timestampdata/pmu/measure-history.ndjson
real hardware captures exist.thetacog/pmu/measurements
Market — undeclared: nobody has written a check for this yet, which is not the same as zero
29C2🔒Enforce deterministic state.1 open
Specification — 100%, 1 of 1 checks pass
determinism is a stated hard rule
Execution — 100%, 3 of 3 checks pass
chip rail and cloud rail agree exactlytests/pmu-simulator/chip-cloud-lattice-golden.test.mjs
no model sits in the receipt pathtests/pmu-simulator/receipt-is-llm-free.test.mjs
the same ledger twice is shape-identicaltests/pmu-simulator/breaker-backtest.test.mjs
Market — 0%, 0 of 1 checks pass
someone outside the building reproduced itdocs/receipts/third-party-recompute.md
37D1🛑Lock trust root.1 open
Specification — 100%, 2 of 2 checks pass
the guard manifest existsdocs/architecture/pmu-guard-manifest.md
nothing is left danglingdocs/architecture/pmu-guard-manifest.md
Execution — 100%, 3 of 3 checks pass
guards are audited by a script, not by memoryscripts/pmu/guard-audit.mjs
architecture invariants have a testtests/pmu-simulator/architecture-invariants.test.mjs
the suite is big enough to bitetests/pmu-simulator/*.test.mjs
Market — 0%, 0 of 1 checks pass
someone builds against the frozen interfacedocs/architecture/external-integrations.md

📜Patent & IPunplaced6 items · 6 open

tied on 6 hits - the evidence does not favour one room

A claim set is a bet nobody has scored yet. This vector runs the prosecution of US 19/637,714 — thirty-six claims, filed 2026-04-02 on Track One, carrying the benefit of seven provisionals back to April 2025 — as a docket rather than a memory. Every application, every priority date and every statutory bar lives in one file beside the document the date was read out of, and a passed deadline with nothing recorded as filed turns the build red. The most valuable output is the negative one: a chart naming which claims the shipped code does not practise, stated plainly before a diligence lawyer or a licensee asks. Prosecution ends when the monopoly is priced per agent and someone pays it.

How to read this list →

Read this track deadline-first, because unlike every other list here its clock runs whether or not anyone is looking. The A phase is genuinely done — the application is filed, the priority chain is intact, the as-filed papers are on disk. Then it goes red: the formalities reply due 2026-08-16 passed with nothing recorded as filed, and the docket guard is failing ON PURPOSE to say so. Counsel last said the papers would go that week; the docket still shows no filing receipt and no signed declaration. Everything downstream — the claim chart, the defensive publications, the per-agent licence — is real work sitting behind an administrative gate that closes on 2026-12-16.

Enters & leaves (3) →
⚖️ Legal Standardization
The claim chart is what makes the liability wording defensible: you cannot fence what a policy covers without first naming which claims the shipped code actually practises and which it does not.
💰 Commercial Extraction
The monopoly is what is being sold. A per-agent licence with no granted claim behind it is a subscription; with one, it is a toll, and the difference is the entire commercial thesis.
⚙️ Technical Integration
Takes the shipped mechanism and reports back the gap. Where the code does not practise a claim, that is either a build instruction or a claim to drop — and saying which, before diligence asks, is the point.
4A1🗂️Convert seven provisionals.
Specification — 100%, 3 of 3 checks pass
the as-filed claim set is on diskdocs/patent/us-19-637714/_claims.txt
the priority chain names its provisionals63/782
every provisional carries its twelve-month bar.workflow/uspto/estate.json
Execution — 100%, 3 of 3 checks pass
the docket exists as one machine-readable file.workflow/uspto/estate.json
the claims went in as a signed documentdocs/patent/us-19-637714/EM01US01_Claims_as-filed.pdf
the oath and declaration are on filedocs/patent/us-19-637714/EM01US01_OathDecl.pdf
Market — 100%, 3 of 3 checks pass
the application has a real filing date.workflow/uspto/estate.json
the USPTO issued a serial number19/637
a reading copy of the filed application existsdocs/patent/us-19-637714/US-19-637714-filed-reading-copy.pdf
14B1🚨File notice response.2 open
Specification — 100%, 2 of 2 checks pass
a response to the notice is drafteddocs/patent/us-19-637714/RESPONSE-to-Notice-2026-06-16.md
the reply is tracked on the docket.workflow/uspto/estate.json
Execution — 100%, 2 of 2 checks pass
corrected claims are prepareddocs/patent/us-19-637714/EM01US01_Claims_double-spaced_2026-06-27.pdf
replacement drawing sheets are prepareddocs/patent/us-19-637714/replacement-sheets
Market — 33%, 1 of 3 checks pass
the Office paper was receiveddocs/patent/us-19-637714/USPTO_Notice-to-File-Corrected-Application-Papers_2026-06-16.pdf
the USPTO acknowledged the reply.workflow/uspto/*acknowledgement*
the signed declaration is filed.workflow/uspto/sb0015a-signed.pdf
15B2Ship docket guard.1 open
Specification — 100%, 1 of 1 checks pass
every docket entry names the guard that watches it.workflow/uspto/estate.json
Execution — 67%, 2 of 3 checks pass
a docket guard existstests/legal/estate-docket.test.mjs
it computes what is overdue rather than listing ittests/legal/estate-docket.test.mjs
no deadline is past due with nothing filedtests/legal/estate-docket.test.mjs
Market — 100%, 2 of 2 checks pass
counsel has been sent forwardable packagesdocs/patent/us-19-637714/_forwardable-to-brian-*.html
counsel is named on the docket.workflow/uspto/estate.json
27C1🧾Disclose unpractised claims.1 open
Specification — 100%, 3 of 3 checks pass
a claim chart existsdocs/legal/claim-chart.md
it is written as apparatus, not as lawdocs/legal/claim-chart.md
all thirty-six claims are charteddocs/legal/claim-chart.md
Execution — 100%, 2 of 2 checks pass
a guard proves every claim is covered by the charttests/legal/claim-chart-covers-every-claim.test.mjs
citations are checked against the as-filed texttests/legal/claim-citations-match-as-filed.test.mjs
Market — 0%, 0 of 1 checks pass
the chart is reachable on a diligence surface
34D1🧱Block the workaround.1 open
Specification — 100%, 2 of 2 checks pass
defensive publications are writtendocs/01-business/patents/defensive-publications
the publish-versus-keep-secret call is reasoneddocs/01-business/patents/CONFIDENTIALITY_VS_PUBLICITY_STRATEGY.md
Execution — 100%, 2 of 2 checks pass
there is a papers surfacesrc/app/papers/page.tsx
access runs through an NDA gatesrc/app/api/request-nda/route.ts
Market — 0%, 0 of 1 checks pass
published to a prior-art registrydocs/receipts/defensive-publication-receipt.md
41E1🪙Charge per agent.1 open
Specification — 100%, 2 of 2 checks pass
licence terms are writtendocs/legal/agent-year-license-terms.md
the package licence names the agent-yearpackages/thetacog-mcp/LICENSE
Execution — 100%, 2 of 2 checks pass
the pricing invariants are guardedtests/legal/license-benchmark-invariants.test.mjs
the price is publicsrc/app/pricing/page.tsx
Market — 50%, 1 of 2 checks pass
the buy path is live on the landing pagesrc/app/iamfim-landing/page.tsx
a licence has actually solddocs/receipts/first-patent-license-sold.md

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.