💳 Fund Autonomy Ledgernot signed in🔑 Sign in

You were handed a backup. Here is how to read it without us.

You were not in the room when the agent ran. You did not pick the tools, you did not see the prompts, and the person who handed you this file would like it read kindly. Whether you price the risk, audit the work or argue about it in front of a judge, your question is the same one: what did this agent actually do, and has anyone edited the story since. You don't have to take my word for it — every check below runs on your own machine, and the first ones need nothing from us at all.

1. What arrives

One archive, named by the sha256 of its own bytes (<sha>.tar.gz). Inside it:

The name is the first check. If this prints the file's own name, not a byte changed in transit:

shasum -a 256 <sha>.tar.gz
A redrawn diagram in six panels: a flood through a cracked wall (unbounded roaming), a caged brain (lobotomized prompting), a river with dead-end branches (homeostatic freedom), a snowball rolling into a lattice sphere (retro-snowball and ballistic walk), and three tier cards ending in an underwriter's line, each panel stamped with its ledger status: built, measured, unmeasured, not built or erratum. The check printed above, and npx thetacog-mcp verify <sha>, answer one question: are these bytes the bytes the manifest names. They do not say where any row landed, they do not say whether the work was good (Rice, 1953), and they do not say that any panel in this picture is built; the stamp on each panel says that.
The picture this work is built toward, redrawn in our verbs: each panel carries its own ledger status, so a panel that is not built says so on its face.

2. Recompute it yourself — free, no call to us

The measurement is free and open-source (MIT); only the underwriting is paid. Recomputing a card is the measurement, so it is free and it never touches our servers. Install the open-source tool from npm, or build the same binary from the crate:

intentguard --card --text "<the action text from the tape row>"

Same text in, same bytes out, on any machine: compare the output with the card in the archive (everything above its attestation line). A card that does not match was not produced from that text.

intentguard --verify-receipt <signed-card-file>

Re-hashes the signed bytes and checks the attestation line. Exit 0 means it verifies; the output names the public key it verified under — compare that key with the published one in section 4, never with a key the sender gave you.

4. Where the keys are

The card signing key and the notary countersign key are published at one address, derived from the signers' seeds at request time, never a hand-copied constant:

curl https://thetadriven.com/.well-known/intentguard-keys.json

Pin the key you read there. A card that verifies under any other key was signed by someone else.

5. Custody: where it lives, who holds which key, what fails and how

If you allocate capital against an AI deployment, these are the questions your diligence analyst asks first. Each answer is what the code does today; an answer that is still open is named open.

The failure modes, each with what happens:

An archive is made by pressing 🔗 Countersign (backup) in the ThetaCog extension's sidebar.

6. What this is sufficient for, and what it is not

Sufficient for: the rows were not edited after the notary countersigned them, and each placement was computed from a record the agent did not author. NOT sufficient for: that the work was good (Rice) or that the log is complete before the first countersigned row.

Whether the work was good is undecidable (Rice, 1953), and we do not claim it. Rows written before the first countersigned row were never witnessed; a gap after it is counted, never silence.

Uploading a backup: /backup · what a licence costs: /pricing

See how large one piece of agent work gets, with and without a scope declared before it starts, on the default curve.

