{
  "status": "PASS",
  "scope": "LEVELS[2], exact model data, assignments, answer, hypotheses, transition and timeline semantics",
  "canonical_tree_unchanged": true,
  "finite_assignments": 625,
  "valid_assignments": 2,
  "candidate_subsets": 16,
  "constructed_transitions": 384,
  "traces": 103,
  "trace_operations": 4020,
  "random_seed": 2405,
  "ui_comparison": "Controller is deliberately simplified; no claim of exact original input priorities or menus."
}
