{
 "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved (solved-policy research: replica, Gaussian filter, qm tables, gates.py, harness run shape)",
 "item": "copy-a",
 "batch": "e02-base",
 "ready": true,
 "submission": false,
 "P": {
  "passed": true,
  "command": "python3 -B gatep.py --reference scratch/reference/taylor --cache scratch/cache/gatep",
  "first_run": "gatep: PASS (executed gates.py)",
  "first_run_seconds": 4.996,
  "repeat": "gatep: PASS (verified cache hit)",
  "gates_output": [
   "seed   perfect-info      gaussian+plain    gaussian+qm       lattice+qm",
   "10000  448.261189  443.455598  443.522608  443.663520",
   "10001  576.779199  571.463409  571.623551  571.977293",
   "10002  531.886497  525.168028  525.865859  526.411631"
  ],
  "what": "the kit's gatep.py SHA256-checks every Taylor file from reference/materialize.py (35 verified originals) and runs his unmodified gates.py; exit 0 both times",
  "upstream_gates_py": {
   "checked": true,
   "url": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/gates.py",
   "kit_copy": "taylor/gates.py",
   "byte_identical_to_upstream": true,
   "sha256": "603280c1f595ca163ffaf2ba1ebdc7945fdb08dabae67fc53c922d39e1cce604"
  }
 },
 "compile": {
  "base": {
   "runtime_bytes": 21055,
   "runtime_sha256": "b6f3c2c2a78f7f5676d16fa8f78ee9ea43fda4e16f957aa3e1eed2bfe15b1d05",
   "source_chars": 40615,
   "source_sha256": "99d031f41074ea872c78fa7dec5db33d9f20f3251e29bdbb4682c92791334b72"
  },
  "lb4": {
   "runtime_bytes": 22946,
   "runtime_sha256": "dab7d69ddb7a172624b37828021941904406326442fb11f750a727e16707d017",
   "source_chars": 49905,
   "source_sha256": "a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb"
  },
  "qt1": {
   "runtime_bytes": 20605,
   "runtime_sha256": "79c8d6c305ec6dfc29770b27cfb15b6cbd57b1fb01a23309cf8c131ca5c70189",
   "source_chars": 42990,
   "source_sha256": "c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca"
  },
  "compiler": "kit path: engine_eval._compiler() (pinned solc 0.8.24 hash-checked) -> amm_competition SolidityCompiler, optimizer 200, viaIR, paris",
  "expected_runtime_bytes": {
   "base": 21055,
   "lb4": 22946,
   "qt1": 20605
  },
  "runtime_bytes_match": true,
  "source_hashes_match": true,
  "runtime_sha256_equals_artifact": {
   "base": true,
   "lb4": true
  },
  "limits": {
   "source_chars_max": 50000,
   "runtime_bytes_max": 24576,
   "all_within": true
  },
  "compile_seconds_three_arms": 25.211
 },
 "config_check": {
  "seeds": [
   10000320,
   10000321,
   10000322,
   10000323
  ],
  "fields_per_seed": 12,
  "fields_compared": 48,
  "all_equal": true,
  "simulated": false,
  "how": "driver.config_for(seed) vs kit engine_eval._config(seed), value and type of each of the 12 fields; the driver repeats the comparison for every seed before each block",
  "kit_vs_MatchRunner_fields_at_indices_0_3": 48,
  "values": {
   "10000320": {
    "gbm_sigma": 0.0009812994766463295,
    "retail_arrival_rate": 0.7068785887190598,
    "retail_mean_size": 20.82288958106298
   },
   "10000321": {
    "gbm_sigma": 0.000977907281302296,
    "retail_arrival_rate": 0.6798100289038287,
    "retail_mean_size": 19.845135936064892
   },
   "10000322": {
    "gbm_sigma": 0.0009034085223744296,
    "retail_arrival_rate": 0.8558211978502094,
    "retail_mean_size": 20.936480210322486
   },
   "10000323": {
    "gbm_sigma": 0.0009888279257325512,
    "retail_arrival_rate": 0.9058313689813065,
    "retail_mean_size": 20.627261625667213
   }
  },
  "constant_fields": {
   "n_steps": 10000,
   "initial_price": 100.0,
   "initial_x": 100.0,
   "initial_y": 10000.0,
   "gbm_mu": 0.0,
   "gbm_dt": 1.0,
   "retail_size_sigma": 1.2,
   "retail_buy_prob": 0.5
  }
 },
 "timing": {
  "seconds_per_seed_per_arm": 0.9770702056072574,
  "block_size": 32,
  "by_arm": {
   "base": 0.9048867127276026,
   "lb4": 1.0620368797099218,
   "qt1": 0.9642870243842481
  },
  "blocks": [
   {
    "arm": "base",
    "seeds": [
     10000320,
     10000327
    ],
    "n": 8,
    "seconds": 5.759
   },
   {
    "arm": "base",
    "seeds": [
     10000328,
     10000359
    ],
    "n": 32,
    "seconds": 25.356
   },
   {
    "arm": "base",
    "seeds": [
     10000360,
     10000383
    ],
    "n": 24,
    "seconds": 26.798
   },
   {
    "arm": "lb4",
    "seeds": [
     10000320,
     10000327
    ],
    "n": 8,
    "seconds": 6.186
   },
   {
    "arm": "lb4",
    "seeds": [
     10000328,
     10000359
    ],
    "n": 32,
    "seconds": 30.781
   },
   {
    "arm": "lb4",
    "seeds": [
     10000360,
     10000383
    ],
    "n": 24,
    "seconds": 31.003
   },
   {
    "arm": "qt1",
    "seeds": [
     10000320,
     10000327
    ],
    "n": 8,
    "seconds": 5.964
   },
   {
    "arm": "qt1",
    "seeds": [
     10000328,
     10000359
    ],
    "n": 32,
    "seconds": 31.529
   },
   {
    "arm": "qt1",
    "seeds": [
     10000360,
     10000383
    ],
    "n": 24,
    "seconds": 24.221
   }
  ],
  "command_wall_seconds": {
   "seeds_10000320_10000327_block_8": 18.677,
   "seeds_10000328_10000383_block_32": 172.988
  },
  "machine": "4 cores, run_batch workers=8; seconds are run_batch wall time only (compile excluded)"
 },
 "E": {
  "seeds": [
   10000320,
   10000383
  ],
  "n": 64,
  "base_minus_qt1": {
   "n": 64,
   "mean_diff": 3.159747220557769,
   "se": 0.13064254208484938,
   "min": 1.0314312866428281,
   "worst5": [
    {
     "seed": 10000360,
     "diff": 1.0314312866428281
    },
    {
     "seed": 10000345,
     "diff": 1.195718425653581
    },
    {
     "seed": 10000330,
     "diff": 1.602236818638744
    },
    {
     "seed": 10000357,
     "diff": 1.6812594547079698
    },
    {
     "seed": 10000375,
     "diff": 1.8741883863575595
    }
   ]
  },
  "base_minus_lb4": {
   "n": 64,
   "mean_diff": 0.23947187471995246,
   "se": 0.0483958954209662,
   "min": -0.5678960215294637,
   "worst5": [
    {
     "seed": 10000368,
     "diff": -0.5678960215294637
    },
    {
     "seed": 10000369,
     "diff": -0.5424081190946026
    },
    {
     "seed": 10000334,
     "diff": -0.494732596740846
    },
    {
     "seed": 10000361,
     "diff": -0.3549835319496424
    },
    {
     "seed": 10000378,
     "diff": -0.3396977972813602
    }
   ]
  },
  "lb4_minus_qt1": {
   "n": 64,
   "mean_diff": 2.9202753458378163,
   "se": 0.12516224906949477,
   "min": 0.6034029954000744,
   "worst5": [
    {
     "seed": 10000360,
     "diff": 0.6034029954000744
    },
    {
     "seed": 10000345,
     "diff": 1.0724817213922506
    },
    {
     "seed": 10000363,
     "diff": 1.4224780621100308
    },
    {
     "seed": 10000333,
     "diff": 1.5191444234915252
    },
    {
     "seed": 10000349,
     "diff": 1.5605228787752026
    }
   ]
  },
  "afterSwap": {
   "base": {
    "calls": 689710,
    "peak_gas": 208316,
    "mean_gas": 131027.76237549115,
    "out_of_gas": 0
   },
   "lb4": {
    "calls": 687258,
    "peak_gas": 216447,
    "mean_gas": 140105.25526221594,
    "out_of_gas": 0
   },
   "qt1": {
    "calls": 691846,
    "peak_gas": 209237,
    "mean_gas": 138087.40683764883,
    "out_of_gas": 0
   }
  },
  "mean_edge": {
   "base": 522.871983482907,
   "lb4": 522.6325116081871,
   "qt1": 519.7122362623493
  },
  "peak_limit": 245000,
  "failures": [],
  "how": "each arm alone vs the 30 bps VanillaStrategy; edge = edges[\"submission\"]; blocks 10000320..327 (8), 10000328..359 (32), 10000360..383 (24); within each block base, then lb4, then qt1; one amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8) per arm per block, gas_stats reset before and read after; zero oog/revert/other_halt/tx_error/bad_return in either participant",
  "note": "smoke only: 64 seeds; se is the paired standard error over seeds (sd/sqrt(n))"
 },
 "rows_zb64": "eNpNlwuO7TYMQzcUGNbHkr2W4u1/Gz30fW3SDzCjSRSLoij6n39s8k/4fJb1qOPbz1q2euWNeKxTHbFjhSIxytqjcu2KVX+e/xLYE4fHrXad3jOXE6ixds/mXT/BC4R8uM9eq20vy3wT+FOZ4/C0+Zweu9eNdGR2TDebeYjYWDk3iWra2edNEA9nGpWb5/f0ySM30lUxM4qTNSVsG3txpL3LybTeBPm0zZG+lmd0cvy+Ee/aYTxtZefpySkzgUU5AepNsKgvh8UBxrIilDcyj3VFTedkR6E5Vpn77mOzlr0Z6oJuTReaKladuJG02CQ863j4rw30KbO2Z30w6GedPTzb7diaOf0Q6bHPzIw8JeiJcEqfZ2/37/n3k37Gak8a1vSADt0Qge2zSOrnNKEaZ0WUxxS4nwMc/tikKGAqOmG5byQqQocH3VpFKEfS3V177dPuLxFiPtmA7kAFC40ygfGGaPehd1a885AeEPhtwsewDxfDHj4/oPF2yzL+h0p1xuaoAA8U1EakxizwMAeInP0mgIsOxAcWFDiplBsB/DVJx5HpI3iMya8H5pet9DdBPAlNMvbekEd9W8A2Y3BcF1c5VZRCPujUhI3m5W5vN1Q0JcYxmArWedJuhF/L9uGUaighymAiCEJc58hvClodlN3O6GzhX4rs0aAQQArNJnSK0lDa/ZQyvQnERx7ffAi6t6+/EQADYj5ZvTeRBdo7YMlec/Z+E1Ai3ztIBRMBWIsZVgSShelt/qXQWANiHeak9YeONwPpVwyNpAE/WnT+j/DFsxz0CcwBApsKT89vK+F/Uh5wzmKg03feyLqpaNzR3DJKg2fFJBHmowopZWQCJINMAKhJVgQBlJur0yjqXAikGaCcZ3KMNwFd4/EA3+hl1KaRIGKTQk+dTQraSIJdnMNBgMQvhukPKQelMreTL5xzAwBg+vOqbt6X0tEVcQN1rfUpATYixa0vaWp5Am29IXUd/sFPpoIQKCAeifiAwzcFoC2H7U2Lt+/J0BCxgQ5yghVruqQmmX07vEldvPUKQ4IxXN9mNJnZaFqVN1SMCO/NuZh4IsaGKW8E8Bi0+QAJ9Rol4Wih3XGmWtkSeARJdZSUAmYNei1tPBU7XyplPxWkL5ounIGzfhEgR6vmHQHGGg1kyVkibxr9NwEqoM4jh4keNjP7i/D6OYQYTVrBII5GvGkuwKz5OcG5cipxnaiCM3AAAyfHphiWxNTzfRXThRFCnt2fRqz5BEoGkdQlyGVsCEXYe+ypqQFErNAWOM+xUMjNJjyvKCw2NTCq4a55oQiGOlqrk/2PrLTKZk11DLkB9lhC9s9QsdsR5sHLahO4+dFQwY8VWl3wq7Wm0J66C64F2GeoV7BYRRXKZgB59Wj50kqGHBFD1V2r1hKhSFaEa7TWpwiOt/AGrEUdl9FCxxSBvvwo2LccAUcdpiU9VRsceTOsH9cWHoB5p9WAdUP8zpyhhC5KI5wog3EUPED3FwU6jaIbfGIe+I9dQQSDw6i2BAe1ybuQUVWL2RNliZfQrARM1UAHYZZkryQkRLy0+eQwUkMVDAktuc1KWPUmkJAkE9RtennxhRuBCfS+ZVmwBJAEpKiJ/Ynkfj0PH9Si0iwws71pn/0idITewT18UNw9FVdqgrEg6/8ZCn1MFF5PwxW5Br+R21w+v+QGrzIw+ECFeASRN4E9dJwD0kxDA/yuLZYte92gHdIE8leEZyNUGpINnG8CoY5Cw/KQ8biCfiPoI42ApWw6IiDFNsd4IQus2jcBbJyF65qlnbqk8USWgEVJJjrHxFzjR2cOMnVgS7+NrLzZQwns+kZS1kURWYGDLgoTmQO+4+UoNb9+QWu5+N6U5mCwMal+IwzPnjLTqCFOcB2ZX4jMEkfnPiWwAKhYKww1ZwhwKHFDVMvP2Bw6icJTFT6C52lywtM3AzzZsFlKRvvkLxSBeppfDMPRWfhMoz5AhtlgcunFpxEySVwiJjZDe5U9psgWsqyIprtLzcL7LflTipTN/yTA38NV2Sa6SQbbN3CkUa6RpBpghG4GjByHPPW+3/OivjFp7CQwvy5Nfdh33A46uH4zuiTQFI39eCe6odkBdLKyk0Kmrq5ZFoWxntoGGmj2mBBEM/jI9/vaiZIsmI/jpsBrTfJeQdALxE3zqL2pbKVVayj4m4AeB8azddVglTMAfSOmc0JGKrgWbmJ9U44QN7T2O0y64LQsfOjGgnlKLmaK4H3gULcW32+PyhwjBiCLLrwJuMPsTQvIzT6C5WjOL8R6gLmoPc8TwUKV/CYwca4PCPXfRY7RVSvQlN9FTvbQJGM48t9FrriPYGWZ2Q+XGTVdmgBY+00WTgN2b1bsRSaYZa8FzxkOZD6sC0YS6fqwmU+SXH6d/KmRuwNV93KDvSCDyfYVMiP3jYvRlnvfP1fDNk3aIJxatFfDMCsMyJQOck5EGktDuwJNgvDvATa3GK3IDefxY2xISe2tWZcClyVvWXx5YXwOP3NrgBBvBvY0rlamWpMDN6AODoJdwDbGKevyxIaTu2Xna2dgK74gIDniKo1IZZB5/QXIFro8w1Fdmg/tZr+hK3TWXjKRPaVBsJ51Jo/Ii39DTC93z5jXvxQ5ZTTYQprpP3/+BXalW6k=",
 "rows_format": "base64(zlib(json [[seed, base, lb4, qt1], ...])), unrounded submission edges",
 "driver_zb64": "eNq1PGtz20aS3/krJskHADEEUZLtOPRia2Vb2XXFj5Tky6WKx8KCwJDCCg8uBtRjdfrv148ZYACCspLbdVVEPGZ6evrdPY18983hVtWHy6w8lOW12Nw1l1V5Mvn222/TOruWdbC5EweilmpbxMtcClmus1IKfjkTMk4uRVwXIs4reByv46xUjWgupTiZiuVGiV/jMsvz+KKp40au74LJ5G0t06yZiS/xXV7Vwl03RXJVZuvLxvPFOmsut8sgqYrD7vlhXBQHKiv+8vzV0XH88uTV8cnR0cvj5/LoxfRlnMRHJ0dJfPIiOfnh1erHk2n64wQQlnGdXB6qKr+WqXD592BT5VlyJ8zr14RpvS2Fuow3UqyqPK9ulLjM4L+4LqVSQICZgL1NAIcIcIhqFcCEaBk3yaX7mz/coC+Sqlxla+WLV57YyFos8yq5gp3FCl5ty0bWihBoxFKuqhoglyk8iFMRr+ClF4i3VbHJctmCEjhiFWf5tpYiuZTJFTyCS+CVkqJa0S5gB0BYcZU1jpowmyJ5HefIQTdLZdlkzd1BkR7k8bYEIOpwXcX5wcnRD68OltssTw8YwgFO2sZNVpUHAOwvz1/IH168PEk9YN1/qXgNaK3qqqA14T3jU20bxl78PRAqqZE4KFCBuvy7cIHLN8BXcYAAxbv3595sIoysiYM3wpK1A6UJKS4CYBo+kDJV4qf35xdfxIdT+HNwgMutgn+oqnwCnGWsZHhqgJmn+fJ5+Ob/twLt/MDwaC+YZLUmQEIIt6wEyNA2J/J6j4BmCTioynyUJgSXx2jYQ9CfN/irZjCYBFB8Eu5REJwc+yKVq3ibN+LkGBQOXm/TNQjjxdnbz5/eXQjXvH4+ndL7XAIBrW35k5aP+DoBEyDxJhAXRACUzKxM8q2C/ZDoFluFwi7+HIqjqT+d0n/0BqwFiCbJEi0zcdtLATq4ym5BpG8uZamZgQ8T0JVGpq/NPmY0fZXVsIhhQh2Xa4kSe77NpRKArSxB1xKpZpMDNFiKtJ5sFoltXFYApTYIkV1juoF6AYuVTLYN7ofhu2jzlndk+lC0s1LEPN57jQvQMERWswRu4kYUFaBYlYkkuwBzfSHJjHab4+0DQ+pAvCHzYAAjwsoHkckapbFASt/UWdMAfcC6ABKrHO3la5iDi9ZCNXGN5hgWX2VlSvCLbiCYnaSqzeNYAfTlti4bMBhop+rtBjD3iFMlYko46MFo6sEUVEg7JgQtcwmIAC2JvDTwTjZMEt4FGQKc8fnzX8UhIABgG7i4jHP8aW4FrAtAD0Fv0Sw2gA8iLDPizwb2kyXZJi4bXxSZUlm5BqxhAmC2TYDBarXNxcV2SS+BqMTfi5t4I5I4z8Esa+bA+wLNFM6NAeXyACiUNcB7oD6ygmkjUwAPe0LzK1N/QH2ilk8EQs6xCgt5i6OOcdu4vTttxxEoWlogkoS5RtGiuly7CNKb4X5hHVHIGFxS9i+wtXENMONcoAHwxV/ffITn6yImpgBmaATI7q8ymacoknxBZNYm2lEGAXY4Yqsk4oavN1lZwmywKokgp6cu2a5JAqYhvEaWgpDTFtLqpsyrGCgTTM5u0ZODLueAofznVioUdaZPkoN3Aor98ALEsNps4AWwo7U3rpYQoeJC4j4KpCKJledPjo2/CzAWmWTFpgIxies17BbMhL5HdPNsaW5BeTcyacwtWW99Day+NNeVMlfqrr1sZLFZAYvb+6yQE3J0G5gKiwj94heENHl7fvbu/RcRCtf5D8YxwgEWm3/OIKjxxXhQ43iTnwk159/g9Y/i4x9XqyT+MX05fbVKVy+nyY/T5eoYsE6P0+mRM/n4/lN0cXb2TqBxj8Cw43+Tj6e/RW8+fH77Mzw+OZ789+fzn8/OL+Dm1eTs/PwzXbpOVa0dHzeGRgCvyAhHaAvwrrmNyBjgNViDiK0B7O+n92cf3jGIMgKR2ygcguqbxXm0qbNE2g9u7Zs7vFkvi6jYmivSKHOTwtJ9qqNKRloPI9RDxpkeo6ZGqKnWM7ztYOqHy+0dIFYt8RHqB+xiMgELgHHb8YuXbho3MYVFwhg9LdyBPSC4lLdptgY1c838uKmKLIlQ2F0UVV8gJ6WGhU+ATii09NZrnwZoN8omKK7SrHb5RoVf6i2YGTBgqomqK7rlKSuQt6bYACyjKTBT4bW7qSU46tAJHPGMQZeg0hBnZHVorcRwmvpu1pKXrFSlglVabWTp4hrOjeOhvYUIZ2axQZA2B+kW1qP9+TgCzHGJMh4e+WiCqpuojMvwpzhXGmvzD8YG6Cml6/wPCtDw3QqilUt38BzwUndl4tIA2HBZuV43BF7XcpPHiXSBLr7oqAt+BJCxtpmtcDSRgiircIY3G662LfOsvKJ3mregiVFRpRDDuHCpZ4A9fK9tVGvfrXhfuDowrNG4mxwC6B6XEJhnFBb62sleyTvlBWhgETAGdVpUcDXYHhkYTRbYBPp1fAXO2elnGI5ndmZtq44zCOMu7lBK0FG4K8fkjRCsDlIUcPEIGWQGLHgFPvMebh+EC76K8wbPafGAcJgwJIRgIphxom63tHkSgEsA0+JO/XaShsIUtJBg1qHBX1ZVgxH3JlBFdQVvOefVU7TtARFF7pC3VQaxZrthVunnnvgmNBOA3Pza3jjbQhrGl49QryVem3kxZ3kphN8xFei4WoEEtJkaz9Uk1AbG3jzLG0OMIEjQAYkRuI8YKZ1vIVaog4j8RmTyHowAMY5GTbydiZ2gBpaOb5SOZjiKIdvYip2mawmqfYdkLTcdKzDpRnGW4MZAboP+NQdVPP3N6cXZh/efzqJfT8/fn356e4agfvWFjSxvHqKYEBYJQCHSqgiGCIeENQ1FnGEsvAHdzGCjhftrMDT8UYFaNvY8vtXkhk3vA2O7lQGk/isDjGi3A631YgaG9aBFg7luE6TbMEQsZkZIf30xgkbI/BtuNcQ/xmZFYBOz0rWdkF6ZHqGaZAqrRDEkQsaWY74ByQSElQ1pqo9KmIPHudtI9xOIl+d5QoJZB1ibWgNvhZZCYCOQrkQJwwi0E9+3kMA19TZBuRGYU89MqK6F6Fp1xtTXQTvp1WvWQ4WhK2YtrFcSUG/lF3PxUMwXLLWgDZz7lYxEp9DAGaLdCkYPFQ3WlIHNlM7PyFswRTBFgZTL1C1pCUqJ0G8DOM+Y5jKgdE+hV3WdyNGJm7GSbId6Tsf6R0NhICZJWOlzIUaPm4ZW8EXpWZ5PG5xQ3D90zxApDORhoRwcgcureRAR0Ab6zg6kawnzzRJMGZyOkXNvXXzWmwp7jdFcLsmgonhALpRxzkm3y4Fj7Wzpryg1Z2gjwRNpxjM/Vb+kBWks8fAe/z7MxD2igb/xN/UDLn6/hItBGMFUmePQBexNq0Hs2VGAHsMB4AIh4VUf3/24Ek6c3ukNM4IWIhiqxJBqlambZklj6zdkZ3Gu47tS+6cwx6iLXZWvsQv1fc9oAFxL2yC4ALNQkKZxyElFoAgEstO5n7O2RFVT/TUR0+BVcPwcIjcIQgowGbU4noJnvs5iLCWBEmfqtclIlxBEgRLaCak3dBkI9JatYrWtE9kLdAMsqUbLu0YqHcG02IRa2/hWv00hi0A9djc6fIUxOtTegPFBAd+QVrMemtnB28+fvpyfvv1yEV2cv42wDrbOq6XrfI+lOsfzFhrBPIkgkue1NVzCPyBbmOcBCH4kb7HORPrnMLUczQjw6mgEOBdoY2HlzvUjpoDn0z5s5HVSjOAxiO0Qj6Ikj5WKIs/z91kFHU1p5BcQ5ZVJlUoTBxPbU0P2TgggQHQR4WfCocpWF7rxjJFgcV2hFaWNYXFBuXokcbEBG2LWRC9gBXpo8QgFTNiDjaxXka6yW+E8nl/kDdldvXl9ockGQQBty9k2q4NXjtdTWqpmEYBAV5jGFBaCI8TAqKw5DtArUmKta0hgRzQ4iteUrb/XfJgQtfL8iJxhFD48XSGRs2k2hDxGg/6ilDEAvKSJUA/C4RrODnH0/N9BnQHIcSIZsLtUYlkhAxcldJoUcj3G5+IwgAlZ8TWh8QYZTPmzOy7uNaPYnwjKlFd3ku0IQkCvs3ScxwBpvDUgs4unoGBsq4KRJVjiEZEWB0bkO3LYFQDWGh9JpFVUE8Q3G/QtUXAJxwCdH2IFk+ZXC7Z1V2jrXMdMp0oGA8BLDcJoSlauKsMRlqIIbXCIORcZY19b6IitVTgwWpNdi0Ojk8u4Zie1R09buLQRa+QITI2+NVQ/8VraDNBr3+/AMmSxgJlHXieEA3DdiMkemYn2zNSvEbRW3naANs0jKOqRofNU38u5/UWVZ6BRd/oQsvacvbBbQUXBcQYPnUUvgkAR8S1p1FvSUQWdqOL5gM6O0YGNjN4J7D+XUjz5NPa1xgU2ijV+PArYwk5h93UFHrewSiEmuX1KXJ+s1n8grLcDZo6VZ8M410TCtABFwhgx7sbH/6F41zK4mhwmtASEdB1RE84XmqBGjumWqOdDluCbTIGZG6xjFYEVa1RE5+DaS33dlfdqh61P10A7MaD8w1JHurdVSEuELkpbYQKe/Yc8XjsA/lE69LhN5KYRZ/RDZ0sKn82E+E7ArgJIovi46T3XmrF8YI7tgVSbeA1CqXAWDCS31i5tKGlIvHLuKZsB8B5EasiQKELWwAObMxplLaVa9cZJ2LkOQ+6GprLVZqtPh4hDLrmepQPwgHQAX/QqnJAdu/h0DoEfpTZT9iOSanu60NUX1d1N61IbJqHLOLky1IN9I2izcYWneYC56nDm3WBtcO7UVS4huwpD4XTngA5luPDWwNYj2uNBZ6FD2jxHsqht4erRYMqshWBoryBKyMBbnvgn2PdsL1cdfWJpnU8edueTQPAuUCZydutjqjh3qqsdVB5ZrHci2u2zK6NyJlMHnFgCWDz/JpEiS6Pf2yZ3dB3NNBx3qLXSHK7qxQh2dWOgd7DorDXkwo8LrwIyHJAgd3xb7MSbBRV2FR/Xkin/qlwNj3dbi4drDpNoxiErGSMy25jR4+OdQH3P2J0NlVVdkEGozYaIIZEWZdJB4nWoT6mrq1CL4AjT9+VrGxlfRSBGYRHfujgXfqOKHu3CMKXacLoXHmCgpxtkuidPRqraNlG1soHgsd9wtiYKOuQ2kkTBC+f0M58utPOfHxwt4LrkYI9k0zeGL9S/fifuYUfnEQRbGxfS34EDC+/p0MCbiWu2ZfDeKgH0xgYgWwWYSu+hX2MfDTR01LOJM8heXKyG9SMb9NJcjMC5c7UA272EH8tI03A2WSX6LCAGzepsE5q3qe0vCSGibBlC6EflW5wTYoEVEdAXRVbqqxtIvJoX4VyLLLUlhKx/K+QlW40IRInrkbg+pKUlW+nUjFX/rBu3mwXTDgiWJ77/XhyPw3BLGHTkcXFT/Fkccfl3GkwJOGHWVUVpmo/OJszjYpnGYjMT7mZ+BJKyAdnxvPnsxWKyS4fSpgNeER0A9UMLdQwikCi0KEBDsDuyZGhl1d182k6YarbpLdLARXv8uy0KCL7/Jcl5yi60/YWEwyo4Uw2aWyu4QI09Nxh055LaoXqOxHQYCddqhUHH2MW41AUVkueUcwfvtAvM46XM20AIXzD7uTWopfn9si1k4vaWxg0DMBrpLIwqcIxyn4MbR0u5q1C4xjxfoOu+ASyMLj3QoJxqyoQTR5FNtdVlJwoe8RgEMt/v53hXe31HFtBRAYYwJEmECglSF3emeHrVebtOxcw66I3z3FUGJmA6RIxL7cqU2mn/DJ172UxQiW1priYSvXEWbNn6j44W4hkKv3W+YFnElHSTDSBeez4RMMRAG00KXQ3lk5vKQgJDy4T9NSkH1qAJ/ZB7mx6rDFIzVpyHmnSGXgdEXMJMXzM9Hi8zbsutAqWxgzrdB7jqCGuW2KX2wutCDYsxnf2j9BLlsBU2fqKFfhj7gXBboWE/ECRR59lWUSreN3XHZ47OL7vZ5WPjQByMtqIgasnoUZZFQ4uqpy0c8j+0rLB+jc6lJTjz7FC0kkVKQwpCSkNeoX+S0/rZ3RCmH40MqWLejuz1KaGJMA6JVnCR+ofMQI/rzMjKPUg/HqAMEe1ej6A6wK+NQxhOWwrZ3eLYtGiDkQq6DverANDNaufY7rLTgAzbHCmV2xYSSyGutlOzXgFi2SnKPEOTM1vMhr0xwCm0KUAJyEnjBzxg3qrofvmACZQJYUiYYjQieLGEi7TFZ+cIqZQ3FHRJNkT9Q+LRqu4VXP+MF+A7ryQYOJ26+2wiQvprWUE2YPMRL60TSoUvTdMh37AjvguZkCZAqxUddSkXD1EM+bTntEtD8Jb8H47qSEik9TG40X1Y+D6oyW5iAcF1QivvoNHoKugXoFqHWdgFYudBPAZWnMfgQLgN13jSxVgFfrQNJ91u8izB9gQMFRjmPf08vMYuUfHh9M3Zh/CX0y9/s/DENUxq5eotEpY9fuMoTcYCT0IN7TZkgrmPMzit1yCgZfML3tVuKtsWpTCK0iqJImoxBquFQTydV4Xt5PP45l034W8y3/xkhupsYhPEaQr840Vcp+ukd0BaqB0gdHgnTmd0UBoK2cTXcR06cybBwqLBGFh0zA7W4+q1Co+5cSGkpgYDyXWohR6r59hFb0rnI8BAUxyf2mlRt6wevJGxZA0cez2zi7YDc/9casQ1k3XzhZn+fAqh9t6pHDT8m/aLXRfdwpUKZHmd1VWJR5au8/7ju+j048cI9N/xUCs6X4cdh6ALpCb7G9J0vAeZHA2MIjwGjSKrv800KO5HkY5VLCQ7azs22P4uxBI01VS1jBpg535Bsj/8eHRqTdVpgGBs1Noccy/lmtK0fVVUXUU5wloVTgu4MR/uWpHpDAgsIHUF2XxIYr7mOAqC+3aGqZ9IjHWttkVaANvuuvNioZflG6opatbQY5D+XdbgWWfAVkvzQlcCKR1qTbHeGoPXxxHU7jMsIdEInoyWs71DW/pn+x4i8Z0BfxKm53nQ1WLTaudjIEM2rBGrBCwO1gEpIcBqFC6yrK6luDew7YqU2aaVRPRQ8gcoc/LQlhKJHCiUpkdqNqwf7++hGj1lNIzyR4LPoe++uYybUHucoDsgwZarq6zXgWlOSqhE3+/X8kXv8yZnGD5Jqv1IrPxw+0pkPoygUKyGmFq3vOhQqqt0UudwZHXH9ECjKF+ryOp/1HCiuIkyYCLk5dE0OgmlNJtDuw27wZTd9TgiCmklzyqhYh5sdXFw8GyzKHQIJcfv7e7xPo3fvXe7q0u77enEDnGsAIglTLtPr69uhRqxGA6INfqJhtpDrY/Y6Nsadm5OrzMnpSoBBhSzx/qMOMW3Ag8T+DwYrDB/uU/mx7xfiszMEm1B4IFq3EdPabgdtiu0zQDmNG0pmxspGQmrhL/fDD2iTDsdDQwgxPJJYmI92Hh/V6Zi8piQUQHmiqHMrxb2MX/vbNw669fHzPTRgnUk73xNEEf/Ob0eAMeUd56wlb5s6u6vVVI2uf2g+0KXDubIsHCBNKZP99r2qRJbY8jj6KOuLibQH0V0LVwQt/Q6yRipgbv6fZ9S8FcP+MEDer4WCnVL6XDOifkrCLy1UjbccbCic3L+qJifoAOOzn4T/2vff3rTOzgZYLzbgGXOBGW/DWvHMQ/asXZbsmxAVqrHtUSAw1Wdnlf1vN3ZYLaIbUZcMNvkJ/a29gz9xoz9SirUqji24JkvL2fmK3ctN3m2rLEXEUQfPG/ab4CytoRFqcE2+RytV2h7cnLGyHQfw94znG/pwbeLhz4eVnSyU18UunmBzk4gvtmpNj4ZJx0ybZv+Z7uP4WbZ6sgY6kGrA3cPGQMwp9GIdz+6ggx1UK0G4Wl0RG7yUHak2mRyzwk5YKoKUOWE0jt4Qx/AciA/aOTtTq3dgckCxRx06FjNUNHIq0G7jjPSq0EyVLTtM8APc4CO6NPNbNTaPsamnjQj5XRWD/Zf3j2MSPJ34rS84088c7lqrE+E8StnbN9pvwemT3vpU9a6bGb6w2DrO2f8gjMYYz/i0Z0RaBZqa7/T/EI0MWxyRkhgd+QMBvO5hHL2EK5/SLGvXxpghhpx4KvCLMwigjMQGi2hNhYgrShdk8Gypug0WBlsxnWIny3hxfxottDyGnYpGta1MGPXj+jaQkPD13UsWn94uPSV+EMPstp+UjTi0x4zuf+Dk5CpL+xT2A7VAT+Ty215JUJthOJmBkCeWcMXOwr4uMXYYw+05dgZag6unnBitTO3qdJq0GvCu9Hfoan2KzRiPx9gjZ1PjCk+fbQAC4zLKfbhZuVWjrR3Ndxd1asQHwrr6CDe1TQT+HZ7j7szkF30pIIAkL048hjR9MT3+D+ReAE/WNInNPhYjRCiOsvzYIqRzIux7Y43JXG94lm3oE7AWcD3kYYk84cXo2+XoLBXT1BP60wNt+eb/ihuvMU/7piaP6Y7O1QcPf/H77fGOx4HPvBosfvsGJ4RN36vAbI4YRB51ECaWvmOpWoNo007AzLsmgJp1yHv/Q8kDE/pwRj2XnhPsPjiWdv1po/pR2w9t6GzDXY8+1A4rRaPyeTxrgzshMc9hukz7+0mxTj5no3KTHch2adzuPSDtx+Q0WXDLSL87vjf4yf+kMyPVzd2xGaO+6HiFV3YbT0k3k8VGXPmVoNN0Zu2zKIvTrxeOxC/t074nrrOjoBj+zl9OG7ldgM9Q5mYPdFG7R3eH6r51vm+lpFfKS/h/5UkxBWQynoSOYy2a+BqJu5vQdHmtyx1txwDU/N/2yXD/wMDepSVkMT/kUrATrhtlNpgpY8c21rA13jEB37tdI58MRDUKu+b9gIKV3aH8VtnMVYRQ5JNJhNgj+nDpcbRKMJjrShymGEYuiGFXT7s8ib/B+toBn4=",
 "driver_sha256": "d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282",
 "driver_bytes": 19802,
 "driver_usage": "from the kit checkout after `. scratch/env.sh`: python3 -B driver.py --strategy [LABEL=]S.sol [--strategy ...] --seeds FIRST LAST --out f.json [--block 32] [--budget 400] [--lease FIRST LAST] [--kit DIR]; also --check-configs and --compile-only (no simulation). f.json is the seed ledger: rerunning resumes, in-flight seeds found at start are burnt, exit 75 = budget stop, 2 = failed block",
 "driver_checks": {
  "rerun_on_complete_ledger": "no seed simulated, exit 0",
  "interrupted_seed": "on a copy of the ledger with qt1 marked in flight on 10000383: recorded burnt, not simulated, pairs recomputed on 63 seeds, exit 0",
  "seeds_outside_lease": "refused, exit 1",
  "changed_source_for_existing_arm": "refused, exit 1"
 },
 "ledger": {
  "lease": [
   10000320,
   10000383
  ],
  "run": [
   10000320,
   10000321,
   10000322,
   10000323,
   10000324,
   10000325,
   10000326,
   10000327,
   10000328,
   10000329,
   10000330,
   10000331,
   10000332,
   10000333,
   10000334,
   10000335,
   10000336,
   10000337,
   10000338,
   10000339,
   10000340,
   10000341,
   10000342,
   10000343,
   10000344,
   10000345,
   10000346,
   10000347,
   10000348,
   10000349,
   10000350,
   10000351,
   10000352,
   10000353,
   10000354,
   10000355,
   10000356,
   10000357,
   10000358,
   10000359,
   10000360,
   10000361,
   10000362,
   10000363,
   10000364,
   10000365,
   10000366,
   10000367,
   10000368,
   10000369,
   10000370,
   10000371,
   10000372,
   10000373,
   10000374,
   10000375,
   10000376,
   10000377,
   10000378,
   10000379,
   10000380,
   10000381,
   10000382,
   10000383
  ],
  "burnt": [],
  "unused": []
 },
 "environment": {
  "kit": "identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01",
  "setup": "bash setup_fast.sh --platform linux-x86_64 --cache \"$PWD/scratch/cache\" --scratch \"$PWD/scratch\" (exit 0, 13.8 s, 16 pinned downloads)",
  "engine": "amm-challenge@6b6921f8d463314aa7c96234e1be25a25245f704, amm_sim_rs 0.1.0.post1",
  "native_sha256": "ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14",
  "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05",
  "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f",
  "python": "3.12.16",
  "numpy": "2.5.4"
 },
 "not_done": [
  "No submission was made and none was prepared.",
  "This is a 64-seed smoke: standard errors are 0.05 to 0.13, far too wide to rank arms at the 0.01 to 0.2 level the goal needs.",
  "Gates Q, T and F were not part of this item and were not run; G is covered only as size, characters and the 64-seed afterSwap peak.",
  "The afterSwap peaks here come from 64 seeds only (lb4 216,447); the goal brief reports 225k for lb4 on a larger sample, so the 245,000 limit is not established by this run.",
  "The driver's burnt-seed path was exercised on a copy of the ledger without simulating; no real interruption occurred on a lease seed.",
  "The kit's score.py and replica (ammfast) were not used.",
  "The driver was written to scratch only and is delivered as driver_zb64; it is not committed to the repository."
 ]
}