{"key":"cancel-s1-on-2","flip":"cancel-s1-on","t_sha256":"9fba1eb5659d5b0ac9b7273a968a520ef9a95551c697be22020993005af70192","candidate_sha256":"d54b2518229982da8eed763ff4d4c1d4db580a2f919664ce8bddefd040515fe7","seeds":{"start":1000500,"end":1000999},"n":500,"complete":true,"blocked":null,"failures":0,"overall":{"n":500,"sum_d":-60.33181659119992,"sum_d2":127720.67833897936,"mean_diff":-0.12066363318239984,"se":0.7154560424152058},"by_spread":{"1":{"n":120,"sum_d":-60.33181659119992,"sum_d2":127720.67833897936,"mean_diff":-0.5027651382599994,"se":2.9903011474970116},"2":{"n":122,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0},"3":{"n":140,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0},"4":{"n":118,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0}},"worst":[[1000647,1,-104.925862],[1000802,1,-84.613804],[1000547,1,-69.53667],[1000521,1,-60.112374],[1000656,1,-37.287783]],"best":[[1000998,1,307.524472],[1000999,1,40.491055],[1000634,1,20.583374],[1000703,1,14.570483],[1000538,1,10.498566]],"per_seed":[[1000500,2,0.0],[1000501,4,0.0],[1000502,2,0.0],[1000503,4,0.0],[1000504,1,-0.05174],[1000505,3,0.0],[1000506,2,0.0],[1000507,4,0.0],[1000508,4,0.0],[1000509,1,-0.336595],[1000510,3,0.0],[1000511,3,0.0],[1000512,3,0.0],[1000513,1,0.085289],[1000514,2,0.0],[1000515,1,6.125179],[1000516,2,0.0],[1000517,4,0.0],[1000518,3,0.0],[1000519,1,-1.77077],[1000520,2,0.0],[1000521,1,-60.112374],[1000522,2,0.0],[1000523,3,0.0],[1000524,3,0.0],[1000525,3,0.0],[1000526,4,0.0],[1000527,4,0.0],[1000528,3,0.0],[1000529,3,0.0],[1000530,2,0.0],[1000531,3,0.0],[1000532,2,0.0],[1000533,1,0.018447],[1000534,4,0.0],[1000535,4,0.0],[1000536,2,0.0],[1000537,1,2.651345],[1000538,1,10.498566],[1000539,4,0.0],[1000540,3,0.0],[1000541,1,-2.96448],[1000542,4,0.0],[1000543,3,0.0],[1000544,1,0.030704],[1000545,2,0.0],[1000546,4,0.0],[1000547,1,-69.53667],[1000548,4,0.0],[1000549,3,0.0],[1000550,2,0.0],[1000551,2,0.0],[1000552,1,0.059853],[1000553,3,0.0],[1000554,1,1.438554],[1000555,4,0.0],[1000556,1,0.040686],[1000557,4,0.0],[1000558,1,0.025895],[1000559,4,0.0],[1000560,3,0.0],[1000561,1,-0.001194],[1000562,2,0.0],[1000563,2,0.0],[1000564,2,0.0],[1000565,1,-0.178658],[1000566,4,0.0],[1000567,4,0.0],[1000568,1,-0.035282],[1000569,1,0.06865],[1000570,3,0.0],[1000571,1,0.021556],[1000572,4,0.0],[1000573,2,0.0],[1000574,2,0.0],[1000575,2,0.0],[1000576,2,0.0],[1000577,3,0.0],[1000578,1,0.030985],[1000579,1,-0.017685],[1000580,2,0.0],[1000581,2,0.0],[1000582,1,-0.015053],[1000583,1,-0.400897],[1000584,3,0.0],[1000585,4,0.0],[1000586,1,0.514409],[1000587,4,0.0],[1000588,1,0.018772],[1000589,4,0.0],[1000590,3,0.0],[1000591,3,0.0],[1000592,2,0.0],[1000593,2,0.0],[1000594,2,0.0],[1000595,4,0.0],[1000596,1,-2.279639],[1000597,2,0.0],[1000598,3,0.0],[1000599,3,0.0],[1000600,4,0.0],[1000601,3,0.0],[1000602,2,0.0],[1000603,1,0.029527],[1000604,3,0.0],[1000605,3,0.0],[1000606,4,0.0],[1000607,1,0.025565],[1000608,1,-0.132046],[1000609,1,0.179547],[1000610,1,2.608499],[1000611,4,0.0],[1000612,1,0.090331],[1000613,1,-0.004331],[1000614,2,0.0],[1000615,3,0.0],[1000616,2,0.0],[1000617,1,-2.931127],[1000618,1,-0.237529],[1000619,3,0.0],[1000620,2,0.0],[1000621,2,0.0],[1000622,2,0.0],[1000623,4,0.0],[1000624,4,0.0],[1000625,1,-32.42429],[1000626,4,0.0],[1000627,3,0.0],[1000628,4,0.0],[1000629,2,0.0],[1000630,4,0.0],[1000631,1,0.111067],[1000632,4,0.0],[1000633,1,0.035804],[1000634,1,20.583374],[1000635,1,0.029338],[1000636,4,0.0],[1000637,4,0.0],[1000638,2,0.0],[1000639,1,0.392443],[1000640,4,0.0],[1000641,4,0.0],[1000642,2,0.0],[1000643,3,0.0],[1000644,3,0.0],[1000645,1,0.037844],[1000646,2,0.0],[1000647,1,-104.925862],[1000648,2,0.0],[1000649,3,0.0],[1000650,4,0.0],[1000651,4,0.0],[1000652,3,0.0],[1000653,3,0.0],[1000654,2,0.0],[1000655,4,0.0],[1000656,1,-37.287783],[1000657,2,0.0],[1000658,1,0.034998],[1000659,3,0.0],[1000660,1,4.326126],[1000661,1,0.019056],[1000662,2,0.0],[1000663,2,0.0],[1000664,2,0.0],[1000665,4,0.0],[1000666,1,0.015424],[1000667,4,0.0],[1000668,2,0.0],[1000669,4,0.0],[1000670,2,0.0],[1000671,3,0.0],[1000672,1,0.033372],[1000673,2,0.0],[1000674,2,0.0],[1000675,2,0.0],[1000676,4,0.0],[1000677,2,0.0],[1000678,3,0.0],[1000679,3,0.0],[1000680,1,0.056386],[1000681,3,0.0],[1000682,3,0.0],[1000683,4,0.0],[1000684,3,0.0],[1000685,4,0.0],[1000686,1,0.455567],[1000687,1,0.029025],[1000688,3,0.0],[1000689,2,0.0],[1000690,2,0.0],[1000691,2,0.0],[1000692,1,-29.62027],[1000693,4,0.0],[1000694,3,0.0],[1000695,1,0.028558],[1000696,3,0.0],[1000697,1,-13.193825],[1000698,3,0.0],[1000699,4,0.0],[1000700,4,0.0],[1000701,2,0.0],[1000702,1,-0.003133],[1000703,1,14.570483],[1000704,1,-3.713692],[1000705,4,0.0],[1000706,2,0.0],[1000707,3,0.0],[1000708,3,0.0],[1000709,1,-5.204071],[1000710,4,0.0],[1000711,4,0.0],[1000712,4,0.0],[1000713,3,0.0],[1000714,3,0.0],[1000715,1,-5.418005],[1000716,1,0.004586],[1000717,1,0.014161],[1000718,4,0.0],[1000719,3,0.0],[1000720,3,0.0],[1000721,3,0.0],[1000722,3,0.0],[1000723,3,0.0],[1000724,3,0.0],[1000725,4,0.0],[1000726,2,0.0],[1000727,2,0.0],[1000728,2,0.0],[1000729,4,0.0],[1000730,2,0.0],[1000731,3,0.0],[1000732,1,0.000922],[1000733,2,0.0],[1000734,3,0.0],[1000735,1,0.004764],[1000736,2,0.0],[1000737,3,0.0],[1000738,3,0.0],[1000739,3,0.0],[1000740,4,0.0],[1000741,3,0.0],[1000742,2,0.0],[1000743,2,0.0],[1000744,4,0.0],[1000745,3,0.0],[1000746,4,0.0],[1000747,2,0.0],[1000748,1,0.051175],[1000749,3,0.0],[1000750,4,0.0],[1000751,2,0.0],[1000752,1,0.014265],[1000753,3,0.0],[1000754,3,0.0],[1000755,3,0.0],[1000756,2,0.0],[1000757,3,0.0],[1000758,2,0.0],[1000759,3,0.0],[1000760,4,0.0],[1000761,4,0.0],[1000762,3,0.0],[1000763,3,0.0],[1000764,2,0.0],[1000765,3,0.0],[1000766,3,0.0],[1000767,4,0.0],[1000768,3,0.0],[1000769,3,0.0],[1000770,1,-0.700793],[1000771,4,0.0],[1000772,3,0.0],[1000773,3,0.0],[1000774,4,0.0],[1000775,3,0.0],[1000776,3,0.0],[1000777,4,0.0],[1000778,3,0.0],[1000779,4,0.0],[1000780,2,0.0],[1000781,3,0.0],[1000782,4,0.0],[1000783,3,0.0],[1000784,1,-0.061999],[1000785,2,0.0],[1000786,4,0.0],[1000787,2,0.0],[1000788,3,0.0],[1000789,3,0.0],[1000790,2,0.0],[1000791,3,0.0],[1000792,2,0.0],[1000793,4,0.0],[1000794,2,0.0],[1000795,1,0.013256],[1000796,2,0.0],[1000797,1,0.104358],[1000798,1,0.022102],[1000799,1,0.029505],[1000800,3,0.0],[1000801,1,-0.274253],[1000802,1,-84.613804],[1000803,4,0.0],[1000804,4,0.0],[1000805,4,0.0],[1000806,1,0.03899],[1000807,1,8.138551],[1000808,4,0.0],[1000809,1,0.029377],[1000810,3,0.0],[1000811,3,0.0],[1000812,3,0.0],[1000813,4,0.0],[1000814,3,0.0],[1000815,1,-1.4944],[1000816,2,0.0],[1000817,3,0.0],[1000818,2,0.0],[1000819,4,0.0],[1000820,4,0.0],[1000821,4,0.0],[1000822,4,0.0],[1000823,2,0.0],[1000824,3,0.0],[1000825,4,0.0],[1000826,2,0.0],[1000827,4,0.0],[1000828,4,0.0],[1000829,1,-0.638317],[1000830,2,0.0],[1000831,4,0.0],[1000832,3,0.0],[1000833,2,0.0],[1000834,4,0.0],[1000835,3,0.0],[1000836,2,0.0],[1000837,1,0.00155],[1000838,2,0.0],[1000839,1,-0.004721],[1000840,2,0.0],[1000841,4,0.0],[1000842,4,0.0],[1000843,4,0.0],[1000844,3,0.0],[1000845,2,0.0],[1000846,1,0.027768],[1000847,1,0.032553],[1000848,1,0.023953],[1000849,2,0.0],[1000850,2,0.0],[1000851,3,0.0],[1000852,1,-0.039859],[1000853,3,0.0],[1000854,2,0.0],[1000855,1,-0.034281],[1000856,3,0.0],[1000857,3,0.0],[1000858,3,0.0],[1000859,1,0.222935],[1000860,3,0.0],[1000861,3,0.0],[1000862,4,0.0],[1000863,1,0.032646],[1000864,4,0.0],[1000865,3,0.0],[1000866,3,0.0],[1000867,3,0.0],[1000868,3,0.0],[1000869,1,0.025503],[1000870,1,0.026163],[1000871,2,0.0],[1000872,4,0.0],[1000873,3,0.0],[1000874,4,0.0],[1000875,2,0.0],[1000876,2,0.0],[1000877,2,0.0],[1000878,1,-12.8333],[1000879,3,0.0],[1000880,2,0.0],[1000881,4,0.0],[1000882,1,-0.037612],[1000883,3,0.0],[1000884,2,0.0],[1000885,3,0.0],[1000886,1,0.025743],[1000887,2,0.0],[1000888,4,0.0],[1000889,2,0.0],[1000890,2,0.0],[1000891,4,0.0],[1000892,3,0.0],[1000893,3,0.0],[1000894,1,-0.03906],[1000895,2,0.0],[1000896,4,0.0],[1000897,3,0.0],[1000898,4,0.0],[1000899,4,0.0],[1000900,4,0.0],[1000901,4,0.0],[1000902,2,0.0],[1000903,4,0.0],[1000904,1,0.025973],[1000905,2,0.0],[1000906,1,0.019036],[1000907,1,-0.20309],[1000908,4,0.0],[1000909,2,0.0],[1000910,3,0.0],[1000911,2,0.0],[1000912,2,0.0],[1000913,3,0.0],[1000914,1,0.044874],[1000915,4,0.0],[1000916,4,0.0],[1000917,1,0.012158],[1000918,3,0.0],[1000919,1,0.308212],[1000920,4,0.0],[1000921,4,0.0],[1000922,1,-0.196401],[1000923,1,-0.122754],[1000924,1,3.279411],[1000925,4,0.0],[1000926,1,0.029614],[1000927,3,0.0],[1000928,2,0.0],[1000929,1,0.017811],[1000930,2,0.0],[1000931,3,0.0],[1000932,1,-0.121857],[1000933,1,0.082655],[1000934,2,0.0],[1000935,4,0.0],[1000936,3,0.0],[1000937,3,0.0],[1000938,2,0.0],[1000939,2,0.0],[1000940,4,0.0],[1000941,3,0.0],[1000942,4,0.0],[1000943,3,0.0],[1000944,3,0.0],[1000945,2,0.0],[1000946,1,0.021808],[1000947,3,0.0],[1000948,4,0.0],[1000949,3,0.0],[1000950,4,0.0],[1000951,2,0.0],[1000952,4,0.0],[1000953,2,0.0],[1000954,3,0.0],[1000955,2,0.0],[1000956,4,0.0],[1000957,2,0.0],[1000958,3,0.0],[1000959,4,0.0],[1000960,1,-0.274804],[1000961,2,0.0],[1000962,4,0.0],[1000963,1,-1.331943],[1000964,2,0.0],[1000965,2,0.0],[1000966,3,0.0],[1000967,4,0.0],[1000968,3,0.0],[1000969,3,0.0],[1000970,2,0.0],[1000971,1,-0.917476],[1000972,2,0.0],[1000973,4,0.0],[1000974,1,4.911125],[1000975,3,0.0],[1000976,2,0.0],[1000977,3,0.0],[1000978,3,0.0],[1000979,3,0.0],[1000980,3,0.0],[1000981,2,0.0],[1000982,2,0.0],[1000983,3,0.0],[1000984,4,0.0],[1000985,2,0.0],[1000986,3,0.0],[1000987,3,0.0],[1000988,3,0.0],[1000989,1,-0.049127],[1000990,2,0.0],[1000991,2,0.0],[1000992,1,-14.544789],[1000993,1,0.00974],[1000994,3,0.0],[1000995,4,0.0],[1000996,3,0.0],[1000997,1,0.015829],[1000998,1,307.524472],[1000999,1,40.491055]],"seconds_per_simulation":{"t":0.2703,"candidate":0.2696},"notes":"Simulator at commit b244530ee2a6247b5f930830eeca9dd950da0e7e, unmodified (clean git status), Python 3.14.4, one serial in-process run, no sandbox, no workers. Both hashes matched the brief. Statistics use unrounded d; per_seed, worst and best are rounded to 6 decimals. Seeds with nonzero d per spread: {'1': 120, '2': 0, '3': 0, '4': 0}. A separate fresh-process rerun of 12 seeds reproduced their d exactly."}