{
  "decided_epoch": 1792009003.1788464,
  "behavior_achieved": true,
  "selected_variant": "root_sd3",
  "selected_parameter_override": {
    "acq7.branch_prior_std": 3.0
  },
  "source_snapshot": "MLEvolve_BO_paper_aligned/snapshots/base_v1",
  "stop_new_luna": true,
  "proof": [
    {
      "run_id": "luna_002_circle_packing_rectangle_root_sd3",
      "A": "supported_with_stated_limitations",
      "full_budget_seconds": 14400.0,
      "first_all_roots_valid_feedback": {
        "decision_id": "02740add45954d56a205db69ee49711e",
        "seconds": 1695.0878343582153,
        "training_n": 15
      },
      "event_relative_descriptive_means": {
        "before_all_roots_have_valid_feedback": {
          "p_near_optimal_parents": 0.3096780215992647,
          "p_global_parent_best": 0.09448960248161764,
          "p_legal_parent_best": 0.1470947265625,
          "p_posterior_best": 0.31246768727022056,
          "p_cross_mean_branch": 0.48117603975183826,
          "selected_near_optimal_parent": 0.4117647058823529,
          "selected_global_parent_best": 0.11764705882352941,
          "selected_legal_parent_best": 0.17647058823529413,
          "selected_posterior_best": 0.47058823529411764,
          "selected_cross_mean_branch": 0.4117647058823529
        },
        "after_all_roots_have_valid_feedback": {
          "p_near_optimal_parents": 0.521899927442319,
          "p_global_parent_best": 0.03948518271758177,
          "p_legal_parent_best": 0.11531309323890188,
          "p_posterior_best": 0.14644273419246495,
          "p_cross_mean_branch": 0.5966677086375584,
          "selected_near_optimal_parent": 0.4672897196261682,
          "selected_global_parent_best": 0.056074766355140186,
          "selected_legal_parent_best": 0.102803738317757,
          "selected_posterior_best": 0.16355140186915887,
          "selected_cross_mean_branch": 0.6121495327102804
        }
      },
      "full_observed_pool_prior_comparison": {
        "quality": {
          "prior": 0.27209023479775435,
          "actual": 0.5062818651075487
        },
        "global_champion": {
          "prior": 0.03357805524553571,
          "actual": 0.043533127029220776
        },
        "legal_champion": {
          "prior": 0.060397589877570344,
          "actual": 0.1176520013189935
        },
        "current_posterior_champion": {
          "prior": 0.04157101849972944,
          "actual": 0.1586610207826028
        },
        "current_best_mean_branch": {
          "prior": 0.21577116730925325,
          "actual": 0.4118316782501353
        }
      },
      "after_coverage_cross_branch_expected": 127.6868896484375,
      "after_coverage_cross_branch_actual": 131,
      "branch_opportunities": {
        "AQ04:2ee0547ec815412ebb866e7a09336931": {
          "legal_decisions": 230,
          "selected": 32,
          "expected_selections": 37.58123779296875,
          "max_candidate_count": 29,
          "max_valid_feedback": 32,
          "selected_parent_ids": [
            "074c23a580f94a9785e9b0a2e141a6d3",
            "0be0d0bd3e74469f9e5d7f8e6f60ad27",
            "2dde7edf5e8c4c43a45a2dc9097eb06c",
            "38d0585333b44b5e8ed239f239247c24",
            "5b24b85d8b0f497fa9ef9f92f121498e",
            "60314a59bcf745d59c75f1defa45913d",
            "61ef59ae96a4449d988bef463af43e9b",
            "6a3509ea19ad486ab24f47eb2562d986",
            "7682464d13ab4a5683ff0197da1b1cc6",
            "79f85342ac1442f5b1ca0405fdbfb1d6",
            "9ccef7be96624b08983d0e854a7db803",
            "a41f296ffc8046b59193fa1912357e24",
            "c2039d5c7d904c2c8c24ada35da09ed9",
            "c96c6191fad14daa8da42eea4e371e28",
            "dc8104679dda43619c4180090c2a50ea"
          ],
          "min_legal_probability": 0.0047607421875
        },
        "AQ04:68aa12b7858146c4bdb78aa53d8017a8": {
          "legal_decisions": 229,
          "selected": 48,
          "expected_selections": 44.59930419921875,
          "max_candidate_count": 39,
          "max_valid_feedback": 46,
          "selected_parent_ids": [
            "05638c853a5a4be49e3b0b2edeab7028",
            "2402b9e9ff7b43f48e48d29004a4f312",
            "2727a28f55654fbab79fc78b28c2ec9f",
            "3a08be6f16734452906405f1d87e09c6",
            "3a9cda3738654ad2b6b9c248f5b9b2ea",
            "3cdd9d2fd25a4ddf8d39dd7d63b700ef",
            "3fda24245b8b4428bb93821b0c6c3bd6",
            "4d331f9a0f0b4c05af3a22c9be9436a0",
            "5934abdf271247efb92f5abd17136c03",
            "59cc89d0c4e645be803ca66abe95cf38",
            "5dd234cac4cf4a19b3b18b21ec457197",
            "61f9e11a8d9f408d82174af34c2598ad",
            "6d5c8de6ff4649d6ba18b88bcf186ae1",
            "83cfb5ee08d4432c8c625fa74361d3cf",
            "8a4a1960133f4ff1aea86e66db44fc4f",
            "8b3cfc80ebe44a05ab2cd82f11957d1e",
            "98668f40c11345538e5fad98df146c27",
            "98ef9d73044e4a7ca3d0ed3e72d9bed3",
            "a18015534b5e4dea978c749a215a531e",
            "aaec90e12e2e492caeb5879e68113841",
            "bcb1b6245d9f4eeca95e76af858ab11b",
            "dd7dd2e07c234fa3bbae3fe4fda44c52",
            "f410491b080c4b53ace73bda9aac7d60",
            "f5339224f0a14b6eb7d374e87f378a48"
          ],
          "min_legal_probability": 0.02581787109375
        },
        "AQ04:ac96755741f143078819f0e9f3b2c105": {
          "legal_decisions": 221,
          "selected": 61,
          "expected_selections": 65.02301025390625,
          "max_candidate_count": 47,
          "max_valid_feedback": 57,
          "selected_parent_ids": [
            "055bf5399f1743aa8f3d97ae4c8e9a51",
            "163d68d8ccd54fa2bcf5ea95f07903a9",
            "1ca971dba2be4eeeb957e998301689f0",
            "2000fadeb11e4cdcac48fe2b897b126a",
            "25ed8924ab7d47aa9da60bba0d6d25e5",
            "38ec895e6bf048008ffa1cef0ddbbe90",
            "3d902adca03347d794ddc0fe299de6d4",
            "4201ab33acfd465fb80bf5f8927de0bf",
            "47023f8d2a864d3dabbe415663b9f8ad",
            "4ae11b9b510e463bb91c7dfb62a012dc",
            "51da36bd47de445c962eed42f794b382",
            "6da5d81f60904e4cab8148e72f75c123",
            "778d76ac9e6a4eb1a9a821f08363a79b",
            "7a55561408424c06b15a42eccb46b310",
            "7d8b59c36a8a4fc8b0cb1892fdfbbd9e",
            "99a366a511fd440094702501e35c822c",
            "a6c40d12e26940c3a9315b58b0d4ffa4",
            "a885c7cc3ac84d61aebcfb19854984cc",
            "b680c100163d4adfbcfb25d68ad40433",
            "bc577031f4914df69167480d2e3e057e",
            "bfd5d7059c234fd0809ecf745b259676",
            "c4c2ae92579e41f6a9bfc54211572192",
            "c520d718359b40cc8bf2aa9ee3f99718",
            "c725acd1d3d34cd4b1a4e63806748561",
            "cf863368607f4135acdc79a2241124a4",
            "d780296c55e245de92db62d0124c4e5c",
            "fc96bd8965524185abc169c235dc7361"
          ],
          "min_legal_probability": 0.00341796875
        },
        "AQ04:aef33066ac2948638a969569a17460ce": {
          "legal_decisions": 229,
          "selected": 36,
          "expected_selections": 37.2969970703125,
          "max_candidate_count": 28,
          "max_valid_feedback": 34,
          "selected_parent_ids": [
            "126e6b75aac84daeaa8f6a46942b77ad",
            "353175b2a30b4d089aeab520fbe89c26",
            "69420fd08cf04319be01875de5171285",
            "937b6a81cc504570a265da80712099c3",
            "975c385ce5694e86872b49a944b21dcc",
            "9e237e6ea5974a00b5cd2f9028608fc0",
            "a07b8c531cb04763a751be571d842e14",
            "a7ba91858a3b420585fbe6b0d89aca48",
            "ae47f7f2e14d4478a07c53277e51da05",
            "b19663465caa44a3845d8701a1e612fa",
            "b210049a276d4626a19cdb2f522b4221",
            "b64edc7e8db346749133c2e44509f053",
            "ca75bc320eab48ed93cf5c09c2c5e994",
            "cb749cf023554adda5b71d5d8d674ac2",
            "cee44dc8424c48029effa104821baf88",
            "cf7c91f7b17b4b0596acca8aa6a1c4af",
            "d5d45b0ebe6a40ddbd13221d8a494d3a",
            "f35d4563331e473cb542a3f42f92fdeb"
          ],
          "min_legal_probability": 0.00128173828125
        },
        "AQ04:f7079316fd794ce59a0931ded07a2b3c": {
          "legal_decisions": 219,
          "selected": 54,
          "expected_selections": 46.49945068359375,
          "max_candidate_count": 41,
          "max_valid_feedback": 49,
          "selected_parent_ids": [
            "06a7282ffa1f4f29ba8304cfb2e2f44a",
            "0cb8f8d3ddc24871bf812ee4d84d5247",
            "38c676f2b817495e83781aa749e13d9a",
            "46baed0b463d4da79a90a3827db90c8e",
            "49d20c3586b644b78279c1a9e4beadd3",
            "4a826a6f125a4cf8b612c9e293d4097a",
            "667019ddd497430a8fda2f22d3312bd6",
            "69fcddee620c4c59b5af49fb8b0f7baf",
            "78f9b4094a814b6b9d570d30a656d9df",
            "7c2b1b0688f54a93bb3535ff2c49f389",
            "7d755324c228488a8792dec303ce48be",
            "9eb3e415941242e38e17f20413a7d689",
            "a3af177efe5a47509f90f5536ce2d7ca",
            "aea4bb27f92d48e285cba505ebd60611",
            "afa71cf16ee24085bd3e110bd7d218ec",
            "b4b05ff4fba5467dbb6570ec7f960bce",
            "ba950794c73c4bc5ab7316a1a04375bc",
            "bcf58377b5af4a99ab2fa1ea66d78a26",
            "c19c1d50d819436296323f659c2ce6db",
            "d4d3b61b3f604b8e948a76c672c6d4a4",
            "d94b2ea51814421d8a722eaf93b1a1fa",
            "e21fc81257824732a65c26da724e3ecc",
            "e3bb82b1a4ab4aadb5a74d2704443f21",
            "effd9392728f4d95a3d601fc802fbe98",
            "f786c3f627584f93bd66c0b9d9364545"
          ],
          "min_legal_probability": 0.02191162109375
        }
      },
      "B": {
        "final_score": 2.3658323761998483,
        "delta_final_vs_same_model_baseline": 1.0939293915157577e-10,
        "auc_score_seconds": 33063.17960499627,
        "delta_auc_vs_same_model_baseline": -18.183085141528863,
        "non_draft_valid": 218,
        "llm_reported_tokens": 9277815
      },
      "terminal_failure_receipt": "[scratch]/bo_paper_aligned_iteration_20261014/runs/luna_002_circle_packing_rectangle_root_sd3/segments/deadline_finalization_failure/receipt.json",
      "raw_analysis": "experiment/bo_paper_aligned_iteration_20261014/analysis/runs/luna_002_circle_packing_rectangle_root_sd3.json"
    },
    {
      "run_id": "luna_008_kissing_number_d11_root_sd3",
      "A": "supported_with_stated_limitations",
      "full_budget_seconds": 14400.0,
      "first_all_roots_valid_feedback": {
        "decision_id": "bea05bf74dca43ac9c3c3afe601df47a",
        "seconds": 2242.291489124298,
        "training_n": 15
      },
      "event_relative_descriptive_means": {
        "before_all_roots_have_valid_feedback": {
          "p_near_optimal_parents": 0.25806741153492646,
          "p_global_parent_best": 0.10701617072610294,
          "p_legal_parent_best": 0.24316765280330882,
          "p_posterior_best": 0.46478989545036764,
          "p_cross_mean_branch": 0.4510892980238971,
          "selected_near_optimal_parent": 0.23529411764705882,
          "selected_global_parent_best": 0.17647058823529413,
          "selected_legal_parent_best": 0.23529411764705882,
          "selected_posterior_best": 0.47058823529411764,
          "selected_cross_mean_branch": 0.47058823529411764
        },
        "after_all_roots_have_valid_feedback": {
          "p_near_optimal_parents": 0.408860298052226,
          "p_global_parent_best": 0.2782851963827055,
          "p_legal_parent_best": 0.3640420992080479,
          "p_posterior_best": 0.3335387347495719,
          "p_cross_mean_branch": 0.13361849850171234,
          "selected_near_optimal_parent": 0.273972602739726,
          "selected_global_parent_best": 0.2191780821917808,
          "selected_legal_parent_best": 0.273972602739726,
          "selected_posterior_best": 0.3013698630136986,
          "selected_cross_mean_branch": 0.1095890410958904
        }
      },
      "full_observed_pool_prior_comparison": {
        "quality": {
          "prior": 0.1567111545138889,
          "actual": 0.380377197265625
        },
        "global_champion": {
          "prior": 0.09040459526909722,
          "actual": 0.2459343804253472
        },
        "legal_champion": {
          "prior": 0.14349568684895833,
          "actual": 0.3412102593315972
        },
        "current_posterior_champion": {
          "prior": 0.12273763020833334,
          "actual": 0.3583306206597222
        },
        "current_best_mean_branch": {
          "prior": 0.4569159613715278,
          "actual": 0.806414794921875
        }
      },
      "after_coverage_cross_branch_expected": 9.754150390625,
      "after_coverage_cross_branch_actual": 8,
      "branch_opportunities": {
        "AQ04:43e3cfe111624702b0be87d8c2b291b2": {
          "legal_decisions": 90,
          "selected": 6,
          "expected_selections": 2.9647216796875,
          "max_candidate_count": 7,
          "max_valid_feedback": 6,
          "selected_parent_ids": [
            "51bec973fb9f4b9883c735bf4f019122",
            "61b8e443b60d4fd2bf27333cf08546c6",
            "a6cc5af4f48544c69eb65b065442f25a",
            "e3b0feb534194da9a18246def3c51260"
          ],
          "min_legal_probability": 0.0
        },
        "AQ04:55e22ebab2a24c399101456ef77e0e75": {
          "legal_decisions": 79,
          "selected": 7,
          "expected_selections": 8.68243408203125,
          "max_candidate_count": 8,
          "max_valid_feedback": 7,
          "selected_parent_ids": [
            "209703ee430a47fc89c30bedcadedf28",
            "289812a49d134d839ca2000d6a1b9ca6",
            "6c37f8c7df2c4ae8b7588911b02943fe",
            "f15072a9524a42f0afde7cfaf7742b91",
            "ffb0cbbd2f454610b05a8fa05496ae96"
          ],
          "min_legal_probability": 0.00665283203125
        },
        "AQ04:bf3863d31d944cde852eb957ea8576c9": {
          "legal_decisions": 88,
          "selected": 4,
          "expected_selections": 8.156494140625,
          "max_candidate_count": 4,
          "max_valid_feedback": 4,
          "selected_parent_ids": [
            "48e2103f0cbd4408bce8da0b04a675d2",
            "b970446104074e2fbd6f511ca6e549b0"
          ],
          "min_legal_probability": 0.00048828125
        },
        "AQ04:de52b23bd870418ea2726fe84cbf3e3d": {
          "legal_decisions": 89,
          "selected": 7,
          "expected_selections": 6.3045654296875,
          "max_candidate_count": 8,
          "max_valid_feedback": 7,
          "selected_parent_ids": [
            "08ed81fc7b6945a4975dfe20d08ee740",
            "17907e389f674b0e8af1fd0b43e9cb25",
            "270b6924e94c4872a2a2383008e94570",
            "3e03331862e24184801bf710506c4400"
          ],
          "min_legal_probability": 0.0
        },
        "AQ04:f20e3b47a0b844459816efb3e3e4586d": {
          "legal_decisions": 74,
          "selected": 66,
          "expected_selections": 63.89178466796875,
          "max_candidate_count": 48,
          "max_valid_feedback": 61,
          "selected_parent_ids": [
            "09e9e602156c4bb398fe8dd89fc5f106",
            "1430e28247484f91a1731afa61219791",
            "19eef082c12e45e69c09e630e0ca17ae",
            "26d64fd44db3454796dfcd736c024fa9",
            "2bce41993cff455998529e41fd2aaa50",
            "2f64984d728f4334b6a499281b759366",
            "33483142312145fbaa12f349115c67aa",
            "34b2e36a66e947b599d4f02e8d443af3",
            "376c1e414ecc4a67bfe00673a3522f98",
            "3994c413953f4b4b97ddd45649c91ddb",
            "507df16fa8954464914e9935cd3fa362",
            "509eb998c8634281a246f2aa6b1cf107",
            "5360ab5da17e4611b3cae9a6684d561d",
            "55c76e34b78249278313959445193e65",
            "57fced8b3ac4437d956aaae042ee71b8",
            "58a9f4bc89354908a8079494491bb8f2",
            "596d4e2c49384bf8806226af51da82bc",
            "5f93c231b685462cb341f86baac9c51e",
            "60a86e302b1f44ceb5c67d5fb27f196a",
            "6b614f0f12ff4ceeb1d85f87ad136c87",
            "71a6a4f9bab94d038249f22be61752db",
            "7671ff2e77a34a979dc2f3230c221c16",
            "7eefd433055744c5929ba462fd4fbcf8",
            "81922d10b80644aea15de96b272334d8",
            "9033e771fc6f41f794b8bb48e1740c24",
            "a48be26cd2294d548aba4b256990fbc7",
            "a62a634531cd4cba88567fc34f3835b6",
            "cd0c0f4981474ab6bbd04fe702e4129b",
            "d4b277fc7e56400f969e3b83e29aafcf",
            "eaf0796eb8c64e3b8972e391a8872dca",
            "fc92617765b447f58811feaf5cec8947",
            "feb595add28e401bb91343fe39f53a2c",
            "ffae13ba429644a28c5263e18473b05d"
          ],
          "min_legal_probability": 0.25897216796875
        }
      },
      "B": {
        "final_score": 506.0,
        "delta_final_vs_same_model_baseline": 41.0,
        "auc_score_seconds": 6323736.224716425,
        "delta_auc_vs_same_model_baseline": 941823.4808564186,
        "non_draft_valid": 85,
        "llm_reported_tokens": 2892143
      },
      "terminal_failure_receipt": "[scratch]/bo_paper_aligned_iteration_20261014/runs/luna_008_kissing_number_d11_root_sd3/segments/deadline_finalization_failure/receipt.json",
      "raw_analysis": "experiment/bo_paper_aligned_iteration_20261014/analysis/runs/luna_008_kissing_number_d11_root_sd3.json"
    }
  ],
  "decision_basis": "Complete observed trajectories, predeclared quality group, valid feedback coverage, actual joint probabilities and draws, continuous same-observed-pool learning diagnostic, meaningful realized cross-branch opportunities. Not final score, a short window, nonzero theory, or strict monotonicity.",
  "limits": [
    "Single seed per setting; no reliability or significance claim.",
    "Rectangle strict champion probabilities do not rise continuously; quality group was declared before analysis and remains 0.1 frozen s0.",
    "Some kissing branches receive very low late probabilities; no guaranteed branch floor or uniform coverage.",
    "Conditional prior comparisons fix observed features and pools; they are retrospective attribution, not an executable alternative policy or performance effect.",
    "Luna B: rectangle effectively equal final score and slightly worse integrated score; kissing +41 and better integrated score, with higher throughput as a confound.",
    "Post-budget native timeout failures are preserved; only committed existing constructions regraded with original frozen verifier."
  ],
  "muse_plan": {
    "new_identities": 2,
    "tasks": [
      "circle_packing_rectangle",
      "kissing_number_d11"
    ],
    "model": "opencode-go/muse-spark-1.3-contributor",
    "provider": "opencode://opencode-go",
    "effort": "high",
    "drafts": 5,
    "budget_seconds": 14400,
    "fresh_initialization": true,
    "no_new_baseline": true,
    "no_retuning_after_results": true
  }
}