Ventures
What flat encodings erase, richer carriers make legible and computable — the single change of representation behind both ventures, turned on formal mathematics in one and post-quantum coordination in the other.
Guardian Engine ↗
One move — change the representation so the opaque becomes legible and mechanizable — applied to formal mathematics. It re-encodes Mathlib into a content-addressed archive, making the ~700K-declaration corpus measurable: axiom profiles, how assumptions propagate, where results secretly coincide. It admits results on their proofs and declared assumptions alone, never provenance, and tracks a live Mathlib as a compatibility layer, not a fork.
Disentangle ↗
The same move, applied to coordination: post-quantum consensus where agreement comes from discrete geometric structure rather than staked capital. Sybil-resistance and identity fall out of the curvature of the transaction graph — no tokens, no mining, no staking — with AI agents as first-class identities. A production Rust protocol that puts agreement on geometry, not incentives.