# f2: frozen TC-A confirmation against qt1

Credit: Taylor (gtmcknight), policy, Gaussian filter, qm tables and replica research. Contract sources [S1–S2]; supplied measurement tools [S3–S5].

Local engine measurements only; these are not board scores. All 128 assigned seeds 9803316..9803443 ran once, in eight half-open chunks of 16. No tuning, source edits, retries or other engine seeds. Each arm ran alone against the 30 bps VanillaStrategy [S7] using the supplied `run_batch(..., configs, 8)` helper [S4]. Config construction was checked against the pinned MatchRunner [S6]. No replica P/Q/F work was performed: this item is the frozen engine confirmation shard.

Platform: `uname -sm` = `Linux x86_64` (exit 0).

Setup: challenge checkout `6b6921f8d463314aa7c96234e1be25a25245f704`; pinned K/tools/setup.sh [S3] saved as scratch/setup.sh and executed exactly once, exit 0. All state and installed dependencies were kept in `test/scratch/challenge` (checkout-local scratch/ and .venv). Setup validated StarterStrategy successfully.

SHA256 (local file measurements):
```text
TC-A b87234c89e094f4955578417c1266129b0f96e6dfda68e3fb8866e00eeda71a2
qt1  c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca
amm_sim_rs.abi3.so ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14
```
Runtime: TC-A **21,102 B** (required equality confirmed); qt1 **20,605 B**, both under 24,576 B. Measured by the challenge SolidityCompiler [S8], Solidity 0.8.24, optimizer 200 runs, viaIR, Paris. Candidate validation: `TaylorTwoCompQmTrim2` validated successfully, exit 0.

Paired TC-A minus qt1; SE uses sample SD / sqrt(n); worst5 ordered by diff then seed:
```json
{"n":128,"mean_diff":0.46435248549701,"se":0.0491724827452028,"worst5":[[9803364,-0.859850201922427],[9803414,-0.6386686805262229],[9803347,-0.5996234822052884],[9803423,-0.5554428382620245],[9803349,-0.5322283175274265]]}
```

Submission afterSwap aggregated over all eight chunks (gas means weighted by successful calls, peak=max; counts summed):
```json
{"TC-A":{"calls":1388924,"peak":203824,"mean":131101.561274051,"oog":0,"reverts":0},"qt1":{"calls":1396965,"peak":208743,"mean":137985.33755104817,"oog":0,"reverts":0}}
```
Both observed peaks satisfy 245,000 gas and both arms have zero OOG and reverts. All Submission afterSwap calls succeeded; no other halts, transaction errors or bad returns. Evidence: raw per-chunk gas_stats below.

Per-seed local submission edge; diff=TC-A−qt1. Markdown rounded to 6 decimals; JSON retains the recorded floating point values.

