- 7 min
The Environment Contract Is Part of the Product
- agents
- engineering
A postmortem on an auth flag regression in an agent-built app, and the deploy contract that stops stale environments from becoming releases.
- 11 min
What a Proof Is Allowed to Mean
- verifiable ai
- proof systems
A guide to the missing receipt around proof artifacts: how proof bytes, statement meaning, verifier domain, and replay assumptions become one accepted object.
- 13 min
Proof Validity Is Not Statement Validity
- verifiable ai
- proof systems
A proof can verify while the AI claim around it is still relabelable. In a local EZKL-style receipt test, the proof-only path rejected 1 / 7 relabels; the statement-envelope path rejected 7 / 7.
- 13 min
Proof Pressure Is Not Just Matrix Multiply
- proof systems
- verifiable ai
The useful transformer-proving question is not whether the model contains arithmetic. It is where proof plumbing gets reused or repeated.
- 19 min
Why Transformers Fit STARKs
- proof systems
- verifiable ai
Transformer decode is a repeated state transition over carried context. That shape does not make STARKs win automatically, but it makes the proof-boundary question natural.
- 16 min
Why Documentation Structure Fits Agent Workloads
- agents
- engineering
How curated manifests, canonical metadata, crawler boundaries, and simple health checks make documentation easier for AI agents to retrieve and cite.