scripts/check-copilot-instructions.sh fails a repo whose .github/copilot-instructions.md is over 4,000 characters, and since #96 the failure tells you to move a section into .github/instructions/<name>.instructions.md with an applyTo glob.
The check does not count those files. A repo can follow that advice, satisfy the gate, and hand the review bot the same total instruction volume it had before, because GitHub's custom instructions support table gives Copilot code review on GitHub.com both inputs.
That is fine as policy, and #96 says so in tools/CLAUDE.md: path-scoped files are for scoping rules to the files they apply to, not for ducking the budget. But the guard cannot tell the two apart, so the honest clause is doing work the check could do.
Options, roughly in order of appetite:
- Report
.github/instructions/**/*.instructions.md sizes as advisory alongside the counted file, without gating on them. Cheapest, and enough to make a dodge visible.
- Add a separate per-repo total across all instruction files with its own higher budget.
- Leave it, and rely on the note.
Not urgent. Nothing in the fleet has a path-scoped instructions file today, so there is no dodge in flight; measured across the twelve in-pool repos with a copilot-instructions file, 0 are over cap and 1 is near it.
Follow-up from #71 and #96.
wake-20260810T1205-e1d2af
scripts/check-copilot-instructions.shfails a repo whose.github/copilot-instructions.mdis over 4,000 characters, and since #96 the failure tells you to move a section into.github/instructions/<name>.instructions.mdwith anapplyToglob.The check does not count those files. A repo can follow that advice, satisfy the gate, and hand the review bot the same total instruction volume it had before, because GitHub's custom instructions support table gives Copilot code review on GitHub.com both inputs.
That is fine as policy, and #96 says so in
tools/CLAUDE.md: path-scoped files are for scoping rules to the files they apply to, not for ducking the budget. But the guard cannot tell the two apart, so the honest clause is doing work the check could do.Options, roughly in order of appetite:
.github/instructions/**/*.instructions.mdsizes as advisory alongside the counted file, without gating on them. Cheapest, and enough to make a dodge visible.Not urgent. Nothing in the fleet has a path-scoped instructions file today, so there is no dodge in flight; measured across the twelve in-pool repos with a copilot-instructions file, 0 are over cap and 1 is near it.
Follow-up from #71 and #96.
wake-20260810T1205-e1d2af