|seed|TC-A edge|qt1 edge|diff|
|---:|---:|---:|---:|
|9803316|425.096561|424.916709|0.179853|
|9803317|538.022540|537.260046|0.762493|
|9803318|559.818332|559.738465|0.079867|
|9803319|519.995000|519.434921|0.560079|
|9803320|582.011412|582.026978|-0.015567|
|9803321|482.067782|482.505416|-0.437634|
|9803322|452.915043|452.032885|0.882158|
|9803323|523.948688|521.740137|2.208551|
|9803324|401.462488|401.195577|0.266911|
|9803325|727.987610|727.016653|0.970957|
|9803326|553.059596|553.036879|0.022717|
|9803327|460.947167|459.946638|1.000530|
|9803328|568.484928|567.991739|0.493188|
|9803329|473.078412|472.376892|0.701520|
|9803330|594.000721|593.382457|0.618264|
|9803331|581.947295|580.091158|1.856137|
|9803332|589.007818|587.608269|1.399549|
|9803333|542.524447|541.971520|0.552926|
|9803334|445.546912|445.322612|0.224300|
|9803335|473.738760|472.875206|0.863554|
|9803336|444.878747|444.424893|0.453854|
|9803337|546.191546|545.885684|0.305862|
|9803338|590.894780|590.918517|-0.023737|
|9803339|449.155503|449.202888|-0.047385|
|9803340|384.716552|384.920374|-0.203822|
|9803341|536.347320|535.517285|0.830035|
|9803342|449.286120|447.568949|1.717171|
|9803343|420.731236|420.324096|0.407141|
|9803344|489.401429|489.165742|0.235687|
|9803345|505.571359|505.900942|-0.329583|
|9803346|436.860199|436.260179|0.600020|
|9803347|569.911259|570.510882|-0.599623|
|9803348|451.319839|450.942384|0.377455|
|9803349|439.571618|440.103847|-0.532228|
|9803350|476.123575|476.005012|0.118563|
|9803351|388.524148|387.949866|0.574282|
|9803352|556.494587|555.812695|0.681892|
|9803353|466.204629|466.535501|-0.330872|
|9803354|653.787856|652.879394|0.908462|
|9803355|547.646623|547.030118|0.616506|
|9803356|393.495580|393.308491|0.187089|
|9803357|563.299818|561.980054|1.319764|
|9803358|642.283618|641.794483|0.489134|
|9803359|530.367089|529.789001|0.578088|
|9803360|661.725638|661.137204|0.588434|
|9803361|815.146363|814.905413|0.240951|
|9803362|616.805419|616.585185|0.220233|
|9803363|403.783158|403.640723|0.142436|
|9803364|586.420139|587.279989|-0.859850|
|9803365|518.330653|517.755784|0.574869|
|9803366|485.219514|483.663894|1.555620|
|9803367|408.221435|407.830769|0.390665|
|9803368|665.195776|664.441125|0.754652|
|9803369|656.942189|656.619335|0.322854|
|9803370|571.155034|570.703528|0.451506|
|9803371|566.009849|565.874695|0.135154|
|9803372|502.456601|502.500557|-0.043956|
|9803373|584.837991|584.833261|0.004730|
|9803374|597.964936|596.265628|1.699308|
|9803375|490.358120|489.650667|0.707453|
|9803376|492.672878|493.064794|-0.391916|
|9803377|477.977369|477.466745|0.510624|
|9803378|490.137717|489.026866|1.110851|
|9803379|447.580772|446.573419|1.007353|
|9803380|514.652048|513.554929|1.097119|
|9803381|513.586063|513.436113|0.149950|
|9803382|663.459046|662.663858|0.795188|
|9803383|526.382428|526.239885|0.142543|
|9803384|598.599380|597.857625|0.741755|
|9803385|528.943374|527.648045|1.295329|
|9803386|577.927773|577.637281|0.290492|
|9803387|614.540310|614.510562|0.029748|
|9803388|551.040160|550.356822|0.683338|
|9803389|542.617120|542.234356|0.382763|
|9803390|468.148351|467.570076|0.578275|
|9803391|448.714509|448.400394|0.314115|
|9803392|802.351220|802.027053|0.324167|
|9803393|531.630142|531.083362|0.546780|
|9803394|533.422937|533.274723|0.148214|
|9803395|503.794585|503.099875|0.694710|
|9803396|463.667640|463.483724|0.183916|
|9803397|639.149718|639.109444|0.040274|
|9803398|433.621712|433.466620|0.155092|
|9803399|576.541151|575.521421|1.019730|
|9803400|489.607847|489.481050|0.126797|
|9803401|425.516191|424.939223|0.576968|
|9803402|448.029191|447.249837|0.779354|
|9803403|625.244700|625.123228|0.121472|
|9803404|503.875268|504.016227|-0.140959|
|9803405|688.974482|688.191801|0.782681|
|9803406|533.490085|532.323880|1.166205|
|9803407|435.115142|433.891980|1.223162|
|9803408|622.933606|622.780733|0.152873|
|9803409|398.711963|398.552772|0.159191|
|9803410|537.671363|536.542714|1.128649|
|9803411|413.782740|413.707185|0.075556|
|9803412|474.404254|474.382377|0.021877|
|9803413|412.104473|411.069775|1.034698|
|9803414|402.126017|402.764686|-0.638669|
|9803415|625.325212|625.182294|0.142918|
|9803416|643.837206|644.152911|-0.315705|
|9803417|408.316297|408.361808|-0.045511|
|9803418|426.691183|425.711344|0.979839|
|9803419|366.481064|365.595318|0.885747|
|9803420|494.759024|494.768268|-0.009244|
|9803421|604.770715|604.218083|0.552631|
|9803422|589.941887|590.147081|-0.205194|
|9803423|622.295016|622.850459|-0.555443|
|9803424|417.989991|417.299184|0.690807|
|9803425|593.221453|592.342793|0.878659|
|9803426|596.516778|596.611715|-0.094937|
|9803427|556.211774|556.193082|0.018692|
|9803428|609.379463|609.456425|-0.076962|
|9803429|458.173254|458.263809|-0.090555|
|9803430|520.154018|519.549659|0.604359|
|9803431|451.685586|451.241955|0.443631|
|9803432|590.361044|589.248155|1.112889|
|9803433|497.542706|497.518264|0.024443|
|9803434|505.899539|505.922510|-0.022971|
|9803435|606.663476|604.870272|1.793204|
|9803436|382.379773|381.522698|0.857075|
|9803437|577.734958|577.172664|0.562293|
|9803438|637.699322|636.545211|1.154112|
|9803439|392.566093|392.660710|-0.094618|
|9803440|517.769252|517.301252|0.468000|
|9803441|644.480365|642.851068|1.629297|
|9803442|545.374593|544.829972|0.544621|
|9803443|421.073444|420.297834|0.775609|

