Texts about AI and cryptoTechnical essays by Omar U. Espejel on AI engineering, crypto, verifiable systems, and production engineering.https://gradiente.ai/The Environment Contract Is Part of the Producthttps://gradiente.ai/essays/the-environment-contract-is-part-of-the-product/https://gradiente.ai/essays/the-environment-contract-is-part-of-the-product/A postmortem on an auth flag regression in an agent-built app, and the deploy contract that stops stale environments from becoming releases.Sun, 10 May 2026 00:00:00 GMTWhat a Proof Is Allowed to Meanhttps://gradiente.ai/essays/tablero-the-boundary-between-proofs/https://gradiente.ai/essays/tablero-the-boundary-between-proofs/A guide to the missing receipt around proof artifacts: how proof bytes, statement meaning, verifier domain, and replay assumptions become one accepted object.Thu, 07 May 2026 09:03:00 GMTProof Validity Is Not Statement Validityhttps://gradiente.ai/essays/proof-validity-is-not-statement-validity/https://gradiente.ai/essays/proof-validity-is-not-statement-validity/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.Thu, 07 May 2026 09:02:00 GMTProof Pressure Is Not Just Matrix Multiplyhttps://gradiente.ai/essays/where-transformer-proof-pressure-appears/https://gradiente.ai/essays/where-transformer-proof-pressure-appears/The useful transformer-proving question is not whether the model contains arithmetic. It is where proof plumbing gets reused or repeated.Thu, 07 May 2026 09:01:00 GMTWhy Transformers Fit STARKshttps://gradiente.ai/essays/why-transformers-fit-starks/https://gradiente.ai/essays/why-transformers-fit-starks/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.Thu, 07 May 2026 09:00:00 GMTWhy Documentation Structure Fits Agent Workloadshttps://gradiente.ai/essays/why-documentation-structure-fits-agent-workloads/https://gradiente.ai/essays/why-documentation-structure-fits-agent-workloads/How curated manifests, canonical metadata, crawler boundaries, and simple health checks make documentation easier for AI agents to retrieve and cite.Tue, 21 Apr 2026 00:00:00 GMT