gemsedu.com #1 ▼0.9%moonshotscapital.com #2 ▲1%leadedgecapital.com #3 ▼1%differential.vc #4 ▲12.6%dometic.com #5 ▼4.5%thecignagroup.com #6 ▼2.5%sigma.se #7 ▼2.4%karlsborg.se #8 ▼4.2%teneo.com #9 ▼0.6%ltu.se #10 ▼7.8%emiratesnbd.com #11 ▲3.7%apcoworldwide.com #12 ▲0.8%championacaustin.com #13 ▼2.9%amseliplaw.com #14 ▼8.1%clarionschool.com #15 ▼2.1%reed.com #16 ▼7%scania.com #17 ▼10.9%svenskakyrkan.se #18 ▼2.7%anthonypllc.com #19 ▼0.1%rytmus.se #20 ▼8.4%sigeducation.com #21 ▼7.5%state.gov #22 ▲5.5%brodit.se #23 ▼7.9%scor.com #24 ▼7.9%ericsson.com #25 ▲4.4%easystem.se #26 ▼6.4%pernod-ricard-china.com #27 ▼13.5%khda.gov.ae #28 0.0%innoventureseducation.com #29 ▲3.2%dubaiholding.com #30 ▼2.5%wsp.com #31 ▼6.4%bdtmsd.com #32 ▲4.7%expediagroup.com #33 ▼7.1%parkcity.org #34 ▲34.9%lfg.com #35 ▲4%addition.com #36 ▼0.7%upandrunningdubai.com #37 ▲2.7%americancenteruae.com #38 ▼5.2%baylor.edu #39 ▼8.1%its.jnj.com #40 ▼1.3%rackspace.com #41 ▼9.2%eosvc.com #42 ▲16.9%cablevision.com #43 ▲0.5%crslimited.com #44 ▲2.1%atriumhealth.org #45 ▼11.3%sunstarstrategic.com #46 ▼7.7%oryxworld.com #47 ▼15.8%mit.edu #48 ▼2.2%gunnebo.com #49 ▼2.6%volvo.com #50 ▼1.3%siemens.com #51 ▼5.1%winningtemp.se #52 ▼6%neweratech.com #53 ▲0.2%newyorklife.com #54 ▲3.1%statefarm.com #55 ▼3.4%insureai.co #56 ▼15.8%inspiralia.com #57 ▲11.4%munichre.com #58 ▼5.6%sc.com #59 ▲12.9%marsh.com #60 ▲1.4%linkedin.com #61 ▼11.4%bermanauditadvisorycpa.com #62 ▲6.9%se.abb.com #63 ▲7.1%jcdecaux.ae #64 ▲6.8%aresmgmt.com #65 ▲18.7%bakerbotts.com #66 ▲78.1%jcdecaux.com #67 ▼3.5%nsigroup.org #68 ▼3.5%louisville.edu #69 ▲1.5%jkj.com #70 ▼2.4%artvillagenursery.com #71 ▼15.8%emerson.com #72 ▲21%luxcapital.com #73 ▼5.7%conning.com #74 ▼5.6%pacemetals.com #75 ▲30.1%fox.com #76 ▲2.7%tyrolit.com #77 ▲282.3%lbl.gov #78 ▼15.8%students.rcsj.edu #79 ▲43.2%ecoclean-group.net #80 ▲41.1%rakbank.ae #81 ▲4.9%schmuhlbrothers.com #82 ▲50.6%aig.com #83 ▼5%scnsoft.com #84 ▲95.1%bartec.com #85 ▲102.8%xprize.org #86 ▼5.5%bancamediolanum.it #87 ▲45.8%muskegoncc.edu #88 ▲236%tetrapak.com #89 ▲2.2%camarda.com #90 ▲66.4%jsx.com #91 ▲117.5%hsph.harvard.edu #92 ▼15.8%peraco.com.au #93 ▲68.2%mindshareworld.com #94 ▲889.9%krausanderson.com #95 ▲169.2%dubailand.gov.ae #96 ▲13.9%nyu.edu #97 ▼5.1%stoughtontrailers.com #98 ▲165.2%trenchlaw.com #99 ▼15.8%mckoolsmith.com #100 ▼15.8%gemsedu.com #1 ▼0.9%moonshotscapital.com #2 ▲1%leadedgecapital.com #3 ▼1%differential.vc #4 ▲12.6%dometic.com #5 ▼4.5%thecignagroup.com #6 ▼2.5%sigma.se #7 ▼2.4%karlsborg.se #8 ▼4.2%teneo.com #9 ▼0.6%ltu.se #10 ▼7.8%emiratesnbd.com #11 ▲3.7%apcoworldwide.com #12 ▲0.8%championacaustin.com #13 ▼2.9%amseliplaw.com #14 ▼8.1%clarionschool.com #15 ▼2.1%reed.com #16 ▼7%scania.com #17 ▼10.9%svenskakyrkan.se #18 ▼2.7%anthonypllc.com #19 ▼0.1%rytmus.se #20 ▼8.4%sigeducation.com #21 ▼7.5%state.gov #22 ▲5.5%brodit.se #23 ▼7.9%scor.com #24 ▼7.9%ericsson.com #25 ▲4.4%easystem.se #26 ▼6.4%pernod-ricard-china.com #27 ▼13.5%khda.gov.ae #28 0.0%innoventureseducation.com #29 ▲3.2%dubaiholding.com #30 ▼2.5%wsp.com #31 ▼6.4%bdtmsd.com #32 ▲4.7%expediagroup.com #33 ▼7.1%parkcity.org #34 ▲34.9%lfg.com #35 ▲4%addition.com #36 ▼0.7%upandrunningdubai.com #37 ▲2.7%americancenteruae.com #38 ▼5.2%baylor.edu #39 ▼8.1%its.jnj.com #40 ▼1.3%rackspace.com #41 ▼9.2%eosvc.com #42 ▲16.9%cablevision.com #43 ▲0.5%crslimited.com #44 ▲2.1%atriumhealth.org #45 ▼11.3%sunstarstrategic.com #46 ▼7.7%oryxworld.com #47 ▼15.8%mit.edu #48 ▼2.2%gunnebo.com #49 ▼2.6%volvo.com #50 ▼1.3%siemens.com #51 ▼5.1%winningtemp.se #52 ▼6%neweratech.com #53 ▲0.2%newyorklife.com #54 ▲3.1%statefarm.com #55 ▼3.4%insureai.co #56 ▼15.8%inspiralia.com #57 ▲11.4%munichre.com #58 ▼5.6%sc.com #59 ▲12.9%marsh.com #60 ▲1.4%linkedin.com #61 ▼11.4%bermanauditadvisorycpa.com #62 ▲6.9%se.abb.com #63 ▲7.1%jcdecaux.ae #64 ▲6.8%aresmgmt.com #65 ▲18.7%bakerbotts.com #66 ▲78.1%jcdecaux.com #67 ▼3.5%nsigroup.org #68 ▼3.5%louisville.edu #69 ▲1.5%jkj.com #70 ▼2.4%artvillagenursery.com #71 ▼15.8%emerson.com #72 ▲21%luxcapital.com #73 ▼5.7%conning.com #74 ▼5.6%pacemetals.com #75 ▲30.1%fox.com #76 ▲2.7%tyrolit.com #77 ▲282.3%lbl.gov #78 ▼15.8%students.rcsj.edu #79 ▲43.2%ecoclean-group.net #80 ▲41.1%rakbank.ae #81 ▲4.9%schmuhlbrothers.com #82 ▲50.6%aig.com #83 ▼5%scnsoft.com #84 ▲95.1%bartec.com #85 ▲102.8%xprize.org #86 ▼5.5%bancamediolanum.it #87 ▲45.8%muskegoncc.edu #88 ▲236%tetrapak.com #89 ▲2.2%camarda.com #90 ▲66.4%jsx.com #91 ▲117.5%hsph.harvard.edu #92 ▼15.8%peraco.com.au #93 ▲68.2%mindshareworld.com #94 ▲889.9%krausanderson.com #95 ▲169.2%dubailand.gov.ae #96 ▲13.9%nyu.edu #97 ▼5.1%stoughtontrailers.com #98 ▲165.2%trenchlaw.com #99 ▼15.8%mckoolsmith.com #100 ▼15.8%