promotion-gate

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.

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.

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.