test(core): Test negative-clause behavior - #299

Open

misonijnik wants to merge 6 commits into

mainfrom

misonijnik/negative-argument-position-tests

Commits on Jul 19, 2026

test: pin negative-clause anchoring behavior for argument-position events
misonijnik
committed
07b399d
test: use anchored pattern-not-inside shapes in argument-position probes
misonijnik
committed
702afe6
test: mark argument-position negative probes as known false positives
misonijnik
committed
7c763cf
test: assert desired negative-clause semantics, failing on the open defect
misonijnik
committed
2f4d650
test: drop weak negative-clause probes
misonijnik
committed
ffbc8a3

Commits on Jul 20, 2026

test: correct the finding — negatives fail on Object-typed values
misonijnik
committed
d338ea8