{
  "scope": {
    "machine_compilation": "12 machines, degree 1..2, source distance 1..3, all binary prefixes through length 7",
    "structural_codes": "all working-alphabet and control sizes 1..8",
    "base_node": "zero code reserved; every ordinary label-state pair uses a nonzero marker code"
  },
  "tiny_source_machines": 12,
  "compiled_runs": 3060,
  "transition_checks": 18456,
  "view_reconstruction_checks": 18456,
  "state_reconstruction_checks": 18456,
  "shortcut_edge_checks": 315280,
  "marker_bit_checks": 270240,
  "acceptance_checks": 18456,
  "unary_label_checks": 67560,
  "two_control_checks": 18456,
  "code_parameter_pairs": 64,
  "ordinary_pair_codes": 1296,
  "marker_roundtrip_bits": 6878,
  "base_zero_checks": 64,
  "unused_structural_codes": 586,
  "status": "pass"
}