English
Appearance
Checker Core turns finite models into review evidence.
It should explore reachable states, check properties, and return reproducible counterexample traces when a property fails.