EXHAUSTIVE PASS: 5832 deterministic 3-state binary-input/binary-output Moore systems
Verified:
  hidden-free history/test signature reconstruction
  recovered class count equals hidden predictive quotient
  recovered observable machine reproduces all tested traces
  finite N-1 exploration/test bound