On-chip drift receipt

blog(cook): it flies and it costs less — the 41% day, 274 to one off the ledger, and the one row that does both jobs

2026-09-22 · ce4ebaa10

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/ce4ebaa10/ 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.

tolerance panel for commit ce4ebaa10 — blog(cook): it flies and it costs less — the 41% day, 274 to one off the ledger, and the one row that does both jobs — Green in-lane · amber a little out · red drift. This is the same 144×144 tolerance panel emitted on commit, byte-identical on recompute.

Share this receipt

https://thetadriven.com/commit/ce4ebaa10

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. Read the post

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.