Claude Code First, specification version 0.1.0. The plain-language guide

Version 0.1.0. Grade R3/S3.

F303 A gate that did not run on every push let red suites and drift reach the main branch unremarked

FieldValue
Statusactive
TopicGates, verification, and hooks against instructions
GradeR3/S3
CasesShio, freewilly
Contrarynone
Harness factsnone

Claim

Where a gate ran only when somebody chose to run it, by hand or by manual dispatch, failures reached the main branch and stayed there across many commits with no commit message naming them, in two projects; both restored the gate to every push.

Mechanism

A gate the agent must decide to run is a written rule in practice (see F300): it holds only in the sessions that remember it. A workflow triggered by every push makes the colour visible without anyone choosing to look, and a failure then reaches the next commit's author whether or not they ran anything.

Observations

Independence

Two independent origins: Shio's dispatch-only workflows and freewilly's deleted lint workflow, each a decision and an incident of that project. roadkeep's rule is a statement without an incident and adds no origin; polyweave records the condition without an outcome.

Counter-evidence

polyweave ran its Python gates only locally for its whole three-day history with no recorded failure, but also with no record of the gates on 114 of 132 commits, so it neither supports nor contradicts the claim. winwright's local desk gate is a deliberate exception scoped to tests that a hosted runner cannot run; its sources record no red that landed through it, and also no audit that would find one.

Grade

R3: independent incidents in two projects. S3: Shio's is counted (eleven and eight commits over two red suites, nineteen in all). freewilly's is a dated incident without a count (S2). Not S4: Shio's ledger test and workflow encode the remedy, but no source at the pin records the workflow catching a red.