https://github.com/szl-holdings/ouroboros

Bounded-loop runtime implementing the Lutar Invariant. 172/172 tests passing at v6.2.0. Reference implementation for the Ouroboros Thesis.

ai-governance bounded-recursion convergence proof-chain runtime typescript vitest

Last synced: 17 May 2026