镜像站点 · 本页由第三方 GitHub 只读镜像提供，非 GitHub 官方站点，不接受任何登录或凭据输入。前往 github.com

Repository navigation

Make a ledger rule that explains nothing say why (#372) - #373

Merged

derek73 merged 16 commits into

claude/issue-372-dormant-rules

Aug 12, 2026

Merged

Make a ledger rule that explains nothing say why (#372)#373
derek73 merged 16 commits into
masterfrom
claude/issue-372-dormant-rules

Commits on Aug 12, 2026
- Ask 'would this rule claim that' in one place
  derek73
  committed
  2a1abc3
- Let a rule declare that it explains nothing on purpose
  derek73
  committed
  fb3af3d
- Compute which rules explained nothing, and which kind of nothing
  derek73
  committed
  0390431
- Say why the two rules that explain nothing are kept
  derek73
  committed
  98b9d21
- Fail on a rule that reaches no corpus name and does not say why
  derek73
  committed
  9fffc12
- Fail the run when a ledger rule explains nothing
  
  derek73
  and
  claude
  committed
  897944d
- Declare the sort-order test's shadowed fixture rule dormant
  
  derek73
  and
  claude
  committed
  7c8e3a1
- Pin that the dormancy report reaches the exit code
  
  derek73
  and
  claude
  committed
  67f4908
- Document the dormant key and its two tiers
  derek73
  committed
  b16b1c7
- Reject two rules that share an issue
  derek73
  committed
  9cc1c06
- Pin that dormant_rules sorts before it diagnoses
  derek73
  committed
  522383f
- Pin that a non-diffing name never reaches the dormancy check
  derek73
  committed
  3c787b8
- Say when the reach guard examined nothing
  derek73
  committed
  7083d5d
- Run every ledger's baseline at release
  derek73
  committed
  884ad5e
- Say where the shared predicate is actually called
  derek73
  committed
  b5584f6
- Ask once whether the issue is a string
  
  derek73
  and
  claude
  committed
  44d57ae