# b1s1 confirmation shard: TC-A vs qt1, engine seeds 9802114..9802241 Credit: Taylor (gtmcknight) for the solved policy (amm-sim 4812a638, research/solved): Gaussian filter, qm tables, replica and the setup script; both arms are ports of it. TC-A is the two-component posterior port (artifact A) applied to R = qtr2. qt1 is the Gaussian filter + qm-spline entry. These are **local engine measurements** (amm_sim_rs, each arm alone vs the 30 bps VanillaStrategy). They are not board scores. ## Inputs and hashes - K = `https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/c1c9a349f00bf18746f17c6a253469df6634860b` - qt1 = K/reference/qt1/Strategy.sol, sha256 `c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca` (expected c68887cf…aca: match); runtime 20605 B - R = K/reference/qtr2/Strategy.sol, sha256 `7b99afae570ef1627b0163fb21411f14c496b005a07c3966cc7323906dee664f` - TC-A = R + `patch -p1` of the unified diff under "## Contract: exact unified diff against R" in A = https://api.imd.fun/artifacts/ebab165bd9bc568057d042f7a9364713eb9cbef3f895e046fc1fde8264134fd2 (diff 123 lines, applied cleanly). sha256 `b87234c89e094f4955578417c1266129b0f96e6dfda68e3fb8866e00eeda71a2` (required b87234c8…a71a2: **match**); runtime 21102 B (≤ 24,576). - Engine: benedictbrady/amm-challenge @ 6b6921f8d463314aa7c96234e1be25a25245f704; setup = K/tools/setup.sh run once as scratch/setup.sh, which printed `amm_sim_rs.abi3.so sha256 ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14` and validated StarterStrategy. Harness: K/tools/engine.py (+ its import K/tools/check.py), unmodified. Platform: Linux x86_64. - engine.py arms: `candidate` = TC-A, `baseline` = qt1; per-chunk JSON records the same sha256s for both arms. `amm-match validate` of TC-A: ``` Validating strategy... Compiling strategy... Strategy 'TaylorTwoCompQmTrim2' validated successfully! ``` ## Paired result: TC-A minus qt1 (128 seeds) ```json {"n": 128, "mean_diff": 0.440292346112, "se": 0.047683923176, "worst5": [[9802151, -1.019065076239], [9802169, -0.746488667091], [9802190, -0.703750345833], [9802159, -0.581200219917], [9802167, -0.499601130363]]} ``` - se = sample sd / sqrt(n). mean_diff / se = 9.23. TC-A ahead on 105/128 seeds. - Mean edge: TC-A 536.518864263560, qt1 536.078571917449. Per-chunk paired (from engine.py): | chunk | seeds [start,end) | n | mean_diff | se | wall s (process) | engine s (both arms) | TC-A arm s | qt1 arm s | |---|---|---|---|---|---|---|---|---| | 0 | [9802114,9802130) | 16 | 0.269371386135 | 0.087955532497 | 27.69 | 12.01 | 5.94 | 6.06 | | 1 | [9802130,9802146) | 16 | 0.574676790643 | 0.143453209962 | 13.89 | 13.24 | 6.47 | 6.76 | | 2 | [9802146,9802162) | 16 | 0.302706352575 | 0.153299363404 | 13.28 | 12.75 | 6.11 | 6.63 | | 3 | [9802162,9802178) | 16 | 0.209952530649 | 0.118334896642 | 12.60 | 12.09 | 5.72 | 6.37 | | 4 | [9802178,9802194) | 16 | 0.473618702679 | 0.144192833130 | 13.56 | 12.96 | 6.47 | 6.48 | | 5 | [9802194,9802210) | 16 | 0.460636708868 | 0.106803471289 | 13.14 | 12.58 | 5.87 | 6.70 | | 6 | [9802210,9802226) | 16 | 0.657841174789 | 0.173479110597 | 12.33 | 11.71 | 5.70 | 6.00 | | 7 | [9802226,9802242) | 16 | 0.573535122556 | 0.116214027431 | 12.16 | 11.60 | 5.70 | 5.90 | Wall s (process) is `/usr/bin/time` of the whole engine.py call; chunk 0 includes compiling both contracts (TC-A 9.9 s, qt1 5.1 s), later chunks used the compile cache. ## Gas: Submission afterSwap over the shard (sum of 8 chunks) | arm | calls | ok | peak | mean | oog | reverts | other_halt | tx_error | bad_return | |---|---|---|---|---|---|---|---|---|---| | TC-A | 1390345 | 1390345 | 205943 | 131054.2 | 0 | 0 | 0 | 0 | 0 | | qt1 | 1397738 | 1397738 | 208735 | 137969.6 | 0 | 0 | 0 | 0 | 0 | mean = sum_ok_gas / ok. TC-A peak 205943 ≤ 245,000 with 0 OutOfGas. ## CSV: seed,tca,qt1,diff ```csv seed,tca,qt1,diff 9802114,525.420811911347,525.477860867912,-0.057048956565 9802115,593.945867098546,594.024214596858,-0.078347498312 9802116,457.524268866803,456.299582576218,1.224686290585 9802117,586.472572862818,586.464965162040,0.007607700778 9802118,565.365652111472,564.603411576504,0.762240534969 9802119,395.032287851349,394.938566304324,0.093721547025 9802120,557.035611905410,557.053049030080,-0.017437124670 9802121,448.644572055159,448.051666693020,0.592905362139 9802122,475.544305845293,475.274754620460,0.269551224833 9802123,657.460386373367,657.410439946020,0.049946427347 9802124,491.429925593158,491.218248869543,0.211676723615 9802125,605.890496577287,605.854265664788,0.036230912498 9802126,531.867008250828,531.518051492113,0.348956758715 9802127,521.267606810036,520.762492556024,0.505114254012 9802128,613.312855137435,613.175690860057,0.137164277378 9802129,446.627925412483,446.404951668666,0.222973743817 9802130,446.445622776701,445.319978158941,1.125644617760 9802131,492.543359857340,492.076344232730,0.467015624610 9802132,612.143261539058,612.319432104053,-0.176170564996 9802133,545.560261103468,544.831728793063,0.728532310405 9802134,533.279790443210,533.777126903051,-0.497336459842 9802135,599.545877294713,598.823871551352,0.722005743361 9802136,664.198501147162,662.855730939953,1.342770207209 9802137,651.371707317195,651.094358699144,0.277348618051 9802138,529.811247263684,529.066626917015,0.744620346669 9802139,457.032312874550,456.119265763932,0.913047110618 9802140,642.468282403041,641.351698374963,1.116584028079 9802141,523.930436594536,523.868642307162,0.061794287374 9802142,496.828867864015,496.625725398652,0.203142465363 9802143,635.509025476561,635.635580046992,-0.126554570431 9802144,579.033854120375,577.568351911308,1.465502209067 9802145,469.909939192150,469.083056515164,0.826882676986 9802146,572.725462476171,572.546387764179,0.179074711992 9802147,480.092016412836,479.050322615834,1.041693797003 9802148,549.308298629115,548.725859842848,0.582438786268 9802149,475.003778259613,474.331508308979,0.672269950635 9802150,653.739788572739,652.635641735043,1.104146837696 9802151,579.766546128575,580.785611204814,-1.019065076239 9802152,449.875486085122,449.422767816425,0.452718268696 9802153,649.865867776268,649.471617529207,0.394250247061 9802154,613.159338566331,612.737548330457,0.421790235874 9802155,681.861804322805,681.825618256969,0.036186065836 9802156,722.643881195155,723.040219682462,-0.396338487307 9802157,475.697102583825,474.412645010257,1.284457573567 9802158,430.770149514835,430.376908730165,0.393240784671 9802159,749.148783390531,749.729983610448,-0.581200219917 9802160,637.527479488039,637.565808724066,-0.038329236027 9802161,629.209578157812,628.893610756424,0.315967401388 9802162,639.795778062268,639.584212760436,0.211565301832 9802163,602.018976852808,601.065632093362,0.953344759446 9802164,584.760198728809,584.590199851669,0.169998877140 9802165,577.535647272473,577.432988498608,0.102658773865 9802166,466.076233234223,465.979998081206,0.096235153016 9802167,474.346387929969,474.845989060333,-0.499601130363 9802168,581.373251474266,581.097049561873,0.276201912392 9802169,598.930862795681,599.677351462772,-0.746488667091 9802170,371.739079352766,371.384926833834,0.354152518932 9802171,428.712842161976,429.059925583938,-0.347083421963 9802172,520.408950622874,519.520556987467,0.888393635407 9802173,629.759268879965,629.374724647564,0.384544232401 9802174,480.642097457917,480.702601456416,-0.060503998499 9802175,589.685456217976,589.471125669379,0.214330548597 9802176,439.214291384998,438.430735698820,0.783555686178 9802177,434.123223504772,433.545287195682,0.577936309090 9802178,591.167769346292,590.055896017770,1.111873328523 9802179,449.114029393373,448.734889420921,0.379139972452 9802180,425.338609191322,425.630842980438,-0.292233789116 9802181,601.052016943368,600.837246139228,0.214770804140 9802182,383.274544232806,383.080599068730,0.193945164077 9802183,659.287593640441,658.674981718672,0.612611921769 9802184,677.162236257721,675.780733611791,1.381502645929 9802185,661.539719007646,661.127958341026,0.411760666620 9802186,526.492335326787,526.114715186835,0.377620139952 9802187,462.226530959036,461.235426588802,0.991104370234 9802188,534.160790137790,533.109281579730,1.051508558060 9802189,407.127393385697,406.563527064262,0.563866321435 9802190,524.507617189645,525.211367535478,-0.703750345833 9802191,604.960323412383,605.253474443281,-0.293151030898 9802192,691.205886446626,690.098800726164,1.107085720462 9802193,394.416429050227,393.946184255175,0.470244795053 9802194,515.598815282035,515.303548390087,0.295266891948 9802195,585.468473433005,584.640814139506,0.827659293499 9802196,353.683025757339,353.075670288864,0.607355468475 9802197,396.692779519705,396.281310035525,0.411469484180 9802198,404.875666912618,404.789192845058,0.086474067560 9802199,460.746656287777,460.755174736552,-0.008518448776 9802200,449.935888253113,449.306288114375,0.629600138738 9802201,430.778364926921,430.592818037206,0.185546889714 9802202,551.539314152377,550.159290722808,1.380023429569 9802203,450.693477097515,450.711635177855,-0.018158080339 9802204,577.352210325631,576.701583197772,0.650627127859 9802205,598.678992861721,598.646419280991,0.032573580730 9802206,755.319160354208,754.508073585308,0.811086768900 9802207,419.012871119782,419.133641051862,-0.120769932081 9802208,563.517555158367,562.491360269911,1.026194888456 9802209,634.039468647049,633.465712873596,0.573755773453 9802210,415.399555686512,414.870219828080,0.529335858432 9802211,536.125546752513,535.210152253792,0.915394498722 9802212,619.795925337591,617.573150116036,2.222775221554 9802213,518.084702396635,518.039698279125,0.045004117510 9802214,681.262781064671,681.255165937621,0.007615127050 9802215,551.730207451180,550.922251434085,0.807956017095 9802216,360.793322397830,359.685771389565,1.107551008265 9802217,593.382739515387,592.673799024310,0.708940491077 9802218,723.192787922475,721.967005565385,1.225782357091 9802219,527.511813532443,527.441182068953,0.070631463489 9802220,561.796568844788,561.456589926082,0.339978918706 9802221,596.080054958840,594.630410637947,1.449644320893 9802222,519.680880923236,520.116565207085,-0.435684283849 9802223,412.210819981947,410.881325085927,1.329494896020 9802224,551.062210532898,550.990794105797,0.071416427101 9802225,637.342521446066,637.212899088594,0.129622357472 9802226,630.900709911594,630.501538854664,0.399171056930 9802227,453.242094101403,452.713934325556,0.528159775847 9802228,493.387329093680,492.330374053495,1.056955040186 9802229,582.010813422639,581.737955931416,0.272857491223 9802230,485.875710675683,485.130070245185,0.745640430498 9802231,514.941790753462,513.693199619105,1.248591134357 9802232,570.750472438643,569.387166599265,1.363305839377 9802233,406.118739227843,405.562372292275,0.556366935568 9802234,380.584514144178,380.410831903487,0.173682240692 9802235,571.168598098596,570.239415760311,0.929182338285 9802236,483.096553428702,483.383519660435,-0.286966231734 9802237,548.205890187390,547.344328854542,0.861561332847 9802238,472.684118780523,472.889177293683,-0.205058513160 9802239,551.505667997162,550.894807058458,0.610860938704 9802240,430.119261045393,429.786176462177,0.333084583217 9802241,431.430970249433,430.841802681374,0.589167568059 ``` ## Raw gas_stats() per chunk and arm Chunk 0 [9802114,9802130) TC-A: ```json [{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":170007,"ok":170007,"max_ok_gas":22592,"sum_ok_gas":3835814664,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":92165,"sum_ok_gas":1474640,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":171042,"ok":171042,"max_ok_gas":203872,"sum_ok_gas":22441238673,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21648,"sum_ok_gas":346368,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}] ``` Chunk 0 [9802114,9802130) qt1: ```json [{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":170034,"ok":170034,"max_ok_gas":22592,"sum_ok_gas":3836431236,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":90858,"sum_ok_gas":1453728,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":171999,"ok":171999,"max_ok_gas":208684,"sum_ok_gas":23754151056,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21579,"sum_ok_gas":345264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}] ``` Chunk 1 [9802130,9802146) TC-A: ```json [{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":177645,"ok":177645,"max_ok_gas":22592,"sum_ok_gas":4008163992,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":92165,"sum_ok_gas":1474640,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":178483,"ok":178483,"max_ok_gas":201786,"sum_ok_gas":23338676844,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21648,"sum_ok_gas":346368,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}] ``` Chunk 1 [9802130,9802146) qt1: ```json [{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":177766,"ok":177766,"max_ok_gas":22592,"sum_ok_gas":4010891288,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":90858,"sum_ok_gas":1453728,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":179297,"ok":179297,"max_ok_gas":206847,"sum_ok_gas":24694133926,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21579,"sum_ok_gas":345264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}] ``` Chunk 2 [9802146,9802162) TC-A: ```json [{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":179054,"ok":179054,"max_ok_gas":22592,"sum_ok_gas":4039975132,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":92165,"sum_ok_gas":1474640,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":179035,"ok":179035,"max_ok_gas":201849,"sum_ok_gas":23382871335,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21648,"sum_ok_gas":346368,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}] ``` Chunk 2 [9802146,9802162) qt1: ```json [{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":179238,"ok":179238,"max_ok_gas":22592,"sum_ok_gas":4044131448,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":90858,"sum_ok_gas":1453728,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":179828,"ok":179828,"max_ok_gas":204921,"sum_ok_gas":24742543221,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21579,"sum_ok_gas":345264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}] ``` Chunk 3 [9802162,9802178) TC-A: ```json [{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":169571,"ok":169571,"max_ok_gas":22592,"sum_ok_gas":3825983836,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":92165,"sum_ok_gas":1474640,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":170739,"ok":170739,"max_ok_gas":203204,"sum_ok_gas":22422419506,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21648,"sum_ok_gas":346368,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}] ``` Chunk 3 [9802162,9802178) qt1: ```json [{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":169925,"ok":169925,"max_ok_gas":22592,"sum_ok_gas":3833963044,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":90858,"sum_ok_gas":1453728,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":171840,"ok":171840,"max_ok_gas":205818,"sum_ok_gas":23744636424,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21579,"sum_ok_gas":345264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}] ``` Chunk 4 [9802178,9802194) TC-A: ```json [{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":175452,"ok":175452,"max_ok_gas":22592,"sum_ok_gas":3958683828,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":92165,"sum_ok_gas":1474640,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":175536,"ok":175536,"max_ok_gas":202635,"sum_ok_gas":22976628897,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21648,"sum_ok_gas":346368,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}] ``` Chunk 4 [9802178,9802194) qt1: ```json [{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":175581,"ok":175581,"max_ok_gas":22592,"sum_ok_gas":3961588416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":90858,"sum_ok_gas":1453728,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":176476,"ok":176476,"max_ok_gas":208556,"sum_ok_gas":24322949401,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21579,"sum_ok_gas":345264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}] ``` Chunk 5 [9802194,9802210) TC-A: ```json [{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":164474,"ok":164474,"max_ok_gas":22592,"sum_ok_gas":3710966692,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":92165,"sum_ok_gas":1474640,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":165572,"ok":165572,"max_ok_gas":201571,"sum_ok_gas":21792164919,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21648,"sum_ok_gas":346368,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}] ``` Chunk 5 [9802194,9802210) qt1: ```json [{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":164461,"ok":164461,"max_ok_gas":22592,"sum_ok_gas":3710681384,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":90858,"sum_ok_gas":1453728,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":166472,"ok":166472,"max_ok_gas":207551,"sum_ok_gas":23055626446,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21579,"sum_ok_gas":345264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}] ``` Chunk 6 [9802210,9802226) TC-A: ```json [{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":179395,"ok":179395,"max_ok_gas":22592,"sum_ok_gas":4047638384,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":92165,"sum_ok_gas":1474640,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":179466,"ok":179466,"max_ok_gas":205943,"sum_ok_gas":23454748560,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21648,"sum_ok_gas":346368,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}] ``` Chunk 6 [9802210,9802226) qt1: ```json [{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":179509,"ok":179509,"max_ok_gas":22592,"sum_ok_gas":4050206660,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":90858,"sum_ok_gas":1453728,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":180385,"ok":180385,"max_ok_gas":208735,"sum_ok_gas":24829828589,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21579,"sum_ok_gas":345264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}] ``` Chunk 7 [9802226,9802242) TC-A: ```json [{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":169250,"ok":169250,"max_ok_gas":22592,"sum_ok_gas":3818724736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":92165,"sum_ok_gas":1474640,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":170472,"ok":170472,"max_ok_gas":202433,"sum_ok_gas":22401860861,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21648,"sum_ok_gas":346368,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}] ``` Chunk 7 [9802226,9802242) qt1: ```json [{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":169450,"ok":169450,"max_ok_gas":22592,"sum_ok_gas":3823235456,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":90858,"sum_ok_gas":1453728,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":171441,"ok":171441,"max_ok_gas":207128,"sum_ok_gas":23701546160,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21579,"sum_ok_gas":345264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}] ``` ## Problems - None blocking. All 8 chunks ran exactly once (rc 0, status "done"), covering exactly 9802114..9802241; no chunk was repeated, no seed outside the shard was run, no tuning or code change. - engine.py imports K/tools/check.py, which the brief does not name; it was fetched from the same K commit unmodified. - Only TC-A was put through `amm-match validate` (as briefed); qt1 compiled in the engine without error. - Local engine measurement on one 128-seed shard; not a board score.