A governed local AI build-and-memory system that trains small brains, compares them, protects the better one, archives the worse one, and preserves the evidence of why. v1.0.0/governed-v2.2.0+

Evidence-based evaluation methodology for coding-agent configurations: statistics, evidence contracts, and fail-closed reporting with synthetic worked examples. No real-model performance claims.

Public SDK and CLI for clean promotion gates, typed assurance cards, provider interfaces, and formal-spec mirrors.

Public documentation for Verifiable Labs architecture, evidence, SDK, and operating model.

Runnable synthetic examples for Verifiable Labs clean-gate workflows.

Lean 4 proofs and property-tested formal-spec mirrors for selected promotion-gate properties.

Synthetic/redacted evidence artifacts, assurance cards, and public reproducibility notes.