Show HN: CakeML-based self-verifying, self-improving system

One gate, instantiated at every level: prove it, then act. Improvement integrates through a predecessor-certified step; strengthening the judge is the single labeled Gödelian seam. The inhabitant is never constrained by the proof. Every claim cited; the ledger verifies itself.