```json
{"columns":["seed","TC-A edge","qt1 edge","diff"],"rows":[[9803316,425.096561130639,424.9167085500555,0.17985258058348563],[9803317,538.022539781548,537.260046427604,0.7624933539439098],[9803318,559.8183321400048,559.73846508895,0.0798670510548618],[9803319,519.9949999800707,519.4349213370855,0.5600786429852178],[9803320,582.0114116950854,582.0269783737648,-0.015566678679419965],[9803321,482.06778163352277,482.50541591121015,-0.43763427768737984],[9803322,452.91504305999837,452.03288507907644,0.8821579809219315],[9803323,523.9486883664631,521.7401372999066,2.208551066556538],[9803324,401.4624877049581,401.1955768779047,0.26691082705337976],[9803325,727.9876102276877,727.0166532825676,0.970956945120065],[9803326,553.059596087964,553.0368789425652,0.022717145398814864],[9803327,460.9471671499234,459.946637579704,1.0005295702194417],[9803328,568.4849277666781,567.9917393090495,0.49318845762854835],[9803329,473.0784116264455,472.37689152032004,0.7015201061254288],[9803330,594.0007213095855,593.3824572734185,0.6182640361670337],[9803331,581.9472945275486,580.091157525072,1.8561370024765438],[9803332,589.0078181603366,587.6082688452371,1.3995493150994207],[9803333,542.5244465717715,541.9715203102611,0.5529262615103789],[9803334,445.5469117613121,445.3226118613183,0.2242998999938095],[9803335,473.7387595863316,472.8752056423916,0.8635539439399622],[9803336,444.8787471846439,444.4248931776752,0.4538540069686974],[9803337,546.1915462584653,545.8856842019298,0.3058620565354886],[9803338,590.8947801267019,590.9185168853355,-0.023736758633617683],[9803339,449.1555032394081,449.20288801321647,-0.04738477380834638],[9803340,384.71655154673044,384.92037395584396,-0.20382240911351346],[9803341,536.3473197687433,535.5172852349937,0.8300345337496537],[9803342,449.2861197135696,447.56894873163196,1.7171709819376133],[9803343,420.73123633188237,420.32409552691945,0.40714080496292127],[9803344,489.4014291172634,489.1657420408299,0.23568707643346443],[9803345,505.5713590847236,505.9009422241995,-0.3295831394759148],[9803346,436.8601986928276,436.2601788136297,0.6000198791979301],[9803347,569.911258955327,570.5108824375322,-0.5996234822052884],[9803348,451.31983902368586,450.9423842333199,0.3774547903659595],[9803349,439.57161833170676,440.1038466492342,-0.5322283175274265],[9803350,476.1235745865447,476.00501198019333,0.11856260635136096],[9803351,388.52414776257405,387.94986609957675,0.5742816629972936],[9803352,556.4945866837436,555.8126948701929,0.681891813550692],[9803353,466.2046288649971,466.53550129901026,-0.3308724340131448],[9803354,653.7878563333591,652.8793939910461,0.908462342312987],[9803355,547.6466233432982,547.0301176735359,0.6165056697623186],[9803356,393.4955795101,393.3084907033133,0.18708880678673268],[9803357,563.29981778489,561.9800542648317,1.319763520058359],[9803358,642.283617587065,641.7944831742795,0.4891344127854609],[9803359,530.3670887144219,529.7890006348337,0.5780880795882695],[9803360,661.7256376450747,661.137203962726,0.5884336823487502],[9803361,815.1463631512454,814.9054125688589,0.24095058238651745],[9803362,616.8054187107713,616.5851853486365,0.2202333621347634],[9803363,403.7831582229951,403.6407225677147,0.14243565528039426],[9803364,586.4201388982696,587.279989100192,-0.859850201922427],[9803365,518.3306531800546,517.7557837514083,0.5748694286462523],[9803366,485.21951432559416,483.6638940198107,1.5556203057834637],[9803367,408.2214347263774,407.8307694532529,0.3906652731245117],[9803368,665.1957761910511,664.441124550554,0.7546516404970589],[9803369,656.9421891192029,656.6193349878672,0.32285413133570273],[9803370,571.1550343997429,570.7035283903048,0.45150600943816244],[9803371,566.0098494601727,565.8746950874798,0.13515437269290942],[9803372,502.4566007646844,502.50055674545695,-0.04395598077252316],[9803373,584.8379910717753,584.833261028617,0.004730043158247099],[9803374,597.9649357246112,596.2656280278368,1.69930769677444],[9803375,490.3581199666959,489.65066743958863,0.7074525271072503],[9803376,492.6728777922896,493.0647936659771,-0.3919158736874806],[9803377,477.9773692096945,477.4667447176573,0.5106244920371523],[9803378,490.13771694974406,489.02686562074365,1.1108513290004112],[9803379,447.5807719559247,446.57341882054584,1.007353135378878],[9803380,514.6520483994183,513.5549294870127,1.0971189124055627],[9803381,513.586063362133,513.4361129394201,0.14995042271289094],[9803382,663.4590455877043,662.6638577637968,0.7951878239074404],[9803383,526.3824281519883,526.2398846785477,0.1425434734405826],[9803384,598.5993799173999,597.8576246502306,0.7417552671693102],[9803385,528.943374323456,527.6480454033142,1.2953289201418556],[9803386,577.9277732456468,577.6372812031605,0.29049204248633487],[9803387,614.540310232826,614.5105620888413,0.029748143984647868],[9803388,551.040160395277,550.3568219701754,0.6833384251016241],[9803389,542.6171197307226,542.2343564392122,0.38276329151040045],[9803390,468.14835141462373,467.5700763628321,0.5782750517916497],[9803391,448.7145087389793,448.4003939295524,0.31411480942688286],[9803392,802.3512202386926,802.0270527980955,0.3241674405970798],[9803393,531.6301416861703,531.0833621048477,0.546779581322653],[9803394,533.4229368029792,533.2747229265783,0.1482138764008596],[9803395,503.7945852747621,503.0998748073989,0.6947104673631657],[9803396,463.6676401916459,463.48372419501385,0.18391599663203806],[9803397,639.1497182252591,639.1094441682847,0.04027405697445374],[9803398,433.6217123286418,433.4666204513738,0.15509187726803475],[9803399,576.5411507643042,575.5214205286483,1.0197302356559703],[9803400,489.607847223753,489.4810497736884,0.12679745006460053],[9803401,425.5161913791482,424.93922325311473,0.5769681260334778],[9803402,448.02919075020196,447.24983690234336,0.7793538478586015],[9803403,625.2447002460101,625.1232284758843,0.12147177012582233],[9803404,503.8752676346622,504.01622670679546,-0.14095907213328474],[9803405,688.9744815033379,688.1918006237654,0.7826808795724673],[9803406,533.4900845584917,532.3238797763538,1.1662047821379247],[9803407,435.1151421952239,433.89197996497745,1.2231622302464302],[9803408,622.9336063264793,622.7807331326061,0.1528731938732335],[9803409,398.7119632054808,398.55277180075007,0.15919140473073412],[9803410,537.6713625063425,536.5427138408218,1.1286486655207],[9803411,413.78274022349456,413.7071846579974,0.07555556549715448],[9803412,474.4042538751796,474.38237704247484,0.021876832704776916],[9803413,412.1044733284955,411.06977545391067,1.0346978745848219],[9803414,402.1260170011835,402.76468568170975,-0.6386686805262229],[9803415,625.3252120724067,625.1822938316734,0.14291824073325188],[9803416,643.837206099892,644.1529107430204,-0.3157046431283561],[9803417,408.31629717458605,408.36180823495687,-0.04551106037081354],[9803418,426.6911833548072,425.711344381698,0.9798389731092243],[9803419,366.48106445346053,365.5953178032891,0.8857466501714271],[9803420,494.7590236305366,494.7682678874467,-0.009244256910108106],[9803421,604.7707146418552,604.218083456547,0.5526311853082007],[9803422,589.941887098607,590.1470812950394,-0.2051941964323305],[9803423,622.2950163237094,622.8504591619715,-0.5554428382620245],[9803424,417.98999147388736,417.29918437444167,0.6908070994456921],[9803425,593.2214525997093,592.3427931165664,0.8786594831428829],[9803426,596.5167782473974,596.6117151539117,-0.09493690651436282],[9803427,556.2117743023356,556.1930820716447,0.018692230690930955],[9803428,609.3794630917525,609.456425371198,-0.07696227944541079],[9803429,458.17325413930047,458.26380889062517,-0.09055475132470292],[9803430,520.1540177122927,519.5496585036682,0.6043592086244871],[9803431,451.68558640212893,451.2419549364918,0.443631465637111],[9803432,590.3610443063035,589.2481553318825,1.1128889744210255],[9803433,497.542706125764,497.5182635333756,0.024442592388425055],[9803434,505.8995386204877,505.9225099851571,-0.022971364669388095],[9803435,606.6634762773147,604.8702722988902,1.793203978424458],[9803436,382.37977325966574,381.52269843423966,0.857074825426082],[9803437,577.7349575333848,577.1726640718516,0.5622934615331587],[9803438,637.6993223183163,636.5452107669357,1.154111551380538],[9803439,392.5660925674144,392.66071035129096,-0.09461778387657205],[9803440,517.7692519571845,517.3012522048069,0.4679997523775228],[9803441,644.4803646836788,642.8510676927185,1.6292969909602562],[9803442,545.3745931320343,544.8299723739524,0.5446207580819191],[9803443,421.07344374319524,420.2978344978075,0.7756092453877272]]}
```

