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+
The Dream Machine — a config-driven engine for nightly, cloud-scheduled, evidence-gated repository evolution. Composes @metaharness/flywheel, darwin, and redblue behind a promotion gate that never merges.
Evidence-based evaluation methodology for coding-agent configurations: statistics, evidence contracts, and fail-closed reporting with synthetic worked examples. No real-model performance claims.
Lean 4 proofs and property-tested formal-spec mirrors for selected promotion-gate properties.
Public documentation for Verifiable Labs architecture, evidence, SDK, and operating model.
Runnable synthetic examples for Verifiable Labs clean-gate workflows.
Public SDK and CLI for clean promotion gates, typed assurance cards, provider interfaces, and formal-spec mirrors.
Synthetic/redacted evidence artifacts, assurance cards, and public reproducibility notes.
To associate your repository with the promotion-gate topic, visit your repo's landing page and select "manage topics."