A verification proof is a claim about a specific commit. Claims rot — the repo moves, the axioms drift, "it verified once" becomes folklore. The Lean Transparency Log is an append-only, Merkle-anchored ledger of signed attestations that named proofs re-check with exactly their documented assumptions, plus the agent tooling that asks the only question a downstream consumer cares about.
A walking, breathing PoC of Mirco Richter's Crisis protocol — a DAG-based BFT consensus that achieves total order in fully open peer-to-peer networks by *deducing* votes from causal structure instead of sending them. Plus a SwiftUI visualizer that walks the protocol end-to-end in extreme slow motion, and an agent-coordination layer that lifts the same machinery from machines reaching agreement to AI agents reaching agreement.
Polymarket as a substrate for letting LLM-driven agents propose, defend, and rebalance positions on the future itself — a quiet sandbox for studying how machine reasoning behaves when it has skin in the game.