Prove the gates a positive control cannot reach - #238

Merged

stxkxs merged 9 commits into

mainfrom

prove-the-control-exempt-gates

Sep 5, 2026

Commits on Sep 2, 2026

Prove the gates a positive control cannot reach

stxkxs
and
stxkxsbot
committed
abe5dda
Commit the harness that proves those tests reject

stxkxs
and
stxkxsbot
committed
6e3a293
Declare the new harness a harness, since controls.py asked

stxkxs
and
stxkxsbot
committed
1ab7929
Plant a violation against each offline verdict

stxkxs
and
stxkxsbot
committed
a8c1010
A harness exempted for self-assertion must be invoked

stxkxs
and
stxkxsbot
committed
d5c0ea9
Plant a violation against the vacuity rules themselves

stxkxs
and
stxkxsbot
committed
21d30c0
Ask what the callers run, not what their text says
stxkxsbot
committed
825a789

Commits on Sep 4, 2026

Merge origin/main into prove-the-control-exempt-gates

stxkxs
and
stxkxsbot
committed
32afbe1

Commits on Sep 5, 2026

Merge origin/main into prove-the-control-exempt-gates

stxkxs
and
stxkxsbot
committed
98a35fa