Raw gas_stats(), unmodified records for each chunk and arm. The helper calls candidate first, then baseline=qt1, resetting stats before each arm; role Baseline inside each record is VanillaStrategy.

Seeds [9803316,9803332), engine exit 0:
```json
{"candidate":[{"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":173415,"ok":173415,"max_ok_gas":22592,"sum_ok_gas":3912724428,"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":173648,"ok":173648,"max_ok_gas":201793,"sum_ok_gas":22760718737,"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}],"baseline":[{"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":173519,"ok":173519,"max_ok_gas":22592,"sum_ok_gas":3915064108,"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":174630,"ok":174630,"max_ok_gas":204572,"sum_ok_gas":24092012237,"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}]}
```
Seeds [9803332,9803348), engine exit 0:
```json
{"candidate":[{"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":170211,"ok":170211,"max_ok_gas":22592,"sum_ok_gas":3840409116,"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":171229,"ok":171229,"max_ok_gas":199803,"sum_ok_gas":22491826115,"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}],"baseline":[{"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":170286,"ok":170286,"max_ok_gas":22592,"sum_ok_gas":3842098140,"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":172042,"ok":172042,"max_ok_gas":204227,"sum_ok_gas":23776790823,"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}]}
```
Seeds [9803348,9803364), engine exit 0:
```json
{"candidate":[{"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":171518,"ok":171518,"max_ok_gas":22592,"sum_ok_gas":3869903008,"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":172639,"ok":172639,"max_ok_gas":201745,"sum_ok_gas":22637912224,"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}],"baseline":[{"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":171699,"ok":171699,"max_ok_gas":22592,"sum_ok_gas":3873991788,"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":173787,"ok":173787,"max_ok_gas":208743,"sum_ok_gas":23983377504,"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}]}
```
Seeds [9803364,9803380), engine exit 0:
```json
{"candidate":[{"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":177105,"ok":177105,"max_ok_gas":22592,"sum_ok_gas":3995982024,"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":177096,"ok":177096,"max_ok_gas":201107,"sum_ok_gas":23173890164,"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}],"baseline":[{"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":177335,"ok":177335,"max_ok_gas":22592,"sum_ok_gas":4001167504,"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":178237,"ok":178237,"max_ok_gas":204748,"sum_ok_gas":24551018085,"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}]}
```
Seeds [9803380,9803396), engine exit 0:
```json
{"candidate":[{"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":180572,"ok":180572,"max_ok_gas":22592,"sum_ok_gas":4074197068,"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":181070,"ok":181070,"max_ok_gas":195598,"sum_ok_gas":23645983070,"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}],"baseline":[{"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":180800,"ok":180800,"max_ok_gas":22592,"sum_ok_gas":4079343988,"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":181928,"ok":181928,"max_ok_gas":203121,"sum_ok_gas":25025098206,"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}]}
```
Seeds [9803396,9803412), engine exit 0:
```json
{"candidate":[{"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":169446,"ok":169446,"max_ok_gas":22592,"sum_ok_gas":3823164312,"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":171372,"ok":171372,"max_ok_gas":195437,"sum_ok_gas":22502509708,"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}],"baseline":[{"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":169684,"ok":169684,"max_ok_gas":22592,"sum_ok_gas":3828526412,"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":172382,"ok":172382,"max_ok_gas":208665,"sum_ok_gas":23817126966,"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}]}
```
Seeds [9803412,9803428), engine exit 0:
```json
{"candidate":[{"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":169433,"ok":169433,"max_ok_gas":22592,"sum_ok_gas":3822859336,"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":170258,"ok":170258,"max_ok_gas":203824,"sum_ok_gas":22352636290,"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}],"baseline":[{"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":169563,"ok":169563,"max_ok_gas":22592,"sum_ok_gas":3825789756,"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":171502,"ok":171502,"max_ok_gas":202585,"sum_ok_gas":23694910307,"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}]}
```
Seeds [9803428,9803444), engine exit 0:
```json
{"candidate":[{"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":170800,"ok":170800,"max_ok_gas":22592,"sum_ok_gas":3853726760,"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":171612,"ok":171612,"max_ok_gas":203121,"sum_ok_gas":22524628583,"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}],"baseline":[{"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":171015,"ok":171015,"max_ok_gas":22592,"sum_ok_gas":3858574656,"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":172457,"ok":172457,"max_ok_gas":207124,"sum_ok_gas":23820352944,"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}]}
```

