💳 Fund Autonomy Ledgernot signed in🔗 The backup record🔑 Sign in
On-chip drift receipt

Commit c4fe2cabb

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/c4fe2cabb/ 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.LANE: IN
144×144 tolerance panel for commit c4fe2cabb
Green in-lane · amber a little out · red drift. The same 144×144 tolerance panel emitted on commit. The full receipt (attestation + density panel) is at /commit/c4fe2cabb/.
Silicon-Attested Provenance✓

This is the proven asset: the drift read was produced by a real on-chip walk on sensor: metal, sealed with an ed25519 signature over the canonical body, and bound to the exact lattice by gridHash. Anyone can recompute it and check the signature — no trust in us required.

sensor
metal
ed25519
valid ✓ · licensable
gridHash
172d0bd01e5abcbc
binary version
1792115555735.4841
walk throughput
20,305/s
lane coordinate
C1,B3
Drift Telemetry (experimental — under calibration)

These are measurements, not a validated risk score. In a pre-registered predictive test the drift metric did not predict real defects (AUC ≈ 0.50, at chance) and the σ is pinned — so nothing here is a probability of loss and nothing here is a price. It is honest telemetry we publish while the instrument is under calibration.

Δ
weighted bleed
0.3315
Δ-spread
king-move leak
6
Γ
traction slope
0.000
𝒱
reef volatility
0.1604
Θ
efficiency decay
pending

Δ weighted bleed · Δ-spread max king-move leak · Γ traction slope · 𝒱 reef volatility · Θ efficiency decay (null → pending; no per-commit token meter). Definitions are carried in the signed signal's notes.

