{
  "status": "pass",
  "initial_graph_root_configurations": 117,
  "plans": 35,
  "one_step_checks": 4095,
  "two_step_checks": 143325,
  "maximum_physical_path": 2,
  "parameters": {"roots": 1, "fresh_slots": 1, "fields": 1, "old_radius": 1},
  "scope": "Finite virtual-table and dynamic-slot commutation; not a full compiler or sequence-implementation verification."
}