KILL · 4
At least one required gate failed.
Offline · deterministic · zero runtime dependencies
Evidence first.
Victory later.
Stop CI—and AI coding agents—from declaring success while required evidence is failed, blocked, unknown, or invalid.
Four states. No optimistic blur.
BLOCKED · 6
No failure, but required work cannot proceed.
WAIT · 5
No failure or block, but evidence is still unknown.
CONTINUE · 0
Every required gate passed with valid coverage.
GitHub Action
One gate in your workflow.
The composite Action runs bundled Python source in isolated mode. Checkout modules cannot shadow it; it installs nothing, uses no telemetry, and preserves fail-closed exit codes.
permissions:
contents: read
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1
- uses: Pipeliner/hypothesisctl@413f5377325082381b740ebc652c301f21d6a1d4
with:
record: hypothesis.json
policy: mergeDesigned for falsification
Make “not yet” machine-readable.
- Gate an AI-generated change on tests and independent review.
- Gate an experiment on preregistered evidence and coverage.
- Gate a release on explicit technical and commercial criteria.
The CLI validates record structure and deterministic policy semantics. It does not fetch evidence, verify referenced bytes, or prove that a user's assertions are true.
Small enough to audit.
MIT licensed, dependency-free at runtime, strict JSON, stable CI exit codes, and no network access in the CLI.