Share this receipt
https://thetadriven.com/commit/c4fe2cabb
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.Rice (1953): no program can decide, in general, whether another program is correct.
gemsedu.com #1 ▼4.1%moonshotscapital.com #2 ▼3.5%thecignagroup.com #3 ▼3.3%dometic.com #4 ▼1.1%leadedgecapital.com #5 ▼14.7%differential.vc #6 ▼22.7%emiratesnbd.com #7 ▲19.4%sigma.se #8 ▼12%reed.com #9 ▲27.8%karlsborg.se #10 ▼4.1%svenskakyrkan.se #11 ▲8%parkcity.org #12 ▲22.9%rytmus.se #13 ▼1.2%bancamediolanum.it #14 ▲16.4%ltu.se #15 ▼6.2%scor.com #16 ▼3.1%championacaustin.com #17 ▲0.1%khda.gov.ae #18 ▲19.1%tyrolit.com #19 ▲15.2%teneo.com #20 ▼9.1%ecoclean-group.net #21 ▲24.8%clarionschool.com #22 ▲3.2%brodit.se #23 ▼3.8%sigeducation.com #24 ▲4.9%anthonypllc.com #25 ▼2.5%amseliplaw.com #26 ▼5.5%addition.com #27 ▼11.6%apcoworldwide.com #28 ▼12.5%ericsson.com #29 ▲9.8%pernod-ricard-china.com #30 ▼1.9%state.gov #31 ▼0.2%wsp.com #32 ▼9.1%scania.com #33 ▼10.6%baylor.edu #34 ▼2.7%dubaiholding.com #35 ▲17.6%easystem.se #36 ▼10.2%expediagroup.com #37 ▲16.9%siemens.com #38 ▼3.8%innoventureseducation.com #39 ▲2.2%inspiralia.com #40 ▲9.8%bdtmsd.com #41 ▼11.1%louisville.edu #42 ▲31.1%eosvc.com #43 ▲9.9%bakerbotts.com #44 ▲6.6%mit.edu #45 ▼5.6%lfg.com #46 ▼6.5%americancenteruae.com #47 ▲4.9%rackspace.com #48 ▼5.7%dubailand.gov.ae #49 ▲24.7%atriumhealth.org #50 ▲14.6%statefarm.com #51 ▲9.8%winningtemp.se #52 ▲1.7%newyorklife.com #53 ▼4.2%upandrunningdubai.com #54 ▲2.8%sunstarstrategic.com #55 ▲4.7%linkedin.com #56 ▲1.1%cablevision.com #57 ▼4.3%volvo.com #58 ▼5.6%camarda.com #59 ▲4.9%crslimited.com #60 ▼8.5%students.rcsj.edu #61 ▲61.1%nsigroup.org #62 ▼1.7%its.jnj.com #63 ▼0.2%gunnebo.com #64 0.0%aresmgmt.com #65 ▲15.9%bermanauditadvisorycpa.com #66 ▼0.5%peraco.com.au #67 ▲20.8%fox.com #68 ▼5.1%jcdecaux.ae #69 ▼3.7%bartec.com #70 ▲31.6%schmuhlbrothers.com #71 ▲22.4%jsx.com #72 ▲36.3%neweratech.com #73 ▼5.4%emerson.com #74 ▲2.4%munichre.com #75 ▼5.1%muskegoncc.edu #76 ▲16.5%scnsoft.com #77 ▲16.7%mindshareworld.com #78 ▲17.6%jkj.com #79 ▲0.7%se.abb.com #80 ▼8.7%sc.com #81 ▼12.3%pacemetals.com #82 ▲21.2%marsh.com #83 ▼15.2%jcdecaux.com #84 ▼9.5%stoughtontrailers.com #85 ▲24.2%oryxworld.com #86 ▼22.7%rakbank.ae #87 ▼1.5%insureai.co #88 ▼22.7%conning.com #89 ▼10.6%xprize.org #90 ▲14.2%luxcapital.com #91 ▼11.2%krausanderson.com #92 ▲14.2%artvillagenursery.com #93 ▼22.7%tetrapak.com #94 ▲0.4%aig.com #95 ▼17.9%lbl.gov #96 ▼22.7%nyu.edu #97 ▼13.6%hsph.harvard.edu #98 ▼22.7%trenchlaw.com #99 ▼22.7%bland.ai #100 ▲59.7%gemsedu.com #1 ▼4.1%moonshotscapital.com #2 ▼3.5%thecignagroup.com #3 ▼3.3%dometic.com #4 ▼1.1%leadedgecapital.com #5 ▼14.7%differential.vc #6 ▼22.7%emiratesnbd.com #7 ▲19.4%sigma.se #8 ▼12%reed.com #9 ▲27.8%karlsborg.se #10 ▼4.1%svenskakyrkan.se #11 ▲8%parkcity.org #12 ▲22.9%rytmus.se #13 ▼1.2%bancamediolanum.it #14 ▲16.4%ltu.se #15 ▼6.2%scor.com #16 ▼3.1%championacaustin.com #17 ▲0.1%khda.gov.ae #18 ▲19.1%tyrolit.com #19 ▲15.2%teneo.com #20 ▼9.1%ecoclean-group.net #21 ▲24.8%clarionschool.com #22 ▲3.2%brodit.se #23 ▼3.8%sigeducation.com #24 ▲4.9%anthonypllc.com #25 ▼2.5%amseliplaw.com #26 ▼5.5%addition.com #27 ▼11.6%apcoworldwide.com #28 ▼12.5%ericsson.com #29 ▲9.8%pernod-ricard-china.com #30 ▼1.9%state.gov #31 ▼0.2%wsp.com #32 ▼9.1%scania.com #33 ▼10.6%baylor.edu #34 ▼2.7%dubaiholding.com #35 ▲17.6%easystem.se #36 ▼10.2%expediagroup.com #37 ▲16.9%siemens.com #38 ▼3.8%innoventureseducation.com #39 ▲2.2%inspiralia.com #40 ▲9.8%bdtmsd.com #41 ▼11.1%louisville.edu #42 ▲31.1%eosvc.com #43 ▲9.9%bakerbotts.com #44 ▲6.6%mit.edu #45 ▼5.6%lfg.com #46 ▼6.5%americancenteruae.com #47 ▲4.9%rackspace.com #48 ▼5.7%dubailand.gov.ae #49 ▲24.7%atriumhealth.org #50 ▲14.6%statefarm.com #51 ▲9.8%winningtemp.se #52 ▲1.7%newyorklife.com #53 ▼4.2%upandrunningdubai.com #54 ▲2.8%sunstarstrategic.com #55 ▲4.7%linkedin.com #56 ▲1.1%cablevision.com #57 ▼4.3%volvo.com #58 ▼5.6%camarda.com #59 ▲4.9%crslimited.com #60 ▼8.5%students.rcsj.edu #61 ▲61.1%nsigroup.org #62 ▼1.7%its.jnj.com #63 ▼0.2%gunnebo.com #64 0.0%aresmgmt.com #65 ▲15.9%bermanauditadvisorycpa.com #66 ▼0.5%peraco.com.au #67 ▲20.8%fox.com #68 ▼5.1%jcdecaux.ae #69 ▼3.7%bartec.com #70 ▲31.6%schmuhlbrothers.com #71 ▲22.4%jsx.com #72 ▲36.3%neweratech.com #73 ▼5.4%emerson.com #74 ▲2.4%munichre.com #75 ▼5.1%muskegoncc.edu #76 ▲16.5%scnsoft.com #77 ▲16.7%mindshareworld.com #78 ▲17.6%jkj.com #79 ▲0.7%se.abb.com #80 ▼8.7%sc.com #81 ▼12.3%pacemetals.com #82 ▲21.2%marsh.com #83 ▼15.2%jcdecaux.com #84 ▼9.5%stoughtontrailers.com #85 ▲24.2%oryxworld.com #86 ▼22.7%rakbank.ae #87 ▼1.5%insureai.co #88 ▼22.7%conning.com #89 ▼10.6%xprize.org #90 ▲14.2%luxcapital.com #91 ▼11.2%krausanderson.com #92 ▲14.2%artvillagenursery.com #93 ▼22.7%tetrapak.com #94 ▲0.4%aig.com #95 ▼17.9%lbl.gov #96 ▼22.7%nyu.edu #97 ▼13.6%hsph.harvard.edu #98 ▼22.7%trenchlaw.com #99 ▼22.7%bland.ai #100 ▲59.7%