What happened
On PR #1778 (merged 2026-07-16), the fullsend review agent correctly identified that AGENTS.md line 14 describes make ci as test + acceptance + fmt-check + lint + opa-check + conventions-check + generate-docs, but the actual Makefile ci target (line 235) is quiet-test acceptance opa-check conventions-check fmt-check lint regal-test generate-docs. The review rated this as 'Low' priority and the PR was approved and merged without addressing it. The human reviewer (joejstuart) also did not comment on the documentation gap. The review agent's comment noted the description 'already has minor inaccuracies (says test instead of quiet-test, order differs from actual Makefile), so this is an incremental staleness issue rather than a new problem.'
What could go better
AGENTS.md is the primary guidance document for both human developers and AI agents working in this repo. Three inaccuracies exist in the make ci description: (1) says test but the target uses quiet-test, (2) omits regal-test which was added by PR #1778, (3) the ordering of prerequisites differs from the actual Makefile. Since this documentation is used by AI code agents to understand what CI checks run and in what order, inaccurate descriptions can lead to incorrect assumptions when agents generate or modify CI-related code. The staleness predates PR #1778 but was made worse by it. Confidence is high — this is a straightforward factual comparison between two lines in the repo.
Proposed change
Update AGENTS.md line 14 to accurately reflect the current ci target prerequisites. Change from test + acceptance + fmt-check + lint + opa-check + conventions-check + generate-docs to match the actual Makefile: quiet-test + acceptance + opa-check + conventions-check + fmt-check + lint + regal-test + generate-docs. This is a one-line documentation fix.
Validation criteria
After the fix: (1) the make ci description in AGENTS.md exactly matches the prerequisites listed in the Makefile ci target in both content and ordering; (2) running grep 'make ci' AGENTS.md returns text consistent with grep '^ci:' Makefile.
Generated by retro agent from #1778
What happened
On PR #1778 (merged 2026-07-16), the fullsend review agent correctly identified that AGENTS.md line 14 describes
make ciastest + acceptance + fmt-check + lint + opa-check + conventions-check + generate-docs, but the actual Makefilecitarget (line 235) isquiet-test acceptance opa-check conventions-check fmt-check lint regal-test generate-docs. The review rated this as 'Low' priority and the PR was approved and merged without addressing it. The human reviewer (joejstuart) also did not comment on the documentation gap. The review agent's comment noted the description 'already has minor inaccuracies (says test instead of quiet-test, order differs from actual Makefile), so this is an incremental staleness issue rather than a new problem.'What could go better
AGENTS.md is the primary guidance document for both human developers and AI agents working in this repo. Three inaccuracies exist in the
make cidescription: (1) saystestbut the target usesquiet-test, (2) omitsregal-testwhich was added by PR #1778, (3) the ordering of prerequisites differs from the actual Makefile. Since this documentation is used by AI code agents to understand what CI checks run and in what order, inaccurate descriptions can lead to incorrect assumptions when agents generate or modify CI-related code. The staleness predates PR #1778 but was made worse by it. Confidence is high — this is a straightforward factual comparison between two lines in the repo.Proposed change
Update AGENTS.md line 14 to accurately reflect the current
citarget prerequisites. Change fromtest + acceptance + fmt-check + lint + opa-check + conventions-check + generate-docsto match the actual Makefile:quiet-test + acceptance + opa-check + conventions-check + fmt-check + lint + regal-test + generate-docs. This is a one-line documentation fix.Validation criteria
After the fix: (1) the
make cidescription in AGENTS.md exactly matches the prerequisites listed in the Makefilecitarget in both content and ordering; (2) runninggrep 'make ci' AGENTS.mdreturns text consistent withgrep '^ci:' Makefile.Generated by retro agent from #1778