{"key":"s4-fresh-7","idea":"Replicate B_RC4 against B_RC on 500 fresh paired seeds; extend rival-retreat cancellation only to spread 4.","candidate_sha256":"27cef4140f19ecf15aeaa82c8a4bc70f9f066083a5bed10bcb963d8ecbb9b8aa","comparator_sha256":"02696ea6fd0922f64167a1153748f6a38bf2fd5d87c7a4ac6cb974bb9482f57c","seeds":{"start":933000,"end":933499},"n":500,"complete":true,"missing_seeds":[],"failures":[],"check_values":[{"seed":310000,"comparator_edge":17.5126554022,"expected":17.512655,"match_6_decimals":true},{"seed":310001,"comparator_edge":24.2585786274,"expected":24.258579,"match_6_decimals":true},{"seed":310002,"comparator_edge":2.3903113616,"expected":2.390311,"match_6_decimals":true},{"seed":310003,"comparator_edge":249.5411334743,"expected":249.541133,"match_6_decimals":true}],"python_version":"3.12.3 (main, Aug 31 2026, 10:18:26) [GCC 13.3.0]","seconds_per_simulation":{"candidate":0.724587295761332,"comparator":0.724358846867457,"by_spread":{"1":{"candidate":0.630942500925705,"comparator":0.6300221844610538},"2":{"candidate":0.7217293287866002,"comparator":0.7269207525821326},"3":{"candidate":0.7655386564632257,"comparator":0.7594646434737449},"4":{"candidate":0.790382509249159,"comparator":0.7911240634774523}}},"overall":{"n":500,"sum_d":105.20548851700026,"sum_d2":823.8965170200258,"mean_diff":0.21041097703400052,"se":0.05668745403046613,"comparator_mean":106.38846410876499,"retail_diff":0.01130150390120005,"arb_diff":0.19910947313919988},"by_spread":{"1":{"n":136,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0,"comparator_mean":32.992595066758085,"retail_diff":0.0,"arb_diff":0.0},"2":{"n":121,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0,"comparator_mean":100.96806202146446,"retail_diff":0.0,"arb_diff":0.0},"3":{"n":117,"sum_d":0.0,"sum_d2":0.0,"mean_diff":0.0,"se":0.0,"comparator_mean":135.7334734526188,"retail_diff":0.0,"arb_diff":0.0},"4":{"n":126,"sum_d":105.20548851700026,"sum_d2":823.8965170200258,"mean_diff":0.8349641945793672,"se":0.21617948172684862,"comparator_mean":163.56577164087142,"retail_diff":0.0448472377031748,"arb_diff":0.7901169569015869}},"per_seed":[[933000,2,0.0],[933001,2,0.0],[933002,2,0.0],[933003,4,-2.564715],[933004,1,0.0],[933005,3,0.0],[933006,2,0.0],[933007,1,0.0],[933008,4,-0.03359],[933009,1,0.0],[933010,1,0.0],[933011,4,1.53216],[933012,4,1.449095],[933013,4,4.004038],[933014,1,0.0],[933015,2,0.0],[933016,4,1.511009],[933017,2,0.0],[933018,2,0.0],[933019,3,0.0],[933020,1,0.0],[933021,1,0.0],[933022,4,4.03264],[933023,1,0.0],[933024,4,2.113015],[933025,4,0.324662],[933026,3,0.0],[933027,2,0.0],[933028,1,0.0],[933029,1,0.0],[933030,1,0.0],[933031,3,0.0],[933032,3,0.0],[933033,3,0.0],[933034,2,0.0],[933035,4,1.350699],[933036,1,0.0],[933037,3,0.0],[933038,4,-0.411353],[933039,3,0.0],[933040,4,0.263959],[933041,2,0.0],[933042,3,0.0],[933043,1,0.0],[933044,4,1.4592],[933045,1,0.0],[933046,4,0.088195],[933047,1,0.0],[933048,1,0.0],[933049,3,0.0],[933050,1,0.0],[933051,1,0.0],[933052,3,0.0],[933053,2,0.0],[933054,1,0.0],[933055,2,0.0],[933056,1,0.0],[933057,3,0.0],[933058,4,0.501013],[933059,3,0.0],[933060,4,17.576565],[933061,4,-0.069132],[933062,4,0.079624],[933063,2,0.0],[933064,1,0.0],[933065,4,2.135164],[933066,4,0.79073],[933067,4,0.209811],[933068,4,0.405033],[933069,1,0.0],[933070,4,0.257983],[933071,1,0.0],[933072,3,0.0],[933073,3,0.0],[933074,3,0.0],[933075,1,0.0],[933076,3,0.0],[933077,2,0.0],[933078,3,0.0],[933079,4,0.065127],[933080,2,0.0],[933081,3,0.0],[933082,2,0.0],[933083,4,0.46441],[933084,4,1.23626],[933085,2,0.0],[933086,4,4.606348],[933087,3,0.0],[933088,1,0.0],[933089,4,3.542654],[933090,1,0.0],[933091,4,0.974455],[933092,2,0.0],[933093,3,0.0],[933094,3,0.0],[933095,1,0.0],[933096,1,0.0],[933097,4,0.438817],[933098,1,0.0],[933099,4,0.521195],[933100,1,0.0],[933101,1,0.0],[933102,2,0.0],[933103,1,0.0],[933104,4,0.665653],[933105,4,1.640818],[933106,1,0.0],[933107,4,0.041247],[933108,3,0.0],[933109,2,0.0],[933110,2,0.0],[933111,2,0.0],[933112,4,3.0638],[933113,3,0.0],[933114,2,0.0],[933115,2,0.0],[933116,2,0.0],[933117,3,0.0],[933118,2,0.0],[933119,3,0.0],[933120,3,0.0],[933121,1,0.0],[933122,4,0.147378],[933123,1,0.0],[933124,3,0.0],[933125,1,0.0],[933126,2,0.0],[933127,4,5.131049],[933128,1,0.0],[933129,2,0.0],[933130,2,0.0],[933131,2,0.0],[933132,3,0.0],[933133,2,0.0],[933134,2,0.0],[933135,4,5.798198],[933136,4,0.164528],[933137,1,0.0],[933138,4,-1.030604],[933139,1,0.0],[933140,4,0.392414],[933141,4,0.456732],[933142,3,0.0],[933143,1,0.0],[933144,3,0.0],[933145,3,0.0],[933146,3,0.0],[933147,4,3.829912],[933148,3,0.0],[933149,3,0.0],[933150,4,1.423054],[933151,4,0.255566],[933152,3,0.0],[933153,1,0.0],[933154,2,0.0],[933155,4,-0.75068],[933156,3,0.0],[933157,4,-0.519723],[933158,2,0.0],[933159,4,0.058442],[933160,4,0.099271],[933161,4,0.028068],[933162,1,0.0],[933163,1,0.0],[933164,2,0.0],[933165,3,0.0],[933166,3,0.0],[933167,2,0.0],[933168,1,0.0],[933169,4,-2.324747],[933170,3,0.0],[933171,1,0.0],[933172,2,0.0],[933173,1,0.0],[933174,2,0.0],[933175,4,0.130007],[933176,3,0.0],[933177,2,0.0],[933178,1,0.0],[933179,4,0.195351],[933180,2,0.0],[933181,1,0.0],[933182,1,0.0],[933183,1,0.0],[933184,3,0.0],[933185,1,0.0],[933186,1,0.0],[933187,3,0.0],[933188,2,0.0],[933189,4,0.057003],[933190,1,0.0],[933191,3,0.0],[933192,3,0.0],[933193,1,0.0],[933194,3,0.0],[933195,2,0.0],[933196,2,0.0],[933197,2,0.0],[933198,3,0.0],[933199,2,0.0],[933200,1,0.0],[933201,2,0.0],[933202,4,0.49413],[933203,1,0.0],[933204,1,0.0],[933205,1,0.0],[933206,2,0.0],[933207,1,0.0],[933208,4,0.348698],[933209,4,9.288907],[933210,4,0.036106],[933211,1,0.0],[933212,1,0.0],[933213,4,0.045349],[933214,3,0.0],[933215,1,0.0],[933216,4,0.329162],[933217,3,0.0],[933218,3,0.0],[933219,1,0.0],[933220,1,0.0],[933221,2,0.0],[933222,1,0.0],[933223,3,0.0],[933224,4,1.048519],[933225,4,-0.190063],[933226,4,0.070962],[933227,3,0.0],[933228,4,-2.164164],[933229,1,0.0],[933230,3,0.0],[933231,4,0.234258],[933232,2,0.0],[933233,1,0.0],[933234,4,-0.403731],[933235,1,0.0],[933236,3,0.0],[933237,1,0.0],[933238,1,0.0],[933239,4,-0.023664],[933240,2,0.0],[933241,2,0.0],[933242,4,0.099388],[933243,3,0.0],[933244,4,1.102516],[933245,2,0.0],[933246,1,0.0],[933247,2,0.0],[933248,2,0.0],[933249,2,0.0],[933250,4,0.067646],[933251,3,0.0],[933252,1,0.0],[933253,2,0.0],[933254,2,0.0],[933255,2,0.0],[933256,2,0.0],[933257,2,0.0],[933258,2,0.0],[933259,1,0.0],[933260,4,-2.842603],[933261,3,0.0],[933262,4,-0.02648],[933263,1,0.0],[933264,2,0.0],[933265,3,0.0],[933266,1,0.0],[933267,1,0.0],[933268,2,0.0],[933269,2,0.0],[933270,1,0.0],[933271,1,0.0],[933272,4,0.672578],[933273,2,0.0],[933274,2,0.0],[933275,3,0.0],[933276,3,0.0],[933277,4,0.049861],[933278,3,0.0],[933279,4,0.637964],[933280,1,0.0],[933281,1,0.0],[933282,3,0.0],[933283,1,0.0],[933284,1,0.0],[933285,3,0.0],[933286,2,0.0],[933287,4,1.769199],[933288,3,0.0],[933289,1,0.0],[933290,3,0.0],[933291,3,0.0],[933292,2,0.0],[933293,4,-8.998893],[933294,2,0.0],[933295,4,0.488405],[933296,1,0.0],[933297,3,0.0],[933298,2,0.0],[933299,2,0.0],[933300,4,0.728742],[933301,4,0.763303],[933302,3,0.0],[933303,4,2.051105],[933304,3,0.0],[933305,4,0.292594],[933306,4,0.178363],[933307,2,0.0],[933308,1,0.0],[933309,1,0.0],[933310,2,0.0],[933311,4,0.31199],[933312,2,0.0],[933313,4,-0.009845],[933314,1,0.0],[933315,2,0.0],[933316,1,0.0],[933317,1,0.0],[933318,1,0.0],[933319,2,0.0],[933320,3,0.0],[933321,2,0.0],[933322,3,0.0],[933323,1,0.0],[933324,4,-0.132321],[933325,2,0.0],[933326,3,0.0],[933327,1,0.0],[933328,1,0.0],[933329,3,0.0],[933330,2,0.0],[933331,3,0.0],[933332,2,0.0],[933333,4,0.004538],[933334,1,0.0],[933335,1,0.0],[933336,1,0.0],[933337,4,0.673612],[933338,3,0.0],[933339,3,0.0],[933340,2,0.0],[933341,2,0.0],[933342,3,0.0],[933343,2,0.0],[933344,3,0.0],[933345,3,0.0],[933346,1,0.0],[933347,2,0.0],[933348,3,0.0],[933349,1,0.0],[933350,4,1.576686],[933351,2,0.0],[933352,4,0.574389],[933353,2,0.0],[933354,1,0.0],[933355,1,0.0],[933356,2,0.0],[933357,2,0.0],[933358,2,0.0],[933359,3,0.0],[933360,3,0.0],[933361,3,0.0],[933362,3,0.0],[933363,1,0.0],[933364,3,0.0],[933365,4,0.315466],[933366,1,0.0],[933367,4,0.086818],[933368,3,0.0],[933369,1,0.0],[933370,2,0.0],[933371,3,0.0],[933372,4,2.096026],[933373,4,0.304668],[933374,2,0.0],[933375,2,0.0],[933376,2,0.0],[933377,3,0.0],[933378,4,0.341995],[933379,3,0.0],[933380,2,0.0],[933381,4,0.543615],[933382,4,0.115533],[933383,3,0.0],[933384,2,0.0],[933385,2,0.0],[933386,2,0.0],[933387,4,9.020808],[933388,2,0.0],[933389,4,-1.561182],[933390,2,0.0],[933391,1,0.0],[933392,1,0.0],[933393,4,0.187961],[933394,1,0.0],[933395,1,0.0],[933396,1,0.0],[933397,3,0.0],[933398,3,0.0],[933399,4,-0.073906],[933400,1,0.0],[933401,1,0.0],[933402,2,0.0],[933403,1,0.0],[933404,4,0.039404],[933405,1,0.0],[933406,3,0.0],[933407,4,2.619049],[933408,3,0.0],[933409,4,0.88025],[933410,2,0.0],[933411,4,2.516558],[933412,4,0.889542],[933413,4,0.331821],[933414,2,0.0],[933415,1,0.0],[933416,1,0.0],[933417,3,0.0],[933418,3,0.0],[933419,4,1.830097],[933420,1,0.0],[933421,2,0.0],[933422,1,0.0],[933423,3,0.0],[933424,2,0.0],[933425,3,0.0],[933426,4,0.236187],[933427,1,0.0],[933428,1,0.0],[933429,1,0.0],[933430,1,0.0],[933431,3,0.0],[933432,4,0.739267],[933433,3,0.0],[933434,4,-0.221321],[933435,4,0.409146],[933436,3,0.0],[933437,3,0.0],[933438,1,0.0],[933439,2,0.0],[933440,4,-0.153662],[933441,3,0.0],[933442,4,0.026867],[933443,2,0.0],[933444,4,0.876764],[933445,1,0.0],[933446,3,0.0],[933447,4,3.081281],[933448,2,0.0],[933449,1,0.0],[933450,1,0.0],[933451,4,0.105826],[933452,3,0.0],[933453,3,0.0],[933454,2,0.0],[933455,1,0.0],[933456,3,0.0],[933457,2,0.0],[933458,1,0.0],[933459,1,0.0],[933460,4,0.033294],[933461,4,1.312006],[933462,3,0.0],[933463,3,0.0],[933464,2,0.0],[933465,4,-0.005825],[933466,2,0.0],[933467,3,0.0],[933468,2,0.0],[933469,1,0.0],[933470,3,0.0],[933471,2,0.0],[933472,1,0.0],[933473,1,0.0],[933474,2,0.0],[933475,2,0.0],[933476,3,0.0],[933477,4,-1.326086],[933478,3,0.0],[933479,1,0.0],[933480,3,0.0],[933481,2,0.0],[933482,4,0.614719],[933483,3,0.0],[933484,2,0.0],[933485,3,0.0],[933486,2,0.0],[933487,4,0.233021],[933488,4,1.622807],[933489,2,0.0],[933490,1,0.0],[933491,2,0.0],[933492,4,0.067469],[933493,4,0.114192],[933494,2,0.0],[933495,1,0.0],[933496,1,0.0],[933497,1,0.0],[933498,1,0.0],[933499,3,0.0]],"worst_seeds":[{"seed":933293,"s":4,"d":-8.99889265280001,"candidate_edge":-323.403616203,"comparator_edge":-314.4047235502},{"seed":933260,"s":4,"d":-2.842603295599986,"candidate_edge":407.1288350154,"comparator_edge":409.971438311},{"seed":933003,"s":4,"d":-2.5647150391999958,"candidate_edge":144.6495014885,"comparator_edge":147.2142165277},{"seed":933169,"s":4,"d":-2.324747226499994,"candidate_edge":566.9571490848,"comparator_edge":569.2818963113},{"seed":933228,"s":4,"d":-2.1641642744000364,"candidate_edge":278.7649206714,"comparator_edge":280.9290849458},{"seed":933389,"s":4,"d":-1.5611815681999985,"candidate_edge":102.4804664195,"comparator_edge":104.0416479877},{"seed":933477,"s":4,"d":-1.326086266099992,"candidate_edge":575.8182945422,"comparator_edge":577.1443808083},{"seed":933138,"s":4,"d":-1.0306044315000022,"candidate_edge":52.5050639447,"comparator_edge":53.5356683762},{"seed":933155,"s":4,"d":-0.7506799059000002,"candidate_edge":29.4034032011,"comparator_edge":30.154083107},{"seed":933157,"s":4,"d":-0.5197225400999912,"candidate_edge":166.6611956838,"comparator_edge":167.1809182239}],"off_target_zero":true,"notes":"Unmodified simulator b244530ee2a6247b5f930830eeca9dd950da0e7e; default config, 2000 steps; serial direct API, chunks of 50. All prescribed construction hashes verified. No tuning or finalist seeds used. Spread derived from first competitor quotes. Statistics use unrounded paired edges; retail_diff and arb_diff are paired means. Timings cover engine.run only, excluding four comparator checks. No promotion decision from these replication seeds."}