{
  "purpose": "Constructed local-search counterexample, not measured AI capability or an OpenEvolve reproduction",
  "python": "3.14.7",
  "source_sha256": "dcf4a964b89d67e3b95de4f9c86d5b24ab9ab897ab799a72fcbe3acc4f3ed269",
  "objective": "6 if all six bits are 1; otherwise 5 minus the number of 1 bits; maximize",
  "policy": "Try every one-bit flip left to right; accept the first highest score only if strictly better; stop on a full non-improving neighborhood or insufficient budget",
  "inputs": {
    "starts": [
      "110000",
      "110000",
      "111110"
    ],
    "budgets": [
      25,
      49,
      25
    ],
    "selection": "hand-chosen explanatory cases"
  },
  "runs": [
    {
      "start": "110000",
      "evaluation_budget": 25,
      "evaluations_used": 19,
      "final_bits": "000000",
      "final_score": 5,
      "stop_reason": "no_strictly_better_one_bit_neighbor",
      "accepted_path": [
        {
          "bits": "110000",
          "score": 3
        },
        {
          "bits": "010000",
          "score": 4
        },
        {
          "bits": "000000",
          "score": 5
        }
      ],
      "rounds": [
        {
          "parent": "110000",
          "candidates": [
            {
              "bits": "010000",
              "score": 4
            },
            {
              "bits": "100000",
              "score": 4
            },
            {
              "bits": "111000",
              "score": 2
            },
            {
              "bits": "110100",
              "score": 2
            },
            {
              "bits": "110010",
              "score": 2
            },
            {
              "bits": "110001",
              "score": 2
            }
          ],
          "accepted": "010000"
        },
        {
          "parent": "010000",
          "candidates": [
            {
              "bits": "110000",
              "score": 3
            },
            {
              "bits": "000000",
              "score": 5
            },
            {
              "bits": "011000",
              "score": 3
            },
            {
              "bits": "010100",
              "score": 3
            },
            {
              "bits": "010010",
              "score": 3
            },
            {
              "bits": "010001",
              "score": 3
            }
          ],
          "accepted": "000000"
        },
        {
          "parent": "000000",
          "candidates": [
            {
              "bits": "100000",
              "score": 4
            },
            {
              "bits": "010000",
              "score": 4
            },
            {
              "bits": "001000",
              "score": 4
            },
            {
              "bits": "000100",
              "score": 4
            },
            {
              "bits": "000010",
              "score": 4
            },
            {
              "bits": "000001",
              "score": 4
            }
          ],
          "accepted": null
        }
      ]
    },
    {
      "start": "110000",
      "evaluation_budget": 49,
      "evaluations_used": 19,
      "final_bits": "000000",
      "final_score": 5,
      "stop_reason": "no_strictly_better_one_bit_neighbor",
      "accepted_path": [
        {
          "bits": "110000",
          "score": 3
        },
        {
          "bits": "010000",
          "score": 4
        },
        {
          "bits": "000000",
          "score": 5
        }
      ],
      "rounds": [
        {
          "parent": "110000",
          "candidates": [
            {
              "bits": "010000",
              "score": 4
            },
            {
              "bits": "100000",
              "score": 4
            },
            {
              "bits": "111000",
              "score": 2
            },
            {
              "bits": "110100",
              "score": 2
            },
            {
              "bits": "110010",
              "score": 2
            },
            {
              "bits": "110001",
              "score": 2
            }
          ],
          "accepted": "010000"
        },
        {
          "parent": "010000",
          "candidates": [
            {
              "bits": "110000",
              "score": 3
            },
            {
              "bits": "000000",
              "score": 5
            },
            {
              "bits": "011000",
              "score": 3
            },
            {
              "bits": "010100",
              "score": 3
            },
            {
              "bits": "010010",
              "score": 3
            },
            {
              "bits": "010001",
              "score": 3
            }
          ],
          "accepted": "000000"
        },
        {
          "parent": "000000",
          "candidates": [
            {
              "bits": "100000",
              "score": 4
            },
            {
              "bits": "010000",
              "score": 4
            },
            {
              "bits": "001000",
              "score": 4
            },
            {
              "bits": "000100",
              "score": 4
            },
            {
              "bits": "000010",
              "score": 4
            },
            {
              "bits": "000001",
              "score": 4
            }
          ],
          "accepted": null
        }
      ]
    },
    {
      "start": "111110",
      "evaluation_budget": 25,
      "evaluations_used": 13,
      "final_bits": "111111",
      "final_score": 6,
      "stop_reason": "no_strictly_better_one_bit_neighbor",
      "accepted_path": [
        {
          "bits": "111110",
          "score": 0
        },
        {
          "bits": "111111",
          "score": 6
        }
      ],
      "rounds": [
        {
          "parent": "111110",
          "candidates": [
            {
              "bits": "011110",
              "score": 1
            },
            {
              "bits": "101110",
              "score": 1
            },
            {
              "bits": "110110",
              "score": 1
            },
            {
              "bits": "111010",
              "score": 1
            },
            {
              "bits": "111100",
              "score": 1
            },
            {
              "bits": "111111",
              "score": 6
            }
          ],
          "accepted": "111111"
        },
        {
          "parent": "111111",
          "candidates": [
            {
              "bits": "011111",
              "score": 0
            },
            {
              "bits": "101111",
              "score": 0
            },
            {
              "bits": "110111",
              "score": 0
            },
            {
              "bits": "111011",
              "score": 0
            },
            {
              "bits": "111101",
              "score": 0
            },
            {
              "bits": "111110",
              "score": 0
            }
          ],
          "accepted": null
        }
      ]
    }
  ],
  "exhaustive_diagnostic": {
    "evaluations": 64,
    "best": {
      "bits": "111111",
      "score": 6
    },
    "landscape": [
      {
        "bits": "000000",
        "score": 5
      },
      {
        "bits": "000001",
        "score": 4
      },
      {
        "bits": "000010",
        "score": 4
      },
      {
        "bits": "000011",
        "score": 3
      },
      {
        "bits": "000100",
        "score": 4
      },
      {
        "bits": "000101",
        "score": 3
      },
      {
        "bits": "000110",
        "score": 3
      },
      {
        "bits": "000111",
        "score": 2
      },
      {
        "bits": "001000",
        "score": 4
      },
      {
        "bits": "001001",
        "score": 3
      },
      {
        "bits": "001010",
        "score": 3
      },
      {
        "bits": "001011",
        "score": 2
      },
      {
        "bits": "001100",
        "score": 3
      },
      {
        "bits": "001101",
        "score": 2
      },
      {
        "bits": "001110",
        "score": 2
      },
      {
        "bits": "001111",
        "score": 1
      },
      {
        "bits": "010000",
        "score": 4
      },
      {
        "bits": "010001",
        "score": 3
      },
      {
        "bits": "010010",
        "score": 3
      },
      {
        "bits": "010011",
        "score": 2
      },
      {
        "bits": "010100",
        "score": 3
      },
      {
        "bits": "010101",
        "score": 2
      },
      {
        "bits": "010110",
        "score": 2
      },
      {
        "bits": "010111",
        "score": 1
      },
      {
        "bits": "011000",
        "score": 3
      },
      {
        "bits": "011001",
        "score": 2
      },
      {
        "bits": "011010",
        "score": 2
      },
      {
        "bits": "011011",
        "score": 1
      },
      {
        "bits": "011100",
        "score": 2
      },
      {
        "bits": "011101",
        "score": 1
      },
      {
        "bits": "011110",
        "score": 1
      },
      {
        "bits": "011111",
        "score": 0
      },
      {
        "bits": "100000",
        "score": 4
      },
      {
        "bits": "100001",
        "score": 3
      },
      {
        "bits": "100010",
        "score": 3
      },
      {
        "bits": "100011",
        "score": 2
      },
      {
        "bits": "100100",
        "score": 3
      },
      {
        "bits": "100101",
        "score": 2
      },
      {
        "bits": "100110",
        "score": 2
      },
      {
        "bits": "100111",
        "score": 1
      },
      {
        "bits": "101000",
        "score": 3
      },
      {
        "bits": "101001",
        "score": 2
      },
      {
        "bits": "101010",
        "score": 2
      },
      {
        "bits": "101011",
        "score": 1
      },
      {
        "bits": "101100",
        "score": 2
      },
      {
        "bits": "101101",
        "score": 1
      },
      {
        "bits": "101110",
        "score": 1
      },
      {
        "bits": "101111",
        "score": 0
      },
      {
        "bits": "110000",
        "score": 3
      },
      {
        "bits": "110001",
        "score": 2
      },
      {
        "bits": "110010",
        "score": 2
      },
      {
        "bits": "110011",
        "score": 1
      },
      {
        "bits": "110100",
        "score": 2
      },
      {
        "bits": "110101",
        "score": 1
      },
      {
        "bits": "110110",
        "score": 1
      },
      {
        "bits": "110111",
        "score": 0
      },
      {
        "bits": "111000",
        "score": 2
      },
      {
        "bits": "111001",
        "score": 1
      },
      {
        "bits": "111010",
        "score": 1
      },
      {
        "bits": "111011",
        "score": 0
      },
      {
        "bits": "111100",
        "score": 1
      },
      {
        "bits": "111101",
        "score": 0
      },
      {
        "bits": "111110",
        "score": 0
      },
      {
        "bits": "111111",
        "score": 6
      }
    ]
  },
  "inputs_sha256": "17278eb4d5df5fc57116a8f76cb9c96ba8b41c4b622393fdd38d5a04beb21f87"
}