{"item":"calibrate","status":"incomplete_evidence","completion":{"calibration":true,"baseline":true,"split_reconciliation":true,"parity_infrastructure_smoke":true,"individual_callback_gas_trace":false,"offline_runtime_dependencies_bundled":false},"optimization_performed":false,"submitted_to_board":false,"provenance":{"measurement":"Fresh local runs, not copied artifact scores. Source IDs below resolve through source_manifest. Numeric counterexamples are calculated by embedded observability.py.","hash_scope":"source_manifest SHA256 covers HTTP response bytes; strategy source hashes separately cover decoded UTF-8 code.","source_manifest":{"brief":{"url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/main/research/filter-brief.md","sha256":"0ef2200226b68aa58de6aad268442ba09ada710c54b3fb0ec35c77b491f78a4b"},"oracle":{"url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/main/research/oracle_table.json","sha256":"3e9d1fc8874c6d796d4c26948d486b587f2a6b5610b20fba99923a60954cf4b5"},"replica":{"url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/main/research/replica.py","sha256":"d079712fa1f4850ad8337e656e7ee8dbdde806cd4762d597fae50f547ef9c7c4"},"setup":{"url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/main/research/setup.sh","sha256":"dc7fa6a1e59f5b043d3954cf68d538318b7affaf5c0db3ca69a1822680f300d4"},"rs2":{"url":"https://api.imd.fun/artifacts/19f2ec857df536e8ab62ab1da89ec6623332521ce46849f15bccff402c63e1e5","sha256":"19f2ec857df536e8ab62ab1da89ec6623332521ce46849f15bccff402c63e1e5"},"numba":{"url":"https://api.imd.fun/artifacts/e8a7a2af9039c24b8bb2d3b5fa1c9113606cbf5a480ac07d02ca26750f1752ea","sha256":"e8a7a2af9039c24b8bb2d3b5fa1c9113606cbf5a480ac07d02ca26750f1752ea"},"split":{"url":"https://api.imd.fun/artifacts/33f54e81f3372088e9eced52c0174f310ac348af98ef5727b73785c088679194","sha256":"33f54e81f3372088e9eced52c0174f310ac348af98ef5727b73785c088679194"},"ch":{"url":"https://raw.githubusercontent.com/ChengHua926/amm-challenge/d34a5199c59a4c44d5336a25f1436b4ae1f21104/contracts/src/Strategy.sol","sha256":"6dd68f77a70900319460215374143dbd5d924198450a46d9f5f91f6b1e3d35c3"},"config":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/config.py","sha256":"e4b13d9f271fe27e184157904e6e9f5079db7c49ec5c0e1a31b52daeea2c1f9c"},"match":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/match.py","sha256":"78915a1aa36341e61c29f333fb18b31a319f70ce3e8bc2f737ba8b003aea5c17"},"compiler":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/evm/compiler.py","sha256":"52f6a4627a4aef298d3f3602ecc8dcdfa9c7e1b9c2d2145400af4898622307f4"},"engine":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/simulation/engine.rs","sha256":"b505e05c1ab072855c708747421e382c31223fd65b7ae0402282bb07f6db2e56"},"arb":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/market/arbitrageur.rs","sha256":"f81bceb19ce315dfb457253f35e5dfc6cd78c587c54f06e873f0ef2e978f5503"},"router":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/market/router.rs","sha256":"3d726a0fff1f69e639a8345d722226888089fd33b4a825fd85ece6bbc565994d"},"cfmm":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/amm/cfmm.rs","sha256":"bfaab0d22531d2d920d4fe108ae78ebde759e2b75e96ca4c8503f7979a92a80f"},"trade":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/types/trade_info.rs","sha256":"96d3db718b665b86c99a9a879280e02947a7ddc9c27e2101158cba8387184627"},"executor":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/evm/executor.py","sha256":"cfda99d85a4678b558d96ab58e8c157e1f1c35a6fc95e5c09374974dc32d27f2"},"patch":{"url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/main/instrumentation.patch","sha256":"11f79c95f30eb7d829be6c34d57caf28f5b3de39dce8f81bb62a8029231e0e1e"},"release":{"url":"https://api.github.com/repos/gtmcknight/amm-sim/releases/tags/sim-6b6921f8","sha256":"346b62e52eaaa172908ed57436d0a41541b6162dc4156486b8bc61868216e00f"},"retail":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/market/retail.rs","sha256":"45e723d23462c1a00fc2db4da6aea0db73e49e871b21cdf060e9a470053ecbe1"}}},"protocol":{"repository":"https://github.com/benedictbrady/amm-challenge","commit":"6b6921f8d463314aa7c96234e1be25a25245f704","engine_call":"amm_sim_rs.run_batch(submission_bytecode, VanillaStrategy_bytecode, configs, 8)","metric":"result.edges['submission']; neither PnL nor submission-minus-normalizer","pairing":"Run candidate and RS2 separately against Vanilla with identical global seeds/configs; join by seed and subtract submission edges. Never candidate versus RS2.","steps":10000,"workers":8,"batch_size":20,"reserved_untouched":[5148000,5151999],"compiler":{"version":"0.8.24+commit.e11b9ed9.Linux.g++","optimizer":{"enabled":true,"runs":200},"viaIR":true,"evmVersion":"paris","source_filename":"Strategy.sol","outputSelection":{"*":{"*":["abi","evm.bytecode.object","evm.deployedBytecode.object","storageLayout"]}},"sources":["compiler"]},"runtime":{"packages":{"amm-sim-rs":"0.1.0.post1","numpy":"2.5.4","py-solc-x":"2.1.0","pyrevm":"0.3.7","amm-challenge":"0.1.0"},"solc":"0.8.24","files":{"solc-v0.8.24":"fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f","amm_sim_rs.abi3.so":"ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14","amm_sim_rs.abi3.so-unmodified":"414ea6d201d299b2967b2aee72c9704758fa69acf6df6cd295d83598118efd37"}},"compiled":{"CH":{"source_sha256":"6dd68f77a70900319460215374143dbd5d924198450a46d9f5f91f6b1e3d35c3","creation_bytecode_sha256":"5394c5867ef07044de4ed82dc598e1b53126b430901e9458ef0aa53d5259771b","creation_bytecode_bytes":4161},"RS2":{"source_sha256":"f24b6ca198b744c380842c3a17964a6dc21f311bb04984b26733afa3fee8eaf2","creation_bytecode_sha256":"fe151c817393f5805eb613d1dee3a4841ef68f9693100d2a3a3d49d8c059acca","creation_bytecode_bytes":9850},"VanillaStrategy":{"source_sha256":"62d40ccef0de99a385e332a36ddf9cbd1da73eda06bd7954492a9880cb91a572","creation_bytecode_sha256":"3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05","creation_bytecode_bytes":668}},"config_check":{"seeds":[0,999],"fields_checked_per_seed":12,"mismatches":0,"chunk_invariance":true,"rng":"np.random.default_rng(global_seed), uniform size(19,21), rate(.6,1), sigma(.000882,.001008), in that order","fixed":{"initial_price":100,"initial_x":100,"initial_y":10000,"gbm_mu":0,"gbm_dt":1,"retail_size_sigma":1.2,"retail_buy_prob":0.5},"sources":["match","config"],"reproduce":"python scratch/measure.py check"}},"calibration":{"source":"ch","source_sha256":"6dd68f77a70900319460215374143dbd5d924198450a46d9f5f91f6b1e3d35c3","discovery":"split.calibration.strategy_url; numba.reproduction_source corroborates CH identity","seeds":[0,999],"expected_mean":525.5258821780834,"observed_mean":525.5258821780834,"difference":0.0,"tolerance":1e-09,"passed":true,"columns":["seed","submission_edge"],"data":[[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,520,521,522,523,524,525,526,527,528,529,530,531,532,533,534,535,536,537,538,539,540,541,542,543,544,545,546,547,548,549,550,551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596,597,598,599,600,601,602,603,604,605,606,607,608,609,610,611,612,613,614,615,616,617,618,619,620,621,622,623,624,625,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640,641,642,643,644,645,646,647,648,649,650,651,652,653,654,655,656,657,658,659,660,661,662,663,664,665,666,667,668,669,670,671,672,673,674,675,676,677,678,679,680,681,682,683,684,685,686,687,688,689,690,691,692,693,694,695,696,697,698,699,700,701,702,703,704,705,706,707,708,709,710,711,712,713,714,715,716,717,718,719,720,721,722,723,724,725,726,727,728,729,730,731,732,733,734,735,736,737,738,739,740,741,742,743,744,745,746,747,748,749,750,751,752,753,754,755,756,757,758,759,760,761,762,763,764,765,766,767,768,769,770,771,772,773,774,775,776,777,778,779,780,781,782,783,784,785,786,787,788,789,790,791,792,793,794,795,796,797,798,799,800,801,802,803,804,805,806,807,808,809,810,811,812,813,814,815,816,817,818,819,820,821,822,823,824,825,826,827,828,829,830,831,832,833,834,835,836,837,838,839,840,841,842,843,844,845,846,847,848,849,850,851,852,853,854,855,856,857,858,859,860,861,862,863,864,865,866,867,868,869,870,871,872,873,874,875,876,877,878,879,880,881,882,883,884,885,886,887,888,889,890,891,892,893,894,895,896,897,898,899,900,901,902,903,904,905,906,907,908,909,910,911,912,913,914,915,916,917,918,919,920,921,922,923,924,925,926,927,928,929,930,931,932,933,934,935,936,937,938,939,940,941,942,943,944,945,946,947,948,949,950,951,952,953,954,955,956,957,958,959,960,961,962,963,964,965,966,967,968,969,970,971,972,973,974,975,976,977,978,979,980,981,982,983,984,985,986,987,988,989,990,991,992,993,994,995,996,997,998,999],[478.31372,598.726153,412.970257,475.602299,521.908357,746.452587,463.532813,687.730772,679.166753,491.613659,429.766501,500.983056,616.254339,642.574607,541.472679,668.077388,607.504758,423.487553,569.620219,667.325333,481.165655,525.65677,460.715924,552.646384,471.837469,387.575475,501.625731,484.302953,542.91604,555.191296,437.967369,546.56132,505.083815,560.0623,519.419752,516.847755,427.225987,543.728511,483.30568,537.21704,584.994003,582.824447,510.932696,445.815299,379.051045,485.409518,450.278373,627.920101,501.153901,508.150013,628.991326,510.782797,513.636676,493.397543,568.491212,701.377434,410.382751,519.276136,579.106188,657.745005,382.854335,548.203062,601.149025,661.463672,558.558336,525.75467,755.130683,415.420977,688.701715,584.826537,562.857186,468.269338,406.487326,436.003133,569.579814,461.096208,799.749603,566.432811,733.459947,413.105036,500.883107,405.068067,664.015557,431.557181,590.398866,491.831113,421.04805,616.158517,570.050492,540.573058,600.469524,582.01462,423.111712,585.472595,535.919097,612.305769,524.57716,552.031726,632.215596,533.828249,613.142717,556.5538,624.867122,500.781056,595.747099,611.03686,433.633815,533.445813,552.818418,611.655743,606.029187,407.033307,542.504037,356.364233,470.790406,524.869503,575.789576,436.490901,781.94068,593.71473,396.859497,441.266015,453.914607,392.947095,636.435423,485.989074,568.940153,442.60018,526.128081,429.120272,471.443492,538.206699,549.616027,548.095422,551.247283,458.538833,382.6648,496.864063,581.624432,493.683634,644.045292,702.509255,355.457561,578.500637,417.311778,486.465816,541.599589,629.530086,550.355352,399.48051,561.101908,558.787709,574.965796,522.632186,575.042266,606.046644,365.247676,639.914027,672.90156,540.388053,484.638212,555.202973,451.0304,381.049309,527.148281,469.774696,437.534279,483.88222,367.826914,521.397923,660.27288,538.101778,588.731422,519.434518,617.725185,570.077394,575.911509,557.531115,402.910761,729.231551,590.176133,572.973964,488.530907,643.55462,444.493073,465.430767,570.589743,478.587725,470.633553,441.252612,411.957366,623.018395,620.549088,455.735778,672.230592,366.569136,544.57831,585.215954,588.607306,629.550953,522.712428,648.170586,480.977203,538.259405,575.397598,425.896761,461.999048,508.920567,576.129857,515.929231,548.462864,520.727644,487.228659,572.611901,478.643482,399.245277,602.283731,594.48718,518.744657,584.849025,444.508994,509.532942,530.576993,491.839853,433.007164,517.772564,577.632454,485.966549,474.717932,638.501377,451.502277,653.614356,515.480464,500.569718,455.815362,433.034808,513.037329,413.11873,567.444422,536.619278,404.159161,539.618763,587.172577,580.974293,518.169654,490.448325,464.932125,636.596976,619.056795,710.033785,530.833232,647.746784,489.664815,530.634667,572.221418,538.742485,718.34333,654.780167,592.280026,561.668423,637.042475,556.159868,641.269059,419.246011,435.195403,434.748852,456.390826,497.313081,489.637946,440.113991,542.987119,601.811882,491.73222,576.492316,518.90824,678.084271,500.330945,385.048479,370.011253,632.116805,583.001701,614.4396,485.117613,548.136578,420.980433,450.133753,627.204274,565.08237,445.914931,425.133854,397.007689,573.892994,610.277109,607.339169,563.199771,384.917453,525.248765,422.848528,603.606057,530.620487,496.489228,459.848241,624.480732,477.729951,618.89753,548.209169,464.211945,582.114117,539.179887,552.645661,680.890444,559.749803,458.497693,524.047743,698.231215,705.269089,457.368528,449.722152,678.602318,591.419387,563.638257,623.010538,468.313378,543.714957,589.406798,443.692399,435.485513,446.558533,559.518006,467.7971,653.892853,460.09196,550.037617,610.061906,706.441791,494.801106,510.600131,583.364438,654.398047,739.406064,596.718216,538.875755,539.439402,371.823742,513.202875,466.651902,488.160749,490.251029,573.215084,537.446569,601.594598,521.708826,570.294752,368.097215,456.548689,575.58389,475.630816,416.938186,577.256396,523.127113,646.771232,508.02069,516.134223,684.023688,530.536355,596.780686,623.625665,683.742539,538.10018,457.29237,651.731957,568.161062,554.973536,510.694614,532.994725,640.133937,600.02806,442.487702,382.373852,659.070784,414.071904,656.827593,502.744662,588.276678,589.658742,506.599562,455.727829,510.217055,611.487747,494.646113,572.242962,545.231186,520.604837,430.732405,412.805714,511.95077,472.107805,562.628717,488.589791,593.863908,574.052661,502.520361,568.526593,563.078588,448.373026,450.988256,397.236905,442.85144,640.496046,430.111001,622.1158,648.394517,532.720951,481.794716,502.925713,580.504912,507.524373,549.934701,569.507353,726.03742,673.40834,379.625489,565.685317,578.787006,483.459607,394.158051,461.454929,685.076361,541.866209,431.598051,645.396871,652.22036,616.582217,523.796475,627.309906,530.954876,484.053544,560.10785,592.783105,580.695769,458.824952,477.390981,598.339902,456.733155,455.100929,335.259907,634.33898,598.802341,356.110215,475.185441,454.168443,394.346789,413.563122,492.641729,436.092456,675.978586,482.927198,549.485408,467.968626,496.624665,623.607836,515.937151,637.655949,451.108474,463.854977,452.843156,456.662937,527.363819,645.379354,638.752895,441.552816,371.645452,653.03042,504.862241,482.266298,527.326755,460.114754,514.658978,501.889105,500.001612,544.066606,523.426145,450.400728,398.280491,561.829582,511.925938,731.417148,403.589197,345.28962,564.484189,433.789389,724.900118,547.882121,560.400492,623.648284,676.45568,476.555465,570.496448,609.7768,513.400145,564.165322,614.386342,528.759957,451.610223,398.791994,561.328346,490.486441,446.759359,467.887376,614.524075,567.120811,524.383993,665.76805,435.562899,698.709075,384.003003,569.0701,496.113266,638.413999,367.507793,425.970169,427.618197,548.215649,586.53659,540.021345,402.913214,338.889001,512.210115,519.78505,552.738453,397.252802,592.250225,416.626775,563.650367,578.193134,477.314532,388.604155,628.566421,628.414603,441.947617,390.001207,496.155928,695.576565,576.108442,631.636665,656.698162,557.179811,513.695034,497.766512,601.63066,527.290661,510.700254,408.299087,497.648044,535.910076,484.634691,403.978281,579.616904,434.436609,605.534952,405.189537,636.761444,408.796446,571.548853,540.022038,571.535072,651.85203,601.280274,685.285301,468.134695,397.33988,499.559504,451.826617,629.697522,610.714775,429.214874,679.677191,417.953004,400.30391,589.8514,355.81948,376.520062,392.793576,465.412829,497.637828,614.736242,496.911331,372.177317,748.21014,443.665296,416.396176,465.745464,428.847931,657.0943,459.271612,694.871999,541.152485,573.496276,657.590331,620.084798,420.658514,429.177306,551.701593,462.786599,403.7316,562.954521,541.970074,521.754924,551.659967,446.770839,458.975182,593.712868,403.068385,574.1463,395.401336,463.693811,742.934093,416.786516,500.133695,526.051198,587.203661,523.78967,356.562733,607.209154,376.131783,480.44121,536.169641,583.32544,632.500306,485.89726,384.80588,463.669611,473.917367,576.793752,551.163884,513.946277,415.520485,428.338817,553.805336,718.954446,529.110099,554.889059,551.533108,422.929117,489.282008,449.591535,445.700494,366.028641,466.362121,599.574332,572.200508,578.612318,373.611167,472.977496,594.310446,385.482395,563.704787,717.097208,392.80839,339.332797,731.946188,423.259937,389.627491,404.308798,559.963016,436.394166,486.878725,570.49777,570.613865,342.216307,472.177358,624.305199,519.673017,621.66369,620.220076,593.904589,539.701202,589.495366,600.980232,428.524822,408.378357,461.438344,511.216011,633.48147,501.706672,579.852727,574.298515,566.052327,431.222789,559.069688,669.603984,525.079521,385.337739,465.528692,533.059836,461.939977,451.402502,513.454782,711.534913,497.913565,435.606244,703.165121,416.73116,607.996412,639.141274,368.660817,439.908529,576.193062,786.192941,483.993724,412.084031,466.425394,456.156061,550.694728,428.406616,651.191672,670.42993,516.602853,535.981439,553.702423,393.74406,423.196911,598.558569,466.178205,515.434317,724.167311,493.623637,616.13145,659.996553,568.561865,526.176015,609.815689,410.665421,532.258284,668.657484,547.315212,518.025989,477.160189,590.816443,556.049535,510.015524,537.562214,581.751587,364.600991,621.104607,666.830098,507.908072,591.881567,525.941651,444.995626,436.528703,429.339189,644.824185,404.459705,631.884795,728.914728,472.289514,488.084227,524.74952,431.3921,535.309226,472.128769,479.558743,532.625072,574.729552,530.987742,588.899417,592.344177,597.316965,628.405253,586.018381,546.668211,500.957281,585.284802,518.921984,496.150821,517.368777,436.184522,370.586855,443.032788,486.795841,394.222921,482.363793,469.468667,485.728989,588.579181,416.381816,458.775197,588.768501,425.603489,630.487264,575.250262,489.077268,687.96528,556.696869,380.962498,478.852913,485.808356,556.950769,579.442003,523.743135,459.976204,541.941078,496.755103,640.918192,387.463086,512.108788,642.475683,489.776724,651.685619,433.803724,561.017505,526.145576,494.755974,416.22155,690.851613,560.309273,485.124619,372.663838,506.080762,569.755829,479.75222,656.816172,655.787812,553.660835,398.190618,572.914335,546.116221,430.253896,413.793242,430.439082,508.086756,430.878273,524.381676,597.109429,604.398874,466.88746,427.754415,395.866388,360.527903,471.527361,400.066079,737.812212,532.846381,465.926971,474.291607,656.178323,587.448672,506.77837,544.329367,434.692124,698.228062,703.420006,474.438601,597.916288,484.177117,406.070115,625.926234,631.203529,543.452895,686.471261,458.179463,654.774632,540.033619,451.053114,535.200953,434.398378,505.986768,506.812964,567.225537,424.275507,550.146265,443.835978,493.38121,507.132594,644.346313,500.106932,554.620997,405.439143,500.741505,406.858738,566.625888,380.601179,718.697443,555.897676,531.202593,569.844365,430.342878,411.365176,592.843954,629.963648,450.086266,569.486409,547.848276,431.658799,535.086984,483.187866,513.015179,423.247383,502.119318,387.048562,549.08117,649.660811,499.772823,513.018157,636.132046,430.667945,337.863992,550.882407,527.352636,511.232831,445.479319,435.632853,366.769407,459.309212,403.467106,573.490621,503.806473,379.622119,680.908542,489.295308,463.854577,353.15974,697.283146,562.873481,609.357878,511.926065,393.483277,475.312766,454.453556,634.250991,504.094019,499.742919,466.363313,623.840529,469.327025,583.314724,540.386028,450.097784,590.501918,638.668434,562.83955,502.357844,501.288311,500.864781,561.176906,617.5492,558.987884,498.790438,374.260892,444.404152,508.081,425.733569,441.543389,581.647487,514.428131,623.08562,615.403694,538.938488,604.810537,536.563438,387.450255,542.448658,610.365292,475.902845,378.877309,531.252752,441.966584,609.117707,386.660796,540.851411,532.467336,643.482155,535.960218,577.301775,535.283185,492.093764,591.746303,659.288919,461.435556,598.044082,511.220246,519.380296,555.267781,488.467712,362.39654,362.5161,587.03663,602.161394,550.919349,480.365506,603.60155,443.118755,420.465351,463.089321,472.700687,499.986378,583.989126,450.433497,431.987771]]},"baseline":{"source":"rs2.code only","source_sha256":"f24b6ca198b744c380842c3a17964a6dc21f311bb04984b26733afa3fee8eaf2","expected_sha256":"f24b6ca198b744c380842c3a17964a6dc21f311bb04984b26733afa3fee8eaf2","verified":true,"seeds":[10000,10255],"mean_edge":523.5786885775232,"mean_retail":551.7619814509503,"mean_arb":-28.183292873427057,"columns":["seed","submission_edge","retail_reconstructed","arb_reconstructed"],"data":[[10000,10001,10002,10003,10004,10005,10006,10007,10008,10009,10010,10011,10012,10013,10014,10015,10016,10017,10018,10019,10020,10021,10022,10023,10024,10025,10026,10027,10028,10029,10030,10031,10032,10033,10034,10035,10036,10037,10038,10039,10040,10041,10042,10043,10044,10045,10046,10047,10048,10049,10050,10051,10052,10053,10054,10055,10056,10057,10058,10059,10060,10061,10062,10063,10064,10065,10066,10067,10068,10069,10070,10071,10072,10073,10074,10075,10076,10077,10078,10079,10080,10081,10082,10083,10084,10085,10086,10087,10088,10089,10090,10091,10092,10093,10094,10095,10096,10097,10098,10099,10100,10101,10102,10103,10104,10105,10106,10107,10108,10109,10110,10111,10112,10113,10114,10115,10116,10117,10118,10119,10120,10121,10122,10123,10124,10125,10126,10127,10128,10129,10130,10131,10132,10133,10134,10135,10136,10137,10138,10139,10140,10141,10142,10143,10144,10145,10146,10147,10148,10149,10150,10151,10152,10153,10154,10155,10156,10157,10158,10159,10160,10161,10162,10163,10164,10165,10166,10167,10168,10169,10170,10171,10172,10173,10174,10175,10176,10177,10178,10179,10180,10181,10182,10183,10184,10185,10186,10187,10188,10189,10190,10191,10192,10193,10194,10195,10196,10197,10198,10199,10200,10201,10202,10203,10204,10205,10206,10207,10208,10209,10210,10211,10212,10213,10214,10215,10216,10217,10218,10219,10220,10221,10222,10223,10224,10225,10226,10227,10228,10229,10230,10231,10232,10233,10234,10235,10236,10237,10238,10239,10240,10241,10242,10243,10244,10245,10246,10247,10248,10249,10250,10251,10252,10253,10254,10255],[489.909696,552.576114,443.143242,653.496103,484.625131,457.127026,537.593079,377.081494,547.810269,531.187081,387.501271,626.72877,386.535241,513.51344,583.308016,512.303623,459.598703,486.618659,467.919234,561.29589,578.914589,495.241018,638.738176,614.08473,524.767827,695.661385,382.95705,403.197638,633.016266,625.715486,423.087584,459.929188,461.070697,525.726295,509.62748,456.291598,441.432893,380.652931,606.232456,414.056638,600.570224,414.872771,485.210727,542.287983,582.255832,666.18515,342.818086,417.20435,447.03856,578.55878,506.677725,484.100529,525.511206,675.919276,511.093128,387.649599,449.943604,441.598304,432.027557,621.472851,643.812716,494.397233,500.198553,401.792346,578.961417,503.541599,505.078504,673.564687,541.809941,580.553828,599.542657,520.92403,653.780834,499.473404,596.451135,618.227633,585.72208,388.617131,654.153681,568.632966,398.927476,664.611327,515.585914,622.923791,540.546118,678.801532,565.547146,485.164531,520.685646,707.432769,369.139922,409.098625,707.105307,564.976745,417.169556,575.106181,384.099677,599.624699,388.442194,426.891194,405.6821,413.715349,568.434102,495.672323,723.901943,512.716903,482.459468,536.946374,445.887467,476.166591,567.430087,653.754439,428.947403,385.128231,495.025964,646.486355,474.391214,432.941164,596.808423,523.433789,404.613593,693.661977,598.857806,353.289869,514.028769,502.663611,580.982949,443.984554,641.175542,415.549308,507.222855,422.037546,403.011248,595.499241,508.841241,445.132782,420.649893,496.583608,480.301801,482.371663,409.175179,698.08608,572.221698,392.325714,637.562424,562.106469,530.787941,522.198778,537.321771,429.847042,517.23308,529.211161,703.261344,393.443614,547.789102,575.454369,548.176988,459.432561,603.093247,640.243483,502.946193,386.041047,605.14114,609.314148,478.775331,664.142496,720.559449,548.250336,525.195928,424.644745,629.76944,579.626613,572.592791,656.877069,611.604503,628.569284,393.108068,591.17389,478.547027,531.471273,633.654181,579.260122,597.701335,333.682419,597.008141,540.588485,383.245413,449.872447,550.592535,629.18292,645.398886,510.198601,449.845164,651.48487,386.336361,425.507878,464.877642,456.727483,668.401296,749.583692,445.806304,440.611754,385.922059,353.466739,668.225863,643.648766,395.607416,718.329426,544.899225,691.135145,421.730047,490.999309,413.007772,403.698291,517.406283,632.535267,619.881608,474.562123,532.554205,525.731709,617.346055,545.917837,605.811575,599.38867,593.474088,399.523263,574.788024,426.950579,559.590807,377.357726,515.765491,658.340988,538.259194,430.008154,451.557176,381.530029,552.963258,752.783739,533.487676,395.04418,476.253085,723.791701,507.533367,370.424618,558.471158,457.735986,502.253829,434.237048,439.012488,552.303814,543.032589,512.067362,570.785613,639.488011,656.000957,341.85562],[514.129506,579.260167,465.09361,682.441317,509.88472,480.251184,563.654179,398.585419,576.387771,555.796162,408.973498,653.786301,407.254123,536.198964,610.18974,536.358333,480.334246,510.75842,491.444874,587.809917,603.545211,538.973702,668.208042,644.906538,549.56459,726.070182,405.351859,425.211143,669.673318,684.410962,444.257444,483.978129,484.9861,551.515839,533.43468,478.12551,462.220779,401.482975,633.500535,435.747047,625.576961,436.557491,509.33167,567.297351,607.90294,697.965622,362.598905,438.552326,470.452851,607.091011,530.01243,510.692639,551.022627,723.173296,542.558697,407.6541,474.163462,460.222639,456.319152,646.715772,675.042662,520.642246,525.644914,420.416578,605.703654,541.346921,530.223734,724.93731,567.387014,608.814969,624.812309,542.653871,680.49318,524.488898,623.188471,654.072662,610.907605,409.269366,690.732711,598.656529,420.030935,691.924715,540.094083,651.924243,564.533795,776.968774,593.314623,509.909191,546.052808,742.895253,389.674407,430.851219,777.23383,590.086647,438.938803,600.380382,404.473859,629.270644,409.662363,452.649501,425.865635,434.219835,595.846937,520.711829,771.235407,536.329649,505.467915,559.410488,468.829154,500.212861,591.041045,681.92199,449.848786,405.008076,520.398414,674.331061,496.708766,454.084286,624.185295,549.704818,427.509367,721.703587,625.002766,370.410889,538.371874,527.978606,606.358753,466.312991,667.04126,436.516208,531.622509,442.270905,424.227103,623.552675,534.838938,467.911523,441.252641,517.634216,504.618897,504.586495,432.346583,728.85025,598.553518,414.511289,668.628432,590.085794,557.877139,546.432118,562.711729,454.158405,539.936965,552.834664,775.951536,412.658076,572.465171,601.135119,573.189508,481.720336,629.038896,666.411855,525.908503,408.185728,630.777977,636.739495,500.895051,729.030592,754.690355,571.809846,548.258478,445.055842,657.786266,605.091253,596.925141,685.491376,637.010292,653.152512,413.034246,617.688025,503.353825,557.251867,660.80342,602.778211,625.066234,350.31788,624.63603,565.183932,401.715561,473.735458,577.967576,767.663549,672.408884,534.612123,474.218718,682.774408,407.76627,447.891914,488.30725,478.599233,704.373726,782.01316,469.188148,463.153371,405.788485,372.11308,697.875987,670.801699,418.460766,761.515639,568.420192,720.825714,444.834216,515.456018,433.968764,425.041627,547.175333,666.021023,647.488519,498.226828,558.687181,551.553287,643.021331,570.741569,631.775415,625.405441,619.858142,422.387412,599.749007,449.872,584.670593,397.857382,540.786678,686.469406,564.150194,455.15859,474.256282,400.037605,578.407052,789.905395,559.642445,417.307493,499.889157,1133.256573,530.466532,391.168964,583.514186,481.935463,531.951422,454.475296,461.382358,577.49058,568.910936,533.943605,596.803809,666.722369,684.084379,361.539615],[-24.21981,-26.684053,-21.950367,-28.945214,-25.259589,-23.124157,-26.061099,-21.503924,-28.577502,-24.60908,-21.472226,-27.057531,-20.718882,-22.685524,-26.881723,-24.05471,-20.735542,-24.139761,-23.525639,-26.514027,-24.630622,-43.732684,-29.469867,-30.821808,-24.796764,-30.408797,-22.394809,-22.013504,-36.657052,-58.695477,-21.16986,-24.048941,-23.915402,-25.789544,-23.807201,-21.833912,-20.787886,-20.830044,-27.268078,-21.690409,-25.006737,-21.68472,-24.120944,-25.009369,-25.647108,-31.780472,-19.780819,-21.347976,-23.414291,-28.532231,-23.334705,-26.59211,-25.511421,-47.25402,-31.465569,-20.004501,-24.219858,-18.624335,-24.291595,-25.242921,-31.229946,-26.245013,-25.446361,-18.624232,-26.742237,-37.805323,-25.14523,-51.372623,-25.577073,-28.261141,-25.269652,-21.729841,-26.712345,-25.015494,-26.737335,-35.845029,-25.185524,-20.652235,-36.579031,-30.023563,-21.103459,-27.313388,-24.508169,-29.000451,-23.987677,-98.167241,-27.767477,-24.744661,-25.367163,-35.462484,-20.534485,-21.752594,-70.128523,-25.109903,-21.769246,-25.274201,-20.374182,-29.645945,-21.220169,-25.758306,-20.183535,-20.504486,-27.412835,-25.039507,-47.333464,-23.612746,-23.008447,-22.464115,-22.941687,-24.04627,-23.610958,-28.167551,-20.901383,-19.879845,-25.37245,-27.844706,-22.317553,-21.143122,-27.376872,-26.271028,-22.895774,-28.04161,-26.14496,-17.12102,-24.343105,-25.314996,-25.375804,-22.328437,-25.865718,-20.9669,-24.399654,-20.233359,-21.215854,-28.053434,-25.997696,-22.778741,-20.602748,-21.050608,-24.317096,-22.214832,-23.171405,-30.76417,-26.33182,-22.185575,-31.066008,-27.979325,-27.089198,-24.23334,-25.389958,-24.311362,-22.703885,-23.623503,-72.690192,-19.214462,-24.676068,-25.68075,-25.012521,-22.287775,-25.94565,-26.168372,-22.96231,-22.144682,-25.636837,-27.425347,-22.11972,-64.888096,-34.130906,-23.55951,-23.06255,-20.411096,-28.016826,-25.46464,-24.33235,-28.614307,-25.405789,-24.583228,-19.926178,-26.514135,-24.806797,-25.780594,-27.149239,-23.518089,-27.364899,-16.635461,-27.627889,-24.595447,-18.470148,-23.863011,-27.375041,-138.480629,-27.009999,-24.413521,-24.373554,-31.289537,-21.429908,-22.384037,-23.429608,-21.871749,-35.97243,-32.429468,-23.381844,-22.541617,-19.866426,-18.646341,-29.650125,-27.152934,-22.853351,-43.186213,-23.520967,-29.690568,-23.104169,-24.456709,-20.960992,-21.343336,-29.76905,-33.485756,-27.606911,-23.664704,-26.132976,-25.821578,-25.675276,-24.823731,-25.96384,-26.016772,-26.384054,-22.864149,-24.960983,-22.921421,-25.079785,-20.499656,-25.021187,-28.128418,-25.891,-25.150436,-22.699106,-18.507576,-25.443794,-37.121656,-26.154769,-22.263313,-23.636072,-409.464871,-22.933165,-20.744346,-25.043028,-24.199478,-29.697593,-20.238248,-22.36987,-25.186765,-25.878348,-21.876243,-26.018196,-27.234359,-28.083422,-19.683995]]},"array_precision":"Edges serialized to 6 decimal places (absolute rounding error <=5e-7). Means, residuals and checks computed before rounding.","split_reconciliation":{"sources":["split","arb","cfmm","engine","release"],"method":"Linked harness decomposition: fixed initial k, preceding final spot and old fees, closed-form negative optimal arb profit; retail=reported edge-arb. Generalized initial spot to actual initial reserves and initialization fees to EVM return values.","unmodified_wheel_sha256":"4ef4bd39fffb8bc3844b7d3df9024d647ac17f765165a71442ef80268f8c880c","seeds":[10000,10015],"n":16,"max_abs_instrumented_minus_unmodified_edge":0.0,"max_abs_split_sum_minus_unmodified_edge":1.1368683772161603e-13,"unmodified_gas_api":false,"independence_limit":"Sum check is algebraic because retail is the residual. It confirms engine compatibility, not independent retail classification. Supplemental zero-observed-retail runs independently check arb.","supplemental":{"seeds":[13000,13015],"steps":100,"configured_rate":0,"actual_rate_floor":0.01,"zero_own_retail_n":2,"max_abs_edge_minus_reconstructed_arb":6.04793992664554e-12}},"telemetry":{"sources":["patch","cfmm","executor","release"],"columns":["role","callback","calls","ok","max_ok_gas","sum_ok_gas","oog","revert","other_halt","tx_error","bad_return"],"CH":[["Baseline","afterInitialize",1000,1000,21796,21796000,0,0,0,0,0],["Baseline","afterSwap",10741746,10741746,22592,242365461576,0,0,0,0,0],["Baseline","getName",1000,1000,21526,21526000,0,0,0,0,0],["Submission","afterInitialize",1000,1000,185532,185532000,0,0,0,0,0],["Submission","afterSwap",10445223,10445223,151647,811927105393,0,0,0,0,0],["Submission","getName",1000,1000,21530,21530000,0,0,0,0,0]],"RS2":[["Baseline","afterInitialize",256,256,21796,5579776,0,0,0,0,0],["Baseline","afterSwap",2735481,2735481,22592,61720467120,0,0,0,0,0],["Baseline","getName",256,256,21526,5510656,0,0,0,0,0],["Submission","afterInitialize",256,256,243099,62233344,0,0,0,0,0],["Submission","afterSwap",2650211,2650211,200268,312179971138,0,0,0,0,0],["Submission","getName",256,256,21607,5531392,0,0,0,0,0]],"failure_probes":{"revert":{"batch_returned":true,"fees_preserved":true,"raw":{"role":"Submission","callback":"afterSwap","calls":19,"ok":0,"max_ok_gas":0,"sum_ok_gas":0,"oog":0,"revert":19,"other_halt":0,"tx_error":0,"bad_return":0}},"oog":{"batch_returned":true,"fees_preserved":true,"raw":{"role":"Submission","callback":"afterSwap","calls":19,"ok":0,"max_ok_gas":0,"sum_ok_gas":0,"oog":19,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"bad_return":{"batch_returned":true,"fees_preserved":true,"raw":{"role":"Submission","callback":"afterSwap","calls":19,"ok":19,"max_ok_gas":22522,"sum_ok_gas":427558,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":19}},"other_halt":{"batch_returned":true,"fees_preserved":true,"raw":{"role":"Submission","callback":"afterSwap","calls":19,"ok":0,"max_ok_gas":0,"sum_ok_gas":0,"oog":0,"revert":0,"other_halt":19,"tx_error":0,"bad_return":0}}},"mechanism":"Instrumented wheel reads revm ExecutionResult.gas_used on every successful call, aggregates calls/ok/sum/max and failures by role/callback, flushes on EVMStrategy drop. Reset before each batch, snapshot after it returns; counters are process-wide, so do not overlap batches in one process. afterSwap errors are swallowed by CFMM and old fees retained. bad_return overlaps ok (EVM succeeded, fee decoder failed); do not add them as disjoint totals.","missing":["No per-event gas trace or seed/timestamp attribution from gas_stats; only raw callback-type aggregate counters.","No gas-used distribution for failed calls; only failure counts.","Deploy failures are not metered in this patch; batch exceptions must also be recorded. tx_error branch inspected but not injected.","Unmodified wheel exposes no gas telemetry. Python EVMExecutionResult.gas_used is a half-limit estimate and must not be used as measured gas."],"scope":"Aggregate success maxima and error counts are measured evidence; individual callback gas samples remain incomplete evidence, not certified available."},"fee_parity":{"source":"audit.py + replica.py + upstream VanillaStrategy.sol","result":{"seed_range":[20000,20255],"steps_per_seed":256,"counts":{"init":256,"swap":74986,"errors":0,"buy":37465,"sell":37521,"same_timestamp":28939,"gap":11409,"timestamp_zero":212},"max_abs_fee_error":0.0,"max_bps_error":0.0,"first_divergence":null,"seconds":32.76390499295667,"negative_control_wrong_fee_detected":true,"scope":"EVM-vs-Python callback replay on replica trajectories; not real-engine trajectory parity and not future-candidate certification"},"native_engine_check":{"seed_range":[20000,20255],"n":256,"steps_checked":65536,"max_abs_end_step_fee_error":0.0,"seconds":7.947564496891573,"scope":"Native engine end-step quotes for known Vanilla only; intermediate callback return pairs are not exported."},"tolerance_fee_fraction":1e-06,"tolerance_bps":0.01,"input_encoding":"Native-style int(float_value*1e18) then exact Decimal/WAD conversion with precision80. Only six TradeInfo fields are passed to EVM. Python reference returns (.003,.003).","limitations":"256 seeds, 256 replica steps each, not full 10000-step native trajectories; this infrastructure exercise cannot certify a future candidate. Fixed fee ignores inputs and cannot validate a stateful port."},"callback_observability":[{"topic":"callback visibility","sources":["trade","cfmm","replica"],"finding":"Only isBuy, amountX, amountY, timestamp, post-trade reserveX and reserveY reach afterSwap. isBuy=true means AMM buys X. afterInitialize receives initial reserves only. No arb flag, fair price, rival state, total routed order, sigma, arrival rate or mean order size. Replica init(sigma,lam,size) and on_trade(...,arb,p,s2) are oracle-only inputs; the replay adapter discards them."},{"topic":"first diffusion and gaps","sources":["engine","replica","match"],"finding":"Price steps before t=0 arbitrage. First callback at timestamp t needs t+1 diffusions from initialization, not t. Later timestamp jumps d require d diffusions. Same-timestamp callbacks require zero. Own last callback at t=4 and next at t=7 implies fully silent steps 5 and 6: diffuse then truncate at each, then diffuse into 7 before classifying its first fill. There is no truncation after the last retail at step 4: arb has already passed. No online silent-step callback exists; process censoring retrospectively.","counterexample":[13000,100.0,0,100.01165106849363]},{"topic":"arb pins and classification","sources":["arb","cfmm","trade"],"finding":"For a positively identified, uncapped successful arb using the OLD fee: isBuy=false => p=spot_after/(1-ask_old); isBuy=true => p=spot_after*(1-bid_old). Use fees in force before the trade, not returned fees. Floating-point/WAD rounding weakens literal exactness; the buy-X 99% reserve cap breaks the equality at extreme moves. First fill at a new timestamp may be retail; later own fills at that timestamp are retail because engine makes only one arb attempt per pool before routing. A known trade side is not an arb classification.","counterexample":{"isBuy":false,"amountX":0.1,"amountY":10.040130401213505,"timestamp":0,"reserveX":99.9,"reserveY":10010.01001001001,"arb_world_fair":100.50180581795446,"retail_world_fair":100.0,"retail_world_total_order_y":20.08026080242701,"incorrect_pin_error_bps":50.18058179544704},"counterexample_scope":"Constructed feasible states, not a claimed sampled engine seed. Equal 30bps pools at spot100 and a retail buy of the listed total produce the same own six fields as an arb at the listed hidden fair price, up to numerical rounding. Thus applying an arb pin to a retail fill can err by 50.18bps."},{"topic":"gap censoring band","sources":["arb","engine","cfmm"],"finding":"For an unchanged pool with spot s and old bid b/ask a, no profitable uncapped arb implies s*(1-b)<=p<=s/(1-a), or ln(p/s) in [ln(1-b),-ln(1-a)], up to floating-point profit tests. Fully silent timestamps support this constraint, assuming valid callbacks. Current timestamp first fill does not prove no arb. Swallowed callback failure prevents state updates despite an executed trade; require zero errors before relying on stored gaps."},{"topic":"router order and rival band","sources":["engine","router","replica"],"finding":"Engine: diffuse; submission arb+callback; normalizer arb+callback; generate retail orders; for each order calculate both allocations from pre-order state, execute submission+callback, then normalizer. No arb between retail orders. Replica executes normalizer first in both arb and retail, so its supplied s2 is the rival after its pending action, a future state at the actual own callback. Old-fee marginal equality applies only for an interior split with both legs above MIN_AMOUNT; full routing gives inequalities and own callback cannot reveal total order size. Rival is in its 30bps band immediately after its arb, not throughout retail.","counterexample":{"fair":100.0,"pre_spot":100.0,"fee":0.003,"total_retail_order_y":100.0,"each_pool_input_y":50.0,"post_spot":100.9994850225,"upper_no_arb_spot":100.30090270812437}},{"topic":"replica is not same-seed engine","sources":["replica","match","router","retail"],"finding":"Replica config uses Python random.Random(10000000+seed), not NumPy default_rng(seed); price and retail RNGs also differ from Rust. Configs were explicitly passed for replay. Replica gives policies privileged state, omits native WAD round trips and uses fixed K. Therefore replica same-seed scores are not native paired scores. MIN_AMOUNT=1e-4 is Y input for buys and X input for sells. Engine floors retail arrival rate at .01, so configured zero is not no-retail."}],"source_bundle":{"encoding":"base64 -> zlib -> UTF-8 JSON mapping filename to complete source string. SHA256 is over each decoded UTF-8 source. Extract into pinned checkout root.","extractor_python":"import base64,hashlib,json,pathlib,zlib,sys\nr=json.load(open(sys.argv[1]))\nfiles=json.loads(zlib.decompress(base64.b64decode(r['source_bundle']['archive_zlib_base64'])))\nfor name,source in files.items():\n p=pathlib.Path(name)\n assert not p.is_absolute() and '..' not in p.parts\n data=source.encode()\n assert hashlib.sha256(data).hexdigest()==r['source_bundle']['sha256'][name]\n p.parent.mkdir(parents=True,exist_ok=True);p.write_bytes(data)\n","sha256":{"scratch/measure.py":"9e02bfa2009dc35991fad608e5295a0890d4dff04f58d3b07310b5bc866f4e29","scratch/audit.py":"e40f08ffbe79681acd7dd0ef075d3c6cf68374cb4367a126f5fd2228337eb052","scratch/observability.py":"2710bba18a1dd8b60095a5a4fe9496b2a8f01eae4f5bb09909823bc66a9b9bf6","scratch/replica.py":"d079712fa1f4850ad8337e656e7ee8dbdde806cd4762d597fae50f547ef9c7c4","scratch/CH.sol":"6dd68f77a70900319460215374143dbd5d924198450a46d9f5f91f6b1e3d35c3","scratch/RS2.sol":"f24b6ca198b744c380842c3a17964a6dc21f311bb04984b26733afa3fee8eaf2"},"archive_zlib_base64":"eNrtfQ1327ix6F9h03Mq0oZkUbIdWwqd5yRON6f5unG23X2Jnw4lUjLXEqklKVnabP77nRl8ECRB2dnd9rX3OtvKJDgYAPONAUB+eZRNUj+fXB8sQj9bpWFnuX00eBQtlkmaW346W/ppFrJrP7ueR2P2U5bEbOHn15/jaZosrCVcQrkl4N/TE3ETrxbLreVnVrxUZf5iMcqixSjN8AFcCTxYPkkWyzCP8iiJO+F60cH7aB6mEvllMo+CKN8+F+WfY/wvCKfWJImn0Syzs9xPcxY7g8+xBf/8LAuhHpWeeV3LjwMrPuvWH+7HT7wj9/Ck2+1aSSoqHLlH7unpKbM+P0pDgF2HgZWFYZB9fsQxiFa9T1f8fopVAcCKYiv141ko+iOakL3Cf2k88+JlB6CCZNGBIfireT6CUhsROAVgFv0SelDeWcUR4F/Y7mmH9dyOBgLcK4N0jlkJIItmC78MAQM9Oekx+OvClQYrxtTxl8swDmxgUOcyWqzmPnLlOT2041GWh8vMg6rdLoti4Jg/Hy3TaBJiWYcV6PCfBNjwh/J2y+t32Gy8GC1WnrjinaVfug9yz61iTMPcj+YjP02jNWDiBIAfJh6AJEMfkXL4I0vxWqB3Oz0zyvFqCwNJxl7niCEnPGKHoA/ArNJYkqiQviBESU0yklw7VSOchqGHlD6UnMcHo3EUEMTIz248W4PV6zlWNLWiLIpBduJJWAKDm5xN54mfO44VzrPQ0p7yhv5svQxD0LA0tJJVnkVBaAkRzpiVJdYNivg2s6bRBsR1tbTyxCKMUTxrLxNowEqTFcjmdNqRGD9eh4BwbPmTPLPGIchRKKjGrBX0dGblALFMw0kY4B3KSAubiP25lS2TnNQPupgJlFyI0g79FRrkRynqBXDW39qfsg4WcMni2oWqRfBXgieIONOqpB1JDDngT61sNV5EWQbMaV19cq8O7oTpXl3tQ+OImzdeAaj05dOg7V7JDgF79f5IlhNCHHytqV3IQERqyKCsCZm7E9mmy7Zd767BD2+8TXdvK4zkBlvPfk5z++aASO0Mt0XRHi/ioDNQqzZ2eDgbwxXSgT8ACcQqC2h3sVrYeOlv6HLTLrDbM38Pue04rOuwzunp3kYgXvpR4CHEpg2onPbWOZj5gtirLWjrNKIGbq/DNLQB5KzLtEaggBC3EQ/i7soOp0lG1JWQdjGw2fiAOtPeQGNjVQWFOwI/4G3b2J/92XiPsEhhDOfzan/oeblHEkubnlHn9H6Bknlt0kbqECcZR0b0fkIV1NBZ0apTsVSAiaWdMJhVmdyGJ4X98mezNJyB/bQn16v4JpPmChn35Wvh2+gpyhYH09wZPk2TW/XsUyv1b1tXg7KNvQm3ng1g8DSZh60rRtcTfz4f+5Ob1pVTBg/CLPegD50szIWHtAEF+8KrD3RMBZZBBenXClbs6g1bk49ObjtRHi4y26n0lIz11KLBija0Jq4G4ALAVK7Cei3s9KebKw94beN1ZxZCr5G9a7LpN57Xgmej5GY087MWt98lwP11iYfzKMtRhjvg6VYhdNWphj2jyXU4uVFjMIZT+vUCoz0ZU73Bmw+rOMZw6l7VeaOy/ngVzYPR2M/CEX/Anp1fXrx+9fZi9PfzD6/O3z6/4HhjcC7r0NPawzhChRY8mmAch1fDSmGR9zaJQ4fFo9skvQnTzDthaz+N0EF6tVadzohjkbGhkINpFM7BQrdEEGOVwpciVlFXW4vHJ5YKTiwelpiiEKsagFi12KMaaVDE2AJfM49y2cdkBYOT/e4ypIxTClpBEm2QFz/PU9tnN47nybsx3JGM+2yM0vtLtLQRHeP0589Irjkhfg9e2UP3Mev1HYbNfHIfDw67V03NCJkOognYNs5xwQ/+h4GFIvEMMw+EAU3JKIoVkz+mq9AphJ9mAaMM2oUICSciMMhF6LUuc+TFbNuSKsFBPJycEJzTSUM/GOXhBkg+hO7M0NSIKU4nu/Z7R8c2r9QJ40kShKB2netwwyElm8LNMpzkIJdfWs+/aw1ax0FwfDJ9/Nh/3D3tdvvu6eFxt+ce9R8fuof9YBwcBae9Q/f05PCo6x8eB6fTo+mpOz0eu2E/6B9N+mBjPlz2ANG0dzg+nvgAOn58eDjpn3RPDnuTvu8+Pj0+9I+DSc+d9l13PO4eArZx7/hxv+9P/T6EBCehP+21hNEGe6ONGeR9gRyR3R5Irovxe/LBp0qlKznd4dMurzoPk/RA+14hoqDiPjJmH+eOnQAmhZktcXVG4OcKTQfGQXRpOywD2zICfBnn+X4rS+aTbuek0ztsryP/1Qfw5mmUtZNl3ut2W84uNk18kCfO/Jac64r22619aGS/1cGutRxFNarSCTdge9E5SLmlAWCHYQAEoYmRw3irok1PjVBcCEqQiILMCdJPwL9PIL7M2KQTpmmSZlqfO7cpuCeOX6MdeYRJZ7zNQxxz1elXH6t+cbURs3zbTxesMl0WJj2PFsKx5R5edxZJnORJHE1QWXx27VVUT1G1tQ9YgZrArBaAjtmoBqqYfJClk4O/+3E0n/tSYakia1VKJV/IM8FcK1rAhEL09QW/3eG6MJEQbsLJKk9UIuHi728k8gvxqJigeYanNlIzs30QL3+ah+lIeAew6rbogg3WzGHaDdyWjSvWUeymG+J40bKYwmWezaM/goE4miaETCuDKJvKnCI2m0ZpljckHlivqwc4E5jZ5R6E43avK0HaVB9tIVoC0pWpYusX4OrX9hcCgb9U/2tJZYTaUByjtKYSzXma9hCgrjxKIYJPLTQhrSvPu6YJIxRQH7GED1KUxlhCfSk3VI/NoGeAk9wYBBysBYEXOH8/z2gKlIObwDRHpdTWhjY2KcIYaeNhzXQVj+gOfOaYSa9InWXUQYfpKRYIO4uckYqekXeEBOiSQaibVehHsTyFDt6OfENWiXaxLZnLgbkxxhrmGYHAzaCZq0pfO2iM7YJFn1I5a01FFJ0BJ8jscOHjI6fffT7+Urbq1iuR23aaGdQSCQ4M/AoUEG1FPBjEmoDQijIC4cAYxMSUbtjaqQqri4jEbiXJDMxMGq5hOHCR5DC5Gl37c7zJNyNSS7gcg3xyo9pyHBI7O9WnFha2QgjJKLxSNgHqUsnlrb+EISClPulR/9WTHsQAXdEpTkUcxRTh+IwGpgmXBXs0+gUeRU+gkh6acFQW75qrMdcPFnOtYCRn+MOgTQ8aYES4EbR949ElTB1BWiH6qkp3e5xrTeaLpUcaexvl16NsNZ1GG7vVgWKw8vDb4KcCBpRKbkexH3svfeCMw6HTcDn3wRcgSq0VCMDjUv0vN4O1Pl0L5GSNT80U8XGILRKalvMV7eQKSCJCxWJaNufaJVIK1FYrnPvLDKJvVht/XkbzOYYmRyP03aMRsGY0WvhRPBq1hJIuPZko75yns9UijPP3eAeh0XDZ8YMAZgm8GGQlXbTqpdzGsXy7DD3M78XwCGYpT1tMTH29br1SvLMCWP2h7y071C+speZAMBi/gxLktWju2BrUiF+eWkoFRv3S7JKcNSCuToRpRjC9EMnDsJmFA7UWKzDYY9BJK/OnoQjELYpEVxCOpJYKHQqsKkJBtMzvcF/md2LoxCOmliv8FcSgpcUKWpvIthmxU61Y3LlYMbXmYWxDPWhvtnbOXFJ1ef/JRV1cxYskwKEFrQE+QUydKMbh2+hEU7scX2rwONmAuGYdcjJSR8QQZUf21JwGE0Ll6bxvCKJkKzBbELHWHxxq/RZ/x1cD3OPC2ZUc3Z1OrtnBOcPf48b0OWdhEhstX47WcuQvI6/JJZE9eP/h3bMLr9VqLVMfZ/WZmBNZ/4/PUoZqxevL+RsVTz6Dec5XHqd+ftQ5qDxBnnx+pNX8mPpB+CqeJlqdV1olVUGy2pJP0CNWsFtfQPhW8QRpalUclr0C9Yf5GhN/we1uAAAz90uU0wQ8ZcpXEZCYWQ3+C39g90P3iOGPM/xabQ69oa2GZKEfDfzc//a2nr178aOOHVz8W7DM9p2YQE9xZWIRLpJ0K/sMVMU8TAiE/ApYgaVSG6cgSYCniGX/MC0bVlOr6FnYOAm2lHG0i9iEX4D+tRwmAxc0u4vxfGt9obpfvlou/sD/vhKUFreUgAWPuhgNcchS5KNBYs4F5NkmOD2N6xsm/2qGSzqh3HsL2dSiQYHjV65CToD80nyXAvfpTCW93B4ZE2cIhRBtduSSY6+rL2sagvahyUxRbOprU2KwWtNZOSivh6VDmAnFGNNsiMwbLUzbmMM0chwbPUSE51okWPOcWf4JOX911q07VYhiTYs8noert31cuu07xXJPyaoixYheWosgcbwtHj8SvJCSMKA4h2Fjo6Vc6+ZlRJe8bEoBlVKRMOThsg0qsII5yK0fMECBbYSB1BtRD3Pi/jiz1wdu6J60b3n31+xWJhSNOFTCDzM++bac5zanAxhYBNRLYJ5Y6lH3IK64ROmddP+onEFDwjwNOznaOllfGb5SrgWVJZr4Mmm0S7kovrjb2pRymybTU808yeQeTBkyLhuUBYGoBmQW/nA1hYvxaoul4XyOfzAURucJyrJAsBkBq5LRL2GaeDJtjXMfwuN1O0OapXjFlG4yhy5ZH9BsbAd6yD6lrIgNLU7Z3nUUQHhZzSrgs05oTNkUKTA26fjjCPQZgaExvXGl/x5H9W35HUnMVJm1VE/qlDIuoMeItXW177lFPZHe8bxUZnU8TzbSQh1vObWNCqhLygaUCZbEI5I6TjTgGPM3zN+ynG3YtomIcRLPE7BZBZv45L0MtYYAfzzHJLwQZHA0q20LzSH85VPvFkpHS1EJ5xT+Zg+13XEOCtrt7UFBGWrbBJWX4O6FrAmXY+YKyjnniixpGFcJpizp+Aybzj0l81r2SQkehmU4b0X5Myw5qh6VlEvDrRA5qh8zvwA4U8/3XcegKCT7Fbbm6XZgccNbVgEky2gKNWzB+QrGcDMJl2AX6Q/YvB3j4SaE0y/1o6yie8rW666t0liaelVfo/mIYWFg0MkUcgy/dXZA4Zkbto/5hhSeOOUJpAG3TWQF1fafwqh5MA3llKr2wCv6UknbcUWHJp942KZRmVXlUr64GK/d3yMRhtBaXEDwhlRyOa0cPpw/WzEu40frkJKgEKEMrNs0gYgXUPGpOIa0Vg6hS4oLak2TvabtbD2a4vW6GIUPzIEbEcx1IALRYivu5DAg48+5rbdxKVeEdRDeIxYbfjrVNVSmFeqLrVSuVmUdw3QPGxtR171PRd+Prhi1OlqilCOXqXnuAPkfhhIEocpI8cArZAqvxlC9Ur7HJ8AkQaMAmJDOQly05Em5HfNNybSRYNqIeEZNB2HOVxgpFssmyTL0WuDs2uus/X6bX8PkR8aaRGV/Cx5A0htU2/8JqidpFGZDsjsQGszbYTyL4rB4uhWRFd8eCVDTFZAwbE/gPgpwVXsC4hhNAWUukpE8IONLyqNKXOb/sakIc5RvSFBwSeo2LolowotZigb55dyC5+X0/IS2tkxng0lHk1lthcCYHPFr0wwZ90PsFwY2z2Q0pEacxpw69M75xtUD0mVODD4zMFhrNSe5a9ZRr0oowboLFazPpWq7DFSC/tPN1e9OzetZ9G8xAzFpPjcGlHVDi493Sv/DOCB2a4ag26FJEebTdyi10NW33BwLlQNsbcRm/bxK8jDj446T29gSwg/aO98OYSTggBfgE0j5CgXnzsKPUr61E2kYbpYkS53WPdLUCwiGPS2xKUmFEuPpuUf0kgRcynzyWKjIimhQslDAVCyDBlh6IqAlGO9OOZFKWd52ax+rq3X6hgUHPhDDqkMtu80hnU8DFIercl45GeP8FyYMc+hUPb+M6WTGl8ibc8q7k7xI4+z/b4IX7FKxw8jti8ytttVP2LtMM3jg34YTkyMGlRD5saYUMSBSZvDP1gXXBo4Jgp8EZ064/xiCRNrNjtuRO123Y50HiygnpRAhKlxguN1eJ/PVAlCsYrmbWCSbh2Lm9ofknSvroPdKQPM9l4JKvJujrTFJra+zil7Xm1Bru2ojNBMWHJM8KjLVCwtQ2QLNxT+l5TVbvtzYB9MuYzVhnhGaYgGZr0nBVLTTT70rzdIikPMEws7HkqvP50kWBm08XwBWCfo0D7OBxdeEcHIp9WpOoUcAASlEK7g0RPtUcZFU7o0Dzz2fC7bitBU3vQfi9IA4M8CdkfA38cbbtIPNMN56m73tQbwZBlvPjre4U9h227hTYpgtvRgfifW6EW6yzZbysVjd+hmzT8sEQrAkDcDvbL3eXrCVAzy3oPEfZR8JwqJte7wiiOZylV2DWX/27uN3FqLJ1O573Brf70LUCGIYB1JkSYNotoWD27Pd/SP8pS4d8BTD3l7PsHUuGQkBI1vC5ytcm8HgBFIpGXc7I9IsDxSKKUXWFoeRkyPwQRIlHXHxcEmMeFy4QhD20SKKVxkR707hcNS+BHAf0xWKvidKmL8YQ1cTQCW9m8g8Zc9WW262AQZD8R+8YCMuf/SCLdNTTiJT+YMXb+T1j8BlVEHcIjoPSGs8YrY8BKKVkzyVivMk9wve18UBRjRJ0hSi5tES/CrFAzgV8GxqA1nWabsOnwk4jPMXGT6iaUWYCr3ggy06AfO/EW7t5neYA0KR570RHZSdIojQn1zzjkXxcpVD8RFiSWDiQWg0wWKrJU5zQGKQKrIRKfcYR+4OGQJPuqth2TGX3eROvxyYXHAA3tete185VyS/+5n+e4+TETHbkVObZAqmI6ZZ8xiMyfbAXyzaE4gTQW5nofV/jsfHpz13emLZXAc6acbAny0WePE5BlpEYIRm4SqlJynoaSguid5w6TALh5OHMU/xogqL9WvykCGMHKbWuGkyjXA9Hj3Rh7d/hWAYplmLzEKxBxOhKn/ACTjvDh3CAe0B9wDeLsNscQYREkSK4y1vKKTDZjmt7S2WGO0tExg5zOQoAISnQA2CBM7xY2kdDDDOOdwWU94QJRbRI0mDhXH1VthfQBABDIafKEuWLcwwpwAMfx7dhMXSHZBtOV9laK8TiDrAjK+j8Nayc5ia0sEdi2+hXpLv4AbPQouHyFsZPwKU9URH6KwQuDogIbCDr+MBU9WIoKO4b4pwieU7yxbJUmbJDXAdLiFqxZSCM4ufqkNq/M3y0Gh3utaexT0HzA/fnP/wEsq76D7e8ivwJmjhY/BdlPRNLTpKpSK2Oajt1J5W1jMQL2jP1HpClxTL2oSdSs8suuZBs7ZrX6VBBKuYVT5QR/NR2uoumpuk0ElxVPAD/bHd7ghA8f/WvqUdGaR95pg5gRqTVD80CHh7bkcmJ2FAZYhu55hZxXO+Vb0CIQ4NEr20Y4O4XxZmxuUzi9QJhu2wAtl0Jrff1AakjSE1P4WByqRmkEbTHIDa3c4RcJbjF3/FTGc1miMNUCA682Rmqz45Vtvi1dxOj/8K77/gRKEqoNV2G+7lESQpRyIocZm1dWUZK0SLHgKFtr2Gh9MxA12Bh5z1Hb7AQYcdJa1kPysVpAyOQSnktS8DF+xL2OOirEQUC0GlXV6M8g3WS4YvBxR0oU8X8GsCX7s6kmy1GE3HUEIXvv5oRiMEtG3r7UsB/XOaS/rhdRF/a1kYIep6+mVp7WlU57zdV0xdpp2Zv8oymxOz09VzH3+22u22paw5K2kwpX9sHoehAY1A+9DkcMMCliamgxaa3OKYgHUHwMPS7lF48MRaVldNNkgYPC72N6hhz1CYlrSTFR9sekAZGW5qqODhmdU1ZV+wFm7K9TcMa+8BrU9PDbmWOFX4/c0Qbrdwi12AB3AbQjgABVjchsEMrZxuqfgA2FZHiGfHkPcbHABUyrfGw1AEZu57SeyhGwybH6JEtj2qV1QJ55yeZzV6btYFPfdQvg6AnIKaNjxsQxOOYQi7iKpotc+HN+vVCLZNONPb+KCROADVFhQyEgeeQw/IW/0xdMpQEcHGgCy6ZVl0DbI4U8o49WvUmTURpyLAZfl1DfJ7F7nrcuw2y7HGH/desuxWZdmM8z7ifD+RLpl6jV2uZNeQ29fiDsznvtfYoskBqAVbPumxkGo5hAQ5E00zi3L/1pJJ0+TcA/sub1GooWtQQ02UxvcWpYruGlTXdcwcu0uclIRIDW5QYLdJge+rxN+syL9VOrbJb5AOLgMoHNvkny4c3KvyQKEoxXCqO7R+xuAsFW+u0A9J3F5HMCf4GShGkVTVW+LQXay+11AfA4WRFijUtnrgcUqqC/Ec+nk6FpiHNsV6GBpUB4/L96XGKFA/qkk1wA1w1ETqFG8z6wcLN7tbP9bJOfMbjS3ZP1eqAhm/GcYwWxe1oace9LiDgwc9eIDhro+W3jc45wAeAo59gNozeu8VtmfjU3uLfo7wIq0cspmodgGdzbH+BPzjsxEi5YHVhE3Ma1boaeS0hqrwwjNen8pXrkHgVjRShGkDgFHnVxgBuGH7sFHtt9wt7yOodNwbpfegaJtEhVnpplGfN8kdKgzOFyRzhXgAFkzDsO6izUNw7zUEtFwrLgkNQ3B/9xBQSFauNoKQLE0YDPk8QF5zA2RiSaNB++2ebAOGauWWjJV48sdaK3UuQVNh3K4DOlzHnm+kaB6YnMBs3Oj9yKAo3d4SR8fws0HdHivd3ird3kjdHqNuj5t0e7xDt9eFbm+UbucbRznUmmbD+Ix6vdb0eq3rNVTgRWdYl8rWJp1e4wgBog2PjeqwvlOjVSi+7v2mULzkoe/UaGoE479tcl+NXrv3GgJq9Jrz/7cEI/caAooGtSFHsFOjd4UUf4RG8yBj7daij3+KQousA4xrCgQWqQe88+srIZjA8EKXT/y9sCfztx5SidGrVDAIg+K1l+IA/LUHcRird3M69kTDBzIfh9mh8BB77YleVB8ZdkJor6/CjI6nsjqentrB//i+15f4CiaZbA8xF09v+RnxHZzW1BnwvXsYwE4LsGJnrLXnFyfUOSgTfwvw8r7QnVWKrr2jNO9/4V4F0UGebqUSzMFaS9vdX/CjkeMowNs23tK7oyiX+/HD9xd6cljPQmPimTqlsrgNNFhIGlB67k4aUDqXZyn7jRSIMnwDBw+pfTHfAikmkSGBznp6AJqhWqOEa/FqEQdmOH9eopl2KR2LXS1t0SncioBqSyiomek75WgEXFXqrHhOO8zLzPhbnNzelXPvWOfALNp0MuDn7iarnMBppaiVETPHW2vF5HuVcphmrzEYDueIH/k8T9DTAZsFomSV452OBu8Jjajtj3FNg8QCat/J5zmGDPD3OvIw0afTn6iFz+lqJf4CJIpEUe/fRThSFI4MbSIx++1LjAXGvGxPlRXwP/uUOd1UpQioxiibkvolwVlBcQX0OnJ0mft5LPIwFYnjGKGldFyqr2FsmzEKCnI5/hntZMY0BfjZLy3kPf8Od6A8Gjw6OLAu37/4of0a9D/OwvYrdUp0YL159fFz3HyC7l96hu7+p+hojsMPo+FGW3xFX25dvD5/f3nxYvT8/D0Q/mTYAHb56q9vz1+PPn734eLyu3evXwDsP85fAPmOj7pNdV68+jB6cfH8/EcAfoznxkv/mmqdP/+oah3171vr8tX/vfgN1T6++0HVOnXv39hf35yresen9633+vzNsxdFxdPTbxrds9cXb1+oyie9k28YY7nukfsNvChXPT05umfd99+dfxydv4Y/UK33uPvN1UYfLj6ev3qNFL5vZZS4V2/eY7fffP/6I1Q9bAL96/nHixFnpAB93Ovet503r96OEAHUur+ofTh/cTEiZrx7d4kN9oGUYLmevb9s5PvH89cXo/OPUBeG9BJ+aX3u3roEFBSKzZW1f7RLSHTIo93D+HD+8dW7+1UQQs9h3ZPevWX+48X70fN337+VQzhu5CW+RG308gLZcXgHQYnhz99d4Pr5/fktx8Drub3djbx8/e4fI1JZUeHw5PCOKkR+Dty/SygQ9r++P3+huoPisLsKSo+APnVPDvu7oVGLFInuBtX67t5PoLUGjsGe3IdlWiN3ag1ajdHf3pI8HN8L+PL1u/cXo/cf3n28eI6aeXp/rS6qCzVF22xSULGsfMdJdrmj8gdmVUp+1I6JV0+IW+qwuaVOwn/RAr15QodroWtSVYai0DUV9q54zpzf9a+4ksv7Q/60iv4Ii2XvaTHiqXUbRGv5DuAfmXrqWAMhKoi2iugYEZ2WSSjbfozPTup6Kx6fXBnUutbAaWl4brc6HhEw2pIsTBHIEVBfzexseFMAny3+dvZJQVim4fpZFLwMcT1B8nRYegzzJf2xqz3GQ3QfM/WodzWstxBE6WWOG5k9xfsCAUSYF7QfRoqB1vR3fq4eHJkwU2ZBhzoudW0xDkpPH2tPMf+gPzsx4c+Tjd65U71+Hi6JKc9xM2NBm+6V0kqaO+Jesih7G95e4lEHT8zx1cZNEGlOwmFpXdtWVUo80/smXtfzwb81YG3XsRrq4j6ZAstZKWp/WrobaIAVnBp3R0E48bfPQ9rcGdjyCStidibxOBUsSgxuF6u5ze+YNVomt//wA1tF70X9KoKCn4RB3BYoilC+GYdiN6HgdwUGFdU3I0DOVQQDTdZf/lKmc7fGVJ05XG5fgSvAfHcFHRk3zJM08kP2Q0NzpoVLThl/8cCARtcgIokqYKVZhwPTZu05omYUwLXLYJUmvlY4WNUo3Xp+rSkV7Wh6FQu1qlYu11ZKixkgqS1yw7TuVUpPgNFlSPQwaJQqusrtlIdslSYL2imZAdmBaRh+zxWPY6Yt3tC4ZoQHmsk1DGHmL0hEJaYnROingtyydGAc/vLVYjmPwqDSf4GSBvBFAclh6GyiFZESSHkYXPWgFuP9RIIRXfWyYZmZDeYNnBjm3pGeGn/8cfYimk5t2QNGEI74Uxm2js6fL6+JbJrUPNVnk4P6HLEJVeAv8djWX7nRE+aGOyJWnQGaLEQJwRM17XOqmOUDAwqkzhOvVIF4p+nqkrrDxYJGr7S0IB4vH1Y1EVvQCGW0VrIXZ3I66AiWidthw2pAyUZLommpD9VLwCa7rz9utiFfTQpH8vkBj+pW9f7Hut6LkxUVtf+xKlc4dA3vWXX26pRbrTwt2YUaqmpGrNH94+kaOSReea+aqDDIDdU6E5PrQ0diEfeGCpp+G8VA8/7qcp/QNrglBXVm9aQ305D0auE7sVZYnvu1f8aH9bQoafOSunn4ep8opJKvUhJa0F4KahXynjFKNRG3o4UaqCkCEc2cceoWrZYJa9aXZLPD7HIzvsPkksgkuIVNpH4cgVHcaqDmYKuSViwokWwkCaog5rj9MprhpMgT7ZS0rh67lwv2LbcyplpQV84jOXWUZQBzMDBPbi/5Pq5qdCV4ZhrblBLvxfRaUqhIQjFlaRX5tFQTK8I69bicW2KqZ8b230To+Hk3RH2ZR2EF5R39mUosMcVNDqVXUDVkXokJfdR7IVvHP6WBF12o+BatASMXwEi8CNdDHlTiVpn3YPfxqHJFBArz4nG9+iKq6qanLVIaGhoy0qvQFEep+lywJZZa/SluLBiaFTa7CW+lAMkMGBOYFUX1hJogEIeokqeKfUwxqTZbr4alpBxab2tOYixTC4Jl2N/q3E+mFwjkjA/pKb9r87uylTG7gzIaY0vlztynpXtEqjDjnoeX1/wQDpfIUj5Sp3FTSJnTUlsJSYGWGTL2RruPs5szTxhmg7NUwxcX+1rfh6ZXYAiCiouzcj+fyvJ2udzgZRvdd7WJO3pUHUCtR6L87h7dj8VkE8gJn8+BgTTj0UMinNmXqf7rr5b9JxPEEw7QFGIJ/DsTAwT4LEkyJSOV1R+mhYNOQ/xVDugMIlG0UpsXaKarzrgd9ZqofX/jQTuj4NKm9woi+Ec/mv8jyq8v58kytDkgM+Tdazka1fO7cHJAZkjGl3DeYYx+QytNPf891DD2vBQTFdl8afS1XL6w+3omv5JyrOXDKcGvubQiy8+9+lDP8FeyKlrKXjryUq5eRTClFL0ImsyZeREGltLz5aCtFB3IbL0kJSdAc6a+gRNa3qdYesnwkcPfa6Nez1tN2pd0gSbkwHqY8qtlKEftjyo5ZFFYrFaJEGBKZlEVM9GL5gGJrKcagY9vxyoGEW6Wdw1BvEunNBJeVJuL8OMSNiA1pkdx/PjsL5aLeSrXKfCIXAG960Z0sqo3vFTCyoGYYakHZ15pAvC1kUblfLdaxhMFBbEI7mWVgiKJ/C2CIOvCQDDfLnhUQm9IsCP5ZKe08FWICgafQkgUEMWxDJspZ4dUXEgb4QRFefRajJpq1SSSVymnK3lZ4Z7rJL7v26ytyuusi+F9fhQno8lqHE0+P6KxfC3tzBIvFXrYmvWwNetha9Z/3NYsrfLl+ZsL2kZz/21Mf7/48HH0vbbS9LD162Hr18PWr4etXw9bv/7YrV/FZq//3P1dLnX1sIbF+lURy64icawnTyz3uOso6hAlTru9o2onXJoaq71O1v+ajWNYcHxoy8yC87CBzLhMQT19maQvfUr/qbSIYYEGIPSOgWQZoEBSwjT34W5bQPbNNJqHcb5j6xqobNP+s0rq9WE33MNuuIfdcPfaDXdwYL0X7wKWX/zGWf4yTZb+DMQIP0SgXqaKCYsE8zarJb6ivlPng67uZ5ZbdVNla+A2usKHfXr/a/fpYXpsAEKHb/H0rThpiw86oXlbQxTB83/FCz7pCy/4FlYBiKg7Dd5lEl5CdBLW0sKVjWi0mMa90RkmgRt8wYz8I4G1S4lcRUhenV7u1OATbtWqvDR49fgRCNW0oKvviLfOzoqpZsk2Cl5m9QWQ0tQADR/nmLQjhRiSsSHO6c+4VDpoGXuGhifFeiUpwr4waLcMGmsbFyr5q+kRuF0A83trUvc+VZ4CFFXqG4h463zjgvu/79ZQoP37az8381NsMMGPJLzH9/8C1J+qwl2zjq4Rib8IX0RpsTOESpPlUi80yFvRtnl7AGJZLfHNIMpynBmHUgrO3SJ+LB3/KG2ecem1LGi3is5jKV/NgV9od1gM4U8CyrgETWPhzx3FvUomcLdzrW9wLUZgGD2IgwtS0Kv15t9lS7AkAg8X8YaVlLAWXxr6q5ftrv2v2YAsZAG0QiVq74oVl6k213SbZBGhznTzJ5gsO5eGwgYy1bJpM0VhET1pCNWwuRlurv8/b781RAev0P9H6pXZ9Bpxeic4vjkeJiAZRj1tP/hplWH4uvDTWUTrefgulKxTjjRW4wzqoQun6IG+6umTfbQmfozfehnz0Fdkh4rX3sq3qJSCiKqhlfHXGb4ihNJ5WMoDLJOUSQnjb9S91MNTiqnqxBdeqRZpSRrLdg3vCBrUqlaqqAit8uW4mvKdimwZxAH4wUbJ6mIU+ELmEsiwmb/P5STDz7LVIgzaARTgOigGecT5jvU20dJKqfh2lkXv5c8MwR8wDSY5Y/HefK1tWyQxmD4zYRV4hy+Bi8bt9/LqFTZnV/cAmPAVhojTuRyysdqH+UTQxbQgi+lxg7CbOdNlg1U/MfjbDyEUmEqTbT23qI2vDkE5RkGK4cNhiYfDEg+HJR4OS/xnHJZI0ojChdeUVCvvAazCiEMVxX7Acv/6h73D7vHj01P3tH/onvS7hzt9/tLHT+G95Bue1FpQwwww5eqFtyddu6jalCiYCArUKqALOuk2VcMX54lRGmvSmpMhaqfe0URMdPSwaclar1a0RlW1xnt3V27O3esDingClpPjQLjRBqsY8SxuX1pEUbdvtIaVxAFu6Upibe/caW1TDityTMeHoNTwMxBFpnlAqs2h6EOsRTNKISOZA24Xz4YNXwiuJFQNhlflqMJodp3XMhfYTDlQgv7XCVNIIH3DKQz+IdFxvAZW9lAAejv5SJ91i2dqsyWPsyHMPD3u9rsnJ93+6bHbPz3snZ6cnDTtUZdIgMeVf4+PHa2J+lMjUWvjo+ia7jhTBMY7ZmmcO/teFWMDXeehn8YaKbAhk7DxjlTb1nRsNJ7jV/Bkib7Jn6lWat5T2imP5PNXy+bdf/IErQreqxbkEnVjsg0mcx9qQt4/Pu6foCU9dfuH3cfu8cluDNJgkA0BKZWOdsCRqtG5Jyf9HsjI0YnrnoKUgHWuItYXYgRxiqWYor+sbuebYwyBR0YZRZ/vwPL14Vjfv9exPl04yjHDUGO3HikMH84EPpwJ/GecCaylY2p7YouUjMpP1FdIGteYsI2PNGEwzDtkDxzt0rg+L5BokxANcX0m8m0nHyWqf83BRzXQh8OPD4cfTYFlNQ2sIcU5k0ivltuSxQ/nKR/OU37Decq71nRo1U+aFtETkEil2yrZX3Sz3zVKIpEL0RV2geMFdKqFAp2ipAFdbQQ7UR7XUdZ1RfVu52CP64MtUP2OQ6rcNcAM5/gQJz3/68+sim9TQvA5ya3ygon5mGER5q21PNs4G5b2apV2/V7yTVWGsLEUMw617WHDymZT8Wy82pb32xZDqZ5VNS8CidOA1uauQ5Zqp7N5yzPK76azWIkEGL+EP1l5qBxsDe7O1UM8LCptqjNQZ55It7bpCBry3MSmA4QzheH0sn8K/Go1gLpOrVtEaKMZgnEQ1c9cVEqF7Wz3YrvYcump2idPTwbyxuAskQr75b3ve7ZA0nZNHptIzqCe49F3w9U9myfsOrojXQNw+15pp/3OWfviA1+19oi7BnqvNYD1sLQyeq5yUslt3F6quAk3bPrF5kz+0Q/xqXAU3I6RRyUmGDPTtugsk52ildCCRNhDZuF3IMpU+lpZFG8SChrS3MftfPSlchyH+BK49S6eb/Gr15Fa7cevhdNIY31sNYzie9YJ/KT0RQ7GPyoXbvAj5lGuV9ZXMTvmmcOUvARoB21oJC2BUJdk3xBmTitOcIdc88VxDXexGM8VnmsZfnCbX/W7e+Z1/Opavl5dVCpw7UxbZ1Gwoj6VJnq8p4wE1mH0O9w1rogSTKUMZLH5gzfB5MUuTDeF4VmjOu4TamNuXHgkkV0j4RS9vnGYIMqaIQ3gvnuHRktsygx078jEhVWKbTogZMxMr2I5DCZhf+dqDuTpGQ2IBP5FpZNxLCEDmeD1jcdYxH6JYvGBquJJe/j//i8HJw47NFVMgiCT7kEgYVS1unrDRhF9d433YQ9TUk7dE9AX385qmQan1A5es0NEceB2TTiKbbi1aieGasqN4zRSdBMoTH00gN1GQX4tiXsdtcGYNTEsiPDk3CQUpvvJPHk6T9p4OSBRObuOnuLf9nU0MHbpl2f4vSDJSPyRKIWoZEYHvMBPEcnNsFQV+8zod7+3B5VYib8ESG0x+q2zhjDSRvED2q4jWhD3GrCkOKIniiOkqY/LNBmXALEjeGECvjlPx7pqN0vygkPqas1VC1EYK4R+rC1lCPeFaBh20ZhmDPPbMIyrKkx1BIJmJVZHJmT+DRqp2BvsqUq/YQnBSIdatjwCqkAl4YURE31l4m+Nsao7hqMXWlebz11I04d0ZLJGiXS1mJiTWgXcTNFVXd02RMXGN4/It3iceT4mv7g0j9s+u8VtDX6bbwJpA5Wbe+RrHQKRUcxiRRTMivD2jt4xUy9x62AyzYtTCfPoJpxH10kSWP46iUBtQLfx/RlRvIryKISwJbd+XvlB6tNWtTgJQtNOtSzw+DrVStpYbroMwoezSDHv8CeTYembvmr4P3nd4U9PHg9/2t9v3njg/fSkD8SGRs/sfvsnB2zKU7Bj8nrgIukXq337p3YfC5rOMng/eV7/6ePewIaL3q+/wu/h08MjunXp9uip2wV0TWlaaQ+9pbCuy4G9RLu6rBnVkmH1suCs+7RsUsEuDpq24hfc8kqm83CPG0/2S62Lt5wvt8gNVtSvn6ibfOpe7Xu3Q7xy8YofYlg2jtkrHytg6AnqIRai6xXouI9mgXNHaLIQ2KkzjPfO6NzKvVgYeqFElLb3F3h7JrxciQAPhz5T/X3KC9qqYODWlyAe3nv18N6rh/de/RPfewX+6+U8AaZl4JOQKEmSD6xxlLfBm88gIs5C3IAN4WoWriE4ehve5sAQ/hVW25/PVfqqU+UZ91pyIJu7hbieAZNbx8THI3UbFE+uQ9yA1uTLcNazqchcajh/h+1saQdb70QdGdpy0eyd4CeknzyhN7eYzlBs+b7tSj0E5tX6veZq/V6lGgLzau5xczX3uNrLY1ntpLlWdWhqYDvGVR2WGtWOQRVjEiOpgab8m9r7Fn4qG1iOQxr+TwdRU30USoQaGhMNQDML11VT0NT8Pnbxj3hZncwWjtyu9r66r/8NGFr4jA=="},"commands":{"interrupted_commands":["Initial RS2 256-seed invocation reached timeout 470 (exit124) after checkpointing 180 seeds; resumed same command, reusing checkpoints."],"setup":"Clone pinned repository into test/scratch/calibrate/engine. In checkout: mkdir -p scratch; fetch research/setup.sh; timeout 470 sh scratch/setup.sh. Setup passed, wheel hash verified, StarterStrategy validation passed. No setup timing claimed.","environment_prefix":". scratch/env.sh && ","measure":"timeout 470 python scratch/measure.py CH START COUNT; timeout 470 python scratch/measure.py RS2 10000 256. Each invocation checkpointed in 20-seed batches. Resume same command; completed source-hash-matched checkpoints are skipped. Use <=200 seeds per invocation for predictable bounds.","checks":["python scratch/measure.py check","timeout 470 python scratch/audit.py unmodified","timeout 470 python scratch/audit.py failures","timeout 60 python scratch/audit.py parity","timeout 60 python scratch/audit.py native_parity","timeout 470 python scratch/observability.py"],"unmodified_setup":"Download hash-pinned unmodified wheel from release, extract with zipfile into scratch/unmodified; audit.py unmodified prepends that directory in a separate process. Active installation is not replaced.","timing_scope":"Batch seconds include run_batch and decomposition, exclude compilation. Processes overlapped, so sums are not wall-clock task duration.","timings_columns":["first_seed","n","batch_seconds"],"CH_batches":[[0,20,14.034],[20,20,12.565],[40,20,12.813],[60,20,12.47],[80,20,16.074],[100,20,13.318],[120,20,12.702],[140,20,13.071],[160,20,14.582],[180,20,14.425],[200,20,13.033],[220,20,13.785],[240,20,17.726],[260,20,49.599],[280,20,24.275],[300,20,32.704],[320,20,34.715],[340,20,24.93],[360,20,27.825],[380,20,27.233],[400,20,25.772],[420,20,28.728],[440,20,22.066],[460,20,29.34],[480,20,21.11],[500,20,29.036],[520,20,13.567],[540,20,14.387],[560,20,13.08],[580,20,14.133],[600,20,23.143],[620,20,28.482],[640,20,22.013],[660,20,28.04],[680,20,23.375],[700,20,26.529],[720,20,13.225],[740,20,12.616],[760,20,11.324],[780,20,12.487],[800,20,11.957],[820,20,13.286],[840,20,13.905],[860,20,12.466],[880,20,12.037],[900,20,12.03],[920,20,13.222],[940,20,12.474],[960,20,12.154],[980,20,12.11]],"RS2_batches":[[10000,20,77.849],[10020,20,43.069],[10040,20,32.446],[10060,20,53.992],[10080,20,47.885],[10100,20,51.768],[10120,20,49.463],[10140,20,49.221],[10160,20,35.408],[10180,20,53.399],[10200,20,49.135],[10220,20,42.648],[10240,16,22.851]],"unmodified_seconds":70.67514805309474,"parity_seconds":32.76390499295667},"blockers":[],"handoff":["Use embedded measure.py for any scratch/NAME.sol; initialization fees are queried rather than assumed. Retain per-seed rows and aggregate gas/error counters. Treat missing telemetry as unknown, not zero.","Use development baseline only on 10000..10255; confirmation seeds 5148000..5151999 remain untouched and are rejected by the harness. Explicitly change this guard only for a frozen confirmation run.","Later stateful candidates need native callback replay, first-divergence reports and full 256-seed fee parity plus <245k initialization/afterSwap gas and zero failures. No candidate is certified here.","Pinned checkout and runtime dependencies from setup are required; they are not embedded in the 64KB JSON. This source/evidence package is not a hermetic offline engine distribution. Re-running without provisioned dependencies is incomplete."],"seed_arrays_layout":"Column-major: zip(*data) gives records in columns order; seed is explicit.","delivery_checks":{"JSON_parse":true,"live_source_quotes_verified":20,"embedded_source_hashes_verified":6,"decoded_harness_native_config_checks":1000,"tracked_changes":0}}