{
  "counts": {
    "aircraft": 1800,
    "uninitialized_turn_flags": 4229,
    "outside_world": 86,
    "helicopter": 600,
    "ship": 3600
  },
  "cases": 6000,
  "fields": 144000,
  "output_sha256": "65b3c4af9c2907eb8770615624addb304b77f51a52e793234b3bf5218fe4e8d6",
  "elapsed_seconds": 3.25,
  "scope": "Original drone_fly_to_, required-speed, helicopter pitch and landing bounds. Terrain samples, obstacle intersections, target classification and scene movement are controlled boundaries. Original uninitialized turn-limitation flag is excluded on aligned and no-pitch branches; C++ uses zero corrections."
}