Repository navigation

Catch packages leaving an enforced rule and new ratcheted rules, and give each downgrade an open tracking issue - #913

Merged

anth-volk merged 12 commits into

mainfrom

rule-weakening-guard

Oct 26, 2026

Merged

Catch packages leaving an enforced rule and new ratcheted rules, and give each downgrade an open tracking issue#913
anth-volk merged 12 commits into
mainfrom
rule-weakening-guard

Commits on Oct 26, 2026
- Require an issue number in every [rule.downgrade]
  
  anth-volk
  and
  claude
  authored
  647bc36
- Fail when a package leaves an enforced Pyright rule without a downgrade
  
  anth-volk
  and
  claude
  authored
  70148ca
- Require a downgrade for a new rule that starts ratcheted
  
  anth-volk
  and
  claude
  authored
  0e14ef9
- Separate the issue lookup from the PR description's fix text
  
  anth-volk
  and
  claude
  authored
  46f8e41
- Check that each [rule.downgrade] names an open tracking issue
  
  anth-volk
  and
  claude
  authored
  f4d37f5
- Give the quality guards a token that can read issues
  
  anth-volk
  and
  claude
  authored
  fa8c979
- Hold a ratcheted rule's packages to a rule at least as strong
  
  anth-volk
  and
  claude
  authored
  a6991cb
- Reject true as an exception's issue number
  
  anth-volk
  and
  claude
  authored
  d33eaa8
- Name the token variable gh used when a lookup fails
  
  anth-volk
  and
  claude
  authored
  10764cd
- Keep the tracking-issue schema tests away from the real gh
  
  anth-volk
  and
  claude
  authored
  4be0b1c
- Look tracking issues up only in the repository the workflow runs in
  
  anth-volk
  and
  claude
  authored
  3905fbd
- Say what the guard still doesn't check about downgrades
  
  anth-volk
  and
  claude
  authored
  66a940b