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

Closed

OsherElhadad wants to merge 7 commits into

mainfrom

feat/i29-cmdfilter

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
e76ca53
feat(cmdfilter): add apt filter and widen gcc's selector from miss-ledger data

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

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

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

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

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

Osher-Elhadad
authored and
Osher-Elhadad
committed
d50b44d