pub fn set_committed(closed: HashSet<String>)Expand description
Commit the empirically-determined set of laws that CLOSED universally:
switch to Off mode where admits returns true only for closed.
Persists through subsequent re-emits and the --check build.