Add 'unwritten ignore': bounded mute for persistently false rules - #16

Merged

Byggarepop merged 6 commits into

mainfrom

ignore-rules-snooze

Jul 12, 2026

Commits on Jul 12, 2026

Add 'unwritten ignore': bounded mute for persistently false rules

Byggarepop
and
claude
committed
d15c329
README: use 'dotnet tool execute' consistently; dnx mentioned once as alias

Byggarepop
and
claude
committed
7f6927f
Route the mute decision to the human: agents are told to recommend, not decide

Byggarepop
and
claude
committed
d43879e
Spell out the exact per-hole decision in the output itself

Byggarepop
and
claude
committed
8202500
Decision guide: name the file in option 1 and say exactly what to do with it

Byggarepop
and
claude
committed
992f536
Decision guide: handle several holes with mixed decisions

Byggarepop
and
claude
committed
49ca00e