{
  "slug": "hadamard",
  "domain": "Mathematics",
  "title": "An order-29 sign matrix.",
  "description": "A search for a 29 × 29 matrix with entries in {−1, +1} and a large absolute determinant.",
  "metric": "Normalized determinant",
  "unit": "",
  "note": "The replay reproduces the recorded exact determinant. Matching the reference score is not proof of a global optimum.",
  "task": "Hadamard",
  "score": 0.935672514619883,
  "reference": 0.935672514619883,
  "direction": "max",
  "outcome": "Matched",
  "model": "Gemini-3.8-Flash",
  "budget": 1,
  "seed": 42,
  "best_iteration": 5,
  "last_iteration": 100,
  "cost_usd": 27.33459925,
  "program_id": "03faf545-d30d-48b4-ba1f-45b481894729",
  "source_sha256": "f86ceab16053a3d8a7f9b3c7c8200acf03abda42022da43a3b88f3d72535afbe",
  "source": "static/programs/hadamard.py",
  "language": "Python",
  "lines": 425,
  "history": {
    "points": [
      {
        "iteration": 0,
        "candidate_score": 0.14327485380116958,
        "best_score": 0.14327485380116958,
        "gate": "unrecorded"
      },
      {
        "iteration": 1,
        "candidate_score": 0.8596491228070176,
        "best_score": 0.8596491228070176,
        "gate": "retrieve"
      },
      {
        "iteration": 2,
        "candidate_score": 0.9210526315789473,
        "best_score": 0.9210526315789473,
        "gate": "retrieve"
      },
      {
        "iteration": 5,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 6,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 8,
        "candidate_score": 0.8596491228070176,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 9,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 10,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 11,
        "candidate_score": 0.8596491228070176,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 13,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 14,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "lookup"
      },
      {
        "iteration": 16,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 17,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 18,
        "candidate_score": 0.9210526315789473,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 19,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "lookup"
      },
      {
        "iteration": 20,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "lookup"
      },
      {
        "iteration": 21,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 22,
        "candidate_score": 0.9210526315789473,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 23,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 24,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "lookup"
      },
      {
        "iteration": 25,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 26,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "lookup"
      },
      {
        "iteration": 28,
        "candidate_score": 0.9210526315789473,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 29,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 30,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 31,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 32,
        "candidate_score": 3.2799783826274164e-08,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 33,
        "candidate_score": 0.19298245614035087,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 34,
        "candidate_score": 0.9210526315789473,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 35,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 36,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "lookup"
      },
      {
        "iteration": 37,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 38,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 39,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 40,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 41,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 42,
        "candidate_score": 0.19298245614035087,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 43,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 44,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 45,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "lookup"
      },
      {
        "iteration": 46,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 47,
        "candidate_score": 0.19298245614035087,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 48,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 49,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 50,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 51,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 52,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 53,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 54,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 55,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 56,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 57,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 58,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 59,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 60,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 61,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 63,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 64,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 65,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 66,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 67,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 68,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 69,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 70,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 71,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 72,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 73,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 74,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 75,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 76,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 77,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 78,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 80,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 81,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "retrieve"
      },
      {
        "iteration": 82,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 83,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 84,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 85,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 86,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      },
      {
        "iteration": 87,
        "candidate_score": 0.935672514619883,
        "best_score": 0.935672514619883,
        "gate": "noop"
      }
    ],
    "trace_sha256": "6678c5d4e4c722a97237cc4994e8f363ff1cfa9111b0d593d17d05bcc6c54673",
    "score_label": "Search-time evaluator score ↑",
    "note": "Best-so-far envelope of recorded, non-migrant programs. If multiple programs share an iteration, the highest recorded score is used. Missing iterations are not invented."
  },
  "run_fingerprint": "10249d62aff895e2bff138632330d2e1d61ebaba5623c9a819c69df56d42d227",
  "artifact": {
    "views": [
      {
        "image": "static/images/programs/hadamard-comparison.webp",
        "thumbnail": "static/images/programs/hadamard-comparison-thumb.webp",
        "pdf": "static/figures/programs/hadamard-comparison.pdf",
        "paper_pdf": "static/figures/programs/paper-math.pdf",
        "provenance": {
          "source": "figures/supp_figures/sota_objects_math.pdf",
          "source_sha256": "69b06c0cdce6b7745dec28d5fe3c6fa59a1bad2b2f866d2d294359a30af35c5b",
          "clip_points": [
            211.0,
            0.0,
            396.0,
            115.0
          ],
          "cropped": true,
          "pdf_sha256": "4d9d019fb24d00b6235b3325e3a9930f388da79f100224df3031becc643c5f5a",
          "image_sha256": "d2f1efe96fc4ee1e32d5d8ae09fb93d5584b14a72a4af23dd49e6161714d8b3c",
          "thumbnail_sha256": "0bc32cb1ee2d70783d005457a06d1a95066929bdc76a971825a37641f0292a58"
        },
        "label": "Matrix comparison",
        "caption": "Both order-29 matrices attain the same determinant. Purple is SimpleTES; blue is EvoDuet."
      },
      {
        "label": "Gram matrix",
        "image": "static/images/programs/hadamard-gram.svg"
      }
    ],
    "kind": "views",
    "data": {
      "matrix": [
        [
          -1,
          -1,
          1,
          -1,
          -1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          1,
          -1,
          -1,
          -1,
          1,
          1,
          1,
          1,
          -1,
          -1,
          -1,
          1,
          1,
          1,
          1,
          -1,
          -1,
          1
        ],
        [
          -1,
          -1,
          -1,
          1,
          1,
          1,
          -1,
          1,
          1,
          -1,
          -1,
          1,
          -1,
          -1,
          1,
          1,
          -1,
          -1,
          1,
          -1,
          -1,
          1,
          1,
          -1,
          -1,
          1,
          -1,
          -1,
          -1
        ],
        [
          -1,
          1,
          -1,
          1,
          1,
          -1,
          -1,
          -1,
          1,
          1,
          1,
          -1,
          -1,
          1,
          1,
          -1,
          -1,
          -1,
          1,
          1,
          -1,
          -1,
          -1,
          1,
          -1,
          -1,
          -1,
          -1,
          1
        ],
        [
          -1,
          1,
          -1,
          -1,
          -1,
          -1,
          -1,
          -1,
          1,
          -1,
          -1,
          -1,
          -1,
          1,
          -1,
          1,
          -1,
          -1,
          -1,
          -1,
          1,
          -1,
          1,
          -1,
          -1,
          -1,
          -1,
          1,
          1
        ],
        [
          -1,
          1,
          -1,
          -1,
          1,
          -1,
          1,
          -1,
          -1,
          -1,
          -1,
          1,
          1,
          -1,
          -1,
          -1,
          -1,
          -1,
          1,
          1,
          -1,
          -1,
          -1,
          -1,
          -1,
          1,
          1,
          -1,
          1
        ],
        [
          1,
          -1,
          -1,
          1,
          1,
          -1,
          -1,
          -1,
          -1,
          -1,
          1,
          1,
          -1,
          1,
          -1,
          -1,
          -1,
          1,
          1,
          -1,
          1,
          -1,
          -1,
          -1,
          1,
          1,
          -1,
          1,
          -1
        ],
        [
          -1,
          1,
          1,
          -1,
          -1,
          -1,
          1,
          1,
          -1,
          1,
          -1,
          1,
          -1,
          1,
          1,
          -1,
          1,
          -1,
          1,
          -1,
          1,
          1,
          -1,
          1,
          -1,
          1,
          -1,
          1,
          -1
        ],
        [
          -1,
          1,
          -1,
          1,
          -1,
          1,
          1,
          -1,
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          -1,
          1,
          -1,
          -1,
          -1,
          1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          -1,
          -1
        ],
        [
          -1,
          -1,
          -1,
          -1,
          -1,
          1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          1,
          1,
          -1,
          1,
          -1,
          -1,
          -1,
          1,
          1,
          1,
          -1,
          1,
          1,
          1,
          -1,
          -1,
          1
        ],
        [
          1,
          -1,
          1,
          -1,
          -1,
          1,
          1,
          1,
          1,
          -1,
          1,
          1,
          1,
          1,
          1,
          -1,
          -1,
          -1,
          1,
          1,
          -1,
          -1,
          1,
          1,
          1,
          -1,
          -1,
          1,
          -1
        ],
        [
          1,
          -1,
          -1,
          1,
          -1,
          -1,
          1,
          1,
          1,
          1,
          -1,
          1,
          1,
          1,
          -1,
          -1,
          -1,
          1,
          1,
          -1,
          1,
          1,
          1,
          1,
          -1,
          -1,
          1,
          -1,
          1
        ],
        [
          -1,
          -1,
          -1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          1,
          1,
          -1,
          1,
          1,
          -1,
          -1,
          1,
          1,
          -1,
          1,
          -1,
          1,
          1,
          -1,
          -1,
          1,
          -1,
          1,
          -1
        ],
        [
          1,
          1,
          -1,
          -1,
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          -1,
          1,
          -1,
          1,
          1,
          -1,
          1,
          -1,
          -1,
          1,
          -1,
          -1,
          1,
          -1,
          1,
          1,
          1
        ],
        [
          1,
          1,
          -1,
          -1,
          -1,
          -1,
          -1,
          1,
          1,
          1,
          1,
          1,
          1,
          -1,
          1,
          1,
          -1,
          1,
          -1,
          -1,
          -1,
          -1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          -1
        ],
        [
          -1,
          1,
          -1,
          1,
          -1,
          1,
          1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          -1,
          -1,
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          -1,
          1,
          -1,
          -1,
          -1,
          1,
          -1
        ],
        [
          -1,
          -1,
          -1,
          -1,
          -1,
          1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          -1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          1,
          1,
          -1,
          1,
          -1,
          -1,
          -1,
          1,
          1,
          1
        ],
        [
          -1,
          1,
          1,
          1,
          1,
          -1,
          -1,
          1,
          1,
          -1,
          1,
          1,
          1,
          1,
          1,
          1,
          -1,
          1,
          1,
          1,
          1,
          1,
          1,
          -1,
          1,
          1,
          1,
          1,
          1
        ],
        [
          1,
          -1,
          -1,
          1,
          -1,
          -1,
          1,
          1,
          1,
          1,
          -1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          -1,
          1,
          1,
          1,
          -1,
          -1,
          -1,
          1,
          1,
          -1,
          1,
          1
        ],
        [
          -1,
          -1,
          -1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          -1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          1,
          1,
          -1,
          1,
          1,
          -1,
          -1,
          1,
          1,
          -1,
          1,
          -1,
          -1
        ],
        [
          1,
          1,
          -1,
          -1,
          1,
          1,
          1,
          1,
          -1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          -1,
          1,
          -1,
          1,
          1,
          -1,
          1,
          -1,
          -1,
          1
        ],
        [
          1,
          1,
          -1,
          -1,
          -1,
          -1,
          -1,
          -1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          -1,
          1,
          1,
          -1,
          1,
          -1,
          -1,
          -1,
          -1
        ],
        [
          -1,
          1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          -1,
          1,
          -1,
          -1,
          -1,
          1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          -1,
          -1,
          1,
          1,
          1,
          1,
          1,
          1,
          -1
        ],
        [
          -1,
          -1,
          -1,
          -1,
          -1,
          1,
          -1,
          -1,
          1,
          -1,
          -1,
          -1,
          1,
          1,
          1,
          -1,
          1,
          1,
          1,
          -1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          1,
          1,
          1
        ],
        [
          -1,
          1,
          -1,
          1,
          1,
          -1,
          -1,
          1,
          -1,
          -1,
          -1,
          1,
          1,
          -1,
          -1,
          -1,
          1,
          -1,
          -1,
          -1,
          -1,
          -1,
          1,
          1,
          1,
          -1,
          -1,
          1,
          1
        ],
        [
          1,
          -1,
          -1,
          1,
          -1,
          -1,
          1,
          -1,
          -1,
          -1,
          1,
          1,
          -1,
          1,
          1,
          1,
          1,
          -1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          -1,
          1,
          1,
          1,
          1
        ],
        [
          -1,
          -1,
          -1,
          -1,
          1,
          -1,
          1,
          -1,
          -1,
          1,
          1,
          -1,
          1,
          -1,
          1,
          1,
          -1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          1,
          1,
          -1,
          1,
          1,
          -1
        ],
        [
          1,
          1,
          -1,
          -1,
          1,
          1,
          1,
          -1,
          1,
          1,
          -1,
          1,
          -1,
          -1,
          1,
          -1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          -1,
          1,
          1
        ],
        [
          1,
          1,
          -1,
          -1,
          -1,
          -1,
          -1,
          1,
          1,
          -1,
          1,
          -1,
          -1,
          -1,
          -1,
          -1,
          1,
          -1,
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          -1,
          -1
        ],
        [
          1,
          -1,
          1,
          -1,
          1,
          1,
          -1,
          -1,
          1,
          1,
          -1,
          1,
          1,
          1,
          -1,
          1,
          1,
          -1,
          1,
          1,
          1,
          -1,
          1,
          1,
          -1,
          1,
          1,
          1,
          -1
        ]
      ],
      "exact_determinant": "1188957517256767569920"
    }
  },
  "related_trajectories": []
}