Skip to content

docs(brief): scope Success criterion to what C4-verify shows at Check - #76

Merged
eduralph merged 1 commit into
mainfrom
chore/74-success-criterion-scope
Jun 20, 2026
Merged

docs(brief): scope Success criterion to what C4-verify shows at Check#76
eduralph merged 1 commit into
mainfrom
chore/74-success-criterion-scope

Conversation

@eduralph

Copy link
Copy Markdown
Owner

Summary

Closes #74. Tightens the Success criterion field guidance in templates/brief.md.tpl so a planner doesn't scope the criterion to evidence that only appears after merge.

The criterion is the load-bearing field Check tests "did this work" against. Scoped to a T3 whole-suite pass or a fork-CI green, it can't be shown at Check time (those gates are advisory/baseline-red and only clear post-merge) — so the bundle either can't satisfy its own criterion or the human rubber-stamps it. Anchoring it to the per-fix C4-verify (red→green on the patch in isolation) keeps it demonstrable at the moment Check runs.

Template-side so it lands for all instances rather than diverging instance-side (surfaced in gramps-testbed-v2).

Change

One field's guidance in templates/brief.md.tpl — no code. Offline suite green (137 tests).

🤖 Generated with Claude Code

…#74)

The Success criterion is the load-bearing field Check tests "did this work"
against. A criterion scoped to a T3 whole-suite pass or a fork-CI green can't be
shown at Check time — those are advisory/baseline-red and only clear post-merge —
so the bundle either can't satisfy its own criterion or the human rubber-stamps
it. Anchor the field guidance to the per-fix C4-verify (red→green on the patch in
isolation), which is demonstrable at the moment Check runs.

Template-side so it lands for all instances rather than diverging instance-side.

Closes #74.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Signed-off-by: Eduard Ralph <15236434+eduralph@users.noreply.github.com>
@eduralph
eduralph merged commit 2be55a7 into main Jun 20, 2026
2 checks passed
@eduralph
eduralph deleted the chore/74-success-criterion-scope branch June 20, 2026 17:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

brief template: scope 'Success criterion' to what C4-verify can demonstrate at Check

1 participant