ToolsVerify planeserves the suite

Gauge

The runtime verifier

StatusBuildIn build
FIG · A build exercised for real, its behaviour measured against its claim.

Where it stands. In build: its CLI has run and dispatched real jobs since mid-July.

01What it does
01
Runs what was built
Gauge exercises the running thing: parity against a reference build, regression, the release gate. Where Concord reads the source, Gauge checks how the thing actually behaves.
02
Verdicts that sharpen
Its judgements improve as humans correct them, and it proposes the fix rather than writing it.
02Its place on the control plane

Verify is its own plane: run what was built and compare its behaviour to the spec and the reference. Concord on the propose plane reads the source; Gauge runs the thing. Both hand their findings to the actuate plane, which holds the only write path.

03Who it works with

A pairing here means two tools actually exchange something, and the thing they exchange is named.

04Where it does the work