{
 "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: the solved policy, replica and production U1 tables that LEAN and QLX5 are built on. QLX5 source and tables: A/1ef80bfb; exact integer replica qlxcore: A/60dc237f; its audit and the unrounded rows: A/362fb97f; kit: identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01. All built on Taylor's work.",
 "item": "three-window",
 "batch": "c3-search-a",
 "where": "replica_choose",
 "gain_vs_base": 0.00549734760113374,
 "se": 0.006882828552358642,
 "n": 128,
 "seeds": [
  64000,
  64127
 ],
 "gain_note": "Highest completed choosing mean of the four settings (split_nc=3, split_window=25) minus unchanged QLX5 on replica seeds 64000..64127. It is NOT a selected setting: all four settings met the futility stop (cumulative mean + 2 se < 0.03) after the first 128-seed round, so nothing was selected or frozen and the report seeds 10000..12047 were never opened.",
 "advance": false,
 "advance_reason": "all four settings stopped on the choosing seeds after round 1 of 8; by the brief: advance=false, no report run",
 "source_sha256": "701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00",
 "source_note": "measured policy = qlxcore.py of A/60dc237f (this sha256, unedited) called as qlxcore.run(seed, T, split_nc=3, split_window=W); baseline = the same file with default knobs (QLX5: split_nc=5, split_window=7). Tables from QLX5 source sha256 e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
 "selected": null,
 "selected_parameters": null,
 "freeze_record": {
  "made": false,
  "reason": "no setting survived choosing, so no freeze was written and no report seed was simulated",
  "report_seeds_planned": [
   10000,
   12047
  ],
  "report_rows_simulated": 0,
  "engine_E_seeds_used": 0
 },
 "baseline": {
  "name": "QLX5",
  "knobs": "defaults (split=1, split_nc=5, split_window=7, split_track=1)",
  "contract_source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
  "replica_sha256": "701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00",
  "mean_edge_64000_64127": 534.9978274476013,
  "split_test": {
   "tries": 901085,
   "hits": 803007,
   "hit_rate": 0.8911556623404008
  }
 },
 "baseline_smoke": {
  "passed": true,
  "what": "four unrounded rows of the audit payload (A/362fb97f payload_zb64, b2r3/runs/per_seed_512.csv, columns engine_edge_unrounded and engine_hex) reproduced with the unchanged replica before any search run: f64 bits equal, and callbacks, split tries and split hits equal",
  "audit_csv_sha256": "06bce18b1eb7712b848713baa86cabd2265778d480be61d2f4af59f8753cdc90",
  "rows": [
   {
    "seed": 10010512,
    "audit_engine_edge_unrounded": "606.1300985640944",
    "audit_engine_hex": "4082f10a711db056",
    "replica_edge": "606.1300985640944",
    "replica_hex": "4082f10a711db056",
    "bit_identical": true,
    "calls": [
     12227,
     12227
    ],
    "tries": [
     8155,
     8155
    ],
    "hits": [
     7255,
     7255
    ],
    "counters_equal": true
   },
   {
    "seed": 10010513,
    "audit_engine_edge_unrounded": "482.77829524211705",
    "audit_engine_hex": "407e2c73e5b63867",
    "replica_edge": "482.77829524211705",
    "replica_hex": "407e2c73e5b63867",
    "bit_identical": true,
    "calls": [
     9988,
     9988
    ],
    "tries": [
     6388,
     6388
    ],
    "hits": [
     5684,
     5684
    ],
    "counters_equal": true
   },
   {
    "seed": 10010514,
    "audit_engine_edge_unrounded": "404.7966542836623",
    "audit_engine_hex": "40794cbf188fe8c4",
    "replica_edge": "404.7966542836623",
    "replica_hex": "40794cbf188fe8c4",
    "bit_identical": true,
    "calls": [
     9532,
     9532
    ],
    "tries": [
     5838,
     5838
    ],
    "hits": [
     5236,
     5236
    ],
    "counters_equal": true
   },
   {
    "seed": 10010515,
    "audit_engine_edge_unrounded": "450.2556494695746",
    "audit_engine_hex": "407c241723e5f101",
    "replica_edge": "450.2556494695746",
    "replica_hex": "407c241723e5f101",
    "bit_identical": true,
    "calls": [
     10484,
     10484
    ],
    "tries": [
     6858,
     6858
    ],
    "hits": [
     6117,
     6117
    ],
    "counters_equal": true
   }
  ],
  "pairs_note": "calls, tries, hits are [replica here, audit port column]"
 },
 "choosing": {
  "seeds_planned": [
   64000,
   65023
  ],
  "round_size": 128,
  "rounds_planned": 8,
  "rounds_run": 1,
  "seeds_run": [
   64000,
   64127
  ],
  "rule": "after each round, per setting: stop when cumulative mean + 2 se < 0.03 (replaces score.py evaluate()'s mean + 3 se < 0 stop)",
  "statistics": "kit score.py summarize(): mean = statistics.mean(diffs), se = statistics.stdev(diffs)/sqrt(n); diffs = setting edge - QLX5 edge, same seed, unrounded f64",
  "selection_rule": "highest completed (1024-seed) choosing mean among settings not stopped, grid order 9,13,17,25 for ties; none qualified",
  "survivors": [],
  "settings": [
   {
    "setting": "split_nc=3,split_window=9",
    "knobs": {
     "split_nc": 3,
     "split_window": 9,
     "split_track": 1
    },
    "grid_index": 0,
    "rounds_run": 1,
    "seeds": [
     64000,
     64127
    ],
    "stopped_at_round": 1,
    "stop": "futility: mean + 2 se < 0.03",
    "mean_plus_2se": 0.01758762548186238,
    "paired_moments": {
     "n": 128,
     "mean": 0.002992258794447089,
     "se": 0.007297683343707644,
     "sum_d": 0.3830091256892274,
     "sum_d2": 0.8668785600245121,
     "min": -0.26503268165572536,
     "max": 0.3438125896528845,
     "seeds_positive": 65,
     "seeds_zero": 0,
     "base_mean_edge": 534.9978274476013,
     "setting_mean_edge": 535.0008197063958
    },
    "split_test": {
     "tries": 903478,
     "hits": 738175,
     "hit_rate": 0.8170370501550674
    },
    "worst5": [
     {
      "seed": 64095,
      "diff": -0.26503268165572536
     },
     {
      "seed": 64018,
      "diff": -0.21507178572619523
     },
     {
      "seed": 64023,
      "diff": -0.17388073008214633
     },
     {
      "seed": 64031,
      "diff": -0.1483571324889681
     },
     {
      "seed": 64029,
      "diff": -0.14419940650805074
     }
    ],
    "measured_policy_sha256": {
     "replica_with_knobs": "701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00",
     "replica_with_defaults_patched": "09de4cc5cfc98cc9506ec5d6c7f7e74742fde977f6f80434796f4db4d0fe3f5b"
    },
    "solidity_edit_sha256": "15a3571360a7ad8698f0e9d8f984dfaaed36f4ebac89bc770fd9bfa0cad2ceac",
    "solidity_edit_chars": 47230
   },
   {
    "setting": "split_nc=3,split_window=13",
    "knobs": {
     "split_nc": 3,
     "split_window": 13,
     "split_track": 1
    },
    "grid_index": 1,
    "rounds_run": 1,
    "seeds": [
     64000,
     64127
    ],
    "stopped_at_round": 1,
    "stop": "futility: mean + 2 se < 0.03",
    "mean_plus_2se": 0.0176554394306943,
    "paired_moments": {
     "n": 128,
     "mean": 0.003400088324849282,
     "se": 0.007127675552922509,
     "sum_d": 0.4352113055807081,
     "sum_d2": 0.8273456597322735,
     "min": -0.21507178572619523,
     "max": 0.30023720842547164,
     "seeds_positive": 69,
     "seeds_zero": 0,
     "base_mean_edge": 534.9978274476013,
     "setting_mean_edge": 535.0012275359262
    },
    "split_test": {
     "tries": 904241,
     "hits": 739808,
     "hit_rate": 0.8181535674670801
    },
    "worst5": [
     {
      "seed": 64018,
      "diff": -0.21507178572619523
     },
     {
      "seed": 64011,
      "diff": -0.18701112136216125
     },
     {
      "seed": 64023,
      "diff": -0.17388073008214633
     },
     {
      "seed": 64087,
      "diff": -0.17163914670800295
     },
     {
      "seed": 64095,
      "diff": -0.16184190194485382
     }
    ],
    "measured_policy_sha256": {
     "replica_with_knobs": "701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00",
     "replica_with_defaults_patched": "8cee6cbe6b5c8e4dc7e597fcbb8c242a6f2cd72fe6e3250d57ceee7bb223db78"
    },
    "solidity_edit_sha256": "e52a963032109bc449e9ffe8dc0c1da6d34071fbc084234b4286d1759b117d41",
    "solidity_edit_chars": 47231
   },
   {
    "setting": "split_nc=3,split_window=17",
    "knobs": {
     "split_nc": 3,
     "split_window": 17,
     "split_track": 1
    },
    "grid_index": 2,
    "rounds_run": 1,
    "seeds": [
     64000,
     64127
    ],
    "stopped_at_round": 1,
    "stop": "futility: mean + 2 se < 0.03",
    "mean_plus_2se": 0.019181870407210165,
    "paired_moments": {
     "n": 128,
     "mean": 0.005411618294500986,
     "se": 0.00688512605635459,
     "sum_d": 0.6926871416961262,
     "sum_d2": 0.7743636013664997,
     "min": -0.18701112136216125,
     "max": 0.30023720842547164,
     "seeds_positive": 70,
     "seeds_zero": 0,
     "base_mean_edge": 534.9978274476013,
     "setting_mean_edge": 535.0032390658959
    },
    "split_test": {
     "tries": 904313,
     "hits": 739891,
     "hit_rate": 0.8181802097282689
    },
    "worst5": [
     {
      "seed": 64011,
      "diff": -0.18701112136216125
     },
     {
      "seed": 64023,
      "diff": -0.17388073008214633
     },
     {
      "seed": 64087,
      "diff": -0.17163914670800295
     },
     {
      "seed": 64095,
      "diff": -0.16184190194485382
     },
     {
      "seed": 64101,
      "diff": -0.15957900871751463
     }
    ],
    "measured_policy_sha256": {
     "replica_with_knobs": "701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00",
     "replica_with_defaults_patched": "1ee829625a3fa9812a9ab4620dbbbf4331942d9346e1f9c3206067a12c0bcc6e"
    },
    "solidity_edit_sha256": "92ecddd064e3df4c5ae31bb4bbb80994c5a309ed5d09b39edf47c22aaf99afeb",
    "solidity_edit_chars": 47231
   },
   {
    "setting": "split_nc=3,split_window=25",
    "knobs": {
     "split_nc": 3,
     "split_window": 25,
     "split_track": 1
    },
    "grid_index": 3,
    "rounds_run": 1,
    "seeds": [
     64000,
     64127
    ],
    "stopped_at_round": 1,
    "stop": "futility: mean + 2 se < 0.03",
    "mean_plus_2se": 0.019263004705851024,
    "paired_moments": {
     "n": 128,
     "mean": 0.00549734760113374,
     "se": 0.006882828552358642,
     "sum_d": 0.7036604929451187,
     "sum_d2": 0.773969100615096,
     "min": -0.18701112136216125,
     "max": 0.30023720842547164,
     "seeds_positive": 70,
     "seeds_zero": 0,
     "base_mean_edge": 534.9978274476013,
     "setting_mean_edge": 535.0033247952024
    },
    "split_test": {
     "tries": 904327,
     "hits": 739893,
     "hit_rate": 0.8181697549669533
    },
    "worst5": [
     {
      "seed": 64011,
      "diff": -0.18701112136216125
     },
     {
      "seed": 64023,
      "diff": -0.17388073008214633
     },
     {
      "seed": 64087,
      "diff": -0.17163914670800295
     },
     {
      "seed": 64095,
      "diff": -0.16184190194485382
     },
     {
      "seed": 64101,
      "diff": -0.15957900871751463
     }
    ],
    "measured_policy_sha256": {
     "replica_with_knobs": "701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00",
     "replica_with_defaults_patched": "d4bbd53be2f68f1344f2e9621c99f7b3dc3f0df83b871b896030fbe0cda19428"
    },
    "solidity_edit_sha256": "576a9a3bfabf2add8f2f957d28ee1d613110e76d3029bdbcb94206bb4aa03f82",
    "solidity_edit_chars": 47231
   }
  ]
 },
 "report": {
  "run": false,
  "seeds_planned": [
   10000,
   12047
  ],
  "rounds_run": 0,
  "pairs": null,
  "note": "no report pairs exist; the unrounded choosing pairs are embedded instead (choose_pairs_zb64)"
 },
 "choose_pairs_zb64": "eNqdmkuOJbkNRee9loeASJH67METz7wA9wo86O37XOoVDLjdyLDQqEbVyUgqQuLnUtK/fv/9n5+//+0f+fljf/6wzp/5+cPztxGttU/Efpav2K376Lb2KDR39DbSerad56E+57axl8/tb0gNYJ/o9uy554yZLdfsh2wMj3Rzyx0gfxp/n3u1aS38DakB/DNiPNlsb8+wFWsVCYcx3h7OS1yRst8/2dvT1rRhzbrPPr9k8agtY4ryjpT9+GTCLZkgDdrmlzBSHzn32KzXFSn7jJvr8dx9z+bMoc8inRVffezeul2Aso2rNH8279yjDfMxVh401pqslK3mX4IHhL47m++XqMbgbXc803O0mWOFj3XIWG4dH+UT7Y6UfbxlzScjrDNrzfnZIdkX/2jGh8QdKfv7kyseW6Pj9nNOy/Elk6Dz6bidfclKsxjRceI3RPatfZiZJ4KV2W1u4iwP8Zx9zUFY9AtQtnkvm0/kYhmw7T3nl+CumY4v+C7isxHROyfxnW9I2Xe+aT+5essxIvvUKokkD+ZszE/N3wUp+6Sath6LvTprjl/hTSKxO8OtzUT2cUjqE9NY/+FvSNknUlt/FmkyWFzmzQ7IbnsRATs0s0UiMpwchRePd6hGICyI6oXj81HmQQD8QqQ6Xz5SrlGEp3BhfIy/vCE1ANzngzex9AqKNr2Ib750k/+J63kIKZAIZ3ZJL29I2ed3x+RteVEj+fPHiuzBnPHgpgroJfSQ88NGoFj2eENqAOJiGv7vQdIwsocVIM0RcM6qVOj8T4LHjU3AtizH+29S5venb1yI/JbEaSOH9yJtBfFLSTPNTz3TCBAKoMbJQ0Z3DLZY0WL8D6QRvH1wwof5ITb6sh1rFAknebSw2ZVDRTrubWPwDsT6G1L2j08yeUyPTG6lVJFFwSeyjWQS96jGIJCHZIT3WGSLbJphCO+fqtYxtoL0hpT9/pnRH0vmrgXzGFNE9WLhQ+SViXvdkbKPc7k/Uy5qyUL3XoHBo936mJtQd9LdQYNKSqwTQSTuF6RGIAWij1JzZ8QVXlaAkk/CVq1MJY8bUubxrok6apNRG7ku1j6kd9KtvHS37zMkL3wvzHfsN6TsE8ZhpA/mISgVLPGKgxhg9o2cYVa/KNqWjiIV45QvSI2gJBbPIoK9zzYQhllkbtU1rXziZodQwck0rBHJ7B2qIfCuNCQSqzkrHrI005oog4UkoHieJ0KJK3bymL8hst4pxFNRu3qOIIi9e5HOavEbba69vo8kaoo3MJeW/JmUefRpp0S0TuJXoSRPCwyFO4WBiOwHDF7FyBp77XxDyrqX/CKcm4KLmYhZhJrNim+qA6k6zkOshGR8l1gd71CNQSnMgY8yMWRxUqXSRubDiJ2i6rNKWRE6CGJHpWf7G1L2UWCIVIyYVBX6iidFqPaGZh0oyn4ByjaeslXG8BVq9Ma4FUG0G9mcLOF5nqE70cdUgvz+FuI7JBsIevszKfsqz4a6Q2Dw9giAPaKQk5wolDX9a56nNus3yEuxT5C8QDWI0vdg4pKAQqzO4UvCYz7o9/RYqnKS+iL0D6zRwL3r134kNcD69DGq1CAV8V6SwyGLxpLKxoSqkN+iGoMg9mCBhroLpW51UJCkIiPMEKby8l9EfSJVf3x/a/DRTGWT9P4zkf1oHxwXTTe0NkhHAuUQsqo7YUzy63ek7BPHpvTRh5yGXIE0Q1jQEOOwZFFeWr3oDSn7+HwzooBsKSVGmupFEAfIRVbG1QtdkbJPEVwktabi3yTGyA0HTUZTW88XH4ATdyVXYv0VKfu4/erITyZOalRp6qDeteiUolSePoQA8rlw3fQ3pAZQI05i48VJTwMloFCGmEk1ob5ntLwjZV/7J/3ZPnAp2ktmRR8QQVWN1LAoDF7qILIMf4851Uy8IDWCmjBKJUMgJkgQZKwitFYD9aHNBTvPbHXgxCmvMNcbUva1gUICIedTFvfESfchpjxNf0sTve5I2Sf09kapkqM1eVZfBFEGMco2+U6l4YbIfjZahWS6pxqm7NoQyS8iK5JO+M8uQBknG2hQhDxTs1lP0kchvi8k7hbzprynp0J9+mCGScNvSI3gH/LpQ2DQzCLiCZN+CB9k9AOSK3EIf+vSq0SFvyFl/1hbq3+T6HdAQgT/6WtT4vIQY0QtEB3pz6BsHwXYTUUrFKiaRhGEFv0CYob8cEfKvnYSGi7l2yVESUxrFqLd0XLTuw313CJqn2jZybJ0W+9QjTGO0mKeh7ZA994H0B4jf8d0cu4hWn0Ak2jjDSnzvG+oiaJdVDJrpUshqQ0WUpI65S+YFkNBYnrZn0mZl8ZM+syZncJAR+OHeFtqZpi4UI2/IWWfyaBFo/GV71P5GVBA+xaj+mFl53okKMCD72NN8g2R+UE3jLRw8tEeas9c9osYs298D3r+jpR9yprPBzHB8vLuzo8OoT/a2o4OvrYIM0qMNK125htS9oklp7xrCxaVamSEOATtiEDxLp1aILXj1bVuisifSZnXbnQ86vGcYFXSXodootAytFRz3pGyz7sNGmFDKCoxUXOtCGtBuIV6JNt3pOyraI6HECKTUXWoLLuIZKRmqGVptRtS9tGztrU5RkxQEdT0FsBvjVAIYmLfkTLPtI35hJrdpgCetfMh7+FBmjBJ6nVHyv4qYT0W3mg647Cjz7Wn2bZpi/rIczJKVwSqOZhvSFkndFPWg7Dgy9CHeQgPLqXZtnPfEdmfrfQEAoSwooaEGnYRyqeRZemXp5b7hpR9YjdJecQsaztIcaioIhMBwFKzHL+eWRO/cO3R0ay8IGVfb7to6Uj92uk7IkqA9UntQ0i1XpEy32sHs3pr5T1tChyihpWmoPAhOVAuPNerDfyZlH34pjZKHUi7SaAfRKvBP9QKmdSpyCSpE5Oagh7vUI3B+03Tjrr6MqZ7aD9nKr11CkCGGsJ5R8o+r9epXmopy49+ETeUkG+mVDnwkI3aotxbaFf/Z1L2VZqcstMVHarmKJZDpAJcevT7CLKuB5qIzOtvSJlfDLse5QupHxx06mALpEjU3v2mm4k7UgPsc6LBpHXth2mbIA6y2bQBrRk7hxzWVZ69KpGNd0hjLDrglbQFSkBjEX+EcREnGI1yxHfTdBfK1bQi2rbTpvcbVGOcTWm9f2oHCyl6zlKcb+Uz1BYgS7/PJHqSVLP6fEPKvk6LG3UGdbG14aSmQ0T9jHYsQsnrPLOpy9qspeL5G1L2tZelkytkO8sQaKH4EmYrprbt1gUo23hkLagcSJuqe/dDnCZzqb/WhvsVKfuSLoZ014EVZSzTD9C2VppOh+L7yCTHak7JrOsNKfP41aJkaV90aLesDrFEFirMh3bK9rojZZ/49HgkirTZgJ6WPocgiPAjk5S3VcRY+oHGQFW/I2VfXWtqq2/X/omntKSI13WATfXUjN2Qsi+1r4PcRsOIW3VFSREkR+t1gCZ5dkNkf6OgJ/ND1qP3WDaS/kKEhEJoaX5cu5w3pOyfLczWztaPgnoegqM1qk6q4bwjZV/zNmveEIgoRiaoyG7aoHTtRA3/kqm9lKEqvt6Qsq9tcpVPSiRyXNnVD9E2PcLDXYfaV6TsaztyEL70MkHVwn4BFh5X7pQZuWc9gkobtA69nV3NH0mZ1+n+eOqYXpcxunoFkZJzjBBDV3hEtMseS6WoboH8TMr+qMqsfqxv7SKuU+DrBGOec8X5H2KmTY+qV29QjYC7eH+2dojJQO18QZGthE0qr5NGEe2LaHek671ekLKvvK7WTKd5LLDOwnohFUz8B8Wq8vlF9IGpXbOpncFXqAZRTK0HgY5I0rYADeAhk1pGXEsCjzuCfdPFrLpHw/wx64jFvuJ724YUTZ4jQY1fF3B03kCFJcu39YbUCDqp7E/XbRVtndBw7CI0DGpLTINkET4yqFD0nFvK8GdS9nWk1HQ+hX264KiXbWp66uhYimP9BRnVuZD3TWn0T6TM4zOBQnJnZGSEmSowhK8kk5MQ55z9jpR9rCGBdeS/pg6dvf4964rB4uejznsuSFlXSbRHsoUgQcqxBL2QKqaU3UYXKRaFSOR4OJGnzZAXpEZQDohnLd2zY9VVZ4rMgU5E1LS6v3VFyj5lWHcBcH3dx1i6AXOITvfctCO4446Ufb7LXNvoKG1dqhjyf6vbZqREUsTQNpzIWnUFIUxO8IaU/X3kBaqUJEcn6XXkKTRVdYgAElPcEQ1g1GHLh76iblXpWO8LqDsUsklzk3ekzGuPcJBemT16YVKg9vkgU13AWOgvIrIIKizJIei8rd70Z1L2iTua8LF0ijt1kKHrDyZPoD/WtVDtvNyRsq9N2vHU5jodSNJozEN0QU93UfHcdUfKfnwjDAGJ/GV2fI1fCIWoq5Y6eLpGNUjWToLuw1Bqhpris7cwtT2tC25u4wKUbRXijY52ha8NEpTO3mZdzfWepXXzL4BtXa7CyNaFFBFSmOm8gr60/F8Xs3boTEF3IWged90F0xVJmn5ds8EbhmbxEtUgqy7m0TiWdIuqmyLLYPKGsewClO1dx9xL+2JIOX7czvH44nvr6hw1eR2i6wZo+dVNWfZnIvuuq9HzkaAbunG0ShIfRHSRCnW3VdVPaOB47ZSo1d+hGsTOecbWdbaJ1tIYRci0NFY6ScoLULbPBRHdS9RNRP7fv0TnZUl733XScIhO+ciAbX1PP34gZV9XJfJBLPSzNIRYEVp3XcWmwZzKeYdUg4jG0e3an0nZ1wUInaDrro50EKusFUZKS7PgE8RjrfAFqQGydrk2FZqX19WsgU9t04krYgA9hruOO1L2zxUyyhfZiRBgCb4kVeBRWNpfPiTsnHTjA/0NKfvquygB9Hja7dPt3ShCOjmXP5Tc/79///Zv8cGluQ==",
 "choose_pairs_format": "base64(zlib(csv)): header seed,QLX5,w9,w13,w17,w25; 128 lines, seeds 64000..64127; unrounded f64 edges as Python repr (round-trips exactly)",
 "choose_pairs_csv_sha256": "208613a71560b0fc55e2f37dc53444feba8720d5886f0ce85a981fadee195e89",
 "observations": [
  "Split tests run (tries) barely move with the window: 901,085 for QLX5 (window 7) against 903,478 at window 9 and 904,327 at window 25 over the same 128 seeds, i.e. a longer window adds about 0.3-0.4% more split tests.",
  "With 3 candidates the hit rate is 0.817-0.818 against 0.891 for QLX5's 5 candidates on the same seeds; the gain is still slightly positive (+0.003 to +0.005, se 0.007), consistent with A/1ef80bfb's engine reading that 3 and 5 candidates are not told apart.",
  "Seeds (of 128) whose f64 edge differs between neighbouring settings: window 9 vs 13: 66; 13 vs 17: 6; 17 vs 25: 1 (means +0.005412 and +0.005497 for 17 and 25): the effect of the window saturates.",
  "Under score.py's own stop (mean + 3 se < 0) none of the four would have stopped; they stop only under the item's 0.03 futility bar."
 ],
 "policy_config": {
  "run": "T = qlxcore.load_tables(); qlxcore.run(seed, T, split_nc=3, split_window=W)  # W in 9,13,17,25; baseline: qlxcore.run(seed, T)",
  "files_sha256": {
   "qlxcore.py": "701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00",
   "enginecore_f.py": "60af56a7570fabd603c6374d38a38f88b3c35a8f1e8192f588769460a96bfcfd",
   "mktables.py": "2b373f0c821f501ea67538f9bbaf2f3be9c1c44a7152cb5f4d32622e1a8a8e6a",
   "qlx_tables.json (written here by mktables.py from A/1ef80bfb)": "8c6d33c5c1024bc23593f46123aad1712c0cc8af3f4a118c5875258f9d7b81a6",
   "QLX5.sol (code_zb64.QLX5 of A/1ef80bfb)": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
   "kit score.py": "7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43",
   "kit setup_fast.sh": "48e150d165ea3b385fb92e0e3a7aefbbe0d97c38c53efa737a587ed62c308d20"
  },
  "tables": {
   "contract_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
   "qpl_sha256": "830868f9b3e5ad162c4f2070e6faed0782c7b4cc308ab69044b2cf7306f68099",
   "qpl_bytes": 10160,
   "sd_levels": [
    0,
    4,
    8,
    12,
    16,
    20,
    26,
    34
   ]
  },
  "policy_patch": {
   "file": "qlxcore.py (sha256 701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00)",
   "edits": [
    {
     "find": "('split_nc', 5, ",
     "replace": "('split_nc', 3, ",
     "occurrences": 1
    },
    {
     "find": "('split_window', 7, ",
     "replace": "('split_window', W, ",
     "occurrences": 1
    }
   ],
   "patched_sha256": {
    "9": "09de4cc5cfc98cc9506ec5d6c7f7e74742fde977f6f80434796f4db4d0fe3f5b",
    "13": "8cee6cbe6b5c8e4dc7e597fcbb8c242a6f2cd72fe6e3250d57ceee7bb223db78",
    "17": "1ee829625a3fa9812a9ab4620dbbbf4331942d9346e1f9c3206067a12c0bcc6e",
    "25": "d4bbd53be2f68f1344f2e9621c99f7b3dc3f0df83b871b896030fbe0cda19428"
   },
   "checked": "each patched file, run with no knobs on seed 64000, returns the same f64 edge, tries and hits as the knob run measured here (4/4)"
  },
  "driver": {
   "name": "tw.py",
   "sha256": "7da443e1d114d088ba6c84a0bdd94f11d48f3dc2873a7b0dea9a6c73d8b70dfa",
   "zb64": "eNrNWutv20YS/66/Yq+FQDKhaT1sJ5HK4JzEbYM+7LPdw10FgViTK4s1X+FSlpzA//vNzC5fEuU66H2ogUDkPua9M79Z5lv2PhdBWEzYNX+I0pyZt0Xs3yXh7bKwbHYbFsvVjeOn8WE9fsjj+ECG8T+PXg9H/GT8ejQeDk9GR2J4PDjhPh+Ohz4fH/vjV68Xb8aD4A3LhRQ895eHMo3uReD0vvnmm2KZC3GwDpMgXU+YzKKw8BLfHbM18NTvapaFCXtjD8f28JU9OmZpwoqlYGLD/YL96+f/HAN5WO1zZn6KNn6aC5Yu2OnhySDwR+NXC8vuZTwELRXlVeIveXILr7jXYexSyFXMbyIxYdlDsQTyB+9YsXayB/b+/PLM+/Dxkv308Zp+r65Pr9XI6W8fYOz91b/Zu98+/HB27V31rgpehLIIfTlhd2HBJMriAPGY5+FnMSWxYcKQbCwFk0WasVCS9NwHeW4eJmpwvRQJ81fxKgKC94LFgifsJRsx2PUdGziDsQMG7IVxlubA5kHaLIV/f8g0sVkRxsJmMS+WNlDLV35hsyWXyyi8sZkv72FuFRVhlqe+kDJMbhmXLM56qKuNitpKS1upaGv9mIuMHJ7f3s+Gc7t+GTVfxs2XI3hZRCkvzGroeG718CUD8ZwwkSIvzAFxtaasYwKFsipF0Z7li3Z174fLjx9Attkbm0GEMAgRNjqe904vf7mC4S/GDZfCmLAvj4+9BYQ3BRPumTBcMjPW/cBgfbae0+oyDGEHEDOaUQhD68fe+x/Pz6/OYK15cjQYgIQnx4PRGIS/PLs4v0QrmcMBTQxHg6NXOHH+268o4XD0esrenV7CI3pwyt6fXngo49Exe8FOBlN2cXn+Hgde964u4CfV1vgjDRNTu8SQEGPCQU8bVg/Z/ZomotcLxALOhTD/SG+sSY/BH89jcIWAsHIZjNKYP4AXjA9He9/DF9OiyRzmtFGdfJWYuNdm4P8XL8hSQHCuV4pilSc1B5vlM0MEt8KY06PPo0jq5yIPRfm8DAt67JCAHYBwSg3J74UpC61GEWcgF9jjJTMceDGmFOZOsIozWAWBn4nEhAmwzdqwwN5gNn2i1PDVhaUIQyQGpiYbLirzig2cWWnCskmpGXGg5UQdplqKB6EPIR2nd8JF64Nu6Vq6NOov01QK9wvHiGMYcBwDDg34aONJh9B1vzxCSmJbf3onUcnTVRJILwDiLkQSGFoSScUYMkQmAo8XFXdc7c7mVpshKsnZP1ymzkAX0wWk4M+VFkq6LgkqFjbbYg81YhEmPFI0dhisIRS0ZdI4CyOg5gA9ZTx61HrTs5YAni3N04vSW2Lr88yD+HG/55EU2qFxGosEXIfq4YokUPEotZMx60vMDaZU0zPIh6a05rPBHAIOtzVGlPUkWo+IzImGjDHxtRO5SYQh1PBszTJIh7Q1w600Nd+JlsSV8cxIMPoxmdMbPnhBuFjgKJgAxySdIeDkYgJ3FvBkBhaNyE+NsQ2kjA1x3SDXoMO3cZi48I+2x3wDmzf0nHhZKl1F5C0btIjA5GeRp3rWdbemd3igCT1SqBZty6xbVrXYIYuEyi6y6xiAm7Ypbrvu6yhSBnJ36Ix26ECZhAS1u3K8u7LbEDWnlg26ONH6il1r+XPYrdNcFscUMerRmOszAZnbo5NjZmka4XG1WbakA4JppH1AoC6o88FhfDv+62SCG1VIr6sCotL2FJEdDCEvJ+aZSYkEyeLBXiV3Eo6LO4R1mAjae+EErgdElRiBBDbDYwz1IUdXIFhB7sBhUhlAFjMDs60xn5FWc0eKAvTmAGlQC0itpSFRsSY9fZ6BAMpSEWAvXRKuV5PXeceYOxxSHZiSjjAtd7UtyULujH4gJPXA7GA4n+t8HUFVMfHJUgZxMUbxAd6Rnydd/Nn17c6JgNzjqTjJZycqOHJtGKC1Kny3YdV2pSLFVK7kkAq022+j9IZH7FoVWA8gBeCpLb9KHFEVk5ZdN9ABDnsFImapZ/3t7U0g8ebVQCGia8wvshCZdI8HxKPyhaHLg0H+aEeJr5J5HiaFWa7zpKErhLm1GIAX1qRoJZfudb4SSkAMUJAxzpxbUXh+mhRiA9TAlneG5VzArEnoS61eSYJNEY9vAii7aPpaVueeRyvUXFsa8FgJwzSy2IqiSblmaxyjRREFbeaQxTrnMWQMFbvoR8hMKorqMyHIV3SWXzCTeIEQ9CugWALaPLKqxTCD2oGtXtLGtwqGTlphiILogmvgOUI7TitgNi19ATsRvMYUi9xfisBoWX5ahiEV7aYIbZ+VIagkesGGzvAYBFN9x5Zk2zLo5iTjoBXyg4B7lhB6EJfQ2LfsAP4oL0dhIhRCmcBhW+XQMZJXICb4ClplgnuQwuEJzyL8Nh1PG8Fq0NhhTNTi4y4MKswL0IY5HyCpXAoeiFyhTOq24PzOJkfzatPzEu7MVBDPZmiTHGEE+GJuWY1kAdzn7aTcSqrlOSzFf7knV+NfusKAm9VSEhebmXUSj5pZ3EIBPoeZqQyHeavt1eWGTgf2qoDJ/TvTeIuhJCxnKTam1VoLzFtpGVV1gSq5xhPJLXjPw2bEq9zmYnvSNYFYq7UP2DUWwxuseDJB65sHouvCS24iIi5HkdxyQ6HihQFgVRiM3CUhqy02DBCHbpb3S2vhRvG0RNR8uTP0gA4GxNSe7sksbL8IpszQP2W4UJurWzVcQshkht5rrVANnPUnNvFB3ELk0hOfVqCuH6HUXbKQzkXemG4LQvPLcGdei2GXpREirB3MZRC7TDcz0J5B3AAS4hKSnwv8zXRmtNyiXZBiKWrKb6iKm2IMAw3rSd1VMMHp9uSSj45PXH3x4qjXxkGHdjW/gdIDiROSMQV6EN5C/jMbupR1A+oPyYXabssDdeMI/qm7A8ydJ729yVLZxa47aGk2zNVRNiGnJWnRtCm4kGwIZa3io6lf/XL+0xn7/vTjz2cfjDrvDpv5lbo9vHOi2xPHodsTBSGWukKqhtCYT1mCVxKmunHBJuuA6WfoAV5CmWeHh+p2RWHTJeACIKNrqGpewVrfIR10LRJXDW+dnusJbGK70jaP8AYO0h2vATEyQWiH6xeNtxnHDFo1yDW5ebP4oUWJ6oTdgPvvtuewxJuIFmmRpVR9oTSt7yheHVf77kC8Hb2nGsXripPjlafZtN9dSdNumdW8azOso1FD+K4Oo3QalCJViZASiV82HNMymInKIduvYa++Edl2pctIuCneje5R7LnK1M0NeaJ1qOMUoaK+XGh0HFVolkrarHOWY6Fdxe26lQd/nagyZa99bdQKPmWvrc6FBl0yBQnmxilUgWUolR/dLxuIqmC2mdfNvmkgjKIrCvwl1xqQh/SP/GRYj1ZbkhAvZNStBrl/BFbHAakO4bvTy8mTR0U7t0WzBP1kBJb3A9aXLHHhl64I+i+dkwVenfTxd3WjB/oSb3RNrTCAEhRD3b1UAtqVbPZ+sbtyvXF1fX5h/Nm5J+BtGB0ptTMxkx/U0eg7QwXR6YkUoT5Rw/buJN0C7HWKOGmmXpX6GHgYcl0ol829X58W5Sq//6tZkbhgGtgTxAR3knwneSLv3YalFFUXfR7c88QX6sIQIRmHoucaaGIC9VIUBRQiWV5olp+VqgpFhw2KUKqvJTHxYVkrndcVqN9//PX0Z8NuylMXwhpA36iWDW/kUBeb3YkHV3WbDPrNffZQDSEcYEwMZRgf4McMJwSAuDFRBj4bTgD5Nw4n1msQvyzkZWZRWhnzFnKqAkFbEboh4RcAmVBkxE85j6VL3wNwhO4q8/vwPs3xhgJUeRoZatvSBZ+60n6+qnWgIaPHpzkt8vSzSLzqcgSaiwW1Mkb/vwf9+KAfXPd/nPR/mfSvfjf0F4nbWF+hlBfRHpoKItbT1+SDZ2gn1KZu+LeFu7ZzPBgTuUIwSHW8HZH4aSD24sM6jzS/idRe1F9HOj8kqTX6S1L18aSM48uzs9/PdpFiSbgjC+kso88KfQNzHPoGti/RYEA+L9nkWXl7omN2CoHgtghiwlahWiNH9UlOIUf93Ikca/SYZ3vRI051JbHJdhEsIdzoScxW4rYdjp24rSl9A7c1h/dDnT/DbtqoFXaDkjnfC9tGuzhNeej5WK2S+msU2IvJypDohk/V7Ndhsq8g2oHJamP8bYHYTjQ/gb7K8vf3Ql87GjwNuf7/sOs50Av/Ik7FvhkUjeo2ZXheuhKBAj9P5p7eM/DPDd5tBxXa4rhUm/utS/8foUy/Ox3+03cdGlGpK/lIQOZlkO1fH9D/OdBHBA1EvJVzdCSViAuDfLEqwigsHhgv1H2+jp9tla0n0HMX6mp+BRn0eiCH5yU8Fp6HdjU8Dz+IeJ6h0jf+zxOxCQtTfSaxev8DETsZFw==",
   "encoding": "base64(zlib(python source))",
   "usage": "python -B tw.py CORE_DIR KIT_DIR STATE_DIR AUDIT_CSV BUDGET_S (resumable; 8 fork workers; smoke, choosing, freeze, report in that order)"
  },
  "commands": [
   "mkdir -p test/scratch/kitsrc test/scratch/dl && curl -sSL https://github.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/archive/45e7563d1a29ffca9d608fdf60c90bf2624d2d01.tar.gz | tar xz -C test/scratch/kitsrc",
   "bash test/scratch/kitsrc/goal-3178-build-shared-evaluation-kit-45e7563d1a29ffca9d608fdf60c90bf2624d2d01/setup_fast.sh --platform linux-x86_64 --replica-only --cache \"$PWD/test/scratch/cache\" --scratch \"$PWD/test/scratch/rt\"",
   "curl -sS -o test/scratch/dl/A.json https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4 ; untar base64(zlib(tar)) code_zb64 -> test/scratch/work/qlxcore",
   "curl -sS -o test/scratch/dl/rows.json https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15 ; python3 -I test/scratch/work/qlxcore/mktables.py test/scratch/dl/rows.json test/scratch/work/qlxcore/qlx_tables.json",
   "curl -sS -o test/scratch/dl/audit.json https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4 ; untar base64(zlib(tar)) payload_zb64 -> b2r3/runs/per_seed_512.csv",
   "NUMBA_NUM_THREADS=1 test/scratch/rt/venv/bin/python -B tw.py test/scratch/work/qlxcore KIT_DIR test/scratch/state per_seed_512.csv 520"
  ]
 },
 "solidity_edit_recipe": {
  "file": "QLX5.sol, sha256 e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40, 47,230 characters (code_zb64.QLX5 of A/1ef80bfb)",
  "line": 203,
  "edits": [
   {
    "find": "(s2>>128&M64)+7)",
    "replace": "(s2>>128&M64)+W)",
    "occurrences": 1,
    "meaning": "split_window 7 -> W"
   },
   {
    "find": "t.isBuy,m0,5)",
    "replace": "t.isBuy,m0,3)",
    "occurrences": 1,
    "meaning": "split_nc 5 -> 3 (qHitX tries offsets 0,+1,-1 around the tracked slots[6])"
   }
  ],
  "nothing_else": "tracking (slots[6]) and the offset order in qHitX stay as they are; no other byte changes",
  "edited_source": {
   "9": {
    "sha256": "15a3571360a7ad8698f0e9d8f984dfaaed36f4ebac89bc770fd9bfa0cad2ceac",
    "chars": 47230
   },
   "13": {
    "sha256": "e52a963032109bc449e9ffe8dc0c1da6d34071fbc084234b4286d1759b117d41",
    "chars": 47231
   },
   "17": {
    "sha256": "92ecddd064e3df4c5ae31bb4bbb80994c5a309ed5d09b39edf47c22aaf99afeb",
    "chars": 47231
   },
   "25": {
    "sha256": "576a9a3bfabf2add8f2f957d28ee1d613110e76d3029bdbcb94206bb4aa03f82",
    "chars": 47231
   }
  },
  "status": "text edit only: not compiled, not gas-measured, not run on the engine and not recommended, since no setting passed choosing"
 },
 "timings": {
  "setup_fast_s": 14.5,
  "compile_s": 10.2,
  "smoke_wall_s": 3.7,
  "choose_wall_s": 437.2,
  "report_wall_s": 0.0,
  "search_wall_s": 451.0,
  "cap_s": 2700,
  "cap_hit": false,
  "workers": 8,
  "runs": 640,
  "core_s": 1792.7,
  "runs_per_core_s": 0.357,
  "note": "one choosing round = 5 arms x 128 seeds = 640 exact integer runs"
 },
 "environment": {
  "python": "3.12.16",
  "numpy": "2.5.4",
  "numba": "0.68.1",
  "llvmlite": "0.50.0",
  "platform": "linux-x86_64",
  "source": "kit setup_fast.sh --replica-only, pinned"
 },
 "provenance": {
  "exact_replica": "https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4",
  "replica_audit": "https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4",
  "qlx5_source_and_tables": "https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15",
  "kit": "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/",
  "kit_commit": "45e7563d1a29ffca9d608fdf60c90bf2624d2d01",
  "taylor": "https://github.com/gtmcknight/amm-sim/tree/4812a6382311624e1506aca131ca35c378f930d9/research/solved",
  "bundle_checks": "qlxcore.py and enginecore_f.py (sha256 60af56a7570fabd603c6374d38a38f88b3c35a8f1e8192f588769460a96bfcfd, the shipped core with fdlibm exp) used byte for byte; integer policy arithmetic and tables untouched"
 },
 "limitations": [
  "Replica evidence only, on 128 choosing seeds per setting (one round); the 95% upper bounds (+0.0176 to +0.0193) are below the 0.03 bar but a small positive gain of a few thousandths is not excluded.",
  "A/60dc237f proves the replica against the engine for the QLX5 defaults and split=0 only; split_nc=3 and split_window>7 are unverified against any compiled contract here (no solc, no engine run, no gas or bytecode-size measurement).",
  "The four settings share seeds and the QLX5 baseline rows, so their gains are strongly correlated, not four independent estimates.",
  "Only the four specified settings were run; no other knob was changed, no report seed and no engine E seed was simulated, and nothing was submitted.",
  "The Solidity edit hashes are of edited text; the Taylor repository link under provenance was not re-fetched in this run."
 ]
}