fix(querier)!: unspecified severity bypasses a minimum-severity floor (RFC0002.21) - #641

Merged

jensholdgaard merged 5 commits into

mainfrom

rfc0002-21-unspecified-severity

Jul 25, 2026

Commits on Jul 25, 2026

fix(querier)!: unspecified severity bypasses a minimum-severity floor (RFC0002.21)

jensholdgaard
and
claude
committed
1dd9411
test(querier): colocated lowering tests for RFC0002.21 + doc-name fix

jensholdgaard
and
claude
committed
53df9ce
test(querier): exercise the real band path in the membership test

jensholdgaard
and
claude
committed
38343f9
test: teach the RFC 0024 oracles the amended severity contract (RFC0002.21)

jensholdgaard
and
claude
committed
f89dd9b
test(querier): match the lowered severity Expr structurally, not by Display

jensholdgaard
and
claude
committed
57db7e8