Name only the comparisons that ran, and the set that was compared - #16

Merged

Rul1an merged 3 commits into

mainfrom

fix/refusal-message-names-evaluated-set

Aug 20, 2026

Commits on Aug 20, 2026

Name only the comparisons that ran, and the set that was compared
Rul1an
committed
279d957
Record that the empty-set guard is unforced by its own test
Rul1an
committed
53a6305
Re-bind the continuously verified record after the message fix
Rul1an
committed
56c3190