ci: run the family conformance gate on every PR - #19
Merged
Merged
Conversation
Nothing executed SKILL.md's claims. The clause-7 acceptance test checks that an agent can *invoke* this tool from the file; it does not check that what the file promises is *true*. Every family member passed the former while failing the latter, which is how this repo's exit-contract defects shipped. Runs srdcheck's canonical gate against this repo and fails if SKILL.md and the CLI disagree. Currently waived, each naming the issue that tracks it: - MISSING_PIPE -> #14 - HONEST_LANE_OVERLOAD -> #15 The gate and its waiver list are read from srdcheck rather than copied, per FAMILY.md's pin-by-link rule. srdcheck is pinned by SHA, matching the existing cross-repo convention here: a new rule landing in srdcheck must not turn this repo's CI red on an unrelated PR. Blocking, so a NEW divergence fails. A waiver that stops firing also fails, so fixing any of the above requires shrinking the waiver list rather than leaving stale permission behind. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Wires this repo into the family conformance gate (chaoz23/srdcheck#82, #86). Part of chaoz23/srdcheck#81.
Why
Nothing executes
SKILL.md's claims. Clause 7's acceptance test checks that an agent can invoke this tool given only that file — it does not check that what the file promises is true. Every family member passed the former while failing the latter, which is exactly how this repo's exit-contract defects shipped.What runs
srdcheck's canonical
scripts/family_conformance.pyagainst this repo, with the canonical waiver list. Currently waived, each naming the issue tracking it:--pipeflag; FAMILY.md clause 7 breach #14Verified locally against the pinned checkout: 0 findings not in the baseline, exit 0.
Design notes
Read, not copied. The gate and baseline live in srdcheck and are checked out at build time, per FAMILY.md's pin-by-link rule. No vendored copy to drift.
Pinned by SHA (
27dee98cb7cb), matching the cross-repo convention already used here. Trackingmainwould mean a new rule landing in srdcheck turns this repo's CI red on an unrelated PR. Bumping the pin is then a deliberate PR that can also carry any waiver changes.Blocking, not advisory. A permanently-red advisory check is noise people scroll past. This fails only on a new divergence — and a waiver that stops firing fails too, so fixing any of the above shrinks the waiver list instead of leaving stale permission behind.
🤖 Generated with Claude Code