Coherence

A bounded-claim machine for software engineering.

Specs describe intent. Plans execute checks. Runs produce evidence. Humans review claims.

Docs Core concepts, workflows, and technical references. Blog Essays about building and using Coherence. Ideas Raw thinking, notes, and design sketches. GitHub Source code, specs, examples, and executable plans.

Read the docs