{
  "scope": {
    "compiled_control": "8 deterministic scaffold machines, 7 three-suffix observers, all binary prefixes through length 6, all 256 Boolean observers",
    "locality": "all binary-labelled backward scaffolds: degree 1 on 5 nodes and degree 2 on 4 nodes",
    "sharpness": "distance 1..4 and suffix length 0..5"
  },
  "tiny_machines": 8,
  "observer_families": 7,
  "compiled_runs": 7112,
  "observer_invariant_checks": 21336,
  "graph_identity_checks": 7112,
  "boolean_output_checks": 1820672,
  "old_scaffold_machine_instances": 13056,
  "future_observer_evaluations": 235008,
  "same_view_signature_comparisons": 77856,
  "readable_view_classes": 480,
  "sharp_radius_witnesses": 24,
  "equal_radius_minus_one_views": 24,
  "separated_observer_updates": 24,
  "radius_formula_checks": 90,
  "status": "pass"
}