Four papers, three seed-pinned verification batteries, and a Lean 4 formalization of the core theorems on AI deployment and collective epistemic capacity: pressure, drift, capture - and a pre-registered audit protocol to locate deployments on the ladder.
-
Updated
Aug 5, 2026 - Lean