{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: the solved policy, exact-arithmetic tell and U1 tables that QLX5 is built on; this item only moves the SD coordinate multiplier per phase.","item":"c4-search-b/sd-phase","where":"replica_choose","headline_note":"DIAGNOSTIC ONLY, never selected: every arm stopped under the rule; the numbers below are the stopped arm with the highest cumulative mean, (phase 2, M=11000), on 64000..64383 of the choose range. No survivor, so no freeze and no report run.","measured_arm":{"phase":2,"M":11000,"key":"2_11000","status":"stopped at n=384 (mean+2se=0.027387 < 0.03)"},"metric":"per seed: patched-QLX5 replica edge minus unchanged-QLX5 replica edge (same seed), Cython engine-faithful port; mean and se from kit score.summarize","gain_vs_base":0.014100087041586976,"se":0.006643500371374616,"n":384,"seeds":[64000,64383],"advance":false,"advance_reason":"No arm survived the 128-seed stopping rule on the choose range (all four reached cumulative mean+2se < 0.03), so nothing was frozen and the report range 10000..12047 was never run; advance requires a completed 2048-seed report with gain >= 0.03.","selected_parameters":null,"source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","source_hash_scope":"unchanged QLX5 contract source (code_zb64.QLX5 of A/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15); no patched source is selected. Patched port qlxcore.py sha256 605bf430085b51719785b76f623187d6d3c8b55daac21d7a22c3b70df1d1c119; compiled patched qlxhot.py 38921902b48f1f5c4ca5273f9afdd51f84dfdc7e052c20e063caf96fdbbffda2.","config_sha256":"c14de81ac457e411d54311ed821f627719d13639578165908e6b515b321876ca","config":{"policy":"QLX5 port (qlxcore.py 701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00) + sd-phase patch","knobs_added":{"sd_phase":-1,"sd_mult":10000},"grid":[[1,9000],[1,11000],[2,9000],[2,11000]],"other_knobs":"all QLX5 defaults","choose_seeds":[64000,65023],"report_seeds":[10000,12047],"round":128,"stop":"cumulative mean+2se < 0.03 (kit score.summarize) or no effect","freeze":"highest mean among arms completing 1024, grid order ties"},"arms":{"1_9000":{"phase":1,"M":9000,"seeds":[64000,64127],"completed":128,"stopped":true,"stop":{"reason":"cumulative mean+2se < 0.03","after_n":128,"mean":-0.003945620848664788,"se":0.011487655062665471},"selected":false,"rounds":[{"round":0,"seeds":[64000,64127],"n":128,"cum_mean":-0.003945620848664788,"cum_se":0.011487655062665471,"cum_mean_plus_2se":0.019029689276666154,"round_mean":-0.003945620848664788,"round_se":0.011487655062665471,"positive":61,"zero":0,"sdp_n":643146,"sdp_nz":412198,"sdp_chg":412198,"wall_s":20.69}],"paired_moments":{"n":128,"mean":-0.003945620848664788,"se":0.011487655062665471,"sd":0.12996798071588367,"sum":-0.5050394686290929,"sumsq":2.147235547700089,"min":-0.4001122271264421,"max":0.33546855922179475,"positive":61,"negative":67,"zero":0},"affected_lookups":{"phase_lookups":643146,"nonzero_sd_lookups":412198,"changed_level_or_weight":412198,"afterSwap_calls":1392796,"share_changed_of_calls":0.2959500170879296}},"1_11000":{"phase":1,"M":11000,"seeds":[64000,64127],"completed":128,"stopped":true,"stop":{"reason":"cumulative mean+2se < 0.03","after_n":128,"mean":-0.0008667080289455065,"se":0.010442226163263426},"selected":false,"rounds":[{"round":0,"seeds":[64000,64127],"n":128,"cum_mean":-0.0008667080289455065,"cum_se":0.010442226163263426,"cum_mean_plus_2se":0.020017744297581345,"round_mean":-0.0008667080289455065,"round_se":0.010442226163263426,"positive":67,"zero":0,"sdp_n":643006,"sdp_nz":411962,"sdp_chg":411955,"wall_s":20.41}],"paired_moments":{"n":128,"mean":-0.0008667080289455065,"se":0.010442226163263426,"sd":0.11814030289163446,"sum":-0.11093862770502483,"sumsq":1.7726518096498982,"min":-0.3879355855427207,"max":0.27005310998538334,"positive":67,"negative":61,"zero":0},"affected_lookups":{"phase_lookups":643006,"nonzero_sd_lookups":411962,"changed_level_or_weight":411955,"afterSwap_calls":1392643,"share_changed_of_calls":0.2958080426929227}},"2_9000":{"phase":2,"M":9000,"seeds":[64000,64127],"completed":128,"stopped":true,"stop":{"reason":"cumulative mean+2se < 0.03","after_n":128,"mean":0.0065426787300433276,"se":0.009920061257305081},"selected":false,"rounds":[{"round":0,"seeds":[64000,64127],"n":128,"cum_mean":0.0065426787300433276,"cum_se":0.009920061257305081,"cum_mean_plus_2se":0.02638280124465349,"round_mean":0.0065426787300433276,"round_se":0.009920061257305081,"positive":66,"zero":0,"sdp_n":261344,"sdp_nz":172146,"sdp_chg":172146,"wall_s":20.41}],"paired_moments":{"n":128,"mean":0.0065426787300433276,"se":0.009920061257305081,"sd":0.11223268135722195,"sum":0.8374628774455459,"sumsq":1.6051934456636916,"min":-0.27256948118440505,"max":0.33168330456089734,"positive":66,"negative":62,"zero":0},"affected_lookups":{"phase_lookups":261344,"nonzero_sd_lookups":172146,"changed_level_or_weight":172146,"afterSwap_calls":1393167,"share_changed_of_calls":0.1235645116486394}},"2_11000":{"phase":2,"M":11000,"seeds":[64000,64383],"completed":384,"stopped":true,"stop":{"reason":"cumulative mean+2se < 0.03","after_n":384,"mean":0.014100087041586976,"se":0.006643500371374616},"selected":false,"rounds":[{"round":0,"seeds":[64000,64127],"n":128,"cum_mean":0.01807996547105839,"cum_se":0.008630356037782547,"cum_mean_plus_2se":0.035340677546623483,"round_mean":0.01807996547105839,"round_se":0.008630356037782547,"positive":73,"zero":0,"sdp_n":261154,"sdp_nz":171988,"sdp_chg":171982,"wall_s":20.11},{"round":1,"seeds":[64128,64255],"n":256,"cum_mean":0.016812207208279695,"cum_se":0.006869130691100198,"cum_mean_plus_2se":0.030550468590480093,"round_mean":0.015544448945501,"round_se":0.010722618161505855,"positive":139,"zero":0,"sdp_n":522421,"sdp_nz":344892,"sdp_chg":344884,"wall_s":19.69},{"round":2,"seeds":[64256,64383],"n":384,"cum_mean":0.014100087041586976,"cum_se":0.006643500371374616,"cum_mean_plus_2se":0.027387087784336208,"round_mean":0.00867584670820154,"round_se":0.014473411489931911,"positive":210,"zero":0,"sdp_n":797405,"sdp_nz":525059,"sdp_chg":525049,"wall_s":20.59}],"paired_moments":{"n":384,"mean":0.014100087041586976,"se":0.006643500371374616,"sd":0.13018548812686684,"sum":5.414433423969399,"sumsq":6.5675280676709615,"min":-1.0193790158722322,"max":0.6186956117110753,"positive":210,"negative":174,"zero":0},"affected_lookups":{"phase_lookups":797405,"nonzero_sd_lookups":525059,"changed_level_or_weight":525049,"afterSwap_calls":4205466,"share_changed_of_calls":0.12484918437100669}}},"freeze_record":{"frozen":false,"selected":null,"reason":"no arm completed 1024 choose seeds; all stopped (1,9000)@128, (1,11000)@128, (2,9000)@128, (2,11000)@384","report_run":false,"report_seeds_used":0},"pairs":{"format":"per arm: base64(zlib(bytes)); per seed in order from seeds[0], contiguous, 16 bytes = big-endian float64 unchanged-QLX5 edge then big-endian float64 patched edge; diff = patched - base (exact, unrounded)","decoder":"import base64,zlib,struct; r=zlib.decompress(base64.b64decode(B)); [(s0+i//16, struct.unpack('>d',r[i+8:i+16])[0]-struct.unpack('>d',r[i:i+8])[0]) for i in range(0,len(r),16)]","data":{"1_9000":"eNoV1Xk81PsaB3AOUuqckCxJlKQMh0gR5UP7orRckbol6w3FZJmZ32y/+Y0tOZdKkhApW5qopI1zWk6S7BU35VqjFGUPdb/3r/e/z+tZPg/4eo4i9Vge+Au2D021KoD3s3DplkEavB8Bv+bwWyBdoaiRH5wGqVWrcqVxMcQJxTSXNU4sPNS5TQDawmBHSEE5aEul3YNFS0Gz56wtdzQBHWpcLW66Be7vpw+2KfeCa1ZYGPUuBpKk6pn7MEnUHHWx/Y5I/n4fuYcZxGVllso6kDgKMgUDY5BgZ+mTNFPQTNTry/cCiJ6dVe4OELPyfqYl2RHXT/aNp0ESmK9zwb4WkiBde9GzCHAlPncuFM8GN8orXKP0b4gEbzIT7csh4v+dciYzGXyz242+87XAZ42drj+tDV6J8corda7g3fk00Jb7JwRrssOmUi9B4MDJMnC0A/32pGo7Zxcx+ep+uQPgtBtpsukiooXt095QMO0Gsp2TG8B0SoLkCtZDFMFrP6kWA1F49cghO0XQ1WdZQp0Q0LVXbr2uzES0rY1nm+ZORNtsK+u35YAXOI3n6VpPZMn3WZwAbXpkxFanhKiVKbq8HxHQrw/4/I6oZHJjxBZU+jyXyz2vQaVmzdjQoAR+kIZJ2+4o8P1O8txYj0DbLFs3xwXERXFbZ7EhUQjaaLRjABLFWPk11CMw1UGpKqWVYF7q3u4wnguuUfwdA9cMcA0j9li9HwV9WPGvm321oD2bgv3UuZCevba1d/A5cc0Ovz91Ibn+/l5u4DSi18ZXR76Db9lpPE2gQkxXPWJgBJEs1CM93Y3olL8qQA3hH3jfFXySEd69WkPdbwhir7GlX7XJ/LzNwv211yF8zbuJYq8rCLe/mOfVFARG293Dc8FBMFr7DrP1aiCpuh5r47OceLjd+7wMQu8Pxr76MyD0Me04ZqAC4Yoij1Y3QGjNL8q5YgVxpkxDzptPrPD5NhgHqqxRlyOfSvzq5G4vhVhr8fyd+tYQaxZ4UuZJkM5wCjXqSIRU2cg13vgSJPdZXm/69xAbI36T/AaB6nlVJYdtEGgsv9EhvwKckbwVoW1XwRm2T+R9C0T0r6dPfcz6QrS+OkPzBaJnq/kGt40SF3ypeLEX1NmfTx9rNoA61+k9phcEUVt19DPWS4habzr2H1kMpkbJoaLLiMzDacnB9pcQTzT13csdhXjyXZxRcxno8X0LWlN8QH9feGiLlxqkn6plRbJZkPZN90+58gWS8ZzPn6TlxL3uzRVdYC5usnE+Y0Z0K7Pxn4+omKjyusCfiIqNdx97XQrx7cjnUiVFYu/USYsmRL8qPXFr2AbR9ZFK+R27IH76arXh0AWIKzb/UAi8AfHaWqv6h/MhdlBoTJEyoO/z368TXgf9oDJah30SonvjJ3yftBN5VUzlQ0jjuWtlagxRQ3/x3miI1Rqz+HU5EKuvTnmu4AFpoNUx2ZNzkAapXOsp8oF45eq+Xf5xxORnqxp8IViezI48uggCS2Sbz6yBMCtePfVFOISZBon6bgEQsL1ST7xgIAimOuZtUQJlya1I2FcJyrzGyNBlB6Q3T8UNTuwm5mlj8g4oP+U/rJb1g/It1r17URFc+uvLRUlJ4IpLY3/6hoGjH6PcN4cCR3dubU1BEUShLozXHhOIQnwrInIVwfsUUzg0/Aq8XqV+x5IHoPl3HqTlfAZNHa2v7RkGI/dZnH7eGcwvqnElOXJgjgkPHL1pByaoZPq5d98gpIbD/soehpDPKoihQsBIulgJ94+DYTzorRwtSH9v1fhye4So/EI2Pg5aPsRnzdunoH951i+e1o9I9dsZcv0i4uiqgkWWkOSqpiykRoj/8GO/nAnp2ouZp0o+EDf+x+nJeTA97KWTKTSY7lcddbYMxMHtUvbK2RCH3N/+VlcP9E2dqRwbEejiRkPfZlcIOGlvZUtkEISrRf737mWID/EL5+zt+r+p23dvAuX+5obJ4gRQbvpTQ9leiLRYGGP6bBVR+/jx7hRwzdmPskrrSM6rxXm4XQcvjKU0cNeMaJA4398CXBVe5xO1SHCnGzuz7v4T9KIzlf92/Q20YVNV97W5kIS2U+fvOxE/Jps+VoVQ12CxS4sjhHr2aiMbtEDn6JUMUBQxOm3U9DUkb12cn2dlEPOLLqRHg1vdkNoXtprYcrCFc4n02ab1seA40XMu01QGxq5v1uxicl92Ld1Vw6WgNdiPNrmfJpqlbL6nA+7HMZPmy3PAHXB1WLjDDOKFiVU7u2XEqolLGfakHhOHHjdrCOeJSvKOdkJ6LG/zQ90ySEPMslKWpEEw0T6kEjABwY/MPdymAAg/WmknRX0iphge6JKH5PjBhqAHEUR6tMW1F3z7b0417Q3gr52V+1hbAdRIvIku7w9QQ/kNSzrI/nWoRpVuj4Soc0GwrCsGTGWsxfdZxsSmhA1VzZDy9mYsS6+GlMubKtUPA1/gu57qKgdf6D1UN0FyUOZm7T74FML85skDzqPg/Wssvsd5FXj+H6ydK1ogyc7ZMMOc/N/shOdhH8z/B/5gvvU=","1_11000":"eNoV1XlYzWkUB/BCRaKNFlkijeqKSCQt3+zMUCaTqCZpytKepHvv7977W+4tskaZ9s1S1qsipWgoE6W0qJBlCkkLGbQomnf++jzP+7x/nOec53wPqGmOEq2DAlDTDFpc6xogGLlssu4zA6GiOKjx2UxIF42ZdCEklVj1PaZIAfTxPIbPGyR+ikoxFYCxMNwYerGUqFSyMOovMGHa9qWOZmD2ljNq5rPAn3fCs1XlPfjmxr+f8nAFG18zfguGwcadLXF/NxUyapuvwq10yAS7VjhWjgbrKMoU9Q6AXc427tlRAYaLajp9059YmLjOKAU07/xIavwy4j8lHuVaYAMu6CfZ1oINtMrYl1gLPut7IylPHXzZZ6X+LhEkoubMWNtSYrm35TkPUObXH/tN1QU1f8C2PN0FgoI5i8/WuRIbilaOb4PI7sy+78kZENkvCRk/6AymJUajLXITUT5mi9ZGRLYZ64QxuYh8rUoH1nqBazOUOw2vIiqzHbu9IdkvaIvRPABJ6Kr2hBVlYGrieGL9UDDVK2MOjlJG9FJr71YdJ0Rbrx0RVN2EIEBZ4O1aT5yqd+k1+T93R99S/QIwZj3i7mh97MeMev+eF8T3xdrnl0KYNsX5dEcTUfCUGY4EFTjJrPXXKFABUsPeIhsw1qYrtJ1BVM2sGucJdnTgauONvWDHfOiIeG8KriYwWbWwElx1Dq2oUQa+8ZEbhq7p4M/ukWzcGQNm+5g7+d21YLyO2RguiIE07tL6958fQBrP6xutfQnslZc3cwKUwcptRq3M7QK18M0cZZEqKKvVEWv/zoREHu6eluZGtLl28uG/iHgn+Dba909EdMyuUEypBe0zYPJJj8zP5wmntjAPEXYvhvJ8ziLCXst7mbQYnN5Wd+/pnuB0jLvpsaVgH145aO27AGxVf1B/ngnEf7yb4zdjHMS71j4ZNrGFeFGu+ys3QGw1fG7UNAp0pnySwh/EjNvhTo8mQHj7sUGkYjKEd/TunG0IAq07e6rTDCvQOq31ttvuQTpuebjx61hiusFFkziwxTyf5o8uYEt0XNr9ciHSSNBQcviZ2OQ6PJdDZN/5ReGt5xDZ77Ve3pmK6AknDndmfUC02mb3lhkJiFbX9Atp7Sfv9Rft4jgI40bulek0ENmW7W/KIGmtia7gVRN75znqfgX3SMnh/ltj4u0dJk8dQA896b6Z0w/6W0vK/WAnMINbpr9K9CXm65SNEkDaVSPPlasR0ymVahOwg9k9XVLSp8GixOcm/uBS1lhvOGkOLvVa8W7rS4g6EFVaFzCCqJg1KVysO+jrsgdSpTGgC3ytgkRTEN1YuPfaV2tEP6bGC7MUQd9rtDH6kkSs+6JzaiJo+1rL+ltTQdv1Gv9eT/a7mHq5QnwFTEmDpd/2QUhuDu71K2+DpNDBqsU3EdIjfHu5Jke8bKB1ZRdozcdZVF02aC1dB8N4U0gDLIPk5acg9S+gHK+Hg15s071p1yGigcFxy3aIFvwZJtszCyKLpxaSUQMQZx3RSq6KgDgjw8XLMBmiMJ/kvVUcRCHVVgo5YggX8u8f31IJ4SLa1crPGNL8w4c+D/1KrFFLTuqHcKfKUUvTj8SkCSVeWuAzn6pnxccTPW3u35EjcsYBlW5tISKnmazrd/0bknBnzsfFDJKwa01JaISg68DlL1+JPeEB+i+iwVA3SlKze8CIdmvWZ/wAp9BDpyVsADtyQhhTUQMuSOyxJ38ZsXBI9eoFiIVf99058xVi0aegkLHrwLFveceLg8Fxh9w6I/Mhnfdq0ofrfURzd4/DC8AohvratdwjnpE6bteATOt6usJHCWSanX+VudmDzdFInCnsA5tdT/t7k1y2T8k8XPCOKMw/9KMIXEeYyXAiA+7dFzVrhvQ9pE0atlgddGiC8tBpIzD5+t+zrSVg8lY3U8mmEEWmtsh/kkMk8HLsWHkStBd1WXvzW6JVEy9LD8KtzVfNZh+H8Lc923bKYiGzmHlgbsUSYtaq50Y54M8Pu5tVWPd/vuuZT2mCYB9PqbfIHILQ1b/oTn4IvqrgTbmmDPyxP7RdXxwEM+tk5THXiWCMXOsKn5F8Cm8TJhQvJ4bFLvYlczYwnO383BHi6ZuMJqtogMmeVtArFII5p7OldfJ+sC3OGx5kpRNzsxNlIvBrGpK799mAX1uwJlGvHmLK+lWZKJj0+3TpSZ1qcMu61dTzyH7ZhV86NbESzKSwu2u2niBarP/tbCb4nQNmT09rg/9x/UZ1D0vQM2MfOrXLQRvuNW0eeEvqMXPocLMi9fycpPKZ5EXQ+bW3DG5DGqzb33h5FURDbV9U/Ycg+p459+hPPIg7LfXio7og7phfxzA8sMGeDYElpO6gi7EGaeagbP9d/qitAdQyvYrV8ywg7DtiZiA4CmF/+8tu9fWQvNaIKvxFRvKhfcXtZzxwlQctvqnNId7vMD7mAqlgc7ppWg2kfNX5fKWJoER+K4VvS0FJquoL4yZCLHez2krqFMsf51V+WwTB7oEjHRuWQLCr2fPGXXJfz2SvGjef3N8zL4OvDt/4DxnLt8g=","2_9000":"eNoN1Wk81esWB3CFRMqwnSjJcMnUYCgp4dc8ilKqU25J5IRkG9rz3v/9/7OLlJQk2SJCg33pGCJRcTuEiqTTwMVRRCfnSBGO+7z6vlhv1vqt9XweCIxWi3VP8yAwMoro3f4reJN3rDYPUeD9k+RBy9lglqro3TyRDsbp1r9d/zkASWIRxbUdJZbVhji8AGVnsj38VhUo+90qr6IdQLFZblWrbYhDUuP2THAXJ/l2qvWBuyjV/FHGTEiTm2bswThxMFzXywsxgp8DlCozEMOrS43/315IVwszhYMjxOX1LJdQUHTsq+vlwcTwFLfXhpDY5k+mJ7sQE4Li74ZBGnJzzpVVzyENbphceOIeuNKA0itFWuDKbltrKkohFrZlnl9VBbEgT+XNuBcEi4pfBs7Th2CJ3/tzGc/BK7F0ynnhQ7w1eeFWGoSu2VETadcgdK/0CQ0yAfU2TruLswPUm6tHx5nN4HRZzGZThUST/p6U+aC7TBSe4+tBdw/9xKkyg/gkrytO5xSxuTh7+gZQTRdtRXPCQT2j1ikteAjZCme/ztmekDnXy6pH9cALmcbz82kGL3TilVazANTCw99WzCkhzr2Y55aDkzBuDv78nti4abd3GvjyuV7Xe1+Bn578YzjVDoJQPZvOnbHEghVxNZOgnK3XsrxAfGNfWfEaUuXQDRbbB4nX82t9Sb9NoWkaZfWgG9IYz5nJ4FoklJr4ZIBrdmKWmc4xUIdUHt4deA7Kb3ZCjToHzMXbW/qG6ogP34zGkpwL2svzQqZBekceOxksh8DhD8tpQg0IHAfGIl81QqyI3C+X74W4MCdfYvwY0R95P5QDUhDdc+aon3Y9JP4jVn8ZkP0d8dz5OYSDaNf3Y0X+OYh2y270uOoJ2mDffr/5vqD1W8pLlK5C2lBw2jnAHtLGGbutrOwhOvLRMtBYHaJDccXJFm0QLS3c37EXEDl6TWnd9ACSTIWe0hEBJFkz9uju4ID/4KUhZwrJ7b5l9OapzZDom8/zNF5GnN/vI1cDo74m0qL7PBg1xe9B0y5BWmHr3/bFG9L7c8taphdCqH1ZW9V9K4RaLei9ngjOt/ylkZ03iKwg5QIWZDOTznzK+hMyzS/8a8JZkGnpBJ7o/A7ZrF/WH6rxBv/iZO3j2S3gJ7fU9wnIPXY2yZ7Ykpw6a0p+qLJBP1N1/63HglhofC9gGiRjrwfK874T2Q6Z8cqgRvfM70gNIF5acaZCBUx/k6JQoQlmQKM6Z1kBpKO5n/uZKmL+7bi2Q6CvbnT2uLAIdHpKhpA3ithTsVUvQiYRe1qWbvSOzF0cU8eoqhCT6o4uaICstSzi12FnourYBTsaktrWlf/6egWS/8ZG6ZO6xO25Y3PlPGL9saYGf1AVgva1ogJQ91vc412/Q1w+GhFY0wXxPemwbek3MAlcN4UODebss6fa6yIg0XmZJXiRS8w26l2/EUyI43FFzSXi1BZ/uQ0kTisHdgTFE+fl1M/bAKF9CjvmmBnR+oNy+DaIshJ0055GQ5T592la9xOEbP+0iKc0ceKO4k09+A7c3xL3EO07vm886wTm7pn4obGdRKp/01gY+EfVzjpafwE/MHj7ppDL4FJ/NZolk7uXqmb19baDY3xKbYDFB8d0c5i1MtlPpBft720DcZTmteqmEfD6T935OtxKpNZe7jYFJSi9n577GRR/Yrx6gx5opc8S+WUP4mjc1pjDoI+LDhy760KkjbbULoWIPxz1MHsYIt7aCUXGQdDSHtvEijDQdOKYStsjMIs79P4sJrktlvmtTNoOakp4gOvbWlBKJdC0skKMbnGG0hcxYljBaimp/ZDmaaea8r8Rf3qnNzkCxu1q5pmSj2Dcl5YmVSwG3cu2Gk+liAWVVnbHITnRxbCdtCBhP57a6DoG6u6ciVxnMajCGzEsc0sIOelvFQsUxP0PRwL1ITkouMPa1UMMCbDkBYG/r+0/NuaJ4O/RW7P5sAVi7ExPLXyynJgV/q5VCu4S9qOsshfg2lZv2xc6CF6UrergvUXgRTo4rO3YBa4G748anRhw1ccNDfp0QJldqD/nM4vo2r0hwwDSyC7+5Yo1RPMLJ1VHIDI0Mfd6txoiI6dG060HQeUalQzy+aBu7OjmXmmF9K2XR11WBjHtwIC0BNymlrSBqJXgPrvmSxmxIBI4dzwWhkEkdNNnTxkG7TKgqVVE3pfLfpcHBtWg9NiPNu5LAjV7ymhR2xZwP43Y/H6dBe5AnpqwXQiJ6fkGzw8K4mh79bWDpB8b9969y4jCr3UeoWCO52+qNHwAJtzSzSSjGsKxrq8awWMQjp/TTfB7AtEnR4Pk2H5imc7N8emQhvm2hN4/SczSPys3gmDV32uedbVA4L5RMvUfbfC/JdgY8s6C/7XcWp3NgbhbO7ZsWwzEH7hCDd8toOtP2/3QtARdd16mxv8ZDG9XhrW8CQw3cNfcp8kQCAPX8XuqIBCvXhPalwWRYu+yfUO1RK7M+305eL+MJPR6LAcvoKjnYDQL0uzc9epLyP+bnfPUO8L1/3jzvCw=","2_11000":"eNoN13c4lW8YB3Ak0rKVH0mlQiIkkfHNKFRIi4YSmiSyzn7fM4yKUkYpyshoSUJpIAoNodCSkoqEIiLh9/z1ua5zrnOe933WfX/BnrWSpxDNBFutsOnEQBiY49e0Hftposy4mfQwhEsllS4fToHQJD1aLIML6uRNmrFomHg9zfBKKuglms6BV0pBG7TExj7YCjpI0ap0pS7Rg709XBMM/VM7Pkl3Emtvq9zZCH5C7ZQt+Ef8OG91jRNE7K2+YvcvEO0mvw3IAX8lJ43zcwh8Gwldicoh0IKIpoySg6CFWsVeXjGgFuWOpySsAKUbkDlr8W/w/S6rJlvUEafv2nltOhh83+Lkm7JgRAZ1lq5fAB6nOS3OohQ89mS2W68L2IsLX+1RnwG2gepB7+v2YBYtXHapfjPR/tDohzFwLDNDRs9dBMci3s7+mR3od0fl2sLXE9cYzVOyQXjbfJUgOh/hn4bFH73lQtCmmefyz57ofvzWl3DwwphtR+WjwAt6lZ1l9x10bfwirmogUXRUZ6gNkWbLvT6puCBy+VDm2ugHYPpJMb02NxBvrfROuwBab/egmWoR8dOD4bOGCMPshoPdLcSn28NldMFK/c81o6MJrJRFU+r1u8H2V9L95BYBtt/ENfW3bUEv17FVdAXR8bFW0FPwJ/ivmu/8E3xJu2vaPdEQ1Pqfm3z7CQTPHwY/k74DxvyYYs3NF8CYN3ra4cUc0Lskywt+1BEfSa9ashnC+KtOnf01ECaFNQ9uNwH/+oeSHD8p8PPMnne7LgfbqH2hFGcy2Kab2F215eDlBW9LTXUn9uWN9Ogj9Bvz7wTfJKKY6vuqQ6C8h7R/zSTr56MhXuA4HaGWLSM3vS8RF4t9UNsLwUyPbV4aOyCY0bOT3agP/rPr0ct9DYl33kvxFoLr823hntky4Pr6KlSo7gN3af62VneAa5qs1flwH6i0PCUxHzao9CW4zR8E68ErtXDxc2CVvuiXUfcBNUNL3WW2CSiV1sLEkCcQytgEz/8cB+GkxGXb5LTAv7vIu7l3A1Hq2B/Jl+DInZGbaL0GHHmfx7H/TiB8MHdp8Kcs4sPq6gBLRE47dfx7eg/xYp6R3AVEysrvOfzpD1G6paKmBqz48UcVKi/BSviunPj1JnifaiOrFj0nCtO0ns6E4MVE6+ov84nucc/eOIMaef2jJOcP8RYeFCuBHt6i0XrWF/TQh/fzFipC2FWbl583lWhx1OXkGfCHs7u7hKXg/53mffT9RgjOr16+7vRiCFKcCqzilBERFVFa7zeOiGixSq/DTqAKRTXCiZLEo3dCaEdENt4+cmtgOSKb7aj+mH+gHjWaz/udDKrq8qqrfY9BWdUZN9xXJw4i8SQ513fZH2y510Hf58aUTA4Br2T4yJ7KNqKq4u6j1yCMYVjlyQuIQaVWsvGg5F+ls+uziY3nm/aOQ+hnfCivMpHYaZ36qAvUMvMf6/cdI/oUyqyrBMcwKUh0YC7xBffsoQhw02MUzj0NBTfjr3PRXy9wgrzPHXkqACfwalC5xT6wjBjVJ7c8ActwbtmUkU8QFhw/1j/iRmQsOjt+Day90rHGOr1Ea36aJhsM+tfzuQkJYPDOp+yxPYfw2VHSPxRZCNfck3tMUQW8YFeB9wZd8I6Euv4XshTMrqhrvwcaiZ49GZIXQbOL76Vkd4PmbKix2H4YArFuKvXMOmJTd+OqfAgOcbcfKFhBVGyvuVUMLmsgpDxzAFy29GRnFXkI+F8WnbwbAIHANOnqpCsQ6rcq9RQOEh3FBrpiQYsH+lq+ewRa4sHE1xrKECkUXhDr5UGkqDXxQJgE+DlyZ+ewBolJg0fyXkFodT7teNE3CK1b148kPoSgI0j731kags4JY9/Cc0EdbhMGLZMFFXijUHlDL+gC1dHs5TzQN7cYJfLywQlPeZe3IA+csM86J9g1oHayrylu/ELslxZaqoHl0XxDV+skWO7Oj/Q2L4FoyZwovSpTotOlMxN7wTAIeph+ux6MJWd6dVuOghmyaOLPO4vBPFL+LV0UC8ZkZnulvAgMmfsrTvw3DHru6ScnNk8HPc9UI3BYA/zgNtaZuzZEXluFfhC4apparu9Xgque9iFvdjDo7FlFP1ks0Jf2/PeyZif471zX1aRfIIbrdUzXA6P25bkfIeZgPD8kHLXyIPO8vLWCEwAu5/VF1RwmBCt+TJW9Sc6XhcOPzMMloJWCHq72OAVaxWD//hYZML4P6b7JUASjq0Tsm5YjqDlxz1y+5hGvJJ/+LkueR9e6w90EXFW2BP+RJoSHch3uqz0gavrUusqBM9L2e/LBEXBGFz/iS/wA97vxzISILqKyldLfb+AH7Hjpfy+M6DE0JdgQbIs+mxdtL8GGmAb95gVYgzG6asxYsIZ8LrrvDAXvs1zE7bUi8NoMZpQf8ofgSfSSv1MXQlDdX5u2aTuEzI0XdFJriRsG1vmR+5+zx471pRRsbl+XtpICuHnuJh79j8C9ofnaTSIXzP1DMR3rTME8cGpgu2ci+JnZ9jIGpP5m5tlzlmlCECByOnmH/H/AnHkBIZkQLuIqBMu2Qrh4bXVHhTmY7u22jIPKxF8NRqYq5JwyVjp4FIMyPZcw3uABgfuxuMmxaUTv+KNP/oBuVuzc8M0KdFOP+4F5VqDG/lwwbiLzOdbv0dN4C7zTJSv75pN7MF5wl9XMAbOpdZeSsxWYr19P7+qQBtWp/iPK+zeojg833/9RBeOXnkprRDyxyep0Gfn+2UtNdosbqKc1aXIMB1Be9VHbHpiD2l1VHZFZC55Rfv/7FR/BM97obF5xDVzDnSmXOVqkTpwfKUk1Ip/bKqaGdoJnWLezmzwf953mYoPMcnDf7r3oUaYMyl9qbMbZQVCHps4zMj6F8PYL9zQGUxHe0Xe8++lqUAHBRTtM44gSPrMVukHZCS6YK3wmurYbN1mCd6/1W2xUEHgPHrf+3NQF4bzI0eYyUj/nak9zy78FgXf3rr0tW4lL9JRuqoH9OXJaDjse7DZnO9ljx8g6PFxczK2HIDDMPym1BnQA36dAq4sY1Bzf5gRB1i+muyWpk1mxHheL1cG7kP98zcmz4GWYeXwpNQajZr+Iu3oyGHUJSpRnPXiSIzfvuJH9NCH4cK7/OART/A1XFugQTw7nrPYCz+X409scPnjr5ddrHG8EXX48PnaCPvGPrI0E6bcC53jtrWMQ305n+u+HSEb26ZDoMESTtIf3HE4FZcQ8ltxeRnxh8PzFIvBNilRLNt0F3/ScIKFjMig1HfM35WR+1Oj24renINr/8l79wAhx33a/jtUQMEZyDcNJH8U00o9Z6Ing0VTz4+VnEPwvIGZzIg98JbVC82x58BXX1j8oLAA/0bIs3mUc/PhDCjNHf4CftO2xrxHpb84ktyjUJ4O97oLhNK0DYDtv+LS6ZxOEY64xvN6ZRIWHpamuYLc7SPWZV4D91eHs5pnN4D8+0Ppbw4DY2ta87AGZpy0+Utp54MlIH26zUAJb55tTsX4W2LrR3ppjwWC/1GoQt/qP+C75n/pj0Oskv46XWhBblKbZlIK6dFuFPUbM8lGo89yO8B9af8JSPBDe9WS6rRsHLIW4rjUfNYgVf5I8/oLN0vaefGQa2OEy/SN65J5T9FQbN/sNWv7Aj/ODSWDn5GzLUdkNdtaYr5nFGXBHFO+lt30lNqgG5t0B+0HH9APpg8StwVe0ST980Grg4zCZD7+rOtI7NoCer3ec13uAOH4k/GQ5BPbR5654iUOwKv3GFpc5EPoyXN8ZOkLo07TnyhLyu6GBNB2JTtJX0LMcPexIn360eh7EiUnTz1uNgU6wedvXW0vUVXtWQO7XJy+bVLxJ//vUK8+6kvRVp6q/dtwNA3W6vv4TJxbBX4e/n5hEI7gj5HiK7lMI8uwmL61RILqofRNMB5UzdWubFjlX2a8NL04i+8XRrEOsUZzoN/XeIVIXlmbXl4dEk33lHXB83iQIN1X/Nbm3EcKNoQoGzK+gv3LZrwOnEd8Xde0PAsPXokGjZA4YXjscHbOcwObHeWd+ridKyzybGYvQQgMuoySNOH9G9tAccKdskW/vOgGuzGBoe6kVOOeKm00rB8BJfkvrnyV9ht3zy/Hfe8GxXRWqU3EYkbPML9MDzYhU15qgoXwGgjVzqmO7WiFwSn67U/8QBGE/wgJMKyAIVxWPiyN1fyL8jU7mgisdHJxh8wXcU6N6ZWsZ4Ma3nFRIfQFKOlTM/Z0OqEnqDTeuO4H/inG0rNibaLYxqcUBPP3Zvf1hquAtto/w6RYD83JP5oRJXmBej53/SrENfLPv5w4qlhDvnzbbTPbjeS9lf2UTomP9grnbwbWIfry67Q1x0Eb1gDNEzUsWYoceMX8gvqQSrOuew36TKLDyY5e15q4By1/vaZVyMlh+/TeYU7shuqIkXRTYC9FlsTLHVUPgSH8O27LXFhwZ2YqkvghQca/f7tZ9TVyX1753J5iSJh2N2b1gTjS+G2WWBXrVfrG4sk9EcbONb0hfIZU/vS58BtFlzHPBXvDnyq31LJ4H/pyDt4qLq8DKPVO5/ONisLLHaC0vG3Ay/IJKqvaDk/4pQv7qOMIrzmnxykgfXrHQl7nvFKghVuQ7sd2gBm2yJt05Db6CRKNCTDb48oGnMz+EgLYd7Fyw0p8Yf+zy1NMIzvv1o8jKAsE3JOJmMEfBvn3omsHqG2AXp13xs8kBbeJ+B1NJ7jOp0nnX8AwCVQsduo7UOdUamVa/XRB8mGsqlZpDtNwg9/AGqBdffqm33wZV98XvGuUObvv96IiZfeB+CdkYE5ABepbVbg27faA1pqcyauZDaGEtHJ+/G0Kz1uHU3kjwzW1UH+bxwbf4/bDMKJLkkjNGK2NJX6wy48WKFRYQOeqJRo8OQuSwjaW17QoYmcsH1Z9bgpGxeF/LrECE3xJ9yPtrgPBCf0d1lQ3gXXLT3q7zDLwsVkZdKnl/TY80+1ebiC6c308kwXHfXtNixQRny06VfVNUEHY0Xclf4inCoo+F73C7Bf6uV7eXtI8S32m+adeDwONP2/Jxkic8xPN6dgtBNZgdWW9KclRDyvZhA3JuS0MShnleRE+jV3dugS130+CIYRrYCrvnS33RA7fC52PuCUWibJXPhirwde6lP+KYgq9bpNFX1wnu7VNh77uCwS0e6LyWSva/6an8kjPPiBdHU9xiSK5Z/Kiir4NYNmLUm4UISe9fLxdeR8SEx3c9NQMRIWWmf07mFSImhr8aPPoQVML67vuknlAJuzr3JP6C4KPNq/c7I8l6Ca89MNkO0TKJ7GzvhRAtfb73voQ2OOcvxfwpagMn5aplwvflYC6dWvhcQgJMo8og5Zz3iFxt09y/uQ+Rq4xOJRiS8yqp8MiV1DdK8kvP+rtqoH3+WSXPJH21j+rNbqUp4G4e/fZC8BPcjRuiVl9NAz1pUcXF5l9ECckrY5rghPi/XjJLivi586T8dAhKg+Kb/oUQWZtn3a0E9Xr//RurS4gtdfUXdoBT+d+IahZZt0rjZ3/NqiBUr481+LMKQg2fir1fPoB7JtnBuGkU3LOdzwqVQ0GPW2fd6CF1QELceCBgLVhPhEzzWhewnrWcqNpI+okI959ZlqSfEP52Kqf+A7c03DFQaSO4ZZUP/fRJfuyZ8c2qyZgow32bq4VohbJ70+ccIOrOUNa1Qtj4lKfTHrgQ9y59PyET9GP3btnHn0FX1YUGSVIInTN57bGMO8QN97NO90BATzPLtCR5iKpLD520GqyTtW27rG+BFfvPd6DVG9z+RJ23M8TA/ZnPq/OIhmBuyYaXkaoQzLF34KwmOaakqH7CkUaimZbBAKlPYW+uyI23Ex/hfPgNiFin5NpSpSHirBtM2EDeT+t0WEClNlHi1gmnLgjufFTuLX5AvHp+pXUBwg3nut1LuI3wJdOaffdEQuh8IPX1pVgI192wHFuzFVR1QIbKTpJHqx+scWWUgSE1PuVDdSDJMdOcc6X6wdqUuHVg+SbibxqL7cF4WZpdQtaN0XKpUdV7PzkHSq+2/vIkrtGeWH4TAhcxlddryPiuswqzSU6jLHxkRUbviXtzAq/HgffdxVlP2R28jqIvM1vJ+GUNC1ZMIt+Xi9+4tJ8HwR79KN0aMo97AiQtbtiB3fmwNf2aBbFX0nkHC3zJQNvPOlzwJyRNGltDg6U+/43s/Syw1BCY+/YPhL+mrJqk7kEU5f/u9AQr72mUzXdv4v3FqxeQee7ac7VBUYnYW3ztRRSpY3Zb+t68hcDx21sHvRrwZ9rtb7/nSLyf98p3HqiF6uMzrvJA6UyZYNXDQOj+weRV7TEIPXg5ZaGmDugJ3Zd2biU5a+KvKzK2nmC6aXeOGZIc7SYeoC7nB9FO6x3Ow/ch8nQ71LDuLLgrXLc++3WXaFrgPa4Jqoq+emuBGNE6usYqEbRX4YjWonugd9X3CKMiwLq7xvDnrRKw7qUkzVCTJvte7W9nTx64SWO8mXmdEMhX/+xsOQWBwt9/ym9I/+0JG0bBALFAs/Dgdwh1LF8sv3QGwgV9jevWpJA8Nmg/aqoJttX4yTXvCiCoXDowlEfu98pA862+DRA19tyZtVEE0fOqSd1v3MDu47fcU+gE+5eNzJJv9qCUWDFVWnPJfe09a+vZMnCUZqwctHcFR/Hyf4U9NHh3d5qYfBeSPODW9FgzGYzCNn05lyIwii52ekYagpm9MM8y8TzR7LzhTRVS79skf2xrBc/AW7YswAF8A/7cDyZixAEFp2ekjgy825iyNBD070gxYxfSj8VWqMW+NQV9wmDjMt8bCDn0mtPwzw0hAS9bTj9vg+Bd1wq7288heN9kGl9iBuFFbaUtPUeJdnf6tVYh7PN1W3W3ZoR9mf7dWfszBLYxj+I2EO1T+ie4uoL23DXe5UXG3eltLf68FRRP+xenjNQp3nmH62Q8vsBa+ecR0qcLlov//TeN5ICmns1SIGZPPJ6bCMExa7HarGTiNXGdxwoINTaOMzxfSJRfctHWAcKT4wd83+oTM5W/qidCWGA9lCGKgbAwZr1OAMnx8mynsKhp4CqqL2N/D4OwXLzh8Zb3EJal9f+2OwHOqX5zgwNnwYm3t0gSkJzx92PU7BfJoEa0JkQ7FYKfYi7dmLMe/HNb3IX5LeCpT7W8kLULPFX/uhW2/xBxu+zClX+7EVEcXnVLsgI8rWTeVa4GePNFd1SW5YB/7VGCw5Qr4OdPFj/QfgHUGZNgrVdVoJJ+OKiNpYM3tmfzC6nZ4A1a79fT8AN92XbRY9u/RKGjZfUUUOqN/RFpRaA0tMVTNZ+Dnm2V8/dQMFHtpXOGL8kLxunBlUdIXphFz5YrB6/6ZsZcc1/wqvJzLWeHk33zaWKEHcl397+afaibCNpVP/3o1jzi60sFkWQehHu/yWz2JOreXEh/BeW0teKyySxiWJ99UiHoYGNT05+niWYXF2TuI/W31j1qrhapv5Up+uI+/wNIjDpL"}},"parity":{"audit_rows":[{"seed":10010512,"audit_engine_hex":"4082f10a711db056","audit_engine_unrounded":"606.1300985640944","audit_calls":12227,"audit_split_tries":8155,"audit_split_hits":7255,"py_hex":"4082f10a711db056","ctl_hex":"4082f10a711db056","sd_hex":"4082f10a711db056","sd_dis_m9000_hex":"4082f10a711db056","sd_ph1_m10000_hex":"4082f10a711db056","sd_ph2_m10000_hex":"4082f10a711db056","py_calls":12227,"ctl_calls":12227,"sd_calls":12227,"sd_dis_m9000_calls":12227,"sd_ph1_m10000_calls":12227,"sd_ph2_m10000_calls":12227,"ctl_tries":8155,"ctl_hits":7255,"all_bits_equal":true,"all_trace_sha_equal":true},{"seed":10010513,"audit_engine_hex":"407e2c73e5b63867","audit_engine_unrounded":"482.77829524211705","audit_calls":9988,"audit_split_tries":6388,"audit_split_hits":5684,"py_hex":"407e2c73e5b63867","ctl_hex":"407e2c73e5b63867","sd_hex":"407e2c73e5b63867","sd_dis_m9000_hex":"407e2c73e5b63867","sd_ph1_m10000_hex":"407e2c73e5b63867","sd_ph2_m10000_hex":"407e2c73e5b63867","py_calls":9988,"ctl_calls":9988,"sd_calls":9988,"sd_dis_m9000_calls":9988,"sd_ph1_m10000_calls":9988,"sd_ph2_m10000_calls":9988,"ctl_tries":6388,"ctl_hits":5684,"all_bits_equal":true,"all_trace_sha_equal":true},{"seed":10010514,"audit_engine_hex":"40794cbf188fe8c4","audit_engine_unrounded":"404.7966542836623","audit_calls":9532,"audit_split_tries":5838,"audit_split_hits":5236,"py_hex":"40794cbf188fe8c4","ctl_hex":"40794cbf188fe8c4","sd_hex":"40794cbf188fe8c4","sd_dis_m9000_hex":"40794cbf188fe8c4","sd_ph1_m10000_hex":"40794cbf188fe8c4","sd_ph2_m10000_hex":"40794cbf188fe8c4","py_calls":9532,"ctl_calls":9532,"sd_calls":9532,"sd_dis_m9000_calls":9532,"sd_ph1_m10000_calls":9532,"sd_ph2_m10000_calls":9532,"ctl_tries":5838,"ctl_hits":5236,"all_bits_equal":true,"all_trace_sha_equal":true},{"seed":10010515,"audit_engine_hex":"407c241723e5f101","audit_engine_unrounded":"450.2556494695746","audit_calls":10484,"audit_split_tries":6858,"audit_split_hits":6117,"py_hex":"407c241723e5f101","ctl_hex":"407c241723e5f101","sd_hex":"407c241723e5f101","sd_dis_m9000_hex":"407c241723e5f101","sd_ph1_m10000_hex":"407c241723e5f101","sd_ph2_m10000_hex":"407c241723e5f101","py_calls":10484,"ctl_calls":10484,"sd_calls":10484,"sd_dis_m9000_calls":10484,"sd_ph1_m10000_calls":10484,"sd_ph2_m10000_calls":10484,"ctl_tries":6858,"ctl_hits":6117,"all_bits_equal":true,"all_trace_sha_equal":true}],"disabled_vs_control":{"sd":{"seeds":32,"equal_edge_bits_and_callback_sha":32,"sdp_n":0,"sdp_nz":0,"sdp_chg":0},"sd_dis_m9000":{"seeds":32,"equal_edge_bits_and_callback_sha":32,"sdp_n":0,"sdp_nz":0,"sdp_chg":0},"sd_ph1_m10000":{"seeds":32,"equal_edge_bits_and_callback_sha":32,"sdp_n":158295,"sdp_nz":0,"sdp_chg":0},"sd_ph2_m10000":{"seeds":32,"equal_edge_bits_and_callback_sha":32,"sdp_n":62667,"sdp_nz":0,"sdp_chg":0}},"note":"unchanged QLX5 (pure-Python port, Cython control build, and the patched build with the patch disabled) equals engine_hex of the unrounded audit rows 10010512..10010515 of A/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4 bit-for-bit, with equal per-callback SHA-256 traces (inputs, returned fees, full policy state, counters). On 32 seeds (10010512..10010515, 64000..64027) the patched build is bit- and trace-identical to the control for sd_phase=-1 (any M) and for sd_mult=10000 in phase 1 or 2 (158,295 and 62,667 phase lookups touched, 0 changed)."},"smoke":{"passed":true,"replica":"parity above: 4/4 audit rows bit-equal, disabled patch = control on 32/32 seeds (edge bits + per-callback trace sha)","build":"control Cython build reproduces qlxhot.py 3d28cffd8e4fe258e412c9e42f7be7b8f590a719e1267293704af5c0f53d3e93 and qlxhot.c 3ec6cc3133036121548f2321debfe83bba43227206a0f513b1d30cc0e5c64844 of A/72b58a1407966f0223f06ab7c6ddd979a24fb4593f1a9b3dc43508a7f133d00b","solidity":{"QLX5":{"source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","source_chars":47230,"success":true,"errors":null,"bytecode_bytes":22469},"ph1_9000":{"source_sha256":"dbb30e2c4e5dd30d5a0cbad52afe4e41864188cb6d933c7e09f1d23fdceaeb92","source_chars":47259,"success":true,"errors":null,"bytecode_bytes":22488},"ph1_11000":{"source_sha256":"2a63c3e8c10a32ceecf808eda5819c105cbe2d66b3ed97861686a114707a55ac","source_chars":47260,"success":true,"errors":null,"bytecode_bytes":22488},"ph2_9000":{"source_sha256":"22f76032804add35ecca8949d817ff4d6387a1bdaa90189dd665a93eec006adb","source_chars":47259,"success":true,"errors":null,"bytecode_bytes":22491},"ph2_11000":{"source_sha256":"7726277cc2cff29f3bee4bb6df035b3bb29f356a4173ce97af3c869cef9cb80c","source_chars":47260,"success":true,"errors":null,"bytecode_bytes":22491}},"solidity_note":"kit engine SolidityCompiler (solc 0.8.24); bytecode_bytes is the compiler result bytecode length (QLX5 22,469 here; A/1ef80bfb reports runtime 22,440). Compile only: no engine seeds run."},"patch":{"port_patch_script_zb64":"eNq9VUtv2zgQvutXzLoHi6msiHL8SuqiwOa2eynSAgukgUGJlESEekBk7E1+/Q4pRYrrZNNTeeK8vvnmIeoD/NkKLs0lfGOPqm7Bz02Z3lcyLwwJIJemeEjCtC7PR/05K8uZluWXizWN2XK+jueULuMLQRfRkqWMzmnK5ot0vlpnm3nEN9AKLVibFue6VnvBQ+8DaD5rCqYFNMykxSU4YaYbkcpMpnBzDWldt1xWzIgQrqVmiRIcfM13znU7owS28PXvfxahJ8umbg3oRx0AGgslE69BKypC1ub7W3p3BRoVdSMqvyFhKxj3ice0FhjXh4S6YPFi6etQVGnNhU9IWIh/ucyFNj5m28J0FVGeZJzS1SITYsVpvOFiE/MkpgnlPF2tlxeL1WaZXsRxgra1yBIWC84WEWVJFE09LjLsR+OzABJy6QGeXNUJU6Cd0HPS2PSHyvjM5aUBsK4CjdwbxVLRAXgWamLj/Olhp41opgEsgkkAvfK5X6ieIcr01b6DHwU0iAkcihqlo+aD1NDWtfH35AzBygdlrhAKqVR1hZF2AmRKgh/VxPEf81pXTEsjPK9ktmbZKCla6EqSVd45g6zAFMz05OpKPboEp2W+qN8ezZFWTxbOOrAruEdlhPQCbzIZXNv96Oo9K2WGKW2//7odG3d3OdjHHHuE75xclXa9hMpCzZtdBR9xYEcxiIthf/RxjtYxqAMeAJ4cAkJG8DIEK7GK6CTyUEglrPETKNzvGwIziIFV3CJ83sLNLdo+Ar1DpO+nie2xDj+ztsfYjKmSjW+43PuIN3NwDip4gdyr8c3AWX8nJ0D39P+o01eo8546fY86fYM6PabOO450pE5fUKdvU8fpYZU4PQzAF9K4u6GvsxmmmBb5MS+htHhrldx8B5tbWLusP6+3xU6ZUu4hsIJppRiEQprhnslWjxJrkzFEKLVr6kHOH1jLhy9k+IJ/R77TzX926j+D7XE7O5J9UxzOThcyM3rb1KoDDqCMnFRGxD6C73oFI41xLJjcmd0t6BRPo+apUyGlQYd3gsy6/ws+docpCQ+tNMLX5AqaVuJT/mu/GeL9B/gJEhE=","port_diff_zb64":"eNq9U8tO4zAU3fcr7qyagIPiTtMHJaxmN2xQhTQSqiqTuI2FG0eJKaJfz7UdiFtSZsdd3ec59/gxnbNZTGZ0cAvGgmGTr6uCNXxIIKIEMI5sDBXTWXENLghiQskohNdCYbT8A5lSdS5KpjmIBmqldLAPLxBs9yL1AqEghVKVOHl/9y8JhyHxGU0TEtIYrYfTlEUlBa+h5pVkmSi3rhlECbpgul1LlfLNQI/nIzaeJy2FsYbLzVWTV+sSF+mCgx9lxRbDeJDQJEvojCS/x4ObDiHHYisMLhz9Ap7tRBRFHle97zq9tNjglpCm8PexO+XVtdfR0eyRwbXZo1ktfAGXKdCTKcTGwV/tpN3tFPj4FA4WBWFj8IdQUGwVfZ19LYTkpnwDkpfBMoQIRsDK3GDcprB8xNol0BViPfSRGzMtX7c3pg1vJkUV6FzsA8SMLKSFIx56mw4J4FN5CHugnun3EmiPhLyVQP8vgZ6VQI8l5G5X2kmgngT6nQS8T9SL94kjqjaHg76m53Y6esIn23HZ8POPzN66V3XveZLQbDKNyWRKvR/wYax+atJKySvjENBcynWlXOojwHQteJszHoFCaBcbh8D2hdX5uinEpk3bBIFdbKNdHJ58qx+mJ33/x3wdW7cecYlDlzm4FF7DZw79cPAO8Yxewg==","driver_zb64":"eNqtWetv2zgS/56/gkBRSEoURXYeTd3V4nbbPdzi2u1eNwscYBgCLdG2ar1KSk6coP/7zQypl+2kKXr+IFHkcMh5/0i/YG+liJNqwm74Ni0ks5dVFq3zZLmqHJctk2pVz72oyM66/jOeZacqyf5xcT0a86vz6/H5aHQ1vhCjS/+KR3x0Por4+WV0/up68frcj18zKZTgMlqdqSLdiNg7esFUfFquuBIsqUTGYplshJywksuk2rosWhUFjNlXF77ve97VpT8+h+1IURayYvbIp+7R2L945Xjsb8WXAiZvq1WRs9NfNTuv3LIPH9/9xj59/HjD/v37zVGS0fRIbVwGa6/SZO6yz6rIXVYol6lK1lEF7y18VEkmXJbxauUyPQ+oGw5ZnVZJKYtIKJXkS8YVy8qj8AML2PSPIhezo1gsWJjkSWWXxCIrYpCKRyvhTI4Y/GARD4e8JFdCVrbvMvx03rAMuLQreroVwvw6FTa8gCL8MPVnQJURp8y7CfHDSwsehxWfp0LZyMeTdW6/foW6Au5I5rI8VJUoVXDu+85RlHKl2PtiqbdEe6ZNh6GtnAlT3goYG015asXHl1fIWXk59PvtJF6WIo9t1FpdGvnwVwIV7dUL//z4Ht7tiKpgyC69DKT2NvhQJT4lPso7em7xuZjTk+OzwkeU00ttc3xlPvXxNFVEl0hVUYvLOb0rkaZhWei2TAQ1VokmWtZcxk63KW/l1WXMK2GDo0nbBmnQKxzHE3lUxMJ2jPAnARuRiT8Xc5s3FhUCbLzOC1y5kjwSICPX9iQtvGGVD230LM84T4gftt5CuoRBMIbtsGRhGIgUogA9iigkmRmtqtfSJk2LZZAuXXZ8TGtrZkWNGo6TqCLaQE8Q8VIEcmrh25pBEIi7QHs9+GK0tq2fYwuirCFwPCCwHXRcUDBOpAbOJF1iDzWIFygVO/AN361WzS8q6+CA5OwUlKK3vIDss2ZJzmxLxWWYw050475pRaul1XMv0BLRQ94AcadrDAkJryMzSCrUYxY4r4Xj6RKMDFLFyVKoCp2ZhvNo3gznWtWiqmWOg2TnbF0WRWrLoqgoHaQ6WimuzY4KBV6ySWSRT60//v7w6y/h21/e/uu38N3vn4h1YeL9c5HkhpGVz0OLnRBDrQOMmAwcU1RhVOSVuKtAGSW/zS3H+xN3cA3LQ4AmPE3uhQwoWnUXl0sV9LMNcTVsvYyXNjiry6ZdRnj46rJ/cvAwZ8aO2TVm3TpfK2AcjEAxRgWlVgCHXRtJgTukRi3COkE/w2QG62+mo8kFuPmB3AZ0wNKkTxUVUnv0TRsQvUAA0+ESLAiYpQuC1Rmd1zFMeUjyygZnQ7cGP51AaKD7SHQHSO/eO3D8T4LHQtoF5Cb7kPLvzoBXUp3Nx/L8DIJKnZVChsgxvByNPWBjOY7ztUsPMKIuMMVD+Rn5QOMy0zpvWxdt67LLdjoYHzpWuNcdL8KdT22r3FouO7xbVN3Zl/QOlWdBUFq9tm1FVfrIzGgb4mBvRhht4XM3Qvd+GIeP84SxXZazyYAnOfNTgTOgJvWiL2k1n7A0gQCVPF8KDQNcBq/xtTOcBs6CbLWzgKPs8BnQYqgjMYbjICSUDoYbWQuHjKPQHMRhNgyLR9cGdUwYe8HEXZkmEURFnCgsxTHyyxTsKw4J8ASnI3YLsIrxfGuARJoIKHw8j5EIuwICOJpMAGhgNHPPYDqzxSEsFWavYYZ1SDJdBLrV3XYVnOJ8v9j9pcvVKMxot89Yu7c0TfnhtcfPX3v842sD0EgBlWLRKHU0dOOyuEWnm84GMd7xvRiGBkdoUMdTBdkSYcLDesJyzPa9PGZqGjhZm+jQ05TTVUog+Trgi9vwDBzrFX+XUaoLRb5MchFi2edQ5NsvrN8DijqXRZ3HMLejQ0zQDXRTNDjAhAy0BFYNSvhWitHTFbh/FWo8YZj0upDLgJBgxoBOA45vLXZ8/LCGpGKRuBMmQLWAVVD0Tp3iq9vRaSEaSiPSgPbpBSHnGqnElLLzrAeWcJAk6cYewU07KgM0OwfCUHypeRrAp92XBNxjx669DTvP4E2QKQSwZBZIoXY+6BU0gurJ7+Byo146hjS0X+ZaRKdBXC9X6e9eAmk62qh2hkEjvmCE3fWE3TZtzJ13LcqjAd02Awbf0YBu497gnLHF7d0npU1JhUzhmshzZoPVYeMaYrZxpUg94gt4KGlLRwiZB5YlB5oDqkZ1BqrOiPIJExDWJcI7BIAdCvZ1xN91ScFxNfX9Hvn9I/TfWBeQ9S4rBNsHeXUGx6OzF9dZqXONDlNMQQE+3LYEhhtFcFYWaQB9rk6JYTMc7AOqSyr2Tc1/9XhY6ChrnBY0HuwcVy3LAJe+B7f5VVu8d77rnw1cdosxoYIeQIXzyo1/UJ2P4szbQq7PNI71UGMEm27xmUAizat+mSklprZWr8rWijSEPp4/90hAjT2baNROny+aa5Qzc3GC4OhLDZzg+MBG4+tTtAOjhI7nYZ5I+NwoVufRCnFXzP7z/r+XzNYIEp2uKkp2uxIAsuuMZYLnJ2Pg/xPz/HMGes0LJhYLEVV7OF7vpIfjG5h2AOVd+uMLlJQDbsKItwE3GKiCzdHItMdd97jp1jGLx+ZuqQWem0lheENiP22ohRTiXhhD0S4UnmGACRbhFGSjQgypLi+q7mj+iEgjfdLCi6rrvkhVXabCHvI0ey+jXdj8/dheM1J7jL4Tzx+1VzUPfKLzngZTfOpDmvwA7xHCgKhKNiJAOKVdJEC1uMaxgulM+5ZuzXE+NkAV9NZpz28zmmlhRvKbmweThTiGLapQlxhkhSHf4S6KbQJdWv3AAFM0GcZBM1z3SgpsG2fyIWv0WlVNOVQ8LZc1m/VvHNDqMDBhcyn4ugu7wbFjKtUE9nGCK+K1z+jAKZckQNgaHTiJ6GN5hyHlIXD6ptPAScDmLddqPlwO71hGg6KspQUpBnmsGj+yzebuqVRPQmztFQ3KRt9wninJYKW/UItogUHvbr2GLcgdfEBG1dF610fM2+Zjj/ovAKzomdasAc12O9PFefoeDBR4196JgdphGmq+m9VgEj0GbtQNNRDFObS4rvAzNN+2/XrTjtwPh+57Y1id+4P0TaMNUtVj5mt40sYbSbqD8aDmZ1CZ7oXdqWLH7kDyJPn0FJx8sjML72imJXgA2a1Eo3UzhruBfp0oOp2RW1EnIawehWOwQzDVfkQeZ5qnoxl8AILKAOMRyK6zEGsU9WADEMdi0YyAw2I/mvHbVyEENQy7sExrFY7N/B5fiPcxO2YNV8okbburF92l7vPWJdm1IGiMHVH0KGxGj5E4rCxUQjmZMB37mfkdiotBh/dCFmYM4mM4+Kw96aTdeXCbvXuu2+Xxvs+2oIo2bu+kqTHosILQHjv71zx42NnfLyH8QVAgxeRQtDX5HHyTspIOJqhXVgvrIadD4Q+sFshMcNkGGqHOhQSsKBRsAhcGugYqpUWxrkuor3xRCRm2fjiUQ6SPeQVd/zztUD8xH4DWj8oGflynHMn7CA4572/eZYcDqBc8O3ckhE71DTF3+8GN8emyBcTOiqDCo8cInBwYDlCQgwfrZRy+jC32kgEKocqwgwYaVNFP3m1K7pylqZaPxztRRGUN7knRAfmzrJvDYp/F//Vs8FJpuAkCotjmeGBAXNS7dFK9dmRuoKi7dxll7poHOiO1RkUGmBOQJuVUA3GalG9wm+nVfgPGSnKeBrupf2dqDzCZri7BHYRt2LUxBzBvw9Ma/64c/KuzmVq0tDWb9NpeWZQ2akxVl+CpxP/o4KEJGHcnJQsNZblsz1BHCf7dmfNMhCGdUcIQ/+UIQ3NK0X95HP0Pi2EojQ==","build":"mkcy.py from A/8d5400696659b56bc12eeffc34dec5e58c5c119ddddaca681792db59586dd760 with SRC_SHA set to the patched qlxcore.py hash, then build_cy.sh PATCHED_DIR OUT CYTHON_SITE (cython 3.1.4, setuptools 80.9.0 wheels, hashes as pinned)","knobs":"Policy(sd_phase=P, sd_mult=M): fees() uses sd=root(v)*M when ph==P else root(v)*10000; sd_phase=-1 is QLX5","solidity_edit_recipe":"In QLX5.sol fees(): replace 'int256 sd=root(v)*10000;uint256 k;' with 'int256 sd=root(v)*(ph==P?int256(M):int256(10000));uint256 k;' (P in {1,2}, M in {9000,11000}); nothing else changes."},"timings":{"parity_wall_s":27.0,"choose_wall_s":96.3,"choose_base_runs":384,"choose_arm_runs":768,"base_cpu_s":230.8,"workers":8,"cap_min":45,"timeout":false,"activation":"all four arms active (SD coordinate changed on 29.6% of afterSwap calls in the phase-1 arms and 12.4%..12.5% in the phase-2 arms; see affected_lookups)"},"provenance":{"qlx5_artifact":"https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","checked_cython":"https://api.imd.fun/artifacts/72b58a1407966f0223f06ab7c6ddd979a24fb4593f1a9b3dc43508a7f133d00b","cython_payload":"https://api.imd.fun/artifacts/8d5400696659b56bc12eeffc34dec5e58c5c119ddddaca681792db59586dd760","original_port":"https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4","unrounded_audit":"https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4","kit":"identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01 (setup_fast.sh sha256 48e150d165ea3b385fb92e0e3a7aefbbe0d97c38c53efa737a587ed62c308d20, --cache/--scratch under test/scratch)","hashes":{"qlxcore_py":"701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00","enginecore_f_py":"60af56a7570fabd603c6374d38a38f88b3c35a8f1e8192f588769460a96bfcfd","qlx_tables_json":"8c6d33c5c1024bc23593f46123aad1712c0cc8af3f4a118c5875258f9d7b81a6","check_py":"685189c3fa32ec87180b6efea4d8fbc5f6722cf797ecfabce3494630bea6137f","amm_sim_rs_so":"ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14"},"numba_cache":"separate NUMBA_CACHE_DIR per implementation (nb_py, nb_ctl, nb_sd), spawned Pool(8) each"},"engine_work":{"fresh_seeds_from_10200000":0,"engine_runs":0,"submissions":0},"limitations":["Replica only (engine-faithful Cython port, proven bit-equal on the 4 audit rows and 512/512 by A/72b58a14); no engine seeds, by brief.","All arms stopped early, so the reported gains are diagnostic, from 128 seeds (phase 1 arms, (2,9000)) or 384 seeds ((2,11000)); none is a selected or confirmed effect.","(2,11000) was the closest (+0.0141 se 0.0066 after 384); its first-round +0.018 fell with more seeds. A smaller phase-2 move or a re-fit of the levels was not tested: one structural family only, no retuning.","Stopping rule applied after every 128-seed round, including round 0; the report range 10000..12047 was not touched."]}