v3.0.0 has: • Kernel frozen & self-verifying (3,937 theorems, zero project axioms) • New reductions tier (Gas metering, TEEs, Proof-Carrying Verification) — all tie to certification floor • make…

Frontier models are pushing hard on capabilities. That’s exciting. What we don’t have yet is a structural safety net baked into the substrate itself—one that makes certain classes of deception or…

The Thiele Machine: A Computational Model with Explicit Structural Cost is live on Zenodo! It introduces a model where going from “unverified” to “verified” requires paying an explicit positive…

This work is dense and different. Most won’t read the full monograph or replay the proofs right away. That’s okay. Wondering about blind projection, certification cost, etc., ask. No question is too…

This isn’t a bug you patch. It’s a structural limitation of how we define state transitions. Any real solution for trustworthy AI, verifiable computation, or tamper-proof systems probably requires…