{
  "schema": "method-forge-study/1",
  "status": "benefit_not_demonstrated",
  "acceptance_passed": false,
  "promotion": "not_promoted",
  "winner": {
    "fitness": {
      "maximum_length_ratio": 1.0214459735985701,
      "mean_length_km": 367.6695375758456,
      "mean_length_ratio": 0.994323632342761,
      "total_fuel": 1266307
    },
    "program": {
      "score": {
        "left": {
          "left": {
            "left": {
              "left": {
                "name": "isolation",
                "op": "feature"
              },
              "op": "min",
              "right": {
                "op": "constant",
                "value": 0.5
              }
            },
            "op": "sub",
            "right": {
              "left": {
                "op": "constant",
                "value": 1.0
              },
              "op": "max",
              "right": {
                "name": "isolation",
                "op": "feature"
              }
            }
          },
          "op": "add",
          "right": {
            "left": {
              "op": "constant",
              "value": -0.5
            },
            "op": "sub",
            "right": {
              "left": {
                "name": "distance",
                "op": "feature"
              },
              "op": "add",
              "right": {
                "op": "constant",
                "value": -0.5
              }
            }
          }
        },
        "op": "mul",
        "right": {
          "left": {
            "left": {
              "left": {
                "name": "distance",
                "op": "feature"
              },
              "op": "add",
              "right": {
                "op": "constant",
                "value": 0.0
              }
            },
            "op": "min",
            "right": {
              "name": "depot",
              "op": "feature"
            }
          },
          "op": "sub",
          "right": {
            "left": {
              "left": {
                "name": "isolation",
                "op": "feature"
              },
              "op": "add",
              "right": {
                "op": "constant",
                "value": 2.0
              }
            },
            "op": "add",
            "right": {
              "op": "constant",
              "value": 1.0
            }
          }
        }
      },
      "version": 1
    },
    "program_sha256": "318880c5143f3044b7d97735615723a2100d7b3829531b3e902e45c0d486b1c5",
    "trial_index": 202
  },
  "train_cases": 24,
  "held_out_cases": 48,
  "metrics": {
    "mean_length_ratio_vs_nearest": 0.9999214410597779,
    "worst_length_ratio_vs_nearest": 1.0490511796635456,
    "mean_length_ratio_vs_insertion": 0.9691099697322387,
    "median_full_time_ratio_vs_nearest": 3.995068265068265
  },
  "gates": {
    "all_routes_valid_and_complete": true,
    "mean_length_ratio_vs_nearest_at_most_0.99": false,
    "worst_length_ratio_vs_nearest_at_most_1.1": true,
    "mean_length_ratio_vs_insertion_at_most_1.0": true,
    "median_full_time_ratio_vs_nearest_at_most_2.0": false
  },
  "winner_lock_sha256": "7e6b300ed345ec8a1210d1b928bf13d55c36110501da64d4a92b5c53103e1483",
  "validation_sha256": "b692b23087f752a3c6335124845c945c2ec14256fd7e05f2bcf04a9fdbad9cc5",
  "limits": "Predeclared empirical gates, not a statistical significance test or a universal guarantee. Every warmup and timed repetition must return a complete converged tour; bounded interruption fails acceptance. Up to 10 percent individual length regression is permitted, so passing is not improvement of every case. Experimental reuse is distinct from acceptance or automatic promotion.",
  "cases": [
    {
      "errors": [],
      "id": "held-uniform-16",
      "length_ratio_vs_insertion": 0.9985519741413785,
      "length_ratio_vs_nearest": 0.9962223801064879,
      "median_time_ratio_vs_nearest": 7.578426263678999,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-uniform-24",
      "length_ratio_vs_insertion": 0.8655450392343447,
      "length_ratio_vs_nearest": 1.0,
      "median_time_ratio_vs_nearest": 6.209026452140715,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-uniform-32",
      "length_ratio_vs_insertion": 0.9328979443145272,
      "length_ratio_vs_nearest": 1.0125839127580147,
      "median_time_ratio_vs_nearest": 5.088124274099884,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-uniform-48",
      "length_ratio_vs_insertion": 0.9547337417529879,
      "length_ratio_vs_nearest": 0.969490271353946,
      "median_time_ratio_vs_nearest": 2.6368393430476664,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-uniform-64",
      "length_ratio_vs_insertion": 0.9670637710050646,
      "length_ratio_vs_nearest": 1.0244813601053941,
      "median_time_ratio_vs_nearest": 4.007619047619047,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-uniform-96",
      "length_ratio_vs_insertion": 0.9858353907037568,
      "length_ratio_vs_nearest": 0.9983493110379991,
      "median_time_ratio_vs_nearest": 3.4448008658250155,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-clusters-16",
      "length_ratio_vs_insertion": 0.9948809590603339,
      "length_ratio_vs_nearest": 1.0,
      "median_time_ratio_vs_nearest": 4.806291919514532,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-clusters-24",
      "length_ratio_vs_insertion": 1.0,
      "length_ratio_vs_nearest": 1.0,
      "median_time_ratio_vs_nearest": 8.255130697774897,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-clusters-32",
      "length_ratio_vs_insertion": 0.9780813697521767,
      "length_ratio_vs_nearest": 0.957951489804189,
      "median_time_ratio_vs_nearest": 5.439358926574729,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-clusters-48",
      "length_ratio_vs_insertion": 1.009205769459298,
      "length_ratio_vs_nearest": 1.0009691231999687,
      "median_time_ratio_vs_nearest": 3.4516327507235154,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-clusters-64",
      "length_ratio_vs_insertion": 1.017063644976609,
      "length_ratio_vs_nearest": 1.0019647618177427,
      "median_time_ratio_vs_nearest": 1.8163431882613166,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-clusters-96",
      "length_ratio_vs_insertion": 1.0135769070052774,
      "length_ratio_vs_nearest": 1.0200603744172754,
      "median_time_ratio_vs_nearest": 2.155605747779456,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-ring-16",
      "length_ratio_vs_insertion": 1.0,
      "length_ratio_vs_nearest": 1.0,
      "median_time_ratio_vs_nearest": 8.511156186612576,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-ring-24",
      "length_ratio_vs_insertion": 1.0,
      "length_ratio_vs_nearest": 1.0,
      "median_time_ratio_vs_nearest": 7.097089133972156,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-ring-32",
      "length_ratio_vs_insertion": 1.0038325565436883,
      "length_ratio_vs_nearest": 1.0038325565436883,
      "median_time_ratio_vs_nearest": 5.550848187376215,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-ring-48",
      "length_ratio_vs_insertion": 0.7276135564238454,
      "length_ratio_vs_nearest": 1.0,
      "median_time_ratio_vs_nearest": 4.140177746999076,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-ring-64",
      "length_ratio_vs_insertion": 0.7796378518286645,
      "length_ratio_vs_nearest": 1.0042959227240738,
      "median_time_ratio_vs_nearest": 3.2779723070701046,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-ring-96",
      "length_ratio_vs_insertion": 0.8662292252409508,
      "length_ratio_vs_nearest": 1.0212864270920963,
      "median_time_ratio_vs_nearest": 1.6541865522568713,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-grid-16",
      "length_ratio_vs_insertion": 1.0089753545409057,
      "length_ratio_vs_nearest": 1.0,
      "median_time_ratio_vs_nearest": 8.188700889016348,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-grid-24",
      "length_ratio_vs_insertion": 0.9489165521737527,
      "length_ratio_vs_nearest": 0.9869962800882351,
      "median_time_ratio_vs_nearest": 5.158717434869739,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-grid-32",
      "length_ratio_vs_insertion": 0.9512716072245802,
      "length_ratio_vs_nearest": 0.9946979578852716,
      "median_time_ratio_vs_nearest": 5.3706163655685435,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-grid-48",
      "length_ratio_vs_insertion": 0.9469259605646306,
      "length_ratio_vs_nearest": 0.9835976805009429,
      "median_time_ratio_vs_nearest": 3.601215461076919,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-grid-64",
      "length_ratio_vs_insertion": 0.9512516842972043,
      "length_ratio_vs_nearest": 0.980553749634014,
      "median_time_ratio_vs_nearest": 3.319503000843213,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-grid-96",
      "length_ratio_vs_insertion": 0.9685302563528797,
      "length_ratio_vs_nearest": 0.9724881396699397,
      "median_time_ratio_vs_nearest": 2.8371317318463927,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-corridors-16",
      "length_ratio_vs_insertion": 1.0,
      "length_ratio_vs_nearest": 0.9912677094012713,
      "median_time_ratio_vs_nearest": 4.908862494289631,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-corridors-24",
      "length_ratio_vs_insertion": 1.0017617054137917,
      "length_ratio_vs_nearest": 0.993826368534846,
      "median_time_ratio_vs_nearest": 4.947687728937729,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-corridors-32",
      "length_ratio_vs_insertion": 0.9765138769384379,
      "length_ratio_vs_nearest": 1.0,
      "median_time_ratio_vs_nearest": 5.91480230115971,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-corridors-48",
      "length_ratio_vs_insertion": 1.044885562836302,
      "length_ratio_vs_nearest": 1.0297148587825782,
      "median_time_ratio_vs_nearest": 6.004184100418409,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-corridors-64",
      "length_ratio_vs_insertion": 1.031440377801321,
      "length_ratio_vs_nearest": 1.0490511796635456,
      "median_time_ratio_vs_nearest": 4.04087783467447,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-corridors-96",
      "length_ratio_vs_insertion": 0.9399617344240264,
      "length_ratio_vs_nearest": 0.996048972383872,
      "median_time_ratio_vs_nearest": 3.2165277230755764,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-outliers-16",
      "length_ratio_vs_insertion": 0.9943739582374717,
      "length_ratio_vs_nearest": 1.0094449915163972,
      "median_time_ratio_vs_nearest": 6.5507286224910635,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-outliers-24",
      "length_ratio_vs_insertion": 0.9857975110950001,
      "length_ratio_vs_nearest": 0.9562497200520608,
      "median_time_ratio_vs_nearest": 4.908061054137847,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-outliers-32",
      "length_ratio_vs_insertion": 1.0213699931209586,
      "length_ratio_vs_nearest": 1.0310629318926166,
      "median_time_ratio_vs_nearest": 3.388016910442684,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-outliers-48",
      "length_ratio_vs_insertion": 0.9901117458900658,
      "length_ratio_vs_nearest": 0.9940505720267716,
      "median_time_ratio_vs_nearest": 2.7050727556076977,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-outliers-64",
      "length_ratio_vs_insertion": 0.9749381916993753,
      "length_ratio_vs_nearest": 0.9917032946893818,
      "median_time_ratio_vs_nearest": 2.4299701423087363,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-outliers-96",
      "length_ratio_vs_insertion": 0.9682823138504782,
      "length_ratio_vs_nearest": 1.0063170811267037,
      "median_time_ratio_vs_nearest": 2.3159000313679607,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-anisotropic-16",
      "length_ratio_vs_insertion": 0.9895711948846252,
      "length_ratio_vs_nearest": 1.0,
      "median_time_ratio_vs_nearest": 5.675321581705574,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-anisotropic-24",
      "length_ratio_vs_insertion": 0.9992404749719448,
      "length_ratio_vs_nearest": 1.0,
      "median_time_ratio_vs_nearest": 2.7034734500655904,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-anisotropic-32",
      "length_ratio_vs_insertion": 0.9941479057878579,
      "length_ratio_vs_nearest": 1.0,
      "median_time_ratio_vs_nearest": 2.8890422952586206,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-anisotropic-48",
      "length_ratio_vs_insertion": 0.9889805207215856,
      "length_ratio_vs_nearest": 1.0024919910733867,
      "median_time_ratio_vs_nearest": 2.6050525587230178,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-anisotropic-64",
      "length_ratio_vs_insertion": 1.0008939040308815,
      "length_ratio_vs_nearest": 1.000027353061171,
      "median_time_ratio_vs_nearest": 2.9448938868951866,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-anisotropic-96",
      "length_ratio_vs_insertion": 0.9916577688295152,
      "length_ratio_vs_nearest": 0.9988961769916165,
      "median_time_ratio_vs_nearest": 1.7188678214305229,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-duplicates-16",
      "length_ratio_vs_insertion": 0.9475185521841493,
      "length_ratio_vs_nearest": 1.0,
      "median_time_ratio_vs_nearest": 3.9825174825174825,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-duplicates-24",
      "length_ratio_vs_insertion": 1.0,
      "length_ratio_vs_nearest": 1.0,
      "median_time_ratio_vs_nearest": 6.221795727636848,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-duplicates-32",
      "length_ratio_vs_insertion": 1.0021356904566225,
      "length_ratio_vs_nearest": 1.0292998597885286,
      "median_time_ratio_vs_nearest": 5.748509102322661,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-duplicates-48",
      "length_ratio_vs_insertion": 0.9927941820549996,
      "length_ratio_vs_nearest": 0.9879066875277741,
      "median_time_ratio_vs_nearest": 3.122198838614132,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-duplicates-64",
      "length_ratio_vs_insertion": 0.908547742789398,
      "length_ratio_vs_nearest": 0.9825665642624616,
      "median_time_ratio_vs_nearest": 3.2713697851033223,
      "valid": true
    },
    {
      "errors": [],
      "id": "held-duplicates-96",
      "length_ratio_vs_insertion": 0.9017325225317963,
      "length_ratio_vs_nearest": 1.0164811593550767,
      "median_time_ratio_vs_nearest": 3.0657220588032206,
      "valid": true
    }
  ],
  "search": {
    "attempted": 256,
    "baseline_program_sha256": "004951a80dc16d14b4be1f37c96feedd38b6f3682acb9d9cfa5e875a76fb6fe8",
    "budget": {
      "candidates": 256,
      "fuel_per_case": 4000000,
      "time_per_case_ms": 1000
    },
    "contract_version": "0.1.0",
    "elapsed_ms": 2116.2457099999997,
    "limitations": [
      "Training-only synthesis; selected method has no held-out validation or automatic promotion.",
      "128-point closed Euclidean tours; executable AST bounded to 31 nodes and depth four edges; rejected crossover ASTs retained without execution.",
      "Fitness is mean candidate/reference length ratio, then worst ratio, then AST size and generation index.",
      "Wall-clock exhaustion can affect outcomes; deterministic AST replay assumes identical completed fitness results.",
      "Reused trials retain the original measurement, identified by reused_trial; they are not fresh timings.",
      "The caller must persist the full journal and enforce an overall search deadline."
    ],
    "promotion": "not_promoted",
    "seed": 761029,
    "selected": {
      "fitness": {
        "maximum_length_ratio": 1.0214459735985701,
        "mean_length_km": 367.6695375758456,
        "mean_length_ratio": 0.994323632342761,
        "total_fuel": 1266307
      },
      "program": {
        "score": {
          "left": {
            "left": {
              "left": {
                "left": {
                  "name": "isolation",
                  "op": "feature"
                },
                "op": "min",
                "right": {
                  "op": "constant",
                  "value": 0.5
                }
              },
              "op": "sub",
              "right": {
                "left": {
                  "op": "constant",
                  "value": 1.0
                },
                "op": "max",
                "right": {
                  "name": "isolation",
                  "op": "feature"
                }
              }
            },
            "op": "add",
            "right": {
              "left": {
                "op": "constant",
                "value": -0.5
              },
              "op": "sub",
              "right": {
                "left": {
                  "name": "distance",
                  "op": "feature"
                },
                "op": "add",
                "right": {
                  "op": "constant",
                  "value": -0.5
                }
              }
            }
          },
          "op": "mul",
          "right": {
            "left": {
              "left": {
                "left": {
                  "name": "distance",
                  "op": "feature"
                },
                "op": "add",
                "right": {
                  "op": "constant",
                  "value": 0.0
                }
              },
              "op": "min",
              "right": {
                "name": "depot",
                "op": "feature"
              }
            },
            "op": "sub",
            "right": {
              "left": {
                "left": {
                  "name": "isolation",
                  "op": "feature"
                },
                "op": "add",
                "right": {
                  "op": "constant",
                  "value": 2.0
                }
              },
              "op": "add",
              "right": {
                "op": "constant",
                "value": 1.0
              }
            }
          }
        },
        "version": 1
      },
      "program_sha256": "318880c5143f3044b7d97735615723a2100d7b3829531b3e902e45c0d486b1c5",
      "trial_index": 202
    },
    "stop_reason": "candidate_budget_exhausted",
    "train_sha256": "d2442e7b12b371852bffce4f404155e5a5b50b3609193e22c2e4729453ec2362",
    "unique_evaluated": 203
  },
  "links": {
    "protocol": "/research/method-forge/protocol.json",
    "evidence": "/research/method-forge/reproducible-study.tar.gz",
    "ledger": "/research/method-forge/ledger.jsonl",
    "report": "/research/method-forge/report.md",
    "reproduce": "/research/method-forge/reproduce.md"
  },
  "evidence_sha256": "6aaee5f7ce6191c75f1b3b5719361d9885eba3f251bdac7751f473bb2c82d883"
}