{"key": "p-f-5", "idea": "Finalist measurement of P (MA on spread 1, B_RC elsewhere) against B_RC; only spread 1 may differ", "candidate_sha256": "44f64ab14cfb4f0d0b88c5c42b1125d4950eb688117398a3ba0688c734ef1700", "comparator_sha256": "02696ea6fd0922f64167a1153748f6a38bf2fd5d87c7a4ac6cb974bb9482f57c", "seeds": {"start": 902000, "end": 902499}, "n": 500, "complete": true, "missing_seeds": [], "failures": [], "check_values": {"310000": 17.512655, "310001": 24.258579, "310002": 2.390311, "310003": 249.541133}, "python_version": "3.12.3", "seconds_per_simulation": {"candidate": {"overall": 5.608, "1": 4.867, "2": 5.563, "3": 5.838, "4": 6.201, "n_uncontended": 451, "n_total": 500}, "comparator": {"overall": 5.594, "1": 4.812, "2": 5.586, "3": 5.848, "4": 6.173, "n_uncontended": 451, "n_total": 500}}, "overall": {"n": 500, "sum_d": 205.918937, "sum_d2": 6295.514859, "mean_diff": 0.411838, "se": 0.157774, "comparator_mean": 111.864751, "retail_diff": 0.112159, "arb_diff": 0.299679}, "by_spread": {"1": {"n": 127, "sum_d": 205.918937, "sum_d2": 6295.514859, "mean_diff": 1.621409, "se": 0.610373, "comparator_mean": 63.019864, "retail_diff": 0.441569, "arb_diff": 1.17984}, "2": {"n": 125, "sum_d": 0.0, "sum_d2": 0.0, "mean_diff": 0.0, "se": 0.0, "comparator_mean": 99.897708, "retail_diff": 0.0, "arb_diff": 0.0}, "3": {"n": 123, "sum_d": 0.0, "sum_d2": 0.0, "mean_diff": 0.0, "se": 0.0, "comparator_mean": 120.049875, "retail_diff": 0.0, "arb_diff": 0.0}, "4": {"n": 125, "sum_d": 0.0, "sum_d2": 0.0, "mean_diff": 0.0, "se": 0.0, "comparator_mean": 165.404036, "retail_diff": 0.0, "arb_diff": 0.0}}, "per_seed": [[902000, 2, 0.0], [902001, 3, 0.0], [902002, 3, 0.0], [902003, 2, 0.0], [902004, 2, 0.0], [902005, 4, 0.0], [902006, 2, 0.0], [902007, 3, 0.0], [902008, 4, 0.0], [902009, 4, 0.0], [902010, 4, 0.0], [902011, 3, 0.0], [902012, 1, -0.148076], [902013, 2, 0.0], [902014, 2, 0.0], [902015, 2, 0.0], [902016, 2, 0.0], [902017, 3, 0.0], [902018, 2, 0.0], [902019, 1, -0.016104], [902020, 4, 0.0], [902021, 3, 0.0], [902022, 1, -0.242574], [902023, 2, 0.0], [902024, 2, 0.0], [902025, 4, 0.0], [902026, 3, 0.0], [902027, 4, 0.0], [902028, 1, 0.397641], [902029, 2, 0.0], [902030, 3, 0.0], [902031, 3, 0.0], [902032, 4, 0.0], [902033, 1, -0.882527], [902034, 3, 0.0], [902035, 1, 0.100012], [902036, 4, 0.0], [902037, 1, 0.006512], [902038, 3, 0.0], [902039, 4, 0.0], [902040, 4, 0.0], [902041, 3, 0.0], [902042, 4, 0.0], [902043, 4, 0.0], [902044, 3, 0.0], [902045, 2, 0.0], [902046, 4, 0.0], [902047, 4, 0.0], [902048, 4, 0.0], [902049, 4, 0.0], [902050, 1, -0.022507], [902051, 2, 0.0], [902052, 4, 0.0], [902053, 1, 0.057987], [902054, 2, 0.0], [902055, 2, 0.0], [902056, 3, 0.0], [902057, 2, 0.0], [902058, 4, 0.0], [902059, 2, 0.0], [902060, 2, 0.0], [902061, 3, 0.0], [902062, 4, 0.0], [902063, 4, 0.0], [902064, 2, 0.0], [902065, 1, -0.587855], [902066, 2, 0.0], [902067, 1, -0.012798], [902068, 4, 0.0], [902069, 3, 0.0], [902070, 2, 0.0], [902071, 4, 0.0], [902072, 1, -0.03994], [902073, 2, 0.0], [902074, 1, 0.508149], [902075, 1, -0.042784], [902076, 4, 0.0], [902077, 2, 0.0], [902078, 1, -0.245064], [902079, 2, 0.0], [902080, 1, 3.066238], [902081, 2, 0.0], [902082, 3, 0.0], [902083, 3, 0.0], [902084, 4, 0.0], [902085, 2, 0.0], [902086, 3, 0.0], [902087, 1, 0.774027], [902088, 2, 0.0], [902089, 3, 0.0], [902090, 3, 0.0], [902091, 2, 0.0], [902092, 2, 0.0], [902093, 2, 0.0], [902094, 2, 0.0], [902095, 3, 0.0], [902096, 4, 0.0], [902097, 2, 0.0], [902098, 4, 0.0], [902099, 1, -0.234578], [902100, 3, 0.0], [902101, 4, 0.0], [902102, 3, 0.0], [902103, 3, 0.0], [902104, 4, 0.0], [902105, 2, 0.0], [902106, 2, 0.0], [902107, 2, 0.0], [902108, 1, 0.686935], [902109, 1, -0.016968], [902110, 1, -2.9767], [902111, 3, 0.0], [902112, 3, 0.0], [902113, 3, 0.0], [902114, 1, -0.36066], [902115, 2, 0.0], [902116, 1, 1.86937], [902117, 4, 0.0], [902118, 4, 0.0], [902119, 4, 0.0], [902120, 1, 2.08211], [902121, 3, 0.0], [902122, 4, 0.0], [902123, 2, 0.0], [902124, 4, 0.0], [902125, 2, 0.0], [902126, 3, 0.0], [902127, 1, -0.543549], [902128, 3, 0.0], [902129, 3, 0.0], [902130, 2, 0.0], [902131, 4, 0.0], [902132, 3, 0.0], [902133, 3, 0.0], [902134, 3, 0.0], [902135, 1, 1.779863], [902136, 3, 0.0], [902137, 3, 0.0], [902138, 2, 0.0], [902139, 1, 0.037392], [902140, 1, -0.147923], [902141, 1, 0.107701], [902142, 2, 0.0], [902143, 4, 0.0], [902144, 4, 0.0], [902145, 4, 0.0], [902146, 1, 0.117525], [902147, 3, 0.0], [902148, 2, 0.0], [902149, 1, 0.465561], [902150, 4, 0.0], [902151, 1, 0.157174], [902152, 4, 0.0], [902153, 3, 0.0], [902154, 1, -0.032249], [902155, 1, 0.007956], [902156, 2, 0.0], [902157, 3, 0.0], [902158, 1, 0.0], [902159, 3, 0.0], [902160, 3, 0.0], [902161, 4, 0.0], [902162, 3, 0.0], [902163, 2, 0.0], [902164, 1, 0.133791], [902165, 3, 0.0], [902166, 2, 0.0], [902167, 4, 0.0], [902168, 4, 0.0], [902169, 1, 0.055624], [902170, 1, -1.056512], [902171, 4, 0.0], [902172, 2, 0.0], [902173, 3, 0.0], [902174, 3, 0.0], [902175, 2, 0.0], [902176, 1, 2.325209], [902177, 2, 0.0], [902178, 4, 0.0], [902179, 1, 0.0], [902180, 3, 0.0], [902181, 4, 0.0], [902182, 3, 0.0], [902183, 3, 0.0], [902184, 3, 0.0], [902185, 2, 0.0], [902186, 1, -1.375663], [902187, 1, -0.011011], [902188, 2, 0.0], [902189, 3, 0.0], [902190, 2, 0.0], [902191, 1, -0.001829], [902192, 1, 11.57372], [902193, 3, 0.0], [902194, 3, 0.0], [902195, 1, -0.03491], [902196, 3, 0.0], [902197, 2, 0.0], [902198, 3, 0.0], [902199, 4, 0.0], [902200, 2, 0.0], [902201, 3, 0.0], [902202, 4, 0.0], [902203, 1, 0.008537], [902204, 4, 0.0], [902205, 2, 0.0], [902206, 4, 0.0], [902207, 3, 0.0], [902208, 3, 0.0], [902209, 4, 0.0], [902210, 2, 0.0], [902211, 3, 0.0], [902212, 4, 0.0], [902213, 3, 0.0], [902214, 1, -0.630196], [902215, 1, -0.652255], [902216, 2, 0.0], [902217, 4, 0.0], [902218, 3, 0.0], [902219, 1, 1.292496], [902220, 2, 0.0], [902221, 4, 0.0], [902222, 3, 0.0], [902223, 4, 0.0], [902224, 1, -6.6356], [902225, 1, -0.72582], [902226, 1, 0.016753], [902227, 3, 0.0], [902228, 4, 0.0], [902229, 3, 0.0], [902230, 4, 0.0], [902231, 2, 0.0], [902232, 1, 0.047668], [902233, 2, 0.0], [902234, 4, 0.0], [902235, 2, 0.0], [902236, 1, 0.000469], [902237, 1, -0.001755], [902238, 4, 0.0], [902239, 4, 0.0], [902240, 4, 0.0], [902241, 4, 0.0], [902242, 4, 0.0], [902243, 1, -0.056203], [902244, 3, 0.0], [902245, 4, 0.0], [902246, 1, 2.832675], [902247, 2, 0.0], [902248, 1, -0.157376], [902249, 1, 0.062345], [902250, 2, 0.0], [902251, 4, 0.0], [902252, 2, 0.0], [902253, 2, 0.0], [902254, 1, -1.560187], [902255, 4, 0.0], [902256, 1, 9.396492], [902257, 3, 0.0], [902258, 1, 1.555216], [902259, 1, 0.199401], [902260, 1, -0.437823], [902261, 4, 0.0], [902262, 4, 0.0], [902263, 1, 0.626421], [902264, 4, 0.0], [902265, 4, 0.0], [902266, 3, 0.0], [902267, 2, 0.0], [902268, 1, 2.475582], [902269, 1, 12.965199], [902270, 3, 0.0], [902271, 1, 0.062071], [902272, 4, 0.0], [902273, 4, 0.0], [902274, 2, 0.0], [902275, 4, 0.0], [902276, 1, -0.183323], [902277, 4, 0.0], [902278, 4, 0.0], [902279, 2, 0.0], [902280, 1, 22.86087], [902281, 3, 0.0], [902282, 2, 0.0], [902283, 1, 3.096037], [902284, 2, 0.0], [902285, 3, 0.0], [902286, 2, 0.0], [902287, 1, 0.023598], [902288, 3, 0.0], [902289, 3, 0.0], [902290, 4, 0.0], [902291, 1, 19.075548], [902292, 4, 0.0], [902293, 4, 0.0], [902294, 4, 0.0], [902295, 1, -0.364037], [902296, 4, 0.0], [902297, 4, 0.0], [902298, 1, -4.239152], [902299, 4, 0.0], [902300, 4, 0.0], [902301, 3, 0.0], [902302, 3, 0.0], [902303, 1, 0.159714], [902304, 1, 0.058419], [902305, 2, 0.0], [902306, 4, 0.0], [902307, 2, 0.0], [902308, 1, 29.930566], [902309, 3, 0.0], [902310, 1, 0.005745], [902311, 2, 0.0], [902312, 3, 0.0], [902313, 2, 0.0], [902314, 1, 0.003105], [902315, 2, 0.0], [902316, 4, 0.0], [902317, 3, 0.0], [902318, 4, 0.0], [902319, 3, 0.0], [902320, 3, 0.0], [902321, 4, 0.0], [902322, 3, 0.0], [902323, 1, 0.074059], [902324, 4, 0.0], [902325, 2, 0.0], [902326, 3, 0.0], [902327, 3, 0.0], [902328, 2, 0.0], [902329, 2, 0.0], [902330, 1, 0.0], [902331, 1, -0.016517], [902332, 2, 0.0], [902333, 4, 0.0], [902334, 2, 0.0], [902335, 3, 0.0], [902336, 1, -0.19542], [902337, 3, 0.0], [902338, 3, 0.0], [902339, 2, 0.0], [902340, 2, 0.0], [902341, 2, 0.0], [902342, 2, 0.0], [902343, 1, 12.501524], [902344, 2, 0.0], [902345, 3, 0.0], [902346, 4, 0.0], [902347, 4, 0.0], [902348, 3, 0.0], [902349, 3, 0.0], [902350, 3, 0.0], [902351, 1, 0.000759], [902352, 2, 0.0], [902353, 3, 0.0], [902354, 2, 0.0], [902355, 2, 0.0], [902356, 1, 1.804686], [902357, 1, 31.220585], [902358, 2, 0.0], [902359, 2, 0.0], [902360, 1, 0.047261], [902361, 3, 0.0], [902362, 2, 0.0], [902363, 2, 0.0], [902364, 1, 0.119761], [902365, 2, 0.0], [902366, 2, 0.0], [902367, 1, 0.039479], [902368, 1, 0.097957], [902369, 3, 0.0], [902370, 1, 0.005724], [902371, 1, -0.025655], [902372, 2, 0.0], [902373, 3, 0.0], [902374, 1, -1.922204], [902375, 4, 0.0], [902376, 4, 0.0], [902377, 3, 0.0], [902378, 2, 0.0], [902379, 2, 0.0], [902380, 3, 0.0], [902381, 1, -0.024607], [902382, 1, -0.030965], [902383, 3, 0.0], [902384, 4, 0.0], [902385, 3, 0.0], [902386, 4, 0.0], [902387, 2, 0.0], [902388, 3, 0.0], [902389, 1, -4.911055], [902390, 2, 0.0], [902391, 3, 0.0], [902392, 4, 0.0], [902393, 4, 0.0], [902394, 1, -0.080685], [902395, 4, 0.0], [902396, 1, 0.066443], [902397, 1, -0.003746], [902398, 4, 0.0], [902399, 1, 0.087477], [902400, 3, 0.0], [902401, 2, 0.0], [902402, 1, -0.150726], [902403, 2, 0.0], [902404, 4, 0.0], [902405, 2, 0.0], [902406, 1, 0.005917], [902407, 3, 0.0], [902408, 3, 0.0], [902409, 2, 0.0], [902410, 2, 0.0], [902411, 3, 0.0], [902412, 4, 0.0], [902413, 2, 0.0], [902414, 1, 0.043361], [902415, 3, 0.0], [902416, 4, 0.0], [902417, 4, 0.0], [902418, 4, 0.0], [902419, 4, 0.0], [902420, 2, 0.0], [902421, 4, 0.0], [902422, 4, 0.0], [902423, 3, 0.0], [902424, 1, 0.000835], [902425, 4, 0.0], [902426, 2, 0.0], [902427, 2, 0.0], [902428, 1, -2.359191], [902429, 3, 0.0], [902430, 4, 0.0], [902431, 2, 0.0], [902432, 3, 0.0], [902433, 2, 0.0], [902434, 1, 0.036185], [902435, 1, 0.005371], [902436, 3, 0.0], [902437, 1, 0.760786], [902438, 3, 0.0], [902439, 2, 0.0], [902440, 3, 0.0], [902441, 3, 0.0], [902442, 4, 0.0], [902443, 1, 0.007877], [902444, 4, 0.0], [902445, 2, 0.0], [902446, 1, 52.930491], [902447, 4, 0.0], [902448, 2, 0.0], [902449, 1, -0.032047], [902450, 4, 0.0], [902451, 1, 0.097145], [902452, 3, 0.0], [902453, 4, 0.0], [902454, 2, 0.0], [902455, 1, -0.00419], [902456, 4, 0.0], [902457, 2, 0.0], [902458, 4, 0.0], [902459, 4, 0.0], [902460, 3, 0.0], [902461, 2, 0.0], [902462, 1, 0.000656], [902463, 3, 0.0], [902464, 1, 0.439427], [902465, 3, 0.0], [902466, 2, 0.0], [902467, 3, 0.0], [902468, 4, 0.0], [902469, 3, 0.0], [902470, 3, 0.0], [902471, 1, 0.894286], [902472, 4, 0.0], [902473, 3, 0.0], [902474, 2, 0.0], [902475, 4, 0.0], [902476, 2, 0.0], [902477, 3, 0.0], [902478, 1, 0.076992], [902479, 2, 0.0], [902480, 2, 0.0], [902481, 1, 3.677219], [902482, 4, 0.0], [902483, 1, -0.053795], [902484, 1, 1.042265], [902485, 3, 0.0], [902486, 1, -0.038393], [902487, 1, 0.027063], [902488, 2, 0.0], [902489, 2, 0.0], [902490, 1, 0.04055], [902491, 4, 0.0], [902492, 3, 0.0], [902493, 1, -0.006106], [902494, 3, 0.0], [902495, 2, 0.0], [902496, 1, 1.233179], [902497, 4, 0.0], [902498, 4, 0.0], [902499, 4, 0.0]], "worst_seeds": [{"seed": 902224, "s": 1, "d": -6.6356, "candidate_edge": 326.341654, "comparator_edge": 332.977255}, {"seed": 902389, "s": 1, "d": -4.911055, "candidate_edge": 299.061199, "comparator_edge": 303.972254}, {"seed": 902298, "s": 1, "d": -4.239152, "candidate_edge": 220.392339, "comparator_edge": 224.631491}, {"seed": 902110, "s": 1, "d": -2.9767, "candidate_edge": 110.877514, "comparator_edge": 113.854214}, {"seed": 902428, "s": 1, "d": -2.359191, "candidate_edge": 7.850374, "comparator_edge": 10.209565}, {"seed": 902374, "s": 1, "d": -1.922204, "candidate_edge": 306.192634, "comparator_edge": 308.114838}, {"seed": 902254, "s": 1, "d": -1.560187, "candidate_edge": 346.911486, "comparator_edge": 348.471673}, {"seed": 902186, "s": 1, "d": -1.375663, "candidate_edge": 401.351515, "comparator_edge": 402.727178}, {"seed": 902170, "s": 1, "d": -1.056512, "candidate_edge": 66.016455, "comparator_edge": 67.072967}, {"seed": 902033, "s": 1, "d": -0.882527, "candidate_edge": 1.127622, "comparator_edge": 2.01015}], "off_target_zero": true, "notes": "SHA-256 of MA, MB, B_RC, P verified. Sim at b244530, default config, 2000 steps. Machine has a 1-core CPU quota; ran serially in-process (first ~98 sims ran 8 procs in parallel and were killed/resumed; their wall times ~47s are excluded from timings, which use sims under 20s). check_values keyed by seed; K matched."}