{
  "status": "pass",
  "scope": "finite-state product identity and reversible-coordinate orientation",
  "does_not_verify": [
    "every scaffolding automaton",
    "closure under nondeterministic or existential transductions",
    "any converse for forgotten-action projection"
  ],
  "binary_two_state_transducers": 256,
  "local_machine_environment_families": 1536,
  "product_run_comparisons": 5898240,
  "invertible_binary_mealy_machines": 64,
  "inverse_roundtrip_checks": 16256,
  "resource_bound": "(d,k,g,q) -> (d,k,g,s*q)",
  "persistent_graph": "unchanged"
}