checkwright

Checkwright

Checkwright is a coding-agent-assisted delivery methodology, packaged as installable kits. It mechanizes the discipline that prose alone cannot hold when stateless agent sessions do the writing: every cheap, mechanically-decidable consistency axis becomes a gate that blocks the commit, so the human (or agent) residue is the irreducibly semantic judgment alone.

These pages orient and sequence. They own no contracts — each contract lives in the kit that enforces it, and a page here cites downward rather than restating an invariant.

Start here

  1. Why Checkwright — the delivery-methodology essay: what goes wrong when agents write, and the shape of the remedy.
  2. Install — vendoring the kits into your repo and the upgrade contract.
  3. The kit map below — one page per kit, in reading order.
  4. Announcing Checkwright — the launch note.

The kits

Read in this order: each kit assumes the machinery of the ones above it.

The walkthrough and evidence pages join this map when their kits land.

License

Checkwright is Apache-2.0. Adoption is the goal.