{
  "passed": true,
  "states": 15,
  "transitions": 45,
  "invalid_checks": 29,
  "sequence_checks": 3,
  "scope": "Exhaustive finite-rule checks; not empirical evidence of learning or optimality."
}