{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","item":"clip-fine","where":"replica_choose","gain_vs_base":null,"se":null,"n":0,"seeds":[64000,64511],"advance":false,"status":"all four choosing settings stopped","top_level_statistics_note":"Statistics refer only to a frozen policy on report seeds. If no policy survives choosing, gain and se are null and n=0; seeds describe the choosing range opened. Each choosing setting has its own complete paired moments below; no cross-policy aggregate is used.","source_sha256":"701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00","source_hash_scope":"Unmodified qlxcore.py actually evaluated, with each embedded clip_gamma config. The per-setting Solidity hash is a deterministic edit-recipe hash, not a claim of Solidity execution.","selected_parameters":null,"freeze_record":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","frozen":false,"reason":"No surviving completed choosing setting; report seeds were not opened."},"baseline":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","policy":"unchanged QLX5","source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","url":"https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","knobs":"all defaults; clip_gamma=cand_gamma=997000000000000000"},"baseline_smoke":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","rows":[{"seed":10010512,"expected":606.1300985640944,"actual":606.1300985640944,"expected_hex":"4082f10a711db056","actual_hex":"4082f10a711db056","equal":true,"calls":12227,"expected_calls":12227},{"seed":10010513,"expected":482.77829524211705,"actual":482.77829524211705,"expected_hex":"407e2c73e5b63867","actual_hex":"407e2c73e5b63867","equal":true,"calls":9988,"expected_calls":9988},{"seed":10010514,"expected":404.7966542836623,"actual":404.7966542836623,"expected_hex":"40794cbf188fe8c4","actual_hex":"40794cbf188fe8c4","equal":true,"calls":9532,"expected_calls":9532},{"seed":10010515,"expected":450.2556494695746,"actual":450.2556494695746,"expected_hex":"407c241723e5f101","actual_hex":"407c241723e5f101","equal":true,"calls":10484,"expected_calls":10484}],"pass":true,"source":"https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4","payload_member":"b2r3/runs/per_seed_512.csv","reference_column":"engine_edge_unrounded (not saved_row_QLX5)","before_search":true},"choosing":[{"clip_gamma":996500000000000000,"cand_gamma":997000000000000000,"rounds":[{"n":128,"mean_diff":0.0024872624949541233,"se":0.016824989477091826,"worst5":[{"seed":64023,"diff":-1.1245544258288191},{"seed":64029,"diff":-0.5042783722412878},{"seed":64041,"diff":-0.44795399147233184},{"seed":64126,"diff":-0.3999089236198756},{"seed":64075,"diff":-0.3199074031496707}],"sum_base":68479.72191329296,"sum_candidate":68480.04028289233,"sum_diff":0.3183695993541278,"sum_diff_squared":4.6025447525835075,"sum_base_squared":37723031.65540793,"sum_candidate_squared":37722504.2200361,"sum_base_candidate":37722765.636449635,"seeds":[64000,64127],"stop":false,"round_wall_s":291.82166233300813},{"n":256,"mean_diff":0.01128832933976498,"se":0.011247294245436312,"worst5":[{"seed":64023,"diff":-1.1245544258288191},{"seed":64192,"diff":-0.5818486650817931},{"seed":64129,"diff":-0.5499878245680065},{"seed":64029,"diff":-0.5042783722412878},{"seed":64190,"diff":-0.4514469338390654}],"sum_base":136287.25165067613,"sum_candidate":136290.1414629871,"sum_diff":2.889812310979835,"sum_diff_squared":8.290647418715217,"sum_base_squared":74526598.7505764,"sum_candidate_squared":74528529.33770026,"sum_base_candidate":74527559.89881462,"seeds":[64000,64255],"stop":false,"round_wall_s":174.59568931901595},{"n":384,"mean_diff":0.015819197107405387,"se":0.009448318423579918,"worst5":[{"seed":64338,"diff":-1.2180210942003669},{"seed":64023,"diff":-1.1245544258288191},{"seed":64192,"diff":-0.5818486650817931},{"seed":64129,"diff":-0.5499878245680065},{"seed":64029,"diff":-0.5042783722412878}],"sum_base":206096.64527861093,"sum_candidate":206102.71985030017,"sum_diff":6.074571689243669,"sum_diff_squared":13.22531833071349,"sum_base_squared":113661451.8031322,"sum_candidate_squared":113666086.8042355,"sum_base_candidate":113663762.69102469,"seeds":[64000,64383],"stop":false,"round_wall_s":174.14369014298427},{"n":512,"mean_diff":0.006659778909451797,"se":0.007815391393801597,"worst5":[{"seed":64338,"diff":-1.2180210942003669},{"seed":64023,"diff":-1.1245544258288191},{"seed":64192,"diff":-0.5818486650817931},{"seed":64129,"diff":-0.5499878245680065},{"seed":64029,"diff":-0.5042783722412878}],"sum_base":274032.192399216,"sum_candidate":274035.60220601765,"sum_diff":3.40980680163932,"sum_diff_squared":16.00328076456868,"sum_base_squared":150725394.5437638,"sum_candidate_squared":150726916.8844991,"sum_base_candidate":150726147.71249107,"seeds":[64000,64511],"stop":true,"round_wall_s":170.97129881600267}],"stopped":true,"complete":false,"moments":{"n":512,"mean_diff":0.006659778909451797,"se":0.007815391393801597,"worst5":[{"seed":64338,"diff":-1.2180210942003669},{"seed":64023,"diff":-1.1245544258288191},{"seed":64192,"diff":-0.5818486650817931},{"seed":64129,"diff":-0.5499878245680065},{"seed":64029,"diff":-0.5042783722412878}],"sum_base":274032.192399216,"sum_candidate":274035.60220601765,"sum_diff":3.40980680163932,"sum_diff_squared":16.00328076456868,"sum_base_squared":150725394.5437638,"sum_candidate_squared":150726916.8844991,"sum_base_candidate":150726147.71249107},"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","config_json":"{\"credit\":\"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved\",\"clip_gamma\":996500000000000000,\"cand_gamma\":997000000000000000}\n","config_sha256":"835210ef470bbcb7b479bfca586d5b2ca948356f436c830c40f5532adf394e25","source_sha256":"701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00","solidity_recipe_output_sha256":"302b4a469794ecfe98c07f2e22ae7b9632e6cb895f3bbbe7730824995d4ddfd1","solidity_source_characters":47254,"solidity_replace_with":"int256 pe=exp(m);r=clip(r,mul(pe,996500000000000000),divi(pe,996500000000000000));","paired_unrounded":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","encoding":"base64(zlib(consecutive little-endian binary64 baseline,candidate pairs)); seed=first+index; unrounded","first":64000,"last":64511,"n":512,"raw_sha256":"2569bb701565efa399353f32802ffcd11171d435b8e5c99c50f29a7facd6b372","data":"eNoV2Hk0le/XBnBJNFBCUURKmSopIhkuU+O3aEKpVKYikcSZz/Oc5xxDRSX1K5IMoVGUIUmm5lJRhhKFkhCZGpD3fv/6rHXWYjn3fe+9r40TpSS0ncVDT93B3bGaPNB9a/RujHJg2Nn7zH0MF4lBV1VkTMTYeThyRcoSMf4YsumckxSil/9v0qoTFB5cO7Rh9mIaU/veT35lTMPA9oG1cjCN2eZ/p1uF0GiX+7wzdhEbWUk+x30XsjEM10mVZ0SwC1LONj4rQtJ9Ke/tPAlkcopWTSX+7uEn821FiLry6pwt0b8wtSacoVE8ZpvdcuKKM4mjVwwpfAnYGfSC+NoyfsbVAyKslW66zvYXYUpOfL63iI0Lhjq75CRsPLA8lVzLF8LWy8kgXCCEqobP29yFPKworUjYuYgHlzeXl+nmcTB85LxLRw4HlxJGjqRZ8cFZl2EYCD42spoVj36gYXLoyonU9zSy6eDp85pZeJfTdeHmZxYch52yZjczCMi/Hff0M4PIqUebOWFC1KvKVoQdEeLQDIFhXCUNcUD6/ZNEp+mf95gvj4DtRP665YsjUOWyhyN7gIMGaaVCziEO8mYsH9y7gIasitkpX0MaH7v8q7QQhjGHxAn7bMNQ8y3VeeZFLlgrvf7UJ3IRvumzgUoADy2Vc0fHBPEAZ2V7fXMaPu1/hLNNaPRsmLcyYKwIT0Zabm0mPiuYmBBQyUBFpNmz8iWDJJfZ+dHz2KBWHjHAfDZed94uldlN48qEXC2vvTSe9rWvvR4nxlF1BGUSZQ9kFjbeFOF1IO1jnSXCRL6sbusSHqqfpwn3Et0uXnQPyRIi+E7B5nvZQvzPe+xfTlsongbrLIv9HooVaj/1fntSqPwRu/qXF4XLnjlDH61C0bDAoKebuFNzj/s2NQbsOZzechUGxt7mUTdfiPB815znrS9FmKDlo9vmJQBvZfPzp94CwK3JPdtEgCN/zh5bTOR5SalkJVNIvmPYKLpEIWEMS/1tMRe2nd/fqpRxYarlpKGjSsHQUOi8UI3CqZZ5IXYTxPjxKatBmbi5u9bT8J4ILO03XV+KRFhnM07xnCIfsVvffDmtxEf65xCTK4MsBGT91rw6wMKPlO/HYxUi8GmtTvCsSRH49TnIZ+qUCOy/oG61glg9vfzhaBwXYfuFGuFnuHhp+Dii8rMQPWtnJCs2CTHvyxObca8YqFsunOVJ7uNXZmFn3RCFE+6eEQpE7/NNmq5/aHi8iznfQ5TPys6q7BBjXtCkzl+dYjwQd3Rl/BHhdjXjaUpceHq9+aoLDOLElu1riaMH3jwIjwxHnpJ72cKIcMiMEz+V5FI4e+k/3rs7FMwH7hwueBcB6dpao9G3EYjvn2vx7iH5/Mu+X02PKWjcr1r62prCBo9JXoGgcFNg38i7R+OhOODX9fs0mit8Dv8pFGK6JGm8Yr4QzNQsa3a0GEYbizYZx4iR8YaX8nYqBbuLLjM0iGcrsg4uPSBG//Jd/kMBYhzbt7HTYhmF8geF1W+Jc/wkwf8z5mMowuESvZyP0OcJStEpAjx2WiP0SBWAeX44wTOYDzVdCwfHAD6euZ58wl7CxZpfvjdSFnGxaajv2PHbYkzcZGFeTuzWXxoj58tFnYJp91QfLs6cmfPyJ83GtEhRaaiYDa5yp1ykFgsFM/bzp8xiwWCzJ+McIoSRlnqYfqgQ7wb6b0R2cLAh/2ztGGJXRmJRPo/GkQoznwfE9ecuUl1SDB58LhvLJ6647bdDcJBB0NGdnDUBDAbSSo8McAVom7yX/kAMvHfS8IuIwa52wx/faQaDuT9UmhaJ0V4QlxBLfPjByvvQGBoT/YZkc6VoCLulknKVJOhXD5GTIw5ytc8rZoqQ6e2u5U5syzuefMFaDJnktwltNmLQ54f1gr8xcH9003EyccqyYHFzEIUldu2P+IcoCM0zRmbcpuE/PDN1fw6NrPlZHxJZfHQYbrijxOXjyxblGzwPCvu+in2O7aZwUsfgVu02LqZGJvs0uXFh9nhBpPZiCfYtyWn4YSzBm4KUsmAjNmbZDG52WMDGwrs94wyPcHBNLvuh5DAHkqkVrZyJbET9YjwOT2BjssuJZ6fn0KBCb24xn0vD7t45bnOICJP9g2PLQkWwbXDWma0uwOi+phlbtATgcnvyZmWQvm/tdfVCOo2klKfrnT+IcNB9sNX3vQgWRzoTqivZuM0XbfcmBvLLm8x5ArS6v7qZyxdgXs4U+c4VDObrMjsGLBnEbltVFqxCo1BqR3u8Mg3l1HqD39/ZaP0rHdPeRebUV6cXp7QpeL5UtPOdS8HU7ZuNAfl7mPlSe/+bKUCx+v3VVw6Sc/6keekteb9D/hP7m4f4yM6OtA78R84x/Iza0u8CbJimEC5pFyCsKKB6ZyCZS4Pb9algEaqbX9n1WpJ++XWmT/8KHmI46gbRg1xI9Cf5jA4Q/ysIV2wRovx/NcqviLryfxdHPWMQfjXMt4hYeVE/aQuHvJc2Zb8MNqn/L1wHHz4PP08ve19M8fCwb5upW5YAy+PGPPTMFsBs/bfo3/s5kBovHRHrSeac0QTHjDQR5s3q9c0n6t49uVYSyODDJIfUO+TdNk0JURIYiqFdFZijqivGNH+2fasbB3Kb7ucu28ZB/rbVtmxSp89mJnR3mJE+GzPx1DE3BtozTL7lb2Ng3ba5XbmWRm60WV1aHXlfNUuTfv2jULs+jFYn7zlnXq9t4WkhNvYWuBjECmG9QWV3Uw0HWxrOv66t4qDfM7JTo53Cxeg16xOJceFN0xf8JPejc0hapo+NTR95s6tfUJC67xHQ+5KCRbF75Js9FGoeF117QPy0oqEve4kQUc/Vo2KJOvyriR7GAlze+fbaxyUCtIdeVLZfKsSZLYtKdhsLUZpmtHD2BwFoyc5UV+LgedV/sgEU6o4VpH4gXhzULEpqZWHGziavvd9YOGW2My8kkIJRfXu5A7FFySKJcaCQtv+TY/ZKCsGRMW1NRaQf5jBR7PtCPC2pHYmYKwZEnQmjxO0ffXd3eTJ4b+u6S86b9GlepkJECw+bszjpk77y8EaQv7CM3IfLzulTj5L76NC57SUKpPG/AA+XKqKvlRvnZzqp7wK7RcEZDM6fXPcyO0mILVHjQmrihZi4SiDZ/5SNR7Ipr3iv2ZBsupszJCOE3YJ5C9bKCqF/29Y4YBIDe07xs6bJDET8gufHnYS4nxE/1XSzEIvGxsQdL6Ux4feaG/OJ7Ne+e7RJ39DRFDTKE4Mkv59PmSCBR88RDYPxEpS0xh/jLKHwecDL1mMphXtbC2fkmYpQ/LhLeZ6ZCC2l9Rb66hQC7pSsc51JYWjgTVH1fgk8BzSG+vdJIGAZXxliM+gRu4RLcxmcKz1ucXEkBOemdGnuGA7B1AyLXHUVEXK9KuSmEUed4kqsSG48ojk5LZjYs8T7kfv/RPBmlWvtPC+Cn46CcdJ6Hip7/lsm48yDWrcw2vmfGHn6zq7+xHKLXtnVraRO6L9XM9t4MNLsb/J7JEJDYKfa4SciZOnJermOFcIpJuPrVnJu6Yvy17bp82ATrT2lkzjTekyVTjUPG4dr1qlV8WD5YPSrzHoaw/4nsleso/HgH296wWUK26p2XCpNJyaG/dLpZGHptHnzI9pZ0Py0ruOUEqnzIMVGKxUuFA5P9NTj8sCXX7Hci9i/fFR9F+lLNta+g9em0tg7PdM9M5MHeS+v58+IX5tTipSHBIgqaGqdMUzea4rf5G/FPJiNi7jgcZ/k+D+fBqxJDk77l/XHluRiv27h8QXzaFzTXzt8QpvGmD3XEqIcGcivc98zaSWDNcYfnNneYmzYfObWm92kr0jrJw/8FkHx8ofKBOIYzH1ylOT1EUlrzo5YESq7e9/bnaFR8FX/5984Go6e02uqSV/yfduRe5UYdu/b1yexFP6Nq7SYEkeBHn/i+5+vIfBxaTmU1BYCpacmEx2yGMgF3Ngtl81glU7zdvlMCmHjxjewMiiMeSf1bfkakttWqan1EKOOlL7JMBEh5NbUpSXkXW0pMv37ZKsYG0kMWeYqhsKhOp7gK41XC8em2n+hoV2oWWXpzUZfvnGisi8bb1rSPE+JeDA+W2HtL+AhuZAtMMoNxZlqjv3ZvFCc6Gid6jpJgDIpJe+pEwUYqDCrzU/go0j6UPK0C3x0f4+7+tKBD6kiFf1j9nzUDtBXLWZFIDGxlhOsEYGmjpgn2usYfA7T8tcllpsFhnWGMTB4Pe10DfHKySUBGCfAuJQ36v1yArD/K1kwEivA5DcZun/OCaD/wU0qVI5C5qSqasl4MnfyS46y34qws94zweGdCDPC+rq1FgnRyJt92mCBEHvGj037cZUDJ8ZOV/kaB4XK/gnfl4tQHunUYEI0nRYwbc8FGi1H7fP7iPXNqx5FWQqwryz8hrONAAt2QndxrQTqtqxT94nU+AN/dt3kYsXmY6u9bnARP+3x8wUBXBgKS2iTg1x0H8qTU7kmwffTd/OOX5XA3tc1rEWOj8W2v2VkxvNRZ7D3fd0pCrcDVM7/R+69O+PdN1MZDvTjnr25R/xcckpq/0oaa/s09+53pKHKej05W5bcq/Om7X9lKMzN3/Wf4hwR+TzQz4q48JN5xbkrXNj4xCesv8rF/seFwQdS+fCPY7QfJ/NxokSok1DOQjbVGulaysJeqQ8R3N8UyhIbF8wkeTkjWumdtJIIvwtXub8iBtjObx+0p2HopqUR70DD0jqv82dWCJ42dr4auBGCW6uMbhws4GH2mumFbvk8OMjjrpsp2X92VepXkf1p22ta33IGg9d3V6uL1BlkXpQ1m9PIIHDc5/iTxIJWjZ9fXpG85FV63u01hV618Kj7rQKYSs5py7eQc3fQ3Gs9i0a33eUjY7VIPc8bFdtYinH4ZXZKBVGUVTbDzoLk91nMdWNyfx0xtkvOTacwcMeb7UUcPDoiWbBGAuvwgFzn1RJYvdQYNE9jQ1yvq+6YyobR36xGyR0WGopm3IwvZOGF/g69TZeF0KqT9TiZLsTWt47J22bT2G++Z1EaqX+O9cenO9z42F9llivZysdz6QCVlKNh0M6cY/nnWBhGWhcXvN0two99SgrZxIWj5s2/yFw/fb48tHg7Ay+zjYeXV1FoqLygd7aawh7hnzNHHpA9Id3z88likgeMDxvlKPLwvxKxqrYSD8onrnzyKhfAyNVn9uAjkkf4D1OK9EWIzmmtP0YM6WgIiy0QoKbO/G9woQAvzhVmx5K5UXE7af+DZSJ86y1/uPCvCJPW3DXtIPvNTd3qn54y4Qh/ErXsKfHthIRFy2XDsXrT9TvyRAHrftfGM2SvG9kJhhjh0fDW7hODTcHtCZuJup4ZGdLLJAiMNZIfR2zO+xV9mdT5gXoBbUiUln6ZK2/CgcyaLY3LjTnodemrtVsVgW71sUzGyggy35wfKpF3G3PaQkWBvONutXjrYS8aexQdKweIPcyrthEXAV4bJelc2SbAz9pL5YbjaWx4+KGXnkD2+lmL6wKO8PFfjofHzRA+jgzXxAU/YJBdM8lTpoRB4apb9/fXUXhx7/lBu3oKMukzhmZW8CF/bap+WBkfK38ZxbzREMN0g2i7s5YYIzVLV8eTPrJZtv3wr/8J0P/jVrrNKA3pmvSdrDEiOFVacMTPuHAbTXCMfMpFh1V6j1s4jeyY5jF6EhpbVA6tYT0QIG6jcd+EYgGW1li3qf5g8LHo+JEp3Qz8tCcXlShFQW/DjnjbKVFwKlZ4Pmk0DHZti/2ypFhoeTSly+0RjcgPdebHHtO4m3rsv4naoZigeoo9ew7Z963SliuQPQdblLfbUAzu2OxurjzJxTj3iB4mlgsp1ff6Z/sEEPcWl9cNCjAjonpz4RySizqXTfbQZvDu8Ng3eYUMnmpWGqYSW0cVr9WHkTk9KetaJEsEuYvNirFcCZYoDPFsiHoVgWGndWg4xDG/ZxOL87unfbrL4NWoQZozseBM0aY5xizE+9xMcljKQszluot+G8TwX5pzWZp4zGN6auATknN+sCbMf0rh0JPGSaOybKg3qWtsG8/GVvOB7We3kj3yj0KxtAsXFfcKMx5Us3HASPZM7js2dv3c/laF1MPL3MZWA1IPxevqpks5MWgxZGfJbWLQsEQyxcuSgsnIi64+otu0BRucvgsxw6zeoLdTiIbxK+ZXlZB8/dCg1Yn8nh9PDSIX+TC4JavD20u0vJHSVNbOw4LKLvP8Dh4E+i32h2REuFDk8lB7rAjp96fUz9PgYnF/lOIi4jaN8Ssn/RRj5vwuTlSfGJ7f7SKfZ3Ex7elJrTO3uFBRrrru00Hqu/1JWkInyaX1va4Oa8k+MDPr9RPimqLW/Q5qIqxQCN7ROFME4XXVUQ1dCqvZRdX1+hSiW1fGD+4Pxb49cSM8YuF2j8tdY2mU3OtLLpGjYWL8r11vEweGc0u3+TlzcP/Php02HhLcithzoXGXBPd+vtjuvEIAhXWJrvRyAaTm37lOP6ZgJWO06gOxyFBnKHcPjYGxWxQd95K97U6P8bp7XDwwsEqNJ2b9aP+rfl6AHN3eLKt4AWI/tvc8mUrOa3HBtmRFsn/fZtthlxgn8rX8uneIce6y+SsrfTFaly6RVtATY7bZiOMg2cfE03zlI215yMz6PWBSwSBGt8iSQ5RsmXX3xzsJVPc7mi1+IUG7UtFHUS8P7y53h4z85GGOzuNorgoF9Zs3NY8RnR0HbVVV+Oj33ZGnrciH+Lupqcc9IULGYU5FnhB5ToqLmnPZSOTu9y3OZ+PCWass3QzSb+IH5julcdDk3inTTOa9s/E3ZS0jIaRMG+eIjERg5urmliwW4ZBJ4pYPAyRvdnGy9hPN3seol8eQ87nXmDR0nMam4Sp+3cEj2HOrZf2CwCN4WeCwouMDg31rR7sOkXl19Ierit4lMSb2/WAcksSo3aRhf7MlDLdvR5oLvoShZfOph9H2DIS1zbvdHMjP7ekY3b2L5NH9K+46etCIKOH/1BNSyO291ftaQEF4uGeaDSOC1L658uuJkHX5UUP2gRfz70Q8JManV0rZHGNQxq9npUUzyL1gfGrp0lA4XspNO09c9N7bb/SkGN/iLcrZJ8SIlqT+trlNcvoyw+4sokJk2FreVHKvQZlbb6sI0OD6qGpMqRia0d/4ymVinPczsuiL5aPKMPNASTwf8a+0Ij/9paBX1qqbSHLBxsx3chaJIvBys3aduSDC7vQkK3kNISI7HF6UqAuxd/haUklBOGJT7zdvvhsOTcF1YbyOEKJbC/tT5wlxbdLqMw9viHCJvzS7h/j4rU6I6TmSMy6onug/S0FL9pWLzz8hhgObpfWGhPhr/8jQ/iqNx0VuUzZcoZGXHN73ToPC07Vpa9I0KYQc/JtpTXLAHdVQ6wwylw9XhKQsJfvCEq5S4Os0Ct4Wc1JznggxP9PKMv6ZEOcdwsd9LhaixOLr3ktkr8zafjRlkTONrtb2bodNNHa5TGjzFYvx6eB6wWxGjFmmV8u3ryX1U8/cGFpP4XSPmdnSEBo3bq7ulybqzIl0qyRz18TcrX2doQhHLe9/tRorQYuf76TCMRJUu963SrTnwfv2uCEFRx4alOs1c23J/l+hVXLLhoPY0jQHp1YK76trFP+1UBhb/sIhsIp8nwlK32YTU+aoPlIq56PGQ+6cHZlXYydmjTOXioD2o+yd+cSdgysz/ziTPhz/cE3ARrLv1TdeOzuBga37rSUbiLX7so8dDhPiW/kKCwUO+b7XNe83JjDgRfvct7hA9kSVzroslhhXZziUcDliJC34651N6nCnC1fHitg25bt2ItmDdLOHf44nRvTcLh1x4sOrRz2OtY6Pj1uDqnS3cdCyXlR53ZWD+PkH+D3GDEauu4T8IC5SDhmn18hDu8n7Zkeixdv6o3V3xHhvNSrRJl48u0NKejoHFZ7Pn8rM5MDFNVy14IQIGVzHz8kxInTWn1ivEs6CwRWdeqMIFgoXtgVcs2NDObXYttWWjfNzSzJ9Imgs+bI+4BpR4j4wK3qvCM9LT7uu3EP22y69vE+kD71c93VXmB0PC4e5ll8X0PgZ/+rlLOKYqO2/HuZJoPwt78lCYlFmY5nzexr+zuKJ/+ppqJl+t7VT4eGUHhPpT7wyebiMtZ9B0x1mahGZH0Hay1v/kj0uMki+rP40edenZm02sRJCP/lGT94KIQ5kTNb9/YyFtf1X3Woes3DhpqK56zQR1ryslK8l+/fehF+5nicZcGpz2V5E96q2dcplXBRPXQ6TR1xYFzk/05MS4fxfaZ4VySFRtfPr1riQfShKcKqD6NnYt23SNC76WKOXT03lwqpJOPPKQy5ibz8Ynkx+PrUu58ZrkntVnb7vcFelsPRySv16fT6OXtZorDfi4+T0U2MWXWbwJWvy7qYUBs8W3NmRuIzCiuo5o2JTiuz5B/tvk/y7xnPany+ZQkSf/C3rO1EMqRP87H/EtBhKc84VAW7WfX6cniHAv+4bQVWfWNh676z8UmJfrV/whw887PgsejSO3P+zvL2lS0iunK74XfktyZv5z8//V7zs//+vkB4WZM6DtiWn8cEsMXgf/VerEg+EbL+g7EP2+6+z1zj6crHjjHjc8AIR7G6Yb7Ih2pY94Z2dTuNS9WWj8Gk0nitds0mVZ+Cx/ou7mQIDuw1BVY8DaLDsWzZOCKRR6pI7bb6fAMzIwKJlvqQP6rp3v6wOJ/uX3Ke0qnCs8//uXPaN1JGKMPllGwOu9JIzhRNEyJ28RSWVGHq4LEDpEQX7iuGQgIcUZpo0XZmrHoa5Os+bimeFIfjQCs3T8ygoFV8d76dD4XGQp6EV6VdNwyPt42aS/HHc5sxHDzF6i/YwyWSOHrRsG3xvEg6vjcOywabheHrTRP33yjCYumo5K68Kw6mVhh1yc/lo/rY1sXo+HyYRN7w3khxktSS+s6+Iwq3rssdvfKAxuurXQ7MGGql3m7f6nid7e5/qUatzJC8ECVopDumTdYM687gUsoL/tE2X5+F8ZW4LQ/aKe30XNpyo5SL5s3bvcD0XxuN+n+g/LERBfUW/T7AQnxr0j5yKFeJRlPQ8w9NCbJ+d9eZQrxgJ80+q+ZL84+IflJRJ8ni0df+XfJJPtn3e0h2QKkHMiDN3fIoEC31H9EI3kPk9800yjyh//Jodl8xBI5nw8RIyF4t+HEyXtiM5NuSJcwNR602+xIMJBVK1exvoUNT4K6gqknlapnB5o3xTGBJc6s6NFFCgPE29Pt0l86K3/ewJPwYsG62gelKXi9SyMGUtD+vedQ/OXMcDz+GSb2JoGDK1nIK4xNAjZ46XLqZwZbu9qzWZpzGWr6/c+Egj/cn2K9rk/ApKt+wzIH04zOV7gGYzhd+0Vb2JrhB2J0KNdpL5pVvEkmVMhNin8WP5NZIrcnibLWNUGBgqdbRdIvrkufit3UJhq++u+HlbKSizVPqNN5L32eB4+gnRcgJr1h9XPtTjPA8Mu5B95VLTC0UtkjP31pmUEosP3an5sIqDr6/22A/ac3BNN/0oLcNHYOdkmQ5pPuiwpqdV5L7UWAfVj9dwMbDMSG+yjwirp2R5mXqLUGYYl1vqL8bviQo59/zEqGZvUaXv0Ph7QNvydw6NodGMJe0qNC7H6PKbSL2kl7395rGa9PEf+Wpn15A9yi0xu6SR1JleV5INeQ9m03rTZvxloSc5TsGE6H1ISy3hHg+yji8evSrkYdGBdRptNQyc5Xm3umoZnBzyZrZUsJDHTWl4V87CQilPr9jDIgypdRRcDhFhiomX2ldTGqel1ZrCiEohaxQmfhGgPDzad9N3ARbq7Xv5ZJCPxttz/oUTE0zqp6hf4ZD+ffXLzUwOJnMWTWen0Cg6mXp+KJlG4rpONd4LDuQTmVurXnKQ/fG2fyup83u1Gk7pQTRqztRasbL4YHa5FPdc5WPXlcSC400UJhn2VKwg93vY4E9fVDMXNrEmt7o+c7H7aJqowl+EtYbzuEv8RBBlfjyZLyUG4yH8VDNGjLKSJr5FkAT3nybUWwRKsC9+9NGQkxB1S8XWzEYh/g+tlu4o"},"round_count":4,"stop_reason":"cumulative mean+2se<0.03"},{"clip_gamma":996750000000000000,"cand_gamma":997000000000000000,"rounds":[{"n":128,"mean_diff":0.015081192382472075,"se":0.018752589324834056,"worst5":[{"seed":64023,"diff":-1.0901880594476552},{"seed":64041,"diff":-0.40037195089496436},{"seed":64074,"diff":-0.3698865295438054},{"seed":64082,"diff":-0.2934673585559153},{"seed":64100,"diff":-0.2647068126752856}],"sum_base":68479.72191329296,"sum_candidate":68481.65230591792,"sum_diff":1.9303926249564256,"sum_diff_squared":5.745691183959543,"sum_base_squared":37723031.65540793,"sum_candidate_squared":37724691.76838232,"sum_base_candidate":37723858.839049526,"seeds":[64000,64127],"stop":false,"round_wall_s":291.8227399989846},{"n":256,"mean_diff":0.017090468553270233,"se":0.010983625955562492,"worst5":[{"seed":64023,"diff":-1.0901880594476552},{"seed":64041,"diff":-0.40037195089496436},{"seed":64074,"diff":-0.3698865295438054},{"seed":64082,"diff":-0.2934673585559153},{"seed":64100,"diff":-0.2647068126752856}],"sum_base":136287.25165067613,"sum_candidate":136291.62681062578,"sum_diff":4.37515994963718,"sum_diff_squared":7.950155288052573,"sum_base_squared":74526598.7505764,"sum_candidate_squared":74530987.93335107,"sum_base_candidate":74528789.3668861,"seeds":[64000,64255],"stop":false,"round_wall_s":174.59712617399055},{"n":384,"mean_diff":0.020276570271037315,"se":0.008517749988889088,"worst5":[{"seed":64023,"diff":-1.0901880594476552},{"seed":64338,"diff":-1.020844277306992},{"seed":64041,"diff":-0.40037195089496436},{"seed":64074,"diff":-0.3698865295438054},{"seed":64082,"diff":-0.2934673585559153}],"sum_base":206096.64527861093,"sum_candidate":206104.431481595,"sum_diff":7.786202984078329,"sum_diff_squared":10.828254776985448,"sum_base_squared":113661451.8031322,"sum_candidate_squared":113668897.36880629,"sum_base_candidate":113665169.17184186,"seeds":[64000,64383],"stop":false,"round_wall_s":174.14575837898883},{"n":512,"mean_diff":0.013262365849490365,"se":0.006935159218974875,"worst5":[{"seed":64023,"diff":-1.0901880594476552},{"seed":64338,"diff":-1.020844277306992},{"seed":64041,"diff":-0.40037195089496436},{"seed":64074,"diff":-0.3698865295438054},{"seed":64464,"diff":-0.31037909535598374}],"sum_base":274032.192399216,"sum_candidate":274038.98273053096,"sum_diff":6.790331314939067,"sum_diff_squared":12.673621919492957,"sum_base_squared":150725394.5437638,"sum_candidate_squared":150731382.23583218,"sum_base_candidate":150728382.05298704,"seeds":[64000,64511],"stop":true,"round_wall_s":170.97718303301372}],"stopped":true,"complete":false,"moments":{"n":512,"mean_diff":0.013262365849490365,"se":0.006935159218974875,"worst5":[{"seed":64023,"diff":-1.0901880594476552},{"seed":64338,"diff":-1.020844277306992},{"seed":64041,"diff":-0.40037195089496436},{"seed":64074,"diff":-0.3698865295438054},{"seed":64464,"diff":-0.31037909535598374}],"sum_base":274032.192399216,"sum_candidate":274038.98273053096,"sum_diff":6.790331314939067,"sum_diff_squared":12.673621919492957,"sum_base_squared":150725394.5437638,"sum_candidate_squared":150731382.23583218,"sum_base_candidate":150728382.05298704},"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","config_json":"{\"credit\":\"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved\",\"clip_gamma\":996750000000000000,\"cand_gamma\":997000000000000000}\n","config_sha256":"7de89965b78869e32165f647d96bf40ac73be4b311310cfa76579d8a8f2fdd39","source_sha256":"701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00","solidity_recipe_output_sha256":"c815841ee2a2909af28be15f4d10688a16f1fe07e0dbaaf183cb943c0d778eac","solidity_source_characters":47254,"solidity_replace_with":"int256 pe=exp(m);r=clip(r,mul(pe,996750000000000000),divi(pe,996750000000000000));","paired_unrounded":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","encoding":"base64(zlib(consecutive little-endian binary64 baseline,candidate pairs)); seed=first+index; unrounded","first":64000,"last":64511,"n":512,"raw_sha256":"66cbfade723e37d3f31d8e70592c3c1aa8ecb83854597d264424650536ee108c","data":"eNoV13c81e0bB3CVtJfVsEoyQ0Qk40PS0ySVaGgglZWIs8/5nu85NCQjPWXkKYQkTUqSGS0JEQqhzLJKofK7f3+9X/4453Xc931dn+tinZbmWytxcNSrv4NPpIY2aGaOszBhq0rDmAQbCcdvyEoaiWDXm/r0n5UijOgwqbsRAjzV1Xjh8X8z/LcuXkFhpsulk4+J2tZPLWVOULjf9K3lvwAKXVM+7YvSY+LgqMasWOJv7JpRESPE5YgCQTAx8YmEx26OGH1GJatvEn/1c69yrYVQ/U4f2Er0yk2qDaEp2NYZLmwgrolJGE/XEcBJc61xIbHSPHbhDW8hirs+RN89JsScu7E5HkImGpzSNleKmXhqHnm1jsvHVJV9Vq58PuYrHq55oMuB9Y/tWh+Wc+D0NmWVRjYLpWcc0pVzWPgv7s/JZAsurL75FkYStzFa555ppHAmuPJ4Uj2FO9QJ+WWtDAh7v6mZfWJg3W/7rMWtNIrlSpWyiKfmnWllBfOx4UyCmVEQH/4LeToXKiic21eTEES0l/900HR1KEpT92byV4SiyukgS8qbBW+Lxy1sHxayF64ePrScwoGbe33f61D4+NWrSgXBYDSetAi1DEZtZ5LDoitsVEklvTQmhjh+0pb14WD361s/H3lzAAeZtVqmFOJ9nWZHraLQv3WZnc8kITaHJqc/Ib54OD3Op4JGpuj7732vaCQ6Lc45t4yJR23SNlOXMlHZe69Q8gCFposH7+fup/B8qGvjzQsiJAq8VbRiRJDyTsttuiWERtt+1bYsIaZzpTTaDTkITOjWXmXAgfOVK3sCs/j4KrEsSOUOH/96TBpldQQhfmzx9KquIKxZMKD5y02ACU6pf/uIKW53xz5aBEHT2Xr9Gssg7FM+uMdlAY1cWsdjmRwNAw/T07deCdEYG3KO/1qIaSqHNTrceThu/3M824MHODfvuWPEw4c7hYdur+KB4y4hm3VVAB8f65criXETGAo1+Wz8lL2+ILeADWMVe0W1+QIUudaa7yJGti0LtJkmgqGVjeEX4va+Ojedx0I0qHhOfZMrxCaryXMvzeXixf3nC+uI1z8FGqUPMyDREOvS+YOBb9e6w6JmhUL95YqO5Bmh+Pnp+OF5c0KxZ7lOrPzsUFTLF5eOX2DjooR2awfxtU5ZaMUnPryadPLON/Ox7HO51eQ3NFSUU/Y6v6bxMy239/2YAKNX/KIriR6Xm5V3jVDg3XiRySPOzLqTVdEjwk8XdbUA4lNRz9fUESFkNDw2nSLqRm8xXR9P48fTdSZpxHHvt09DToXArNy+9GtoCCQni56LHwhQUP/cdDfR9Mf9gIfvyO9suzfoWROK2O9Lzd6VCuBitrjgnzIBFJ9Uray0FCA5JO/oZQhwi7e2ifOYQkF+57mhJxRaSw4HjOTycWgaNTvjER/0vCxL5jkRbDb/e+VRuAipbznXauYJ4K+4efC8tAAXS7J8V3qL8LWj0reOePbItl6zVQJY+917NmgsgOox8Yl/DbjQPPk8zcaEi6CXcdLnrvEgimRIXovngX4ZEOd2gouhhII9FX7kXnZFlDMNST3o7xt7qs+G49jQ2bB7Ipj7nZ0c+VSEPq2V4VM82aCnBhdnEWNiVF8PUExUTJurnkMzwZbpnXJKhQF7g7ibMsoMaG93ox0C+dC4wIieSer33Y/vmad6WHiWvzip9gsLX1MT8nI4FCrnREnv5VLYcumK4KsEqSNTw4QDxDX3ju3l+dJYlPpMczHxR3LhyR9sHsy+tJuGcnjwexyh81lI3nXysEoHRWP4wTfZZj0R/OVDK+T1RShttPDwn0DBlHMh6LkEBX6fROIDaTHMZ7H+O0YcZi+5PDdNiA3Gh6MqiR3ZYVfjLUW4EVXK5FmJQF3+rXmik8ZXMLvCOmjMWXVC1Hqc9Msd6jvpEwLwTVP/LLxHIYHNsksjZqlnNSYwuLhTcvWMCpuLzztkMjn7BZhePrnkzQEBItS0b9e5sMFJ3KVmSjQpW35qyQox7n0v6wsjvn14reiEPhPbCr3Fq3SY0H3UP1nnJAurfH7J2gWwIJ5X0s6azkTKu4vlB4mznc6/iFalEGZ4s1t7KQWbx5fYrYFCaKaG5WwIEsL6g4PaYgUe9m9Mek8p8sBm92crpVLo2xI77QYx8drzLQ6NQkQxL8QtIJqd7I2rrmBCUu9vaPgbJvy4xc2m5Jy15KIkRrg8LLs7Z2bvGhq6V+Si9pnTiHJZX3RClrzf3Qs8UuUoyCTVa//qZsJ6Z17uga9MZH2xfxW5RIBGVZtXl5YKYOzcaaVNfk92upnYh5iv8OSfdF/yvmMyPS4Rx7ymf28dI+/ReqVqsAQPPSExC1Z289DqZbemr4uH4Dyf6n1+QjxyOnHXxF+I6tY3NoPmHMwp2+ESBw7CWQra54bZeBTecOjUTzbEmx+GzG3j47LAqWysnbzDmaMrTr+gMXFe6cawlzQqrmgl7mCJsHDvu6gMJqn/z2zbw1wOTq2Zqj6D4qB0yMXYOYsHR137X7jDg8mWznO/jpI8//iiZ4onC7/1p61LTRbC7ry30dwU0scfRWwU+9FgdNIRNeS9Ns8JlObpiBDq4Kd/SlsEOS/m2nZnFur3/rWc7cJCjss/1kxSr0tu1WmHmApwNXx65FlnGu1npA6GuNCw7NjeJVNHcmtl1Qrz9+R91a5M/PlXgHebpxR4kfd8d9mgdW40H0aHA9MlY/iw3Cp7oLmWBcOMVMvPNSx8dzvVq9glwHf9hetPEC+ENMsvH2AigP08ayPR8SNncfUrAQz3LL8b8VoAs/w9p94eFGBr47WRrcSWNR+G7hjyUV2btNiYqMa9kbDfgIc8w7O/2wx56Aq6IrN2JR9HrEsKjxnwUZisr7u4kQeFV3OSVzfwMHx5/l8pHwEOu6folhCvDCvnJbYzcFdyRD66k4FIk33ZgX4CnFwz9PWdrwBt0maJtK0AuqHdi0vtBDhxKryjOY+PzFy/fJl8Pp4X1P0JXSqCvu1orwJx90fPA1/daKw/vMtnhTuNC5y0WaFtHNzzulSd1M7BW16ObhG5D3vt/LCrxB61e+5CPwpSzAh6lOhp4cwauE7DZMGIkmsqTeaoTa/vJPKh906/Lv8KH9PX88RHn5M8Nyjt86tkQuz46O6YJB+fG1q2rZbiQ+uetYHPDBpXhko9FGbSEHIfvgyz58M1s9f0tCP5nknhF8IKKZSyynpqicxKz4NL/AUYfy2zhU/6yHHxr5dzpolJd6GimogF7bFnWYYCDFueUKaJj3fmLsw2FkLnRdxsdRMh2grrzbQUBHhQPV1t3yIBxn68zas+Kkbb87p3A55i8BgG6WNMGm2e+7MFLBqXCsPMrvwJxOX6cy1GY4GYl2r2QEFWiPyyqNF3MkKM218osLhI/p5vZNFxQYh+Q49ne/4V4teYYaLNZSGOqc0ySNzCQcoh6nPIRg4W9PHPOfwVYddm3TNP/4hQbDYo9Q8556D5kan/P3d95e/Nx56R/tPlv8e3TIgsTSn3XZP45D4Gm9vIuV3Xy9nYoUXqlOPt7qfNwSLLCVVq1RwM1FgeG3/DgfnT8S+SW8j9TKxc82AThad/OfIPUwRwtVszf+V1kqMJwT/VehlwWaFx/mY3A8otm3oipdnwXx006EGcFTDdTZPNgdW/KjNOEb+vHldwlaFgpTIsWytN4ZB82p60NA48tVw2SqZz8KX1Wp7MGA9nax7Ie/8k7/Xasdmd+Rx4UQZeyU846B9p+WHpJcTu2ybTh8hcfKyPH7Z8GQVhk+GO82oUJhzMiDu9jsbqm3X68nY0Nhg0OjA9ROD0WwW9dReha6LW1R+/yJwlnjL5/07A0vIzZE4v1Fhesoycd0XfYINNDIV1utbffS8Q3eRrq0l/ejTrS4486U/Bjzu/lEcJkF97xCU9WgBq6vnukS+BCL/8arZbZyCknxtNt82ioX59z6E/xPVqrbtnpgmg0350Uj45rwnvJDpXbyBzYeBiz/0bBTh9svBtqpEQt2YX+lQRd+QZj5bvJDm37X31MycRZvm/5/C+kL3jtKR1CHFJrnKVuQcT3uOWC84cYuJtW7JbpJAD/+g2fy8+B1dzmTz9B0HY7idt9Zh4vqd93q4ZPPxQ7Lne9X9LTOpy4rjwLrV79JvY133hxmtbLna0VR/SW8tF3Q/qhplSKLLePU6JUQhFc094+ZJNJF/Sir+FbyR7gIlfcG8wyd22pj4ug0Z6hKEPJvOQ7rvYee5UHpibC5b/ieLBmXvUqOIiyalGZ4mgKQIo9exed47ollNwhlkjRPSQxt+YWiEWBg/1qeiRutURl8vo83Fw6qTkbzdYKFlikBiUwUKujFdc92rybtfe2mRJNJbzkTsYT6GmRE87M4FCfev6Z6fNeaA63TukrHhYvg8aK+rEyN15TfI5UTDVe8T1FplPzebNuJrJRqxc2cvlPmx0ni2en+3LRp9/9hTZDDFSqxrUcEuMtZ67gtumcNHNLfq5dRoX77UPNbyPJHP2f4Oyf4l9qe86jSVZ0HXzLhcQPxVEShy1o5BRtdrt5ToK8xmVs+9ICSCjNkFy42QBlua4bp6rKkSQq1OTwhIyv7aYllxKZ8PCc0EAbrBxtCz3hHcSF4F/bz9jX+XifAFfLa6YgZDv9gHiIgYOSTSGsn8J0FPvAuURAVLPSb+bKC1E5SVPzwWkX/hYq3cNr6VwY4CadZFobpndO5AViHsvb5/qzQzE7fX6mb4PObhVnlL38z4HtjPxyNmYwv4pX+x3EV0qKS3zhTT0om09Xi+ikXZFykS1icbgmzkR7z/SeNiuOPD5jQB/PGZUbCIOLgg5/aSdh8ho/kBrGw9HbJUPWSpRuPC20s9WmdTzsnGRlbkIwdJdG0eJwqyihTZmQrxumrhdZ40QPeHWhpfkSf5J/7zPIPvJ8Jk/4uUbxLi6qbl+6z9iWLxWHDZNZuKQ+wHf8SQm9EezmsT3GbjZZR/n/4iBV1p7NR1T+GTuKA6USuVjZ826qy6LKZToL18ou4QCy/Lj873OXFz4pf5h0ImLlxN9ZK+dCUaczsD662eD8ad9xcOaA0IkFx+OkzhI7mPctPUnyfW1fcOrvhHdTbYFrK4SYJm/q4RKtQAH+SMxJ5+SejfYMX9mAZkHDAL0784l/WgkSXWHNAcy59Nb3It5CNysh/RSMo9wS6/laQkx+TCHra0tRGDPh+CohzxwG+rhnsvDq0u5d6JIbqQocdWXEDsHi0t1R4UkTz/pOhJvaVQPuEmGYMfF/3RcJ4egZlqc3mqpEFTGqqy1IvIYT75uixHAc5ViudVFAUL3f6ixaaFRohXRV9ZMQ8MtNXXiKjGkiqwzHImt2T/PpcRzUR4dn/yVOHHi6wczjVhY2dMRvN2QhUGnoTqb9aFYU3f/PGUXSvLNoVRaUgDGbz9x5STy3hfEWv52p3Cz/PEFdQ+yb9NvOv448VAYdq/6mQsPA3X/FetMJe9/H8PszDSSE0or3vuc5GLr12ct0cSTv2svnHhKY/TVnuM5xNz1t58cfS+AdHxnlXe9AJLXF44tKuFir56U70ARF3Y/9cPfKorQwoiPN1QR4U/tyn9iL5E5ebNh7ot/efj+7fZ1q3EKk5TbM5ZPEMK+wowlesGGa0p0tBOxx+J6v3MIhZ4tSW5SxB2y/hsYT3lIUtyfp1zAw8pay47532io2j1oPtdH49iS2XkF0qcR39OXLTnvNOzzZ72cMR6MxfE5kd0SDLQ9m/PV+RkFNRlzvlIZhUdJZzdPXxIERsvc7w2Lyb5vkbx6FtlzXG+vc9tIvG91oLUigg1Vvfq9ZyPZkJjfoHVxiIddJlJZHOLC0Ortuaokn8Zu6/UuofEuYNLb7FwaC+esq2YR28fnZtQHC+G4TG2OIVOIKVda50axyTxxOy9nhCuGZolfcDTJuVnrOEeHyJ6Rn9Mn1/KIxvKf0QrnyecfxuQ5qhowcOTZtA/XVjIQnvL+yrGtIkgM6kbdI57dL5/kV07mvgMx9wfI/utf3jRjXIqJHLtNlewpTOw0/bH74k429i3qsfpBLHmcm/q0monq+e23M2qZcB3YXSNL6kGxSuWqeT6pi03v5SXsabyq25rh6UDjg6F4jru5ADVDQc+FRGe55Vvtu/lYMddB2b+Xjw9T16hXkTr6YCpqZZDv+fZc+5TeYRpilaFIB6J55rXmoi4Oerz8vin0cMDTalvrLylESwnX/tskIa4/mVO/TJENZ60J63cqsOGiONVuxgD5v+79lrg3JIJbt82pl1lseBYVHmq4zYasTNXNwz00vmQkx8zspdFQP7jLluRYMDXCn0LckNd+1HaBEN8/jndvXSgE/+b8cUUNAfY1iMIUNQU4124XO3w0CCEviy59OhaE3N37U75OorBa6TOapCgYGfzt0nRkgWGnU/CvAwtPRrbus9pP9lmz4YitrmI8Hni122ENDy7Jw0cCzHiQUL9/kyLn3h3wZ5RHzNNRG3twkMKTUwu9Xx2ikHu/32DTYzZaVH6rRBGzvnWNKlwme1aX5sInxKiPXf3l82j4Tj7feX4u2b/vMW3gKsLbGe/zJ+4V4VKK6RsLLRFy3ywuHdAUYbHJn3XDZB8LPH6FliH7WFrWrx9GJTTCjj+aZEoU71B69O2dGOXPH0wteS1Gl3TeR+EgB7pJn9LjhjhQVSs7x5Yl+ddY4fJaTgCHdcPW82W5eHc7fYqiHBeibmPj/Y/5GOVqj3DIXpBtP1ev9QETU5uupe3NYSL+okWWRioLTVp50S1JLDTv6ZVsJXl/UPLEpCMk7yWMm1SF+kIYeRlPbSH6GyXsaPxBYazhaUwx0aQhXKE4nIKmTVTE2DkKjr+ruO99T0Ijpz97k99JvH5ou6ankUaN9N9g7Q80znzbJav5H8mfW07V+oki1Dkqrr3VFozPuXUVl9uD0bY9svTcWhqtE8P+HbKhceRgz/gBVwpfOm5q2+6nEFrAHdDkC/DmM/+anUAAfkC/nBVN+nml6oc3REg5fasle0Bi5E2/k8TY6xUSVmdp7PHMSJ50jsaDeIPIlSuDkL7yqs1SwyDoNXgcG48QYfLX+vyJxHPipF9W90SwdraKUybOOhW8kTOPB1vLHsdRGR4+7HpWNaFQhO3fpHY1F4hw+Zi+2VAUmdPSsyZKXuQi9o3KqZZRAb6+npX5L3Fb2rspZglCrLg7x+xOvBAHridazFTko4NjnHxXgY9DvzMSCx6G4KGsp/ef7BAo827yY9X4ePm5rHiiOh8ZM/6JKc0UYtaEfo39t4Qoq1ELNL4kgPiIbeEjoorUG6fDf/mQzg+54TZO7nntM521NyiY3RjV/5lOIftqyNA7RQFMPtpJHFASINB3NM1ShUKDv6TOUZLLASWB11aSfWHGzNjq78kCeJipJt0t5yPQJHx4wws+LtuGTP5E9khWbdeXncSs3Weu6TlQcC0rv7Hdkeg0rcNTJAJDa6PcIVoEJeMbxbvJ3Hxx3/5n7sTofhOTlYEUPlWG69QFkD6tesq5guRvwbepK/boCHHG/MkXi0kkD+sv9E0lVu96YpGwlgM1/uCSa7YcfJCpV35gzYKcwpSIp2AhqjDZ1r5dgHhO40Y94qTiV7Z+VRRs3H2HLYjXVOc/ky7mQkbKSvSV5NWk6VmTTSVC8aVzbeic8RDsG7ZLGyF9MHqNI6tuG9n36psyLk6jMf1L5SdtYt2RO2cDgvmQYnVWpASR//em8pOmOBqvgzmqq+Jp9Mv2vs9iiHATS05YMUVIXD7qcWeAg7+rt6ark7rsmNO9JIHsQft+lS9JJHtRaP+9wj/2XDz2G7+0YwsXH3cer9JwYWF6TsKWcGcWYtW9uf0GNCRiz5YaGpI5TyZwsmYTB+LNfe79RLOa+jPv74uwOUF6s99dEa5c3CsxUZ6FNjlb64r5LDjtCpn/8LwQ9y58tsgOF6K3/vwW2RAGXFd7egeHMpCr2+GTYcPE6WVZMRttmbi8tCDtcCiF6S47PIqI4j0/lM4dEuLD5LHeP2TuGv+qmd1izUHBmpqcFTakz/xmm39ZTuHrJ8/0xcQJp3f/LM0W45GXev6CB2LkpTUVOTRQ+P1X6FVPXGDcbW0jy0G7alhHijwH6bN/FzGO0ni63DDppCeN40tWt49GCbGILpvWTfa6/yKVthtZ8JHGUFBbTPROna3x6wUDe+QUTAfKGIi/Ndd0l5wQx8sWbtggL8ShuJ8P3CJoCDeZuKpHkrqu6tgkU8TGq85sySOlbFjmObzQlBCib8Wzb6nE03Xq7zc4kTkiGV0zd9FwaxpymSHHhmPAwI5NMmTOb+YvSiefa19qTMmVsJH0/m5mJZl/45zZsf+Q+XdlyrX6LVpc7FH/vX61DhcR8pET9FJojPS3v72ZROPF8vt7E1YJkCE7/3a4iQDZWr7f75H594JS0GXZND7ORfyS8pwuwusntoumzhAhOVygrJrOQ06SmXt8Mg9/+zKPV7UwUG9iV+xOHKo7dqKxkYOcFsfYMeKL7EOFhmSubFL7VqVH5s6cl5c356/iYKJSqLUPcYk5q+mpkghLfDoCpJVF8A7cHS9zmI2DqiLzNE829saIJv9eLkTN3PXhn4nWReWci/IUFtnf2p9PfCmdYZU0k0bjoKbLE6LN1uNVZT4UVAzn704nFjo9kFM/xkO/ou/xHUdIvmns6XtdHYIR7UClFOImr26Hok4aFT7XRVJE9kTDmNxpQmTUP4jWn072qoAiH+lnpP8Y7LWZSFxk1Jy+VCEYE654HzBUCsYJ/zXK0csEmBySeb5VXYCy4246FqRfzaqQTJymQOaPMKuYj/tFyNib35hwQARf847hBqMQvLI9pnib+PyWkcIvu2CUqLgPaq8PRqSdTs+UpVwwxVfivdS4MArN9NhG5iDtwNKqXU8EuH1TKiyzkQKnOjW4nZj0qHWn52UKdZVJe5qJRsd57QKWAM3hJq9XsAXIOjHSIT+TA7d9joZBMzh4PBS/9XwdG5dHum/4NbBhMPnX+e8BfOxpXGNiFchHywetk5FRfMg4eN+ZTdy9OOut/6AImQ43F68j84+T1/HENDKPz0z0vr1tCtnvPu3o80kSY3LrpvWD/4mh6/lHM2grl3yu34DhwMXMsAwbti2pm+JlCYnEvG++1yeSXLTsdrxfaE1D5W2OeD8dhLaMN5N2C4NQ6zVr/lySp8f6OacbW8he5fT+0p+HAnxaYb7nwyOSF4NdF88fozFLyA4XEfUWZGHORg6871bNiyRybP/zTAgKho/yG13Zk8EIOhkTVrhCADvZ6k0lxHDzyvTMjxTy9JtnhpDze1i444h2G8nhlDfNk4i/KIt6Iw0+KgQv0pYSNfIYUrQROYdg3foTBnzc5Ww3D5elEfNkof894uFsp2MbdwigH/u0u4Yow5D9brCNzBdfOwdmEc2nMZRGdnERt0RZ/xfZF0/+1/xqrooQfx6M7l+tLES+//3axvUstOpkVo/ZspChcf0MJcnFlgCl9/FEKrj5eRW5L5zavSCglo0fq/Q1Zx8WIsykuPKjhxBFOhceFHqJYHbbySmMWM3cMZ+6T0Hj/oZZa4hj46mGXbIUrmqY/eMnR+F6UU3n/n+42Dm4OnjlRi42OyfcKWgi8/iK3bWGH9gwkRtMXjjKwPbSZ+f8xxjw8FdZEPeYA0tFR4FRLgd63psUO2ppHA2IX5tEjBjzoHeUMLAiMfiqP1FXws09KkAIregvRYMnhJhj5L7gizHpq5fcRt4aUZAO3DBr+mcePG10BdM7edDVPPK6fJgLj/G7M0x/knMyqp+jkM6C9HqR6wHibJaePPMaua/5kcaHiAmbehdwXrFQ1bT9nVoFC3c+3vNq96NwOujwn2kkn2tj6iwYWVwssz9bq0R0TU94GNZM9oQymYfiJgECtEeGTreyYTrjqkfVJzYOnEkWlngJwboeUWR8TAhh2seIHAkRXFdcdG8kFhU0c82Oi8GO0zrgTTwSO/5szJ6P65OqHt515ON/74X46w=="},"round_count":4,"stop_reason":"cumulative mean+2se<0.03"},{"clip_gamma":997250000000000000,"cand_gamma":997000000000000000,"rounds":[{"n":128,"mean_diff":-0.05756782309730557,"se":0.018954314391576844,"worst5":[{"seed":64098,"diff":-0.5487081197336465},{"seed":64073,"diff":-0.5129107686590828},{"seed":64041,"diff":-0.5008556179603829},{"seed":64121,"diff":-0.4909171923178519},{"seed":64117,"diff":-0.47003398092419957}],"sum_base":68479.72191329296,"sum_candidate":68472.35323193652,"sum_diff":-7.368681356455113,"sum_diff_squared":6.264427594382629,"sum_base_squared":37723031.65540793,"sum_candidate_squared":37716488.631769374,"sum_base_candidate":37719757.01137485,"seeds":[64000,64127],"stop":true,"round_wall_s":291.8237823669915}],"stopped":true,"complete":false,"moments":{"n":128,"mean_diff":-0.05756782309730557,"se":0.018954314391576844,"worst5":[{"seed":64098,"diff":-0.5487081197336465},{"seed":64073,"diff":-0.5129107686590828},{"seed":64041,"diff":-0.5008556179603829},{"seed":64121,"diff":-0.4909171923178519},{"seed":64117,"diff":-0.47003398092419957}],"sum_base":68479.72191329296,"sum_candidate":68472.35323193652,"sum_diff":-7.368681356455113,"sum_diff_squared":6.264427594382629,"sum_base_squared":37723031.65540793,"sum_candidate_squared":37716488.631769374,"sum_base_candidate":37719757.01137485},"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","config_json":"{\"credit\":\"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved\",\"clip_gamma\":997250000000000000,\"cand_gamma\":997000000000000000}\n","config_sha256":"11917f4d819100e9f137d483d213366499a40eaa2d6e98597cf2517820ee9138","source_sha256":"701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00","solidity_recipe_output_sha256":"fafb23e461e62bcd2c6cd492722f868fc676b1c4dc376714ad886a3dd16849b1","solidity_source_characters":47254,"solidity_replace_with":"int256 pe=exp(m);r=clip(r,mul(pe,997250000000000000),divi(pe,997250000000000000));","paired_unrounded":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","encoding":"base64(zlib(consecutive little-endian binary64 baseline,candidate pairs)); seed=first+index; unrounded","first":64000,"last":64127,"n":128,"raw_sha256":"f15517ad5f9cb34e84d21cddd646b898a3478661eba220a72c6d66e1dbf2e5bc","data":"eNoN1Xk41XkbBnAqXKGyplKhMrZIKcnWTUxv06bltdRbkajJkjVn/Z3fcg5KIpIQIhGVE2WJ5E01EWNJqUYlJ6U4RYNGI2N+f32u73/39VzPc395J7RELosEIEO6DFX1BaBGNplen+LBWc1/JPYHD9lhJTozVovRBdfRcdbvFlyqPJmEvGBR0cUkEvVXw7cZWlNoUdti0GRFwdyl3lk7gsK6Rzl/ekdS+KTSuy/FigujOzVNrqw/4KXWmkYjIHv00RHW3DqFgD0CCV4Nb5HuJyQYHxbmCV1oRAX1G+m50giqudQVy1AodKu5qiim4JCWPVVsQSKQ2dvrZk6i3TFzfkkwDVn5vMSToTTmlGdWBdBc/PcezzOJtd7xTN5zoQgH9lXducURQW9h4NMKSwEW2HHF2hYCeHZctjWp5EF+yDTj4C0eLmZNRhc4CdFgOZKu6yrEDo5M42Q3hSjJp5evX1IooyLmGss48Ej/cNC9jwP3H9ulhjIGCR0Bbsp9DOI1T8p4MSJ08sMaB4+LED6fsDjbSmFwFnedVhuF7XN7/ezWxcFCQRjyzDYOTzz9eMrBPNwYSTVdG8pD5fx13w4up7D/jKoCbUHh9eegJwaIwR9H068+dYhB18dLHgty+HjqnhOyhzV2Z6+5TogAJ7ymvc07IgA8tDeY2VHol38rU7OlMLzN+OeQ6TSSdOvT/FkfV6tmhbQymP2Lzewq1lxPw6pEYy527XlxTsOQi3b5zXszfNmc9145f/Gj0DTy6ZdrZ8XIX52RyGdVDr5S86aURsusko7prKpCZZO+VQL4EkkbDtkK4J2TszdKKoLtm+Z/Nt0QIT1g+t+8/uPIHok3O9x3HA7zvpqO+5NY+Txn4pIvicv+5ROvnY7DoKBkQN3xOPYt9tvrM4/BAqXHmV46DFYG2J0obaExmbBp25VmGjMNAk36DxEYeFdQE+lPAN49e8tWE3g7eanmxUoCgkMKOtI8ElVKUTeic0lkKXL0n97lY/MB2udyLR9rDLYvXKZHYoPXaUmrLokz74yjXGeK8TZrn2ehqhi7hp77W9Sye+njnpJ+m8bm9Uoa5zWEWDmgkhChJkRhb9Tq4m8ciMSGi03GOfiSP3AqZVYcut2u5anNjsNfvWGBmnPiYDLUfmw3++6ce//h1Fk+jkrDXe0z+Pjd4lFca68ID9Iy9Rb1iGD8vnG9UhuDxoGd46UtDP66UiN/MUHCwC/gmckkiYCMnsVe3ykUlzivJ1nVpWXS1kEx9OSEWYNcjHrx4Oei7+z+R4zG6ozTsEzdarfxAoOYKu8zX7MZTAV31MfGxyKYr7jwUUIsZiiJmyQVJMLxm67zLRJ2Y7ciq5+xOe836Ez/Iw6Zo0vtnz0kce61xnQn1oV1T2zanUk0q3q1fXAiUUpseCOopXB6V6VJYh0F2YPAyO817F1luyTOui0Coyl15iaK8VAa/bw6QYyiDkH+U00S/e+n4M167oE01CZYjLihlCaDEDESjuyQ29uS2E84BgbZkFhyVBKRvlKIXK+M5INmQhxvztJKzCfwqx9PsfEiAaY5Mss/Qoie9dX1WsFCPPZKbuSu4iN0QeZo2wo+dk6MJJy6KcamUvvFybfEGDKzOa1ymI+ENl6xYiAfaWlLfv9KccHvKqtXF7Jqy1XiDTh4qeKWYqjPgfkuf8YjSgTTDNO7f0eL8Gxs9Hr8IA8tC4dSUz7x8Lko+06VgELlhIttBZfC1vM55GcFBufUu/XLpzFwuHn0f0QoA9+M+OiSMAZjBfeix/gE0qx5nZs4BI7VJlu8pxm0T3pWMGIG3yq+6PRYiWHpfOdjkDU7t26ngHBFCkf+X5q+XIGCaEght0JLAqsyxW1OrN/4RhkaV2hcUAhr3czaX3kq74KzGJMuVNRvjmJQGT9MIz4y2DrW2FHMOsc2QiwLI9HZV9e0jVVkVzQ5/yYFLfuWzkFW6U/S7myOEKkbm3xfsL7frX1dcICELOlnvSLW5GXmN5778HGtbcpSYwcfax8tjzeylmD/mtXdh1dI0FGd3xCxgoslfdfZ3uLC8vawkkU0DwnGJ+01j/Eg0XzQx1PlonBj/eExZS5meyY9Tl1CQd78aW/QUgqutef5sigae8rzhlZF0nB55bHMUJ+Aym7BurxFBPj84cpFRRQOjfzDSSukkJvftNWjmwbhW/CafkXDPlqe1dnKRZCuPInu5OKY8H6PnYDAZvVW9zfsvI3L56jLHRgsmjZcNZM1xWdjQ4QO2693ZZqOcyloX3ppPj7AResS5RinT1xIP2xvOWPE9lK1Ss7spSTWeH9cb87mWb7UyuqBLoG7+nX/KQ4VQyWn2XwqSIyJINVR2YQQjjJJW7wigcHYtHk2AwSuShy6rssIxNwJ6dx3jIa1QXxJKPs/dcraXP90FCB17mDSxHoBTvP0zRO/8RHlud1Gh1WypTpW450ItYO1NWu6RTBR/9v6xGMGkvbA8NNNDFpzzHJ389i7N53YU81hfc93CxQKEOobHwlSgIcjPmu8pQTqPN8IlW8QWLv1Y+L4rzzwGoyu6R/m4ceKme5FBTR+Mh6JKyyk8S+1l8A7"},"round_count":1,"stop_reason":"cumulative mean+2se<0.03"},{"clip_gamma":997500000000000000,"cand_gamma":997000000000000000,"rounds":[{"n":128,"mean_diff":-0.27015103067286006,"se":0.03026341812432737,"worst5":[{"seed":64098,"diff":-1.0115397742688401},{"seed":64065,"diff":-0.9035510776567435},{"seed":64050,"diff":-0.8580346500603468},{"seed":64073,"diff":-0.844354611171866},{"seed":64029,"diff":-0.7999054163221899}],"sum_base":68479.72191329296,"sum_candidate":68445.14258136685,"sum_diff":-34.57933192612609,"sum_diff_squared":24.230097650909137,"sum_base_squared":37723031.65540793,"sum_candidate_squared":37688505.77738796,"sum_base_candidate":37705756.601349115,"seeds":[64000,64127],"stop":true,"round_wall_s":291.82479513500584}],"stopped":true,"complete":false,"moments":{"n":128,"mean_diff":-0.27015103067286006,"se":0.03026341812432737,"worst5":[{"seed":64098,"diff":-1.0115397742688401},{"seed":64065,"diff":-0.9035510776567435},{"seed":64050,"diff":-0.8580346500603468},{"seed":64073,"diff":-0.844354611171866},{"seed":64029,"diff":-0.7999054163221899}],"sum_base":68479.72191329296,"sum_candidate":68445.14258136685,"sum_diff":-34.57933192612609,"sum_diff_squared":24.230097650909137,"sum_base_squared":37723031.65540793,"sum_candidate_squared":37688505.77738796,"sum_base_candidate":37705756.601349115},"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","config_json":"{\"credit\":\"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved\",\"clip_gamma\":997500000000000000,\"cand_gamma\":997000000000000000}\n","config_sha256":"22642c69a3b0272f3ef41d7e8966ddd96ed27d6854265ea22c673ca6ef0db6d6","source_sha256":"701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00","solidity_recipe_output_sha256":"bf162b7fd9abf5f85c4131ea0b5e66f7619864576bc9b259009d5121183cae76","solidity_source_characters":47254,"solidity_replace_with":"int256 pe=exp(m);r=clip(r,mul(pe,997500000000000000),divi(pe,997500000000000000));","paired_unrounded":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","encoding":"base64(zlib(consecutive little-endian binary64 baseline,candidate pairs)); seed=first+index; unrounded","first":64000,"last":64127,"n":128,"raw_sha256":"72a2d65b20f1655eaaca63c488a1bf9179bc1cb8f95e201bffc7cdf96ca5b6a2","data":"eNoN1XlcjIkfB/CILLKdKBFKOmap5EgHn+RWinY7tDZJ+VE6pnOeuZ7nmWeaDkmSLpXChq1GqURIKsmRTldIoxJlJbrE+s1f7/++r+/rexKx6kK7BTxYFbMcymbzQH3ZZlT4k8BEasvt/lECWcGXNKesZHA7WfT+r1UMxlkcquQ4CUlcYSn7KImqf0J2LjKjMLHDkHXAhIKJXdU6DTaFvZ/jC5uCKbyf1rX3xHIOTO759ukZcfAdbjMbU2gcTLTz8kiikXNTwXcPT4zu4cSV3nwxxgb5uXw7Gm+cm9r05PpfP/skWkRhw8adI/PFFKxTsn5eZJEYjVhaYmpEoskmQ/tSAA2W/RrZzEAaKiUZV31pDuqL3esjeRxU2STlPuULYVCzO2AbW4i58/3aypbxoNhh327H4sG1+fxqw3IC98cPzTWWEjiT+SP8nC0ffuZa9ms28bErSqYa10HBbvf2NrunFIop9hwDWRT0KqUzWW+isOm7k3SRTITqpTNQIDdGLU5GRAoRfVrQvDVciBBtAetkIwUF6YvpTx5QcJrT5W25VoIRht1OrJKgxdWbUAogcGfesSpPueXaa0f2/0ZhpntM8y/GFF599G9ZiEiY97v0nLCMxJO+s87zsrn46HX7oiCHi+jdXSaaR3hwIXc5dHjzAGcNe2NLCpsr7H+tMacwuNNg8xFFeZ1bEnco/kfhfsWMzCONIhyJcRpKfyhCjuuiqwkGHNT1fs3fr8NB08CV6in7KIyUlunYeVNo+PJ+e8FJBkcDXMqakxgoBVy4/rqIhu5t7X/KCmjM4CsZdq/gwa3R0SHdggf37GzPMKkQk7ducI+Tm+qr+I14FwHGptOh400ErLU+G435kBhKS7Wp3kfivE/JxCvbCCgb2Lz2sYzAXl1vTw8tEYJ+IWP5GiKY+1rGFj2k0eTdPXSpgcb0hX6G7w4IYO1mnrh5nwBw7/QsXimAv+qTaxVGAvAOKGhKc0kQ52I8MrJJZE6K0mm7xYVe4COxVxkXqxY6zV8yl0RGgF21kiaJpLcGYRumM/ihFFo6qMTA5dNTH1Ylja5ZswtvVdDYsX6qapoqH/eLiYRXk/n4uyts5cWRKHSHlK9dPR6Ff/M+HD0xSwLdVKWqDeoSjHYF+6mpSFC075Fnm7IErXNq6n6e5CL2rfZydjoXj1j1ksYuIYi4qJDQDvlc9txbP/WxCAeT9l5rbRJh9ML1gWcTJFzDnnUsHifhm96p6zZO4eVax6KBUQrK0mJpYz8DdZ8ue7cPDKqY/o/54zS8zib7LhulsSzZ0XLLaRH+iBeG2cr9GdBcFR0TDW/P2PQT8dGYMpVpEJeR+ENXHJ1+mYTlcGloRbsE/6WWpWm+kCDjq75Vex0J8+WG1Rm3SMy/2WLRtI7EltPv+6zWkigS2L/mVVKovKDxLfgGBVmtX+j4dSH4N4VhI3JFatJ1nAQGD8/Vdp+JZZDfzMtrUyOhxlnQaqtM4lStNNAigEFAoN1LWm78/3YNWK0m8ZQVdyjcgoTeYTE71ZyPu65xY5pL+Ih4kKmekCfAdKv9jy0yBBA9CM30YfMxl2ivWOAn74vb8XucFVwoScpVa0y52D3xJf7oFQYWW9wz31Uw+GRscWzaQS52DJiJT3tzkZKi9+gzxYFtFMnViuSAqzEwLWZhFO5c27O5Uz0KJi4+IucwIc7sWvCqSL6/7cNfC2P6CRRFa/3F7iPwMT/rxlUehYLepBA6koJjWjb5UUGESUHGI1aKIlhfOfynIFCEO7sM5tQGiTB8rjp8mCuA9mhMsCxMgKDK46weWoTcv4e3P5I7UvavZudyBv6hoXe3mTKo67D1DZlEYfHg7U6ZfA6EnxRyytTFqD4lVm1VFmOEuzhd9QKNXyfnGufl03hXfjT39DoGjcFZOTU2DKj070bsPhGcnsfE68tVWc1mZMEk4mzYp9ID5PEs839oX6EgeWBZ0lZMQbpU2pEVxcf+w2yWbTAfPb9rFPK8SKQ9G2k+/yeJ40tMLj/14MIoud3/wjYu1tT/FrPYTIwvCvraKsvEaK7Iu8M25eByhbHlPEMOll0bnMoKJ2DZrUtfPURArFbbTczgoMJDUbRSkYNfXRPvJ+tRQHiBcEhfftcr07iyMBqzA/WZVyE07F46L1mkI4B6SoPR9nkCcLmD5QvyKbCa9CeSz1PIyWtwdO6gYaEQm/XjBQ2r8IHM1kYOTF2aatKaOAji13Ra8gTImvtBzVled4MSFeUBaxE4G6ccil8jwgmPLXfYmhSIA09a8jUoaJx9bjL2gYNesqe3v5cDaa/Tw6TFJDgstZ7Xcle59603kedTQLzZzlcV4JbOza0XA+X/UOOqr8CfwYT/jK+yCT586nWXtP7koz86RcvigwBKz+6+ndolQOSNI617g2jQgVlmg/40WmWPNwzZ8HCGrtVXBQ/HCB2ThBEuSsO0E2cNcSF2qIhWfStEwyAUFz4XwlD5m1nsfRHUzJbuIetFaMw2zvmdYCAtU6l5zJHvfw93ox+fh9GdpxwSuTzUffFY5S4VgByLr/MqEGCNY1/CmLwPszpX6OYdIPDddPqm/HM0rPf5lKafp/F/VEy75w=="},"round_count":1,"stop_reason":"cumulative mean+2se<0.03"}],"report":null,"report_pairs":null,"protocol":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","choose_range":[64000,65023],"report_range":[10000,12047],"round_size":128,"workers":8,"stop":"cumulative mean+2*se < 0.03","stop_override":"kit default 3se overridden only for futility; score.summarize unchanged","selection":"greatest completed surviving choosing mean; grid order for ties","grid_order":[996500000000000000,996750000000000000,997250000000000000,997500000000000000],"cand_gamma":997000000000000000,"AGE":false,"other_semantics":"all QLX5 defaults; integer policy, production tables, shipped enginecore_f.py corrected exp","engine_E_seeds_used":0,"engine_runs":0,"submissions":0},"timings":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","setup_seconds":92.128,"search_finished_seconds_after_first_input_download":953.5874948501587,"budget_minutes":45,"round_wall_seconds_note":"Each choosing round duration covers its baseline and all active settings together; do not sum per-setting copies."},"provenance":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","urls":{"replica":"https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4","audit":"https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4","base":"https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","setup":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/setup_fast.sh","score":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/score.py"},"hashes":{"qlxcore.py":"701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00","enginecore_f.py":"60af56a7570fabd603c6374d38a38f88b3c35a8f1e8192f588769460a96bfcfd","mktables.py":"2b373f0c821f501ea67538f9bbaf2f3be9c1c44a7152cb5f4d32622e1a8a8e6a","qlx_tables.json":"8c6d33c5c1024bc23593f46123aad1712c0cc8af3f4a118c5875258f9d7b81a6"},"score_sha256":"7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43","replica_tar_sha256":"0e8adc477297130b731395b8494b6652c982d2c865306a317e139835d21e27f3","audit_payload_tar_sha256":"c9d5f89540cbcb02096c74f12e797d2f225b43adeb6002b24594dedf9b1d9ef5"},"solidity_edit_recipe":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","input_source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","source_url":"https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","decode":"base64 then zlib of code_zb64.QLX5","match_exactly_once":"int256 pe=exp(m);r=clip(r,mul(pe,997e15),divi(pe,997e15));","replace_with":"Use the exact solidity_replace_with string for the chosen grid entry. Only this line changes; the candidate-band line containing 997e15 stays unchanged.","output_hashes":"Each choosing entry includes solidity_recipe_output_sha256.","compile_status":"not compiled; no contract promotion"},"runnable_policy_config_recipe":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","replica_url":"https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4","decode":"code_zb64 is base64(zlib(tar)); extract safely. Verify the full hashes in provenance. Decode QLX5 from baseline URL; run mktables.py on that source and verify qlx_tables.json hash.","apply_python":"config=json.loads(CONFIG_JSON); knobs={k:v for k,v in config.items() if k != \"credit\"}; result=qlxcore.run(seed, qlxcore.load_tables(), **knobs)","dependency_note":"The replica and pinned kit runtime are prerequisites. Runtime downloads remain in scratch and are not delivered. The embedded script/configs/patch recipe and measured pairs are included here; replaying simulations needs those pinned prerequisites."},"limitations":["Replica evidence only; no modified-policy Solidity fee, label, gas, size, or engine gate was run.","The four-row baseline smoke establishes this bounded reproduction, not a new exhaustive audit.","No engine E seeds, qt1 comparison, AGE combination, contract promotion, or submission.","Stopping-rule standard errors are descriptive paired estimates, not sequentially adjusted confidence intervals."],"embedded_solidity_patch_script":"# Credit: Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved.\n# Usage: python3 patch_policy.py QLX5.sol OUTPUT.sol CLIP_GAMMA\nimport sys,hashlib,pathlib\nBASE='e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40'\nEXPECTED={996500000000000000:'302b4a469794ecfe98c07f2e22ae7b9632e6cb895f3bbbe7730824995d4ddfd1',996750000000000000:'c815841ee2a2909af28be15f4d10688a16f1fe07e0dbaaf183cb943c0d778eac',997250000000000000:'fafb23e461e62bcd2c6cd492722f868fc676b1c4dc376714ad886a3dd16849b1',997500000000000000:'bf162b7fd9abf5f85c4131ea0b5e66f7619864576bc9b259009d5121183cae76'}\nsource,target,gamma=sys.argv[1:];gamma=int(gamma);assert gamma in EXPECTED\nraw=pathlib.Path(source).read_bytes();assert hashlib.sha256(raw).hexdigest()==BASE\nold=b'int256 pe=exp(m);r=clip(r,mul(pe,997e15),divi(pe,997e15));'\nassert raw.count(old)==1\nnew=f'int256 pe=exp(m);r=clip(r,mul(pe,{gamma}),divi(pe,{gamma}));'.encode()\npatched=raw.replace(old,new);assert hashlib.sha256(patched).hexdigest()==EXPECTED[gamma]\nassert len(patched.decode())<=50000\npathlib.Path(target).write_bytes(patched)\n","embedded_solidity_patch_script_sha256":"bd29157746859fc18be3259edd6079108cf5ffa42473d396d9a82743284576ed","source_recheck":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","checks":[{"source":"replica","url":"https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4","unchanged":true,"sha256":"60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4"},{"source":"audit","url":"https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4","unchanged":true,"sha256":"362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4"},{"source":"base","url":"https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","unchanged":true,"sha256":"1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15"},{"source":"setup","url":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/setup_fast.sh","unchanged":true,"sha256":"48e150d165ea3b385fb92e0e3a7aefbbe0d97c38c53efa737a587ed62c308d20"},{"source":"score","url":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/score.py","unchanged":true,"sha256":"7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43"}]},"embedded_search_script":"# Credit: Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved.\nimport sys, pathlib, json, hashlib, time, csv, struct, math, concurrent.futures, multiprocessing\nP=pathlib.Path(__file__).resolve().parent\nsys.path.insert(0,str(P/'qlxcore'))\nsys.path.insert(0,str(P/'goal-3178-build-shared-evaluation-kit-45e7563d1a29ffca9d608fdf60c90bf2624d2d01'))\nimport qlxcore, score\nCREDIT='Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved'\nGRID=[996500000000000000,996750000000000000,997250000000000000,997500000000000000]\nSTART=(P/'replica.txt').stat().st_mtime\nDEADLINE=START+44*60\nT=None\n\ndef init():\n global T\n T=qlxcore.load_tables()\n\ndef work(task):\n seed,gamma=task\n a=time.monotonic()\n return dict(qlxcore.run(seed,T,**({} if gamma is None else {'clip_gamma':gamma})),duration_s=time.monotonic()-a,gamma=gamma)\n\ndef save(name,data):\n (P/(name+'.json')).write_text(json.dumps(data,separators=(',',':'),allow_nan=False))\n\ndef moments(rows):\n b=[r['baseline'] for r in rows]; c=[r['candidate'] for r in rows]; d=[y-x for x,y in zip(b,c)]\n s=score.summarize([(r['seed'],v) for r,v in zip(rows,d)])\n return dict(s,sum_base=math.fsum(b),sum_candidate=math.fsum(c),sum_diff=math.fsum(d),sum_diff_squared=math.fsum(v*v for v in d),sum_base_squared=math.fsum(v*v for v in b),sum_candidate_squared=math.fsum(v*v for v in c),sum_base_candidate=math.fsum(x*y for x,y in zip(b,c)))\n\ndef main():\n out={'credit':CREDIT,'grid':GRID,'baseline':'QLX5','workers':8,'choose':[],'smoke':{},'freeze':None,'report':None}\n with concurrent.futures.ProcessPoolExecutor(max_workers=8,initializer=init,mp_context=multiprocessing.get_context('spawn')) as ex:\n  refs=list(csv.DictReader((P/'b2r3/runs/per_seed_512.csv').open()))[:4]\n  smoke=list(ex.map(work,[(int(r['seed']),None) for r in refs]))\n  rows=[]\n  for ref,res in zip(refs,smoke):\n   hx=struct.pack('>d',res['edge']).hex()\n   rows.append({'seed':res['seed'],'expected':float(ref['engine_edge_unrounded']),'actual':res['edge'],'expected_hex':ref['engine_hex'],'actual_hex':hx,'equal':hx==ref['engine_hex'],'calls':res['calls'],'expected_calls':int(ref['port_calls'])})\n  out['smoke']={'credit':CREDIT,'rows':rows,'pass':all(r['equal'] and r['calls']==r['expected_calls'] for r in rows)}\n  save('progress',out);print(json.dumps({'smoke':out['smoke']}),flush=True)\n  if not out['smoke']['pass']:return\n  for g in GRID:out['choose'].append({'clip_gamma':g,'cand_gamma':997000000000000000,'rounds':[],'pairs':[],'stopped':False,'complete':False})\n  for offset in range(0,1024,128):\n   active=[a for a in out['choose'] if not a['stopped']]\n   if not active:break\n   if time.time()>DEADLINE:out['timeout']=True;break\n   seeds=list(range(64000+offset,64128+offset))\n   t0=time.monotonic()\n   tasks=[(s,None) for s in seeds]+[(s,a['clip_gamma']) for a in active for s in seeds]\n   rr=list(ex.map(work,tasks,chunksize=1)); lookup={(r['seed'],r['gamma']):r['edge'] for r in rr}\n   for a in active:\n    a['pairs'] += [{'seed':s,'baseline':lookup[s,None],'candidate':lookup[s,a['clip_gamma']]} for s in seeds]\n    m=moments(a['pairs']);stop=m['mean_diff']+2*m['se']<0.03\n    a['rounds'].append(dict(m,seeds=[64000,seeds[-1]],stop=stop,round_wall_s=time.monotonic()-t0))\n    a['stopped']=stop;a['complete']=len(a['pairs'])==1024;a['moments']=m\n    print(json.dumps({'stage':'choose','gamma':a['clip_gamma'],'n':m['n'],'gain':m['mean_diff'],'se':m['se'],'stop':stop}),flush=True)\n   save('progress',out)\n  survivors=[a for a in out['choose'] if not a['stopped'] and a['complete']]\n  if survivors and not out.get('timeout'):\n   a=max(survivors,key=lambda a:(a['moments']['mean_diff'],-GRID.index(a['clip_gamma'])))\n   g=a['clip_gamma']\n   sol=(P/'QLX5.sol').read_text(); old='int256 pe=exp(m);r=clip(r,mul(pe,997e15),divi(pe,997e15));'\n   new=f'int256 pe=exp(m);r=clip(r,mul(pe,{g}),divi(pe,{g}));'\n   assert sol.count(old)==1\n   sha=hashlib.sha256(sol.replace(old,new).encode()).hexdigest()\n   out['freeze']={'credit':CREDIT,'clip_gamma':g,'cand_gamma':997000000000000000,'source_sha256':sha,'choosing_mean':a['moments']['mean_diff'],'chosen_before_report':True,'unix_time':time.time(),'selection_rule':'greatest completed surviving choosing mean; grid order for ties'}\n   save('freeze',out['freeze']);save('progress',out)\n   r={'pairs':[],'rounds':[],'stopped':False,'complete':False};out['report']=r\n   for offset in range(0,2048,128):\n    if time.time()>DEADLINE:out['timeout']=True;break\n    seeds=list(range(10000+offset,10128+offset));t0=time.monotonic()\n    rr=list(ex.map(work,[(s,v) for s in seeds for v in [None,g]],chunksize=1));lookup={(v['seed'],v['gamma']):v['edge'] for v in rr}\n    r['pairs'] += [{'seed':s,'baseline':lookup[s,None],'candidate':lookup[s,g]} for s in seeds]\n    m=moments(r['pairs']);stop=m['mean_diff']+2*m['se']<0.03\n    r['rounds'].append(dict(m,seeds=[10000,seeds[-1]],stop=stop,round_wall_s=time.monotonic()-t0))\n    r['stopped']=stop;r['complete']=len(r['pairs'])==2048;r['moments']=m\n    print(json.dumps({'stage':'report','gamma':g,'n':m['n'],'gain':m['mean_diff'],'se':m['se'],'stop':stop}),flush=True);save('progress',out)\n    if stop:break\n  out['elapsed_since_inputs_s']=time.time()-START\n  out['advance']=bool(out['report'] and out['report']['complete'] and not out['report']['stopped'] and out['report']['moments']['mean_diff']>=.03 and out['smoke']['pass'] and not out.get('timeout'))\n  save('progress',out)\nif __name__=='__main__':main()\n","embedded_search_script_sha256":"0a9f92bad54a1bafe7131fbf71b320956f20f4ba3e00758deed6cff3f1dcf832","measurement_counts":{"unique_choosing_seeds":512,"choosing_baseline_runs":512,"choosing_candidate_runs":1280,"baseline_smoke_runs":4,"report_runs":0,"total_replica_runs":1796},"verification":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","json_and_size_checks":"passed","four_unrounded_audit_rows":"bit-identical; callback counts equal","paired_data_roundtrip":"1280 unrounded choosing pairs decoded and checked","choosing_statistics":"every cumulative mean, SE, round count and futility stop recomputed independently","solidity_edit_recipes":"all four exact source hashes reproduced; each within 50000 source characters","sources":"all five URLs re-fetched byte-identical; every quote found verbatim","outputs":"untracked; no submission","authority":"Local consistency checks only; no independent certification."}}