On-chip drift receipt

blog: Decidable on Silicon — the first-mover claim we checked before making

2026-07-04 · f3030ed54

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/f3030ed54/ 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
tolerance panel for commit f3030ed54 — blog: Decidable on Silicon — the first-mover claim we checked before making
Green in-lane · amber a little out · red drift. This is the same 144×144 tolerance panel emitted on commit, byte-identical on recompute.
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
6f77c19a7500b64a
binary version
1781354726656.0786
walk throughput
954/s
lane coordinate
A2,C1
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.3605
Δ-spread
king-move leak
5
Γ
traction slope
0.250
𝒱
reef volatility
0.1651
Θ
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/f3030ed54
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