{
  "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: solved policy, Gaussian filter, exact-arithmetic arb/retail tell and U1 tables underlying QLX5; all policy credit to Taylor.",
  "n": 5,
  "id": "mix_band",
  "family": "tell floors",
  "find": "if(pi>5e15&&pi<995e15)",
  "lo": "if(pi>25e14&&pi<9975e14)",
  "hi": "if(pi>75e14&&pi<9925e14)",
  "seeds": {
    "first": 10203640,
    "last": 10203767,
    "n": 128,
    "unused": []
  },
  "arms": {
    "QLX5": {
      "mean_edge": 526.6080532735424,
      "peak_gas": 206273,
      "out_of_gas": 0,
      "runtime_bytes": 22440,
      "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40"
    },
    "LO": {
      "mean_edge": 526.6075677426774,
      "peak_gas": 208341,
      "out_of_gas": 0,
      "runtime_bytes": 22440,
      "source_sha256": "0a8f64b80c3e339fce7bf23be824e44b0e4083e5b466f218fa37a0c6b0daa7c9"
    },
    "HI": {
      "mean_edge": 526.6093027192868,
      "peak_gas": 208006,
      "out_of_gas": 0,
      "runtime_bytes": 22440,
      "source_sha256": "7d66aef0ed371e1e9fa0c04cc7ebc415e96097d8a526c66d9371cad1efb2af36"
    }
  },
  "diffs": {
    "LO-QLX5": {
      "n": 128,
      "mean_diff": -0.0004855308649922563,
      "se": 0.00835365896459474,
      "sum_d": -0.062147950719008804,
      "sum_d2": 1.1344326705291041,
      "seeds_positive": 64,
      "min": -0.5819963073897725,
      "max": 0.3736494880872101
    },
    "HI-QLX5": {
      "n": 128,
      "mean_diff": 0.0012494457443925633,
      "se": 0.006441827182822232,
      "sum_d": 0.1599290552822481,
      "sum_d2": 0.6747772891191427,
      "seeds_positive": 68,
      "min": -0.31571633579903846,
      "max": 0.2634194430770549
    },
    "HI-LO": {
      "n": 128,
      "mean_diff": 0.0017349766093848196,
      "se": 0.008614424348186251,
      "sum_d": 0.2220770060012569,
      "sum_d2": 1.20671553457464,
      "seeds_positive": 65,
      "min": -0.36582514279530187,
      "max": 0.5315914985293375
    }
  },
  "pass_peak": {
    "LO": true,
    "HI": true
  },
  "reading": "On 128 fresh paired engine seeds, widening the mixture band (LO) changes mean edge by -0.000486 (SE 0.008354) and narrowing it (HI) by +0.001249 (SE 0.006442) versus QLX5; this screening run does not establish the required 1,024-seed promotion result.",
  "not_done": [
    "No leaderboard submission; no 1,024+ seed confirmation or broader gates, which are outside this 128-seed item."
  ],
  "method": {
    "engine": "benedictbrady/amm-challenge@6b6921f8d463314aa7c96234e1be25a25245f704",
    "kit": "45e7563d1a29ffca9d608fdf60c90bf2624d2d01",
    "driver_sha256": "d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282",
    "driver_unchanged": true,
    "compiler": "solc 0.8.24, optimizer 200, viaIR, paris",
    "block": 32,
    "arm_order": [
      "QLX5",
      "LO",
      "HI"
    ],
    "opponent": "30 bps VanillaStrategy",
    "workers": 8,
    "map_sha256": "f921f2133d55d8ce81b5d809494003e898fc2a72d1fe47cdc34606ff269d676e",
    "find_count": 1,
    "only_find_replaced": true,
    "seconds": 191.11693435790949,
    "data_origin": "Locally measured with the supplied unchanged driver; source URLs document inputs, not these new measurements.",
    "nothing_fabricated": true
  },
  "rows_zb64": "eJxVmQ2u5agOhDd0FGEwGK9lNPvfxvvK5A5506OWug4h4J9y2fnnH2u9jeXtN1Y+LWNly7327nGQnS1y9G3b/IV8rRWzbZs7/v397WC/Ff6k+4gY1teaq5Cx+tjW2uwxdyE7R0afbew27W7Qf7PFY3u11nrnf/eDjORQ/D0txkFizLk3QJ/9bsCP2569fXXfPtK0AUiOaWNzotH7AdpeZsE13P0+z2r3B8ibBWbguAL4JcxszdbsIG7RwsO59LiPT862nzV9WVu7T59eSMQco/voOXvzd9EabfhctvJugL2m6bq82tqcfcdBzLy13fUnD5JtrR2RxiXvBiwf+XTLHPgGg6yDWLjHGnvlC3COtriN7vkx4P752Fin4zKzbv1F9upbxso+V/qBxsYh2CXa+FyB4/l6Roy9B+bvrhcKwewzJjeJXYC3sLHmHJMz/Pf8bL/Zse/GLmmD52cWMi0nJx7TkwMUwn3aJiQ2sXY3sN8c9hBbTWZveGoWgk/xd5t7ENuFLOKnbU+iYlwbTiJk4vOwXSFocxyAjTJy4whucJb4wKFclAS5z48fxmPz5n1MXpgRB1l7DZcjdYCzBhfb9JY46m7gP072EN/EfJ82y2dCCLiQtYmmUYgPxdUkc7DF3WD+PMbT+WspsYN3HISEcg4Mzg8FsQFpkJ2TrBsHJK5PGRHv7FzltwMN53VyzUwuUYsMC3UjXLjS3SF+5CZ50iepnqSCAh+kN+UuZtXyQkbnfRHOxXLeDeQjjhxOIoiRTG4HISbI+Z57kmEHIZJ6W0NJ9/EjkTh43w6s6MOVAYV45/4VC2x01iwSQZk4rxFX+xE6cMnMnmtDHLixEOfVng2ry6xnjcLNyUUy7O5g2CeeZbAhIRqxxAcFdfKjYlX5V5CcvTsUS87va4UlutqKvRAhK6EKgNt6J8JYsedZQqIoG3n8Y4Sl2O3PwkCGh2Ph/IPgUzIJTrTohbhzGMe1ENON5kUwun6UBxPX7dyF4EK4AEJJ9j4IrN0m1KBT3A2wUY8nw7GhSHW7QqnvB0LHu9AwzPS3Br8maQb2uQO/puoKhMolRiceCtHLU37H8FihIK7E0wTc+NAa+TNhLAJtk3y5qAX7RTrZhGuHNiiEOkWwcLbml5UWob4awcjhVRuyw3OFbHIkMAPnJrwEYT3jX0N50T63gMaSbBnQBy9KnbkQjr1nkNdw/jxrjKiYwdbR7wYhZhzQQsAHWK7LbwIIzk0Owza6pxAiPZVnLLnVNSBGo3Y3OJy/qC6VkSAUBtxkjaK8/xDK79Q592eDXslCGWfrwGhbALWUn0lQkhoyehECnFrJOdrNB0o353oaJ4EtYM2TDwfaCuQFk/wh7EOMftIpOC3SYeqa2BpmIiGFeMKyHJ2/dp41VFokA4cnx+4GWLevB5CUltHc8iBwBPpiQR8jCuEFeKCjbmbcMCJMyaEHPsAH0MkOBY2QbWRyDhhA+kCI5AlMST5/DoB64m5GDuZoysAYB2p6EetdJe8g3IkyTEZjyBuIoUC0h6gdSlX5wF5kiCWVUX9rlJ38A93gl9Yif4M8cdE9hQnG4VZCFsWeBYBwxCiI6+PJTrxDLTcQN4HYJgwCZ3qHNWGmQqIrioIEJEvWWYTuo05b2CcdN5HoUDuFH41ColGTC2ERYSn1Rzl71+BJhAQy8QYir4MLHkRE64P/A846CHdiQxgIafKugf2XMivHtSKvw9kPiYuLiRQitR8EhpPwVLV41ywVj1PRPjcgSjO4MCzD85IWWQhepAphfgryOAjVVmJzjY9QVdwYLI57qV34qOIGhEVTMtlbFTetQQ9ET6rl/iTzVvVGqME/EEpHVdk4iBTmOHv2g3B6zEABQXJ/bECkr9B6mIU6gMoAgJWRfmSWDA73F4KKQZLCrOMjMsSgTeVVCgUNwiZRyKA2oRMJxFGCvksMsmijobHv3YD63NtDHe76mXQsVQRCZ4ASPeLoIJSeqrAK8v82yFZKWLqYTWQ1SeP2JEWLmAlVlhdBq+OPJMs+lSmlFClb0ajNJr7TDYQgeQhNcaLaDSFUWMT2GljwmjC5XgQeQgkE+UjUjUK4dFTZwWpx1lC9iGKjuPklhDxSEfuqPyAY8ihFrh9qD9CFy45SRNFzQ1yNHrrP46BcZCLBTcqQ3HYQMhHR5dxDxbnWcADuQ7GOj85LVc2mbgY+5hobVjsIPtldPuHPWcQ/4Cv2gvw/V6BlUUdIRKo9LL0NQthBC3BxV9+XZw2791VdUH68iIGcfoagdZoW9LW6OCGtihyGH2oBCtmwGWyhGn83UClHHG81A1BBeb0Q6BHyYc0RiiWgKW2UDqL3StUkdWM9Umh0lJJhlV2r2lwqO5lnI+ZZRCxzfUlQdvrbAr9AufL77tCocrJoWQhqAJ0DpY6DwAkSPVCCasTdwcrIcI9jBIWzZSH4NdQoO3sWwK9dpQv2i9t8EsRwNvqcKCW1UMvEz0HoQlRIxElZCNeSChtTiXk3wOyZD3GniqHGWPVVCD0cviAgcrwIjlCw2foeQNrW6T3FahSMKf4oBL8UQ0mgrgNpLxMncd27w6T0dSKnIgEiDBWGoS4FyUDsmARt84IIK3bAoVu9w91jVbg3BEbvHBspNw+CI8gHtOGUTBLiMjU3VRt/N5CKg/TgDZpPlSK2L8+JPlgSkoZnTSAcoAqSoH9igfLr0iBoKHQZN5fwEQIndVH3UhUuZIkjoefeUN13B0lFhJY6bK7IucXEQlKRldKs7xJxNWqzESH/ZQQ1Bc6hcqi28zbumHmQLt2VTpL+IXAHMY9ZiYa7wZGK6kunyJxYOcLQefnmr2oM3zWmBs851seIKj0ICL0+4VnOALseCF1WoTSlXwuBNIhX7kYMf7ZQ50KoSZ7L7+5WgJQEG6ic9vhDKEyIXvV89/kzpYBAOEJTj4A4FUIHizBkUwRoXwdCQXapEKRA+5iBnNeohl/oKHQZqKkQogRfEh4UukLgTxo3UoaouX1D0OmQBvhNsgo2JPb2QdTV4nhQNQa1BmYUR2OeG0wWNergPeJNTD8gioPQHmic0cpbhVDdULGUzfnZYFdLgAF4myZoc74IdzJo6MjaWtLKTa4+9T6vSIWXaABTQ7BZZhTCW6gmSzJX8kuQhhNwmzoau1v0VqSx2X+5pEZNZEQjMK0mdRylH4THllpbXHZbcVLoh39ps5HZ+ILl/iIS2PgMWbGkm2sRqTpkWAjpmqEf7iThZWPYhTIVp6xpSELwEOLrrXQ+6h6Uw0+hCk0rDsEm7g91LP1FkKiddgcptQ6ypR+oJsTp5wy00h16o4IZkYM/q7j3R7REteYQMPKLsCVk+UnqVw5CisQY/ZVVJAgZGl5M1VlcUwhXVzEEWB834KQtLWRiHYlSJWAh0pjF8CqFIDs1X5GGGfnZgLPFVLuFFXcplF4IuYkIBpJz3zUKcIo+3cDNp75LsLlGmTiV2JoH0URLNoWF4gw8EdQcn6iD/z6BwPEGtKkCZpIR9Gx+IPaSmCY05ngX0SBR9wiFK7y5NR5O9eiosSFyqzAAoZHZdV4KhRfkTa0EdtF/d4eXhkg38SZHMXuZitKH0k5F/0tMUDDyG/V6h7yh/JGi4/ywniQLGxwEIYiIJD6q5BREyHMqZNQd6oSGf7CWYgxVrnH76oXw+JBI11zYzxqrCSQP0Q/cDfgR0qKnoC+BmrjoC0D1GhKKrQVwI1PNhGzXdQPUT8WkbSYINblQKBQiD9J+EAzs9K5BaHQdiUz43EC8O6moPK9g0i6FkL5Ws+/WpaCGKjk1p0M93PRjRJb7FPWrT5dcbxJtgrI+BGjY3M4iSKJrED4G/eJNR0pajZWwsVxOxo/xTppU+4lRtlF4FbI0mKtZ0+cWZwy1yAw5WeHnZz0lnlxouwaCB9lquL1U9g0mb9WqQ72NUKx5h9pGIKqqpt/Yuq3SH4Jc3eVQpbzzavqBV0tIACsNbb0KhKhDqtrS/PFPgrCKcNz+f4VOfRpdDm6rdhS2fHsj4k59SdOM/nRCY5N0Gtd+i4zKoj6qiMrJW25R3tgaFqFgqCsammch+oyyqtZz1bvDUVQwYdeUEbH3AurlI9VjEuNCUgMsscenEQqIm0hGwhOQhCyqb9pBVHFQ8GpcCHoj5jAfh1Wb8YknjStcryOYU/Nyr5EEhV0tB9yvwt4PMlQVQyL7Qwsa/uV4eIw2Wx+O0Dh+IEo3XdSsDroQHARlx8IFt6GG534EKDmUu0Z3KE97EdoB/EiLBMcdSJ9yTC1nrs8ZskbJZL80IIquRNfUnEIbkspbOqkg5JCm8ppLfHaYtNTUL0o6/+IUJMIshEOJLLs4zs4acqpGXprH3Q3EfOzOT6S0aSC8D0LUYRdVe9hHyMZGaapnnziYGiXjZNUSaYsq/nAqcoPzhj7R8ctB4LWk7BLN93ENQap7DV0YFtGsqBB9+FE1Wu8SKq5aS31D+7xenxgmvUKUTkDsa8gqpAbjpsH/mgcx9XaaCs2PatUEl/KFWSEdfUEkoQ6CQD7tpzwghKadF4ho5ocZ56pOlbCXJi7N1AsRy0ukSHqOgzR6jU1moJU/G5wZhqIYDqKVVUcEQA9MXuu7xnrTneMpX/Qd8X6E1RdaEbdyELISsy2R7VIfB7vwqonr4w/SqE9X0xDm7oGH1D8TXJC71UiqEMOOOIf/JL2lFHRLhATd2mc+RmogZNQrt1OA0CdWyNIXta2WTexbazSZmV4Jcm+xtBzeNoWNvj2XGay+IiD8Fc2jehqQoS9krsHBne2oourjFjZavfp33nW+gFVcd42qCS8/kEhKFDc/83IVRXpufQ6Wo1Xr7AC0Zeo1NDHZL8IJ9BpUyWVVNX1Nox/qAAWOUqeZXSvpgCuosynVe9bARo1ehxb705KvM/bghlPtBaqw7xcxZR5pXp/YQdTImocuGjefpGeDYNB3bxShvsWobxyPPrwH2kaTo3kQagIH0pcX+5iRONF3SlERNYPfkRsFadCZ+oSFYtXQv1Yh5+gFAGGgf//9H2ppt2k=",
  "rows_format": "base64(zlib(UTF-8 JSON)); rows [seed, QLX5 edge, LO edge, HI edge]; unrounded engine outputs"
}