dabao1955 f497180e35 Fix the corpus count, recalibrate the token estimate, add a PR template ...

- check_budget.py counted scripts/__pycache__/*.pyc in its corpus note, so the
  same commit reported 27 scripts on a machine that had run the suite and 16
  on a clean checkout. The routing gate said 16 throughout; two gates
  disagreeing about one tree was the finding.
- TOKENS_PER_CHAR was calibrated against a 67,011-character SKILL.md and the
  docstring's arithmetic (0.30 characters-to-tokens) did not describe that
  measurement. Re-measured here: 54,983 chars -> 12,906 tokens = 4.260; the
  constant and both comments now carry the number this tree measures.
- test_budget_measurement.py pins the corpus exclusion, so a bytecode cache
  cannot re-enter the count and quietly change it again.
- .github/PULL_REQUEST_TEMPLATE.md carries what CONTRIBUTING.md asks a
  contributor for: what was run, the four labels, what has to move with the
  change, and the boundary that was not exercised.

2026-10-24 14:55:10 +08:00

..

workflows

Bump actions version

2026-10-20 10:35:15 +08:00

PULL_REQUEST_TEMPLATE.md

Fix the corpus count, recalibrate the token estimate, add a PR template

2026-10-24 14:55:10 +08:00