{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: the solved policy (Gaussian filter, fee rule, U1 tables, exact-arithmetic arb/retail tell) that LEAN and QLX5 are built on. QLX5 + tables A/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15 (QLX5 source sha256 e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40); port A/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4; Cython recipe A/8d5400696659b56bc12eeffc34dec5e58c5c119ddddaca681792db59586dd760 checked in A/72b58a1407966f0223f06ab7c6ddd979a24fb4593f1a9b3dc43508a7f133d00b; unrounded engine audit A/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4; kit identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01.","item":"d4-opportunity/split-truth","where":"replica_oracle_diagnostic","metric":"paired per-seed replica edge, QLX5 with the split-test boolean qx replaced by oracle router truth (probe) minus unmodified QLX5 (baseline), Cython replica of the audited exact port; counterfactual sensitivity, NOT a deployable strategy, NOT an upper bound, no Q or E claim","gain_vs_base":0.004405971168401912,"se":0.00550865041961138,"n":128,"seeds":[64000,64127],"gain_note":"round 0 (64000..64127, 128 paired seeds): mean +0.004406 se 0.005509, mean+2se = 0.015423 < 0.03, so the run stopped by the brief's rule; round 1 (64128..64255) was not run. 66 wins / 62 losses. Not distinguishable from 0.","source_sha256":"1b42310a82a8e7ef66e38ec1434fb62d8dfd3b7ba7c37fa42328c615c48431ce","source_hash_scope":"sha256 of splittruth.py (probe policy hook + callback + run). Patched engine enginecore_p.py 8dee704ea35d3cfb8e1616318788a3bb22e7f6096675c4bf433d2265741fd2b8 is generated by mkpatch.py e599099fa60ad14e01d6bf018dc7ed99ef39b3154e942b4868b052466cd9d14a from enginecore_f.py 60af56a7570fabd603c6374d38a38f88b3c35a8f1e8192f588769460a96bfcfd. Policy helpers come from the rebuilt Cython qlxhot (qlxhot.py 3d28cffd8e4fe258e412c9e42f7be7b8f590a719e1267293704af5c0f53d3e93, qlxhot.c 3ec6cc3133036121548f2321debfe83bba43227206a0f513b1d30cc0e5c64844, qlxcore_cy.py 7e1d0d75ab5f315f03a1f74185aed0351dbed9bc7e871ddf0c5a145bd4d8aa72: all equal to A/72b58a14), qlx_tables.json 8c6d33c5c1024bc23593f46123aad1712c0cc8af3f4a118c5875258f9d7b81a6, qlxcore.py 701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00.","advance":false,"advance_reason":"oracle truth in place of the split test moves replica edge by +0.0044 (se 0.0055) on 128 paired seeds; stop rule mean+2se<0.03 met after round 0. The split test errors that the oracle removes are worth well under the +0.03 promotion bar in this sensitivity test, so this line offers no headroom worth a deployable feature.","rounds_and_stops":{"plan":"paired 128-seed rounds on 64000..64255, 8 spawn workers, stop if cumulative mean+2se < 0.03","rounds":[{"round":0,"seeds":[64000,64127],"n":128,"round_mean":0.004405971168401912,"round_se":0.00550865041961138,"cum_n":128,"cum_mean":0.004405971168401912,"cum_sd":0.06232326507029324,"cum_se":0.00550865041961138,"cum_mean_plus_2se":0.015423272007624672,"off_eq_control_bits":128,"wall_s":21.5}],"stopped_after_round":0,"seeds_not_run":[64128,64255],"wall_total_s_round0":21.5},"moments":{"baseline":{"n":128,"mean":534.9978274476013,"sd":92.49512468872837,"se":8.175491236761884},"probe":{"n":128,"mean":535.0022334187697,"sd":92.49121394450532,"se":8.175145572541934},"diff":{"n":128,"mean":0.004405971168401912,"sd":0.06232326507029324,"se":0.00550865041961138},"diff_halves":[{"n":64,"mean":0.0034014246171771845,"sd":0.06720359014979706,"se":0.008400448768724632},{"n":64,"mean":0.00541051771962664,"sd":0.057547022039593033,"se":0.007193377754949129}],"wins":66,"losses":62,"ties":0,"corr_diff_vs_base_path_decisive_errors":0.006417203618861658,"mean_base_decisive_errors_per_seed":5.328125},"paired_rows_format":"[seed, baseline edge repr (unrounded), baseline IEEE-754 hex, probe edge repr, probe hex, probe-baseline]","paired_rows":[[64000,"449.82849032631896","407c1d417f12897a","449.7872390837585","407c1c9888026e03",-0.0412512425604632],[64001,"431.9797747505873","407affad2849f381","432.0040778346256","407b0010b3eb65b0",0.024303084038308498],[64002,"646.5019925418488","4084340414aa709d","646.531183708527","4084343fdd3e8255",0.02919116667817434],[64003,"530.0871610132737","408090b281792bf9","530.097370335353","408090c76a192f89",0.010209322079390404],[64004,"550.0157746201074","408130204e71abbf","549.8961108032239","40812f2b3c240b83",-0.11966381688353067],[64005,"558.2593970243227","408172133ebf412a","558.3159750679022","408172871defb7ee",0.056578043579520454],[64006,"402.91073406126685","40792e925de107e9","402.95269381278786","40792f3e3bde1068",0.04195975152100573],[64007,"594.7256075684268","408295ce0b5740fc","594.7243235318142","408295cb6a22c6ec",-0.0012840366125601577],[64008,"687.5441379602306","40857c5a6500bd9f","687.483685724031","40857bde969ef20b",-0.06045223619958051],[64009,"584.1863431777156","4082417da17df0f8","584.1772071442984","4082416aeb944b09",-0.009136033417121325],[64010,"560.4408390799775","40818386d6a3ba6b","560.4776635388162","408183d24142eda8",0.036824458838623286],[64011,"517.4580070792357","40802ba9ff9d953b","517.3307500930276","40802aa5604e059f",-0.12725698620806725],[64012,"589.5830566453751","40826caa199a3cd0","589.5654402521081","40826c860589f52c",-0.017616393266962405],[64013,"408.1498333018107","40798265b79ab20f","408.4292839590167","407986de58db4ac9",0.2794506572059845],[64014,"503.865144316991","407f7dd7a1913cbf","503.8440614365048","407f7d81469099a5",-0.02108288048623308],[64015,"450.85689201246845","407c2db5d4661c17","450.86605129844736","407c2ddb589b37d6",0.009159285978910248],[64016,"427.3845736005072","407ab62736a5d156","427.36335695336555","407ab5d04f6177ab",-0.02121664714167082],[64017,"467.8526515871581","407d3da475fd9ba0","467.80786343807375","407d3ced02366293",-0.044788149084354245],[64018,"571.442415017411","4081db8a10e27851","571.4308859115014","4081db72745011a5",-0.011529105909630744],[64019,"398.1340546105303","4078e225167281b1","398.1096481880473","4078e1c11e755ba9",-0.02440642248302538],[64020,"636.2659593819486","4083e220af4ffc45","636.3829883799391","4083e3105c3634b1",0.11702899799047373],[64021,"503.4675012009907","407f777ae28a1188","503.44548123444446","407f7720b0ee4ebb",-0.022019966546224623],[64022,"569.8223485805048","4081ce942b7e1971","569.9580912347683","4081cfaa2bbcbf50",0.1357426542634812],[64023,"743.1525304398473","4087393861e1164f","743.1884588784085","40873981f6ba7b3e",0.03592843856119998],[64024,"422.75158155463316","407a6c067a6156d2","422.7504732075041","407a6c01f031ac12",-0.0011083471290476155],[64025,"549.548321195695","40812c62f63919b6","549.5337950616445","40812c453658643c",-0.014526134050584005],[64026,"372.0077690330489","4077401fd26beddd","372.02307712764537","4077405e861f485c",0.015308094596491628],[64027,"441.88142456080584","407b9e1a50a3e8d6","441.8584315902594","407b9dbc22c36047",-0.022992970546454217],[64028,"454.8174237062125","407c6d142ae15286","454.7763378348251","407c6c6be138b38a",-0.041085871387394945],[64029,"551.020147467505","4081382943135040","551.0620030448308","4081387efb73ce68",0.041855577325804916],[64030,"576.4283564486232","4082036d46254ef0","576.4138088032207","4082034f7afd650a",-0.014547645402444687],[64031,"633.803518375172","4083ce6d9b0ab8ca","633.726518460621","4083cdcfe8e92276",-0.07699991455092459],[64032,"402.3470984709947","4079258db720569f","402.39337178139766","4079264b4035845b",0.04627331040296667],[64033,"556.0023225838322","40816004c1b3ecd0","556.0089587858523","4081601258fbe1fb",0.006636202020104065],[64034,"658.5841272618792","408494ac4ae9f3c9","658.5826591387655","408494a94931cdb5",-0.0014681231136819406],[64035,"597.8587544591871","4082aedebaa86c06","597.8619397946344","4082aee540b0e89b",0.003185335447255966],[64036,"451.18070127996964","407c32e427067d0a","451.2202695246936","407c338639564dd5",0.03956824472396647],[64037,"506.96590768776286","407faf745b9e9e58","507.0913893612916","407fb17654b0df32",0.12548167352872497],[64038,"366.4675235874833","4076e77afa036597","366.46480022023496","4076e76fd25b1153",-0.002723367248336217],[64039,"524.4961718402404","408063f828f1183b","524.4751813418864","408063cd2be01892",-0.020990498354080955],[64040,"355.8666951149301","40763dddfbb263a5","355.87269542513917","40763df68f7a6577",0.006000310209060444],[64041,"611.0436313235656","408318595b611e5d","611.0048443724355","40831809ebd8a971",-0.038786951130077796],[64042,"601.5852226644403","4082ccae89386531","601.5212175078136","4082cc2b7415b14c",-0.0640051566266493],[64043,"486.30643405810457","407e64e727661f09","486.4466775080834","407e67259750913b",0.14024344997881144],[64044,"483.29330050701174","407e34b15bdf5840","483.3390503725664","407e356cc0155de9",0.045749865554682856],[64045,"532.2104873686471","4080a1af1400647c","532.1283996441074","4080a106f6648213",-0.08208772453974689],[64046,"443.92678400876474","407bbed41b78019b","443.9396920801348","407bbf08fa9007d4",0.012908071370077323],[64047,"514.8926321202658","408017241c4f1f35","514.9633743768883","408017b4fda01451",0.07074225662245226],[64048,"641.1574480972359","408409427425e391","641.1045586439595","408408d622d7a290",-0.05288945327640704],[64049,"599.3961865301047","4082bb2b63d7ef53","599.4008347378413","4082bb34e8d7d108",0.004648207736522636],[64050,"465.03712465333655","407d109810053f4b","465.0714237221899","407d11248d336f6d",0.03429906885332912],[64051,"399.41630979210674","4078f6a93474e1a6","399.4235878869998","4078f6c704179a56",0.007278094893081288],[64052,"737.6965578394863","40870d928ceaa2ee","737.6592094793688","40870d460f9e98d1",-0.03734836011756215],[64053,"737.883496171852","40870f116670e1f7","737.8460614754299","40870ec4bbe0fb04",-0.03743469642211039],[64054,"441.3124444599791","407b94ffc5c316d3","441.35271335367526","407b95a4b6c1ee5d",0.040268893696179475],[64055,"510.11292245675287","407fe1ce87c72bcd","509.9216492398678","407fdebf1345f9d9",-0.19127321688506527],[64056,"633.877563065999","4083cf053fc8e525","633.8745001375229","4083cefef9ed9811",-0.0030629284760834707],[64057,"543.4809202750029","4080fbd8ecbaa8f7","543.3933525657361","4080fb259607ad13",-0.08756770926675017],[64058,"575.1675393551528","4081f9571edf9965","575.1750109517042","4081f9666c245017",0.0074715965513405536],[64059,"669.475921047358","4084ebceafb1af0c","669.5023948010246","4084ec04e790c0a6",0.026473753666550692],[64060,"607.2069967651258","4082f9a7edeb84bf","607.2072902797842","4082f9a887ce639d",0.00029351465832405665],[64061,"627.5347753582515","40839c47384d932d","627.556331092586","40839c735db7433d",0.02155573433446989],[64062,"721.0657955514324","40868886bfd16cff","721.0953394900511","408688c34159be4b",0.02954393861864446],[64063,"534.6903257669478","4080b585c9840504","534.7184588722461","4080b5bf675d7e8b",0.028133105298252303],[64064,"762.7150644433341","4087d5b873b4f538","762.693295069473","4087d58bde490eeb",-0.021769373861047825],[64065,"536.7291148003599","4080c5d53a23f49a","536.7178818775474","4080c5be38da93a8",-0.011232922812496327],[64066,"519.851661344906","40803ed033d2bd1c","519.8435593393826","40803ebf9c09f712",-0.008102005523369371],[64067,"567.4359708092722","4081bb7cde437eae","567.6460836211367","4081bd2b2de3ba1b",0.21011281186440556],[64068,"507.685901071016","407fbaf97366c4e2","507.6791083254115","407fbadda0b10157",-0.006792745604514039],[64069,"657.6842015912265","40848d793eaf1183","657.6617013152119","40848d4b2a0f2471",-0.022500276014625342],[64070,"514.2288255454522","408011d4a27cd1a7","514.2063794497177","408011a6aa44d8d5",-0.02244609573449452],[64071,"653.5251134616726","40846c336eafc496","653.5127051245867","40846c1a0524f4bb",-0.01240833708595801],[64072,"518.778771053317","4080363aec51688b","518.8217318033126","40803692e81faa7c",0.04296074999558641],[64073,"467.0994744502551","407d319772856a22","467.07545427141866","407d31350f89c163",-0.024020178836451578],[64074,"490.15944157464344","407ea28d129bcb76","490.17197127947776","407ea2c064f4d355",0.012529704834321365],[64075,"471.1493181727639","407d72639b73cb83","471.21282471589853","407d7367bae3a909",0.063506543134622],[64076,"435.1547322882076","407b3279c89057ca","435.13354671542305","407b322301e173af",-0.021185572784531814],[64077,"662.4436263142654","4084b38c8bf3fb52","662.5591543734503","4084b47925ed9b13",0.11552805918483955],[64078,"438.43934459672795","407b67078e3329ef","438.39658522146266","407b665869bec425",-0.042759375265291055],[64079,"408.12153352269644","407981f1cd229595","408.18339286571745","407982ef2d5b8938",0.06185934302101259],[64080,"385.9707106801722","40781f8807ec137b","385.9524938943259","40781f3d6a3cdc50",-0.018216785846277617],[64081,"503.2696565513494","407f74508363532a","503.24770257820063","407f73f696fa881b",-0.021953973148754358],[64082,"430.7208690232049","407aeb88adf4f5d5","430.77186109612614","407aec598b054eaa",0.050992072921246745],[64083,"559.5897152249214","40817cb7bc9da7ed","559.5732070173622","40817c95ed8f8b44",-0.016508207559240873],[64084,"608.1159679784993","408300ed809e984d","608.1201567181632","408300f614b9b73f",0.004188739663959495],[64085,"621.811699708552","40836e7e5c6ab33b","621.7589119541427","40836e12406e3cb1",-0.05278775440933714],[64086,"487.7474267544015","407e7bf575c1a4f5","487.7530138605288","407e7c0c5843067f",0.005587106127336483],[64087,"624.3618995005799","408382e52b90bb6f","624.396592780385","4083832c38d5ecab",0.03469327980519665],[64088,"645.8589266442566","40842edf14eeb5f6","645.8748954922883","40842effc935365e",0.015968848031661764],[64089,"544.1803688843435","40810171653ddbc5","544.1857452853728","4081017c68063080",0.005376401029366207],[64090,"674.3386821816529","408512b59f00ef7f","674.3874881947909","40851319936921b4",0.048806013138005255],[64091,"597.0081045738177","4082a81099217bf6","597.0083104180808","4082a811050d6efc",0.0002058442630641366],[64092,"647.8264800065343","40843e9ca18cb6e7","647.898851346548","40843f30d8f98b1d",0.0723713400136603],[64093,"637.0557422384592","4083e87228fc9981","637.0467667938115","4083e85fc744cfac",-0.008975444647717268],[64094,"526.110604183459","408070e28472360f","526.0226647678833","4080702e6adda6a4",-0.0879394155757609],[64095,"566.3876908363453","4081b319fda7387f","566.2659043658198","4081b2209277d87a",-0.12178647052553515],[64096,"471.538539585289","407d789ddbaf26af","471.55718628274076","407d78ea3c29e26c",0.018646697451742966],[64097,"523.9358769903453","40805f7cad1354e5","523.917620464663","40805f574965eef1",-0.01825652568231817],[64098,"437.61515823804893","407b59d7b02a2490","437.6411729144178","407b5a423e87a816",0.026014676368845358],[64099,"678.0163730142875","40853021882cc737","678.0618121944927","4085307e97644eb9",0.04543918020522142],[64100,"402.96551765025384","40792f72c2a2b8d1","402.86360026867334","40792dd14e83ec4d",-0.10191738158050612],[64101,"423.3230037120109","407a752b05f0b92d","423.21554725247603","407a7372e1ad0209",-0.10745645953488747],[64102,"400.655003324406","40790a7ae4c41185","400.6982099110249","40790b2bde27d985",0.04320658661890775],[64103,"548.3221636961114","40812293ca8f560e","548.2561950865419","4081220cb00270bf",-0.06596860956949513],[64104,"590.61058730432","408274e27b98bb42","590.6401000735897","4082751eecc991e1",0.02951276926967239],[64105,"481.69534713350373","407e1b202450dc41","481.714335162355","407e1b6deab50b29",0.018988028851254057],[64106,"564.8895090854343","4081a71db6f07b7b","564.8827627981693","4081a70fe5f1221a",-0.0067462872649457495],[64107,"603.4142108681443","4082db504dc9a29f","603.4750140170883","4082dbccd4262449",0.06080314894393268],[64108,"412.9266623722684","4079ced39bec753a","412.95343822033067","4079cf41486f713a",0.026775848062243313],[64109,"487.76388527262947","407e7c38dfc37d6f","487.78604440612514","407e7c93a34c982e",0.022159133495676997],[64110,"615.490257380127","40833bec0c0fb225","615.4930077225056","40833bf1ae0866b2",0.002750342378590176],[64111,"546.5560346197328","40811472c2475992","546.578300542205","408114a05c08e03d",0.02226592247222925],[64112,"414.6855877400823","4079eaf82ad9a313","414.7831259446941","4079ec87af1211c4",0.0975382046117943],[64113,"516.1961904756807","40802191cc4fe6af","516.1392260355159","4080211d228a2a57",-0.056964440164847474],[64114,"481.69781485328286","407e1b2a3fe85835","481.6265433897589","407e1a06525c88a2",-0.0712714635239422],[64115,"653.8326582693187","40846ea948bd1bbe","653.8132356800155","40846e8181b54cdb",-0.019422589303189852],[64116,"479.74290851660743","407dfbe2f40a6bfb","479.7823214032276","407dfc8463729d2d",0.03941288662019815],[64117,"494.63747461709016","407eea33189586eb","494.62067910548734","407ee9ee4d36b60f",-0.016795511602822444],[64118,"589.9208134244099","40826f5dd36dbc77","589.9310251824477","40826f72bd54b2ec",0.010211758037826257],[64119,"451.8091457481907","407c3cf242cfe2d3","451.94202587935365","407c3f1289ba7cf4",0.13288013116294906],[64120,"447.40946398481253","407bf68d2a1b7a8e","447.35758752103237","407bf5b8adb144ab",-0.051876463780160975],[64121,"510.1915347289253","407fe31086b84c85","510.10924033771084","407fe1bf72cbddf4",-0.08229439121447513],[64122,"633.3169879469832","4083ca8930fa0c27","633.316659304082","4083ca8884ac580d",-0.00032864290119505313],[64123,"655.2913192035282","40847a549f299ece","655.2964569135074","40847a5f24cd6180",0.005137709979180727],[64124,"455.83746765515747","407c7d66447be5bf","455.9579059507245","407c7f539530b017",0.12043829556705532],[64125,"490.9590352548369","407eaf583559f3c5","490.9555694002732","407eaf4a0323b3b5",-0.0034658545637284988],[64126,"422.6231822084696","407a69f88de84d37","422.630435116199","407a6a164321e532",0.007252907729423441],[64127,"596.5816746442574","4082a4a745092ffc","596.5779762493804","4082a49fb20307a1",-0.0036983948770057395]],"off_parity":{"what":"probe module with mode=0 (OFF: truth computed but ignored) on the patched engine vs the four oldest unrounded audit rows of A/362fb97f per_seed_512.csv (seeds 10010512..10010515) and vs the untouched Cython control (qlxcore_cy on unpatched enginecore_f, separate NUMBA_CACHE_DIR)","rows":[{"seed":10010512,"engine_edge_unrounded":"606.1300985640944","engine_hex":"4082f10a711db056","off_hex":"4082f10a711db056","control_hex":"4082f10a711db056","off_eq_engine":true,"off_eq_control":true,"calls_eq":true,"tries_eq":true,"hits_eq":true},{"seed":10010513,"engine_edge_unrounded":"482.77829524211705","engine_hex":"407e2c73e5b63867","off_hex":"407e2c73e5b63867","control_hex":"407e2c73e5b63867","off_eq_engine":true,"off_eq_control":true,"calls_eq":true,"tries_eq":true,"hits_eq":true},{"seed":10010514,"engine_edge_unrounded":"404.7966542836623","engine_hex":"40794cbf188fe8c4","off_hex":"40794cbf188fe8c4","control_hex":"40794cbf188fe8c4","off_eq_engine":true,"off_eq_control":true,"calls_eq":true,"tries_eq":true,"hits_eq":true},{"seed":10010515,"engine_edge_unrounded":"450.2556494695746","engine_hex":"407c241723e5f101","off_hex":"407c241723e5f101","control_hex":"407c241723e5f101","off_eq_engine":true,"off_eq_control":true,"calls_eq":true,"tries_eq":true,"hits_eq":true}],"all_bits_equal":true,"counters_equal":true,"round0_baseline_vs_control_bits_equal":"128/128"},"hook":{"file":"splittruth.py ProbePolicy.swap (statement copy of qlxcore.Policy.swap) + mkpatch.py","engine_patch":["before the own-pool execute() of an arb fill: state[0]=-1; state[1]=0; state[2]=0","right after amounts=split(p,buy,total) of each retail order: state[0]=1 if (amounts[0]>0.0001 and amounts[1]>0.0001) else 0; state[1]=n; state[2]=j"],"policy_change":"inside the non-arb branch, after the unchanged split test (same window, q_hit_x call, m0 update, tries/hits), mode=1 sets qx = (state[0]==1); the bound / r=c / synced / 0.35 pull equations consuming qx are unchanged","timing":"truth is the router decision for the CURRENT order: split() runs on both pools' pre-trade reserves and fees, then our execute() and callback, then the normalizer leg. So at our callback the engine has decided the normalizer amount but not executed it.","mapping":"label 1 (truth=True): both router amounts > 0.0001 (the engine dust threshold). label 0: retail order where only our pool got > 0.0001. label -1: arb fill (truth=False). In TRUTH mode qx=truth also outside the split window (gap >= 7 steps), where QLX5 sets qx=False untested; the confusion matrix counts those as predicted False.","not_available_at_a_deployable_callback":["the normalizer amount and whether it exceeds 0.0001 (the contract sees only its own fill and reserves; the normalizer fill happens after the callback)","the arb/retail engine label (contract infers it with the tell)","the retail order count n and order index j of the step","any case where the tell reads the fill as arb: the non-arb branch is never entered, so truth cannot act (base path: 199 both-pool retail fills and 6 one-pool retail fills read as arb)"]},"confusion":{"definition":"over callbacks reaching the non-arb branch on the BASELINE path (128 seeds); predicted = QLX5 qx (False when untested), truth = engine label 1. decisive = bound does not bind, the only case where qx changes r (r=c instead of a 0.35 pull); when the bound binds qx has no effect on r or syn","all_nonarb_branch":{"TP":802465,"TN":96051,"FN":5318,"FP":542,"n":904376,"precision":0.999325037017112,"recall":0.9934165487513354},"tested_in_window":{"TP":802465,"TN":95843,"FP":542,"FN":2235,"n":901085,"precision":0.999325037017112,"recall":0.9972225674164285},"outside_window_untested":{"FN":3083,"TN":208,"TP":0,"FP":0,"n":3291,"precision":null,"recall":0.0},"decisive_not_bound":{"TN":94172,"TP":18094,"FN":462,"FP":220,"n":112948,"precision":0.9879873320956645,"recall":0.9751023927570597},"bound_binds":{"TP":784371,"FN":4856,"TN":1879,"FP":322,"n":791428,"precision":0.9995896484357577,"recall":0.9938471441042944},"branch_label_counts":{"nonarb_branch/engine_arb":68,"nonarb_branch/retail_one_pool":96525,"nonarb_branch/retail_both_pools":807783,"read_as_arb/engine_arb":488307,"read_as_arb/retail_one_pool":6,"read_as_arb/retail_both_pools":199},"subgroups":{"side=buy":{"all":{"TP":400802,"FP":454,"FN":2716,"TN":48136},"decisive":{"TP":9040,"FP":133,"FN":257,"TN":47180}},"side=sell":{"all":{"TP":401663,"FP":88,"FN":2602,"TN":47915},"decisive":{"TP":9054,"FP":87,"FN":205,"TN":46992}},"step_gap=0":{"all":{"TP":431350,"FP":330,"FN":1346,"TN":60897},"decisive":{"TP":6353,"FP":165,"FN":24,"TN":59992}},"step_gap=1":{"all":{"TP":219559,"FP":123,"FN":532,"TN":21237},"decisive":{"TP":4936,"FP":28,"FN":15,"TN":20533}},"step_gap=2-6":{"all":{"TP":151556,"FP":89,"FN":357,"TN":13709},"decisive":{"TP":6805,"FP":27,"FN":14,"TN":13440}},"step_gap=7+":{"all":{"TP":0,"FP":0,"FN":3083,"TN":208},"decisive":{"TP":0,"FP":0,"FN":409,"TN":207}},"retail_count=0":{"all":{"TP":0,"FP":1,"FN":0,"TN":67},"decisive":{"TP":0,"FP":0,"FN":0,"TN":6}},"retail_count=1":{"all":{"TP":360559,"FP":231,"FN":3023,"TN":43099},"decisive":{"TP":7883,"FP":92,"FN":256,"TN":42332}},"retail_count=2":{"all":{"TP":287193,"FP":195,"FN":1620,"TN":34155},"decisive":{"TP":6606,"FP":74,"FN":156,"TN":33519}},"retail_count=3":{"all":{"TP":115206,"FP":84,"FN":519,"TN":13939},"decisive":{"TP":2681,"FP":36,"FN":44,"TN":13612}},"retail_count=4+":{"all":{"TP":39507,"FP":31,"FN":156,"TN":4791},"decisive":{"TP":924,"FP":18,"FN":6,"TN":4703}}},"probe_path_decisive":{"TN":94175,"TP":18045,"FN":460,"FP":243,"n":112923,"precision":0.9867125984251969,"recall":0.9751418535530938},"branch_counts":{"base_tries":901085,"base_hits":803007,"probe_tries":901094,"probe_hits":803035,"base_calls":1392888,"probe_calls":1392921,"base_arbs_read":488512,"probe_arbs_read":488543,"note":"tries/hits = QLX5 split-test tries/hits (m0 path identical in both modes up to trajectory divergence)"}},"hypotheses":[{"h":"Most decisive misses are timing, not arithmetic: of 462 decisive false negatives on the base path, 409 occur at step gap >= 7 where the window skips the test; inside the window decisive recall is >= 0.996 at every gap bin.","observable":"steps since the previous own callback (timestamp gap)","counts":{"step_gap=0":{"TP":6353,"FP":165,"FN":24,"TN":59992},"step_gap=1":{"TP":4936,"FP":28,"FN":15,"TN":20533},"step_gap=2-6":{"TP":6805,"FP":27,"FN":14,"TN":13440},"step_gap=7+":{"TP":0,"FP":0,"FN":409,"TN":207}},"caveat":"even fixing every error moved edge only +0.0044 se 0.0055, so a wider window is unlikely to reach +0.03"},{"h":"Decisive false positives concentrate on same-step repeat callbacks: 165 of 220 at gap 0, precision 0.9747 there vs >= 0.994 at gaps 1..6.","observable":"callback index within the step (cnt) / gap 0","counts":{"TP":6353,"FP":165,"FN":24,"TN":59992}},{"h":"False positives are side-asymmetric: buy-side 454 vs sell-side 88 over all non-arb callbacks (decisive 133 vs 87).","observable":"is_buy","counts":{"side=buy":{"all":{"TP":400802,"FP":454,"FN":2716,"TN":48136},"decisive":{"TP":9040,"FP":133,"FN":257,"TN":47180}},"side=sell":{"all":{"TP":401663,"FP":88,"FN":2602,"TN":47915},"decisive":{"TP":9054,"FP":87,"FN":205,"TN":46992}}}}],"excluded_from_deployable_features":"seed ids, future prices, the normalizer leg, router amounts, retail order count/index, engine labels and any latent engine value; the subgroup by retail count is descriptive only","limitations":["replica only (exact Cython build of the audited port); no engine run, no Solidity port, no Q gate and no E seeds; nothing here certifies a contract","stopped after one 128-seed round by the stop rule; n=128, se 0.0055","counterfactual sensitivity test: truth replaces one boolean; other policy errors (tell misreads, pull size, tables) are untouched, so this is not a proven upper bound on split-test value","truth = router amount > 0.0001 to the normalizer; a normalizer fill that then fails (out<=0) would still count as True (not counted separately)","confusion on the base path; the probe path diverges after the first changed decision, so its counts (probe_path_decisive) differ slightly","retail_count=0 subgroup = engine arb fills read as retail (68 on the base path)"],"reproduce":{"steps":["kit setup_fast.sh --platform linux-x86_64 --replica-only --cache test/scratch/cache --scratch test/scratch/runtime","extract code_zb64 of A/60dc237f -> x/port; payload_zb64 of A/362fb97f -> x/audit; payload_zb64 of A/8d540069 -> x/cyp; mktables.py on A/1ef80bfb -> qlx_tables.json","cython 3.1.4 + setuptools 80.9.0 wheels (hash-pinned in requirements-cython.txt) unzipped into cypkgs; bash build_cy.sh x/port/qlxcore cyout cypkgs","decode code_zb64 below; python3 -I mkpatch.py x/port/qlxcore/enginecore_f.py probe/enginecore_p.py","python -B driver.py probe cyout x/audit/b2r3/runs/per_seed_512.csv out   (8 spawn workers; NUMBA_CACHE_DIR runtime/nc_probe and runtime/nc_control)","python3 -I analyze.py out/runs.json out/analysis.json; python3 -I build.py SCRATCH DST"],"code_encoding":"base64(zlib(ustar)); members splittruth/{mkpatch.py, splittruth.py, driver.py, analyze.py, build.py}","files_sha256":{"mkpatch.py":"e599099fa60ad14e01d6bf018dc7ed99ef39b3154e942b4868b052466cd9d14a","splittruth.py":"1b42310a82a8e7ef66e38ec1434fb62d8dfd3b7ba7c37fa42328c615c48431ce","driver.py":"18667cc49215f24ed2108574012ff3c477efa4c842da122b627afde52c32527b","analyze.py":"e810aa5aca6507606b1ade8f4aaddeb6806e06c2a6fc7167cc19686acb487843","build.py":"721b2ccce23480ac11412913ed06134091f103b4f85b30295eaa42961d76bc0e"},"code_zb64":"eNrtfWuT28axaD7zV8y1SwXAArkA38s1UpHWUqw6tqQjr0/dFLOFDIDBEloSgABwdylf//fT3TODB8mVFCdO3UqIsrXAYB49PT39mkazzNdJVRXbanW2uc15Fa4G+e4P/9zLgWvqOPTXOfw7nI5H+l6Wu0N3OvkDc/7wL7i2ZcULGP4P/5nX1+yyEFFSLdgV362zgpk31Sa8TZObVWXZ7CapVttgEGabs6b8jG82/TLZ/Gk8d4d8OpoPR647HY6FO3GmPOTuyA35aBKOZvP4fORE56wQpeBFuDors/WdiAa9r1mJhNcnymNRwm/SrKySkJmFgBch97OCh2vhN6+sBbsvkkqUTKQ3SSrCrBB+DtTKvHZJjCVmueLDyZRNHR5Ppnw2GAwslq+3JQxc3WcsSavpmJUVNCjxIWPVSrBbUaRibcAADwmMmN6wvwFxVOJv7E6EUNdmGx4J9h5IhgUihsbULLtP+3mWraGZCLeVMC2WxUzwcMXiZL1ewJiM8SKQT3DPqNelc+31XVs9uNeeo++HcE+NClHxZK3a1Y1clsQ0cJHBaAXAS7iEYUuRVuyPzBnALnIZzOr5m6vvGcJWMjPbFiXjaURNRw4L8pKlWbHh6+SjKCwm1qVgjk0Dd64awBQ6KSIB3dyIVBRQip0lMH4lcqsF/XtVEVAbiQcLunydsXid8cpm717/2VaQMyA3pIziTgB+gNI2AkkgXPH0RpQXBKhaIw64LgSPWJaudyzY0bu8yALBQr5eBzy8RaL6ueQ3YsHyXbXK0hHrv2INU2MvXv/51esXl2/evfBf+m//wt78fAV/eskmz4qKrXi5WicBzGJX9soiBKrKcpGa8Djgxc0dIMBmRhEY1gABMa0eLwH0uuFAkpwJTa3BSjxECcwBF8XzmKHpcDJzYh5EU2cUTkezcTSa89E8ns+DUTia8Hnsirl7Pown8/lsej6GVufTIA7jyOhVAA90PYiAyiOBo0PBV/tLld3a/MHmO0+TYr5Mru1bWAabb7JtWtmVnXhAaRppNq2Z9df0q16w36FsUXqSunI72O7sKqv42rpg2KU3REKEUkU62InCSQUcA9qanKbvSrJTZYEsoxlVA9zuPBQmtw9n09omF61tctHaJjAme8q4tdcbLGMA5V8d7Y32j6lmBwV/VPsFgdSlri7V+6IFQNoC4D0AYPW6hDJEQrkHOiF2ZVZWLy+Ax5hGm28Z9j7hVAORyrXt0I/V+135f9nI/+b2n6wCfFr+u2PHOZD/s4l7kv//1vL/Cpk7PYGAAokPQhvkHEgFm8UCmP12LWz2M0gxHqxFaYNw5WHVb4kJkKhnSkBWYr22GAgiOQcDZMd///B/J8x8duaKeO4EMTAd3N5JVWrVAxqBGIca88CdR0JEFgmZYAtAgJSBqhdSuAFUAvvm7N2Ltz+8unzWf/P6h78wYmaiiAGqLV+3VBgbpGoFtcsKJeTNbtD76quv2tqO1GzaSg8Mh/LsksQWgRAx88P6YZWBwAQIownskSmiMUxyQeoF1udbWDjAH82VhBhMZ+pE4XA0i61Br/d9lt0uQAiztygp3xKaB+U9z20oLJNI6i9plvZRPQkKnoYrm8qoyxaeim1ayiUA8ctLrf6YJd8Idg/CILsHyQkPvQ/+Kqn8BxLLsohtHLbNI0CGeq6KRJRnUK3UWCytAWMbYH6ew8w3L19abFuiZgY1AtBeBE/Zh4cLWcNl5tW7n6++txDQtKdYfsloVaoVr+om90Ar7G+E9L+heDimMilUXv787t2L11da45Lay4E6FWS4fNuCVKqe1qUaJYqZksWzNQ/EmrkgKLXeBwqYLOy7khRL0C/XQiqOLT2vrudYsPnuEFkAvveSgxQa9HDTBICy6Czfrtdn5S4NYf3Fhy2vkgxWiKYfwt0W0PzhgSh6m0qFKgIUv0oZ4Y4wCRU8SZHQeQbzqmqSkCsv17Vn3q9EoUlCwJJAO4KHEAzNiERgOriIV9Qh8AtYkbjINvvKOqKehOe1Vu3MRkUDhoMys4Jl5TEqiHqVEGGK5BD9taJ9pvWYi/2VWIsbXQ22LnWGLXV9RPm2SEvanFoFDLP1GhR9xKQuSrebnAg+zXs0HSgIONNv3yewQbPgPaKzp9u0Z4xNhWoqN7RuK3ejzdYp8jbYkZst7JcouUtspvYQvMx45GsOePnuxXevrhj7Gub5gS/Yy7Hj9nq9SMTsJkhS88Za9Ji0GmBqzHAMVHRuUNtypBZjGm5T5uqyYX+qSr9lM1lozJ4aoHnIzlPsPO12DswNirBVCq3GqtX4qQFtwjVogW2WY8o/qgfs0veTFGbom6VYxza78l5nKXAHyQFs9s03t2kWlKoBXop37bdrqtY18c2AyNuj/i5kCWwqKHDUUwrTwMduq0soatHA4FIyJ1C2a8CRearBUR1moG0zDn8rWJ8C7otdC+ivJalvgI30gXb79ROMAlQFrAdIAulk0GLNte06c9woiCMXbVebjFeiccUxa0tuBTyerYHg6mH/C00FnM9tXbTRRZsLdqfv7wAZuX4o8wtW6IfigsWBfogDeOL1E79gYVrpR7iFXnZp3c0u7eIUN1zJnqLCr8vlUuhVuWA3HKEAvtKXhVXTA5QXO/YN+9lnZ2eAYMlPPUbsp66G5nAJjFq2bvBfAxEnRVntQYEX7DLobF35qEDQsg5yWER5A6sKSGhbODFvFrzYKQr4r6WBrf1gG92IyrhuStaZH4AEg6Iee/TSlVeJrlwX3QM3VoXKZGo3RKYeIpFv17mf3YnCvymSyL8H05Q/dMBGcNXcOuX1NItuOUztEwDvQy/h8MG6zwq/XCVxheBCf4hcaTsdLgjNL89oSaBep8LGZncAk62WmupL9cGUr2Kw7nApypyqlWohWgRkY6e2QpGlCdbRlNqlnhooGI8Agr/1y3zVYRPI71C5K4IulQFDJVzApvRvQDvmxnV3seA9snYTmLwJAAM992EeqGBbHdy3K91YuiK3Or2BYFeTuCBdKjo6J+gWQCIJalxLdlECr5YYAuNYv/SlmDeuFwerDoqb5htOuz8fVNvwFno9sr4SQODlyHOUIPsERX56t9HCbhy7GTkNP72fGsKU9T/cqi2lHm+AOg+aS5ygVko8QgkJUlDh+cPD8QaEnc2mWQPQfbpLEKRYbIaA9qIztxC4VWEdkuDl0kRPAdRD0iChztGzRiK4llxQAIwTdfjKpLEtef/hQd3AuHDnWteHLA+gaElIeLs4snoINHFpeG8dR/DX7Nt+X7o/0SMnVcyFtm2kWlmr5nsYBBhgDLQ1H8PMIVCk9X4xMklT8bM1tiikYAsPKkgwcGPgnpYD6KeaYKSKfWxzEHsATefgBQJ1vLpkPwdk8uXA3Ca5j5r/Y/DgRGneR9/CGCH7P1Bj8egGWmMP69QsLIk10ExNKHuK2qkJcODgPl/nK47bCiqGFjCodWFZF4/NTqw/Me7vMB4ye7mLiXmTtw/LviUWDT2VwvWhQLOvYe/xhfsNm9Kp/9vffloGe6TIKLZHGk5d5Z52HvSKs9xYoPm46BED3BTqTdF9U7eUQrHW0oQoTbDIC5CP+Qp92mBl3Fmt2rrmzZYXkQ/1TRBHbUWv9YLva9fI99QMUJu8u9A6JDZWD4XcekqFhAfUI5UKiU/8Qosi1P0uanUStyoplUqdxC5bSqWyP+R0wdg4Ylkpfc4+1Iwa2+nF2Bn2QLjC+jhgQzB33uv5b9/8AAVLtEWule3j5ztf24wm2h4J2pdg6wKjLX1lAqzwnzXqhXi3g7sKlaoV/rNGVRHvsJgIhIhFklkOtr/HcNylIxUGTrwXyQ26tdi337Lp2GL/j8kS9LzzXV1jd1Bjt5ZLVdTdFAfdFNRNUXdTHHRT6G5g57TnvNhfBYB/gBVMZfroSSlrC/uCOxgNy5TNhYWEgt5eR2RaoevGlJi1GmWbBJ1VW1iwNn9C05tW6LOroww03VodU6kVULaIOhq4YApI7eunOuRGUka+GXgGHR4a0K2+bYkrWF+k7i8iGxiQ/uDBEt/Jpx09EbBUUMjXhXxdyNcNGbVxiEMrqi22yJhEdGhZpz6e1ZUeMY99Q1uSY9twv1It8Z89W1tRLTSAZlRSFbsWhSAzzwcICa4eQmM1w6u/dr16Xn0gJXHvpfngoyiy0hxBq3xAiLbkyHGSQuXWWA0oONk2TqIklGN7LSBaMxJgs3nF0sC/KGAaB5KvX+0VYS2yaT2kWbo7VEelvUk15C0ZM7IAb2ymDSAq0g+29IzKMrwjO0Y+483hQJJJk9Ulq1GBzS695TopK/PWAlG6vLtmMWhbgNs7dAZjvctBUolNaVrXv/P50un6//tqnf9FRQLC8p8f/vO5+J8pXPvnf854eDr/+7c+/+uEarD+c1aTH3v77s3zF9+9escu//Lm5yv27OfvXl35lz/9D0ZsQHHtri/vbPa+zFKMy6lW5EGvkrzIwOTE0xX0vW9ymyFjLYHEw4qCO4DLJhvR69EothzDloPYOAKqgFk5yKHLAQ9K/ItxDMhBObLPJiBkMbm+7r1Gr7Gu/z4Dk0A/REmR8o0woU8LQ0e2KQ5saLf66sGMD5zqACQ0BqXB+GMEKkZMoQCmbkK6FvatJTYClRNPx8JGIiKMBEOSYjyGCaI+l8LzZp0FfM1+BNVAq3iEiCOdKDQ3HAIR+mPv0FJSFZUz2w93TUXE5o+D1jFGPZd7n8J3ALWyI6mvKMc972kd4sdBS5lpyW5UYZcGIMdAuQ+4rKU4vpH4LOqhwmotpf/ieMdNm0ZjkK/2NQQY0euMptWBAt1/cIOVpBiHErqhZijHEWDpzlWA4eGfiaE0Ci6gHJHeJUWWLo3XP//4/Jl/+ezy+xc+ED1Ns0Nmry+BqNLQN0DEUx9Sh8M1RBJWdE2Le43LjHUoGInwbkjjV1a7blPhJh/ciMoPs7QSD5VpwA64Tw1r8BaBnduNRSAKD+9lCeyI0pO0adcnR5tsY+q5oSG3Fik8X8BGRR17iy/ZGcN4GnTU4CYelB+AXPGV+YCG7tZC62xIhP6ANEotTGAYzLWaVdtsYWtH+D+8bfpJEZAEj5twI/o+Td/3NzxJfd+ocb7ht8ACi9IkjFHwn5/deuhZUBp2do84/YWMo6WBlAGLuAA6QrgwzA2Z0eA7oJ13gkeiMCkiiHiKZf0qLbstznEJirfrTNyhzdTdqL4b13cTuSBvSbkGrKslg/le1kW4PkW2NiSEFfoikb0M8B9TFmZxjPo8zC831Xaz2RJdy47kZxj7iIDhnoEtApUvVWV4svGNJircMcvrmudkQPXY9mOSmzCKja1bVhCaQIizZaaR1bjDoa8BzwE9kdnstbqerU5PSdf2t2mBjjCowJfG0RetFrgzm2rEGWxEAb3IFK943HWs8Em1Q12b2osPvuy07gXp6OhQUFX106kbfn50ZB3QHJspNoINyahfGshefVVsqQ67zEY1Vfym1VT766ncehwAZEyqE8mjDvpQrEsZYSh3B9F2k8OeL2wZKtlhT7SXjBwDdnYDrG1YMizOpqjQtPJcRVwyOE7WNOym5xK7tihYFIilRdyw+SsH/dsgINfbctXaqSr+EHBj5kujs3rqEKQp1juoLteL0JRo3DYlCk/GdVv2Ku8zmrA2/pvTvyHtGVv9rxgJTKXs7qVb7KNA97k5bO0h3A9Yk+w4+Xo6Bu0YuL07nLNv0JybjvG2LrAaP13lHuEH5KD4Ao5AQyNPyB+p7B6rHO6zD3rTjIzYQYdocEEowtv8QuLpads9T2xyp+UrrPVDfU9SwGY7zXoahFsNg6llgYwAQCHT9F18eecB6kxNtwX2W2DHRdNz69gBiCpUUu2htfU/6nvV/cdW92FrwYqIjgiBIRKNeLcKf96S/pD7R9713Wv0VHgoTCWK1RbxN4KnnoSTnkvQXEpYs3C78WV9dH/gE9XEivhQgq4THeMM9FJ4ugts5GMcgj+EUpDhT0Ewf8PwdXdH0aG1hwix2T2sjg+qz7E97CIltVBAm0MLhwIVBcUb6E2XNRTRkd3fZUyEzYADrJJOiII9uT01l0byU+hSQCI6H+NmGAXX4WVW+2S4hRH2LUaNjbqHCWoyZZXlC4bIfDqsaxqdyVywoBBchm+8HYTrrASMgfDXt73fxf7nKV/vPop/9fc/oPMMD7//mTkn+//f2P4/jLjrmvL4EcY74Ii0m9F8NPc/xoC999wmFfnd0sBdjroQ3EpV+br3Ejm9EWxRpTBuOAbcG+gzx79rHuAfOjvHmw8P+G+guIwhA2GN63+1FUMMK/UQCZo/S97MkAvvmzbayAo3JurayED0uVL2aCCbVjrIZsFmizYHgx7M/cN3PA4BmwdRRgLNvWAfZNEHJeK6AQagQF69pXjCDzLoRMUGvtSF6vE1Peq3V68NOi1FK1rFzmRaIGaAoVShOhvc8fUW3QhWV4EycVSbhrGpd5s6bU0mG5SiAoTxLczyFjWenoI3JeM61Y85hlmXgDhpc9N8rnG99O1TLISBZJzTQamcUn0UAaXQIcdD+0919/pod68PulO0kqnVJ6+KiYJJ+zakrdpSMOVaQ40GF43euTQu94MJsIeOiYbqykub3S4Xc/J3eLfLuVJHvMYcVujcIsH8Im3egE73+SaIOCsWOJjeWg3dQIOlgUpCmqW8CPymRkPZQWE1dTHYWEQ+mPA6cKldtRktKPCwHElQOWIiNWyrLxXzrHrycZdg539vl06ry4iI507AfCpfspQv6a2u2e2NikGfAr3k7+2mPU+JVJ8iy32KIJXd/WI8Kc+elAZ7AhuouwAUYqN2J37w5vPSh9ewr37puwumjV9Z5CywEgax+0CnPnoooNRtSjFynopL49fl+tpafEGEIe53yQ+6LAsh2yOlQM+/ZlNraaIExBvc2r5Z0zN+dkkGpCTTchs0NIu1YpsBmyHzxjSVDJGdAPmbSpqYhoNMxsV/MITaVlHT+EYJmk4V/Af1PIySBiu6uxnpYA7H3Is/2QZLWCJPLxESK61MTK4shExHceOBqo+QNa/pSa8gLQMtvUEgUluoeteKBYetDGzKOjbAnXWt+fHB0sHu9T5DmDEtyh2MrPfHF7Y4uj9alA0YugG9PZf0DE/Sp1A+JgHBpoh/o3R8dL9SmdmWiBaGO5kdsblH8iaAIem4biQRnZfWsmaq+zJRM/9tBeYMoC6PQQxUGAuT4j850rGUCM+tXgV2jg//1WVvrd7fYVyjdgX279csF0UfwUHnShYm9KmJ/m4G2zIRx4BLGSeBhaiNkSPaKOvlZqIosqJkZiTKsEjyCsswdNDqPZC8ghksH1rzxtm0C2rd6fl1b/OgLe0SFSlUyOAONLKorZFJPa0XZneq1OSojD1g8JQZ4G2kjnVsySdw1g+A1Qh1sruHg1ZahaNjIBrwTg9Y91dXCqSe11vVGiOGsA97+MlLeyPlPAEF3KOCKIljT6qbNmGRHpZ7aySRYGmD9rEqb4+5+1Yc9O/SW9Igy8XqmuIh8H61uLZAqIMkLD1CLX751NZY8WuUshT67bf7b6ukfkebov2yd+htLQofp+vflT7O1K/lpiQUD5etrfDCenwD+CbmdCcjJQH7tW50OAS5K4517QNB+6S8wKrKdvozNK/2GUiXqafcOdqv2uBfLRB5RXUt5TjtVKI1+kxnb4/6ZWXLT/X/VgMhT6BULe0+PgLGp+sdB4MGwKAVH7UA3RgLjo/x2apvrRrpabxFPVuuEjIMD3lZUy57lC9yu1ZvvWXDGGyMMi7Mh9Z53EPtvadXu9arXf3qKA98jAnW8JJ3S3yQAAftpfmsv+85Wae1z9myarcTFMs7PBhs3FcFxv8c/7K87UKXXqWWZ+yX2wWIzXbAD/Skw33oIBCFk4GINH5t9bRcnDuOc4oH+o+N/6Hvjn+H8J/P+P+GM3c63vP/Qckp/uc/wP+HfHQ6tpvkK0mm/YAUtUPROrzAT/CBlUKN3k8UD157AS/Ydz9dtYuG171nh37Dn0CfNM5AbZZO7jLRbnzQ4d4+e/epBp0TTKtXrnjj08gX+0k8qHHeTRTTSefRw7mQwms03z2jVdjJvoEFdTwUPjS+eXJQqp0KVkGQoJ8syQbPd5UoX72BEaQeLrE2IIDwLgveewGil0JoQIrYKCNAv/J01Z9/unr2zn/55t2Pz64sDOGp4ibKCIOPKBVCyyaqEjQtYgwXgT6SNM4U3khun2FgStyZmSwCnFfJYIPnQPKrPHjaJhEdWA5u6EYVYtSGKla3htGMHg94FCFIZpUoSXlseFwJq/cRTSNJboNgOlapVpCkkLhzINDSBPTgXMjDaALxn8PS1fl2LpFKjH/hJlnIL/G7KTL+zLdlmXBain8kVwYlCvjhxbPXpEjTp/3t7BcDWfRU9ciaPBrTaDo7d4P5bBa48dgZz/lETEdhPORiMnYnIzEV89l0xMUonvMAJjkaRnHgTpgp8wdk2yKEWclPnIU7H4lJEI7iYHY+DmbOdDZzRoHr8FnEz8+HznA643wSj0POz6dz4U4Bb44bOMPRaA6j05cFwEaarBfc4eNoPIxHwVQMo2EgoqkbuhxgcObRcBYC0sPofBKGYuLMhTgP59P5eSTGFzr5hkyx0Uq6MZ1OzoPJNAjdoQBDNxyNgSQmYjIPJ6HrnkdwwWpO5+7sfBgFk/PJfBpFs6nDwpUIb2HpYN88O5sNg8mcu2NnBh3GznA4ioEKglkIlaPz2TkfjuNgPDkfxS4/D0ZROB4BgHwWu6NR5DjBBatDXlS8i8z+AV2PpsM4OJ/Fzth15rMgHk3G83DkDDmgzYnngIXJaBZN+TR03MmMn0946EwjJwR080mIU7+FfhLUAoHR9TdRf80xZ4Qoz24yvu6P3Nm8TxynD8sGwqIvcIeQG6APTf80nojZZDqKAM3ngCB+Hk2deRzFUyc8B5IZAtFHw8hxB0YvxF34jNTgfdXfAF4eybfSJDaulwZaiMDklIMOFFuyz9Df9MsDaLnkOIZ6Dy3z4rGDgF9brifVWD9/aQ/1aW9buQ6DjhNKK9q/0vFVY+aHJGW9y3cg46CGZ0TjfpYj9W5TQPtZK0EMjEcZNzzj0Vx4hrRIYHMXSegphDWOGtWOvDO23Mq1c0YNhEldmtQq+lPNCFOrqW84VY42GflpEk+12CZJtyXQIgiRJE507hmymDEHATDDeh9JEPZS1RBnok17sZ9BpxRpmVTJHWDDZq/fXDEOC5avsx2yoDqbjnqVsm0O05UfSuJ3G+y/8YPSFyxc82Sj0HODcX7Kv+BFIHBhsgYdXOCTPDFM8VaVUrgFBdnI0JrZdaufNKtwRejDTIfJWJzBgKrZFICjFkGGZMgDfvb0yWCKH9wy/Gs3h/4eFaizfxha5h8sthgDDFQh14FcaUUi4r8aJfH4C2kxMheHhyFx+OFkYrF7TFCSUZaeAXsSkROHneGddNkM2Gt4G8mkhtsEtjGilD6dcwbkWW5hp0ZNXabCGuoXnS2KYx0UymHrgDPJ9X3J9T340xHUXc2n2wTVK78MQbh7hhIaQFGdFoo2tYikfBhPm0QvTxEr1oC9RV2r4Z77OSSflJjjqclrCPhvpQ58cpjMhj7e/Efz+g1UYhO2EuscEyti4hw5FBGEkAJZ7Sn1maPKDIXjj6LhPIzjaC7GsRhO4I87DM8FCMBZIGbBPJ6cgyx1z4ULknR4Ppo5YwAYxMJkFI3EOZCe6itkIxFOQ5CPo5EzmrpDF6RIPBwN3UgEsZiPgoCPR8PhbAhiC5q7IKWjkROGjpiE0/F8PLZb8d8I2ky4kRPNJjyYxCN3Ejsj7sazsTufcBE5o4kbgXA+D8IZ6Asu6HFOOAH5OAmicTTnfDZc4LECpTZaY+qlRoRaNJIKJye9nM1BjI5GKJCd4TgARQAF6RhmMeI8cmeAE4B0zmMo5K4Lkns+mwC24vMIcOTyaQ07Aa7yrrizCShXs8gdgoKAsn3owpyjcDafjicgxsPxcBjAu7mIAz4UEZ84Lg8ctaH2iXw/DRKmy9yr0rIHtIuMR3eYwkKmW+oUoYsNpu4ZnS/uMRoR+bhmu60MXpvsDhS5tmRAGgcGNY4BWuRQ49jCTGT7vOyCeBIxoJqBfYt8C8WPSq2k2OJAZnVrBlVOf9I2KVeAEi1CQoMq5z3IghW7B62UoXpTUL2n1D+gZZPRaUPA6UhGJhtt5AQNotgnvEEJhKFouJFAIqzA+ioy2EpyiI44iQWvtrDejzA/y26Fa/qY1QNxoNzDgOG0lrmALSVzZWgnAFuLBuDNNpszCqBHIG4BMFtiE79J3262a07nIIfBYMo1+KxxDdpaNPiEcl+GCTpKbtFpMzA6lF8AEsovGP1axd9R1k6/lG2cdq9LB1k4xejVs95kmKOo5QtHvHod/q7jbeQJROeVir/BVFZx7EXyr6/OHTo1ZZmhDx2OShV15HBUuKgjh867Sn5v0WOfP3BApfPg1KHT2WcPKRCGLzhm6HT6+fr1QshGPnpqfWWrG0v5WYpeFrmR0c/NzNpCsFrvX7148aI/m4zxwxW1Xk0bXdC86+uG18YBDJJu7mv8YtCn9I543XPh+xVCKrsGRREZB6mfrQR/C8Ww0Pbekrzdgg0C2m2BiRhVPsS8K7LvZAKsGPO4ZesI+UtjFElriMIDgPc1VhHTWPUn7nAQlndMBs3qTy2Gg4H+6EKe7apRQDXNtjS6Er7Kc0/SV3/mBMXbtAul1A1wVwJqQJNge9/xWIbdawfaeG+fvaMQZjpO8EneeX9n+HodiQ59tc5w9KFWt9PfGOTe7VoyEl8TC+6PduyvGtF4Ep0BM0Ie+6w++ugcn9SkjlrbHhWhZ8frusUO8ljCYn5JTjX8CrrtbWsyfsggFnrjAVv7XFJvUOmbRN5fkJ7YeOyDC6NAH5GSno8nWq4TibfzUi5+p1TGbb4plWlfpvXBPAePZguVU5BbRiWa7CRY7WQI7SYHbeUFbVKC6g/0XZ1rEvNU1BP2MKdmpbNggo1TeCH8qxJhnoH4HE0YJo1pJcWU+TDxg9D9jJit5akSrOEZSo8qW9lCld8ANjvuhna2UL0cKkslJUlFbQXThFKw018NYKsCzHrMG69Sncsk7JihhVKtpt2MlvSySYZAFQ5TWw7YTxkDnaqT0pLiMSSrBLOJoI7EQYpSSRbEb9FkVANjatxBCx0bnueED5XJlJkyDymFpy/kDBV2FJ01iVLNFiAR5sqvVjD1FbBsMMNUctNFN9OqzDBKmaR0elV2kzXJV3U7jDzTG1CDRLox9PxbcpsyTOXD/uixGeWwR+J7NNmpDg68UGkYlQcLQxSK5EFyWySbDBOclbjuyM8AszJ3awu5qKvxO5g9qqI+hwe/UU3rvCHAj44vHVIIQAkvQSnGFQxJoLWxT7wWPS0g60qJV0xmBkxNoo6CmBQ5HqROpRorCgAtW9tbw2UZX5wesMXvyAnUeKE7eXLNGtwkJeU9aQUTkb/6Nw/ZoTJaIpbS7Fu/T8De1+YS0MBvGoqnO8APZsQl6tFw008WKK2F0F5S6sAjfBQ5TiruACSBMhtVPLRqpI7EU0o6CPgx69CqBXPPz2kfHkkhjBOcwrIfSy9Mv6IgAbFq8VtT854MjkRMn/uSoYnQaSKgfsIVMtUjk1H62/NnP7344dXrFwQwM9GwlN6xi9bu8OReA9ZsqqTCyPL0ZsO4IkKC1yUZ4Ah1ZJmnhEGUCekGw3BZu5WbrlkYGEX9ugQDhRllB0i2in5XAoR7Iz0AwnvNeWXnFIKL7Vfka9Mxb+jpRMcjCKAW4RyEM3voJT4S5Gyz/WhmqnkY4myzR0KVqf6jYcx2ayX3w5Kp5bFoZZu1oo6pVicK2WZHoolltWNRxg0ItZfcgzsdLtSxwrzO0UBTgY4CjkHafNYoh1bAEBFTX1IDlql90H/bSj3utZKcS39466UJuglRrTwXAbJHJZjEHoqXEhQX9EoB13pPPw2zw8ydorgRmHC0dt+sdjm0EGjBLpuVQOBWnvFjBkPWRLxJ0Kgl9USqIiqNfH2Gt0ASfRI1LWLaLam4IR9CqTddzSFsrJ2FIchT0BSQtbFa2DVsSslBzCxYKr5VVhft9PCqRj2u/JgBGRZ05QzOz6fYP/KuHQ0AZCLdKo/Rl/yswZbBzTps2Zs9ba+yrrUfkpYFKLRQTnrUtMQ86qFQPwcj7pJsK8VcrRXRR4egP25o+iBJlKT28DgJQbjtDNv+oqSGjaK46ye386RCv9vzsH7dgzrkdwJNYkASCuAHZJsSYWT6k28ukmY5cSzplVNOOZIEnGE24EIvRoJnMOvkVkBlIEPixdJp9phDq4VITYDfdSkpz8itJkhhDkVKBy5IVajB94l+CpELTDCvhcCCSIzIEopx8THRiP58hqDHlSnIdlfUMlZVwQIfDKbKWdqhBOeAEN5S1q3Hyal+3zqI+1SHrS98PkVgNQ1JNQFVkiStFQUg8LTCOGOad0NXn5zMkWV4uYd9ZAG4+fq83G3kCd8Ck532aUc+IQ8FxunXzySYcUtqKdwIabPetbLdE1DBWxiHDjwM8b/WB6kKlc1b+iDg8deq8eFiHfawX+dTiJc58o5t1c721BDg9quHsn7V8ZqgGK+3YAH5eJ7S1rCV87f0KIYUWDx+PLfFIvxGN1SG2Z7JZe/ZO/YR3fKMCMXuqCpSG0MFcQ37Ka1qbxZGmajfuFJUiw551alUVRO04rrh8krLWIOMqKR96y2N+rAVmYcpz1g7PyaydwqL56/4UV2mgQHLlQ5RfwKzP0LHOtZQx6o3yAZkKlr2Qh8JwP4j5Y82dyiKCk+D8TdStCp/TI029OGm+j0GGLjrPtennvWBAwzkkTtb8UKkXX0MeaT/x0+USawt9vMSIwTqEPyCZWRQqVNE/bUCafEgm0mRt6VnoQSSsFVkjKUcCspZ2JxFJKX6GRjQYpDrt46riac2WgcRwlF0ac23Q3idHyTpkukFDLdvx+mjF5A7QFf0M3DVt55jsftsC4RRVlhJUhsotmjeMxMBl6iMaj/menfUCGvUtQP946L1G22kSikNqW1TUnZEpt1G2s9CWKx/HaZUB7xdVdGicwX8iZA1etLWu6PQtT978pxmo9XWRPPzLNouUhvQnM4PZmRpqkPfeRZtQ7FnLsnklksDA2pKUW1zP+ZlNShXrN8HkqvQiY+nVNuH/sN86k/HUK72bp/2br8fgiSXStgZbHz0S57Jon5fPXdf6qxiB7M3xIO0qTF+zf8YwGDkGNeRUqz/R/ZwJiMxcoxq41GrVu0+p1rEN45Vq3+ZiKqFu/yCbW7VyWxO/vEmcgzr7B3cHoE6lGxrNHAHY/ZUYrGiHzCcg/YwcFB1RaZqYmRAP0/SVIZYFeLDNinIE1z2ZSeD6gHk8zb9mBDToZ95BBBvb4B/wZquJG/E42q4l6g4U85jqIcfssraR6CUUYEt1AKjz+4vHvnhwW7fZ/tBBMcPiA8HPZYqT/0EIkGr1uksGBYjpIvy7ODsA6sxZu6dSV7sH1IwRVVnaSitMOkwagqVL996FEpCQRO0igOf1dkz2EEgbgdzOrqV/XT57tnV5fcY4tvm94R1CuAkD6UM6qRQTpOCuTGodyM2AXqSWrGnvzwpf0X5geqCTOpB4awtPYSedZTKL/Hi4IRehq/uxcP+ajd04H0MVH+ooEYgXzx11noQtLPoHKtTWgIQsMhs4Yl+fApjQR+RysA0MO6RIp5IIlMpsDc0I6Ve2yt1VLP8LORdfSaF55ymYeOICwyNbWdAA1QfZECjyFoMs0ZEgNq0XVdq97Z/5rBspWuhOiDMgVNBJUpU0/y44ekDk9N1uk7X6Tpdp+t0na7TdbpO1+k6XafrdJ2u03W6TtfpOl2n63SdrtN1uk7X6Tpdp+t0na7TdbpO1+k6XafrH73+Fw1wKpI="},"not_done":["round 1 (64128..64255): stop rule met","no parameter search, no Solidity port, no report or E seeds, no submission"]}