Commands and exit codes (run from the repository root for clone, then from checkout root; diagnostic reads and report checks also exited 0):

```text
uname -sm -> 0
git clone https://github.com/benedictbrady/amm-challenge test/scratch/challenge -> 0
git checkout 6b6921f8d463314aa7c96234e1be25a25245f704 -> 0
python3 urllib.request.urlretrieve: pinned K/{tools/setup.sh,contracts/Candidate.sol,reference/qt1/Strategy.sol,tools/check.py,tools/engine.py} to scratch/{setup.sh,Candidate.sol,qt1.sol,check.py,engine.py} -> 0
sha256sum scratch/Candidate.sol scratch/qt1.sol -> 0
timeout 470 sh scratch/setup.sh > scratch/setup.log 2>&1 -> 0 (once)
. scratch/env.sh && timeout 470 python: check.compiled for both sources; runtime assertion ==21102 -> 0
. scratch/env.sh && timeout 470 amm-match validate scratch/Candidate.sol -> 0
```
Each following command was prefixed `. scratch/env.sh && ` and its stdout/stderr saved under scratch/ with the same basename and .log suffix. No chunk was rerun.

```text
timeout 470 python scratch/engine.py scratch/Candidate.sol scratch/qt1.sol 9803316 9803332 scratch/sf2_9803316_9803332.json -> 0
timeout 470 python scratch/engine.py scratch/Candidate.sol scratch/qt1.sol 9803332 9803348 scratch/sf2_9803332_9803348.json -> 0
timeout 470 python scratch/engine.py scratch/Candidate.sol scratch/qt1.sol 9803348 9803364 scratch/sf2_9803348_9803364.json -> 0
timeout 470 python scratch/engine.py scratch/Candidate.sol scratch/qt1.sol 9803364 9803380 scratch/sf2_9803364_9803380.json -> 0
timeout 470 python scratch/engine.py scratch/Candidate.sol scratch/qt1.sol 9803380 9803396 scratch/sf2_9803380_9803396.json -> 0
timeout 470 python scratch/engine.py scratch/Candidate.sol scratch/qt1.sol 9803396 9803412 scratch/sf2_9803396_9803412.json -> 0
timeout 470 python scratch/engine.py scratch/Candidate.sol scratch/qt1.sol 9803412 9803428 scratch/sf2_9803412_9803428.json -> 0
timeout 470 python scratch/engine.py scratch/Candidate.sol scratch/qt1.sol 9803428 9803444 scratch/sf2_9803428_9803444.json -> 0
```

Problems: none in setup, compilation, validation or assigned engine chunks. The findings apply to these 128 seeds only and do not establish a leaderboard score or independently verify replica gates.

Sources (remote code documents the method; numeric results above are local measurements):

- [S1](https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/contracts/Candidate.sol)
- [S2](https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/qt1/Strategy.sol)
- [S3](https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/tools/setup.sh)
- [S4](https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/tools/engine.py)
- [S5](https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/tools/check.py)
- [S6](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/match.py)
- [S7](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/contracts/src/VanillaStrategy.sol)
- [S8](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/evm/compiler.py)

Deliverable checks (exit 0): parsed every JSON block and sources.json; verified 128 unique consecutive seeds and 128 Markdown rows; independently recomputed mean, sample SE, worst5 and per-arm gas aggregates; confirmed gas limits and output size. All eight source URLs were fetched again and their exact quotes verified. Both output files remain untracked; no git add was used.