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

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