On-chip drift receipt

auto-apply(blog-research): external-source on 2026-05-25-the-rices-theorem-checkmate (cert=1.00, imp=0.95)

2026-05-28 · 6732b9ecb

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/6732b9ecb/ 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 6732b9ecb — auto-apply(blog-research): external-source on 2026-05-25-the-rices-theorem-checkmate (cert=1.00, imp=0.95) — 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/6732b9ecb

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