Searching protocol for "three-match"
GF(3)-balanced 3-SAT gadget.
Observation-based bisimulation via coalgebra.
Enforce skill-first AI behavior