feat(cmdfilter): port rtk's filter coverage (3 -> 24) and fix three DSL loss-typing bugs - #42

Merged

OsherElhadad merged 7 commits into

mainfrom

feat/i29-cmdfilter-rebased

Aug 10, 2026

Commits on Aug 10, 2026

feat(cmdfilter): port rtk's filter coverage (3 -> 23) and fix three DSL loss-typing bugs

Osher-Elhadad
authored and
Osher-Elhadad
committed
7584013
feat(cmdfilter): add apt filter and widen gcc's selector from miss-ledger data

Osher-Elhadad
authored and
Osher-Elhadad
committed
2b36c93
refactor(dsl): inline the single-use loss-severity helper

Osher-Elhadad
authored and
Osher-Elhadad
committed
f72520e
test(cmdfilter): realistic pytest fixture asserting no diagnostic is dropped

Osher-Elhadad
authored and
Osher-Elhadad
committed
fb7f8b3
fix(cmdfilter): match a multi-line selector, and key selectors on tool identity

Osher-Elhadad
authored and
Osher-Elhadad
committed
09bc1b6
docs(cmdfilter): document the multi-line selector, priority ordering and the tool-identity rule

Osher-Elhadad
authored and
Osher-Elhadad
committed
892d41a
test(cmdfilter): assert never_worse holds for every shipped filter

Osher-Elhadad
authored and
Osher-Elhadad
committed
6665848