On-chip drift receipt

blog(penrose): Penrose Is Right About the Hole. He Is Wrong About the Shovel.

2026-08-03 · ce0b8f012

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/ce0b8f012/ 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 ce0b8f012 — blog(penrose): Penrose Is Right About the Hole. He Is Wrong About the Shovel. — 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/ce0b8f012

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