💳 Fund Autonomy Ledgernot signed in🔑 Sign in
On-chip drift receipt

Commit 7f91a1397

This is a live, recomputable drift receipt — the on-chip proof of where this commit's work landed (in its authorized domain, out of it, or unplaced), sealed with a signature anyone can verify. It is the same receipt shipped in the on-commit email, hosted here so the claim is checkable on the open web. The full receipt (attestation, density panel, full commit message) publishes at /commit/7f91a1397/ shortly after the commit lands.

✅ DECIDABLE: WHERE this work landed is provable and re-runnable — recompute it yourself. WHETHER it is bug-free is UNDECIDABLE (Rice); we do not claim that.
No tolerance panel is indexed for this commit yet. The on-chip receipt is generated on commit and indexed shortly after.
Share this receipt
https://thetadriven.com/commit/7f91a1397
Geometric Driven Development — the drift receipt for this commit, published so the claim is verifiable on the open web. Recompute it yourself: npx thetacog-mcp attest-demo. View commit on GitHub. What is this? Read the explainer

Sufficient for: where it landed, re-runnable from the commit: same bytes, same hash. NOT sufficient for: whether the work was good, which is undecidable (Rice, 1953); nothing here claims it.

gemsedu.com #1 ▲1.3%moonshotscapital.com #2 ▼1.8%leadedgecapital.com #3 ▼2.8%dometic.com #4 ▼4.2%differential.vc #5 ▲24.4%thecignagroup.com #6 ▼0.5%sigma.se #7 ▼3.8%karlsborg.se #8 ▼3.4%ltu.se #9 ▼5.2%teneo.com #10 ▼0.8%emiratesnbd.com #11 ▲11%apcoworldwide.com #12 ▼4.2%scania.com #13 ▼2.7%amseliplaw.com #14 ▼8.6%reed.com #15 ▼6.8%championacaustin.com #16 ▼2.2%clarionschool.com #17 ▼1.6%svenskakyrkan.se #18 ▼3.5%rytmus.se #19 ▼7.3%sigeducation.com #20 ▲3.2%anthonypllc.com #21 ▼2.5%scor.com #22 ▼6.8%brodit.se #23 ▼5.6%state.gov #24 ▼0.7%pernod-ricard-china.com #25 ▼14.7%easystem.se #26 ▼1.3%ericsson.com #27 ▼3.7%innoventureseducation.com #28 ▲1.4%khda.gov.ae #29 ▼5.3%wsp.com #30 ▼10.7%expediagroup.com #31 ▼4%dubaiholding.com #32 ▼2.3%bdtmsd.com #33 ▲0.2%americancenteruae.com #34 ▼0.3%baylor.edu #35 ▲1.6%rackspace.com #36 ▼0.9%oryxworld.com #37 ▼15.5%lfg.com #38 ▲7.7%sunstarstrategic.com #39 ▲3.3%atriumhealth.org #40 ▼9.4%addition.com #41 ▼7%upandrunningdubai.com #42 ▲0.1%its.jnj.com #43 ▼13.8%cablevision.com #44 ▼3.4%eosvc.com #45 ▲5.3%gunnebo.com #46 ▲1.3%insureai.co #47 ▼15.5%mit.edu #48 ▼6.4%siemens.com #49 ▲1%winningtemp.se #50 ▼5.2%volvo.com #51 ▼1.1%crslimited.com #52 ▼1.9%neweratech.com #53 ▲8.1%newyorklife.com #54 ▼4.9%parkcity.org #55 ▲25.7%statefarm.com #56 ▼11.4%munichre.com #57 ▼4.3%inspiralia.com #58 ▲53.7%linkedin.com #59 ▼14.8%marsh.com #60 ▲0.7%se.abb.com #61 ▲22.4%jcdecaux.ae #62 ▲5.4%sc.com #63 ▲8.4%bermanauditadvisorycpa.com #64 ▼10.4%jcdecaux.com #65 ▼4.9%nsigroup.org #66 ▼6.1%louisville.edu #67 ▼1.2%artvillagenursery.com #68 ▼15.5%aresmgmt.com #69 ▲24.5%jkj.com #70 ▼4.7%luxcapital.com #71 ▲8.7%conning.com #72 ▼8.9%emerson.com #73 ▼1.6%fox.com #74 ▲3.2%lbl.gov #75 ▼15.5%pacemetals.com #76 ▲51.7%bakerbotts.com #77 ▲108.4%rakbank.ae #78 ▲4.7%aig.com #79 ▼4.7%xprize.org #80 ▲7.7%ecoclean-group.net #81 ▲73%students.rcsj.edu #82 ▲7.2%scnsoft.com #83 ▲1109.6%hsph.harvard.edu #84 ▼15.5%tetrapak.com #85 ▲15.1%schmuhlbrothers.com #86 ▲29.6%bancamediolanum.it #87 ▲329.7%camarda.com #88 ✦ NEWnyu.edu #89 ▲14.2%bartec.com #90 ▲481.2%tyrolit.com #91 ▲205.9%trenchlaw.com #92 ▼15.5%dubailand.gov.ae #93 ▲8%peraco.com.au #94 ✦ NEWmuskegoncc.edu #95 ▲1820.3%jsx.com #96 ✦ NEWmindshareworld.com #97 ▲1484.4%mckoolsmith.com #98 ▼15.5%krausanderson.com #99 ▲799.9%uspto.gov #100 ▼15.5%gemsedu.com #1 ▲1.3%moonshotscapital.com #2 ▼1.8%leadedgecapital.com #3 ▼2.8%dometic.com #4 ▼4.2%differential.vc #5 ▲24.4%thecignagroup.com #6 ▼0.5%sigma.se #7 ▼3.8%karlsborg.se #8 ▼3.4%ltu.se #9 ▼5.2%teneo.com #10 ▼0.8%emiratesnbd.com #11 ▲11%apcoworldwide.com #12 ▼4.2%scania.com #13 ▼2.7%amseliplaw.com #14 ▼8.6%reed.com #15 ▼6.8%championacaustin.com #16 ▼2.2%clarionschool.com #17 ▼1.6%svenskakyrkan.se #18 ▼3.5%rytmus.se #19 ▼7.3%sigeducation.com #20 ▲3.2%anthonypllc.com #21 ▼2.5%scor.com #22 ▼6.8%brodit.se #23 ▼5.6%state.gov #24 ▼0.7%pernod-ricard-china.com #25 ▼14.7%easystem.se #26 ▼1.3%ericsson.com #27 ▼3.7%innoventureseducation.com #28 ▲1.4%khda.gov.ae #29 ▼5.3%wsp.com #30 ▼10.7%expediagroup.com #31 ▼4%dubaiholding.com #32 ▼2.3%bdtmsd.com #33 ▲0.2%americancenteruae.com #34 ▼0.3%baylor.edu #35 ▲1.6%rackspace.com #36 ▼0.9%oryxworld.com #37 ▼15.5%lfg.com #38 ▲7.7%sunstarstrategic.com #39 ▲3.3%atriumhealth.org #40 ▼9.4%addition.com #41 ▼7%upandrunningdubai.com #42 ▲0.1%its.jnj.com #43 ▼13.8%cablevision.com #44 ▼3.4%eosvc.com #45 ▲5.3%gunnebo.com #46 ▲1.3%insureai.co #47 ▼15.5%mit.edu #48 ▼6.4%siemens.com #49 ▲1%winningtemp.se #50 ▼5.2%volvo.com #51 ▼1.1%crslimited.com #52 ▼1.9%neweratech.com #53 ▲8.1%newyorklife.com #54 ▼4.9%parkcity.org #55 ▲25.7%statefarm.com #56 ▼11.4%munichre.com #57 ▼4.3%inspiralia.com #58 ▲53.7%linkedin.com #59 ▼14.8%marsh.com #60 ▲0.7%se.abb.com #61 ▲22.4%jcdecaux.ae #62 ▲5.4%sc.com #63 ▲8.4%bermanauditadvisorycpa.com #64 ▼10.4%jcdecaux.com #65 ▼4.9%nsigroup.org #66 ▼6.1%louisville.edu #67 ▼1.2%artvillagenursery.com #68 ▼15.5%aresmgmt.com #69 ▲24.5%jkj.com #70 ▼4.7%luxcapital.com #71 ▲8.7%conning.com #72 ▼8.9%emerson.com #73 ▼1.6%fox.com #74 ▲3.2%lbl.gov #75 ▼15.5%pacemetals.com #76 ▲51.7%bakerbotts.com #77 ▲108.4%rakbank.ae #78 ▲4.7%aig.com #79 ▼4.7%xprize.org #80 ▲7.7%ecoclean-group.net #81 ▲73%students.rcsj.edu #82 ▲7.2%scnsoft.com #83 ▲1109.6%hsph.harvard.edu #84 ▼15.5%tetrapak.com #85 ▲15.1%schmuhlbrothers.com #86 ▲29.6%bancamediolanum.it #87 ▲329.7%camarda.com #88 ✦ NEWnyu.edu #89 ▲14.2%bartec.com #90 ▲481.2%tyrolit.com #91 ▲205.9%trenchlaw.com #92 ▼15.5%dubailand.gov.ae #93 ▲8%peraco.com.au #94 ✦ NEWmuskegoncc.edu #95 ▲1820.3%jsx.com #96 ✦ NEWmindshareworld.com #97 ▲1484.4%mckoolsmith.com #98 ▼15.5%krausanderson.com #99 ▲799.9%uspto.gov #100 ▼15.5%