# tb1: trim-1 confirmation on 256 fresh real-engine seeds

Trim-1 beats t03 by **+1.245320815 edge** (SE 0.088490453, n=256) and IB by **+1.987566017 edge** (SE 0.091689683, n=256) on seeds 9608192–9608447. Candidate afterSwap peak: **229,310 gas**, with **0 OutOfGas and 0 reverts**. These are local measurements, not figures copied from the upstream artifacts.

## Source identity and validation

The complete Solidity block from [trim-1](https://api.imdnotdead.fun/artifacts/fce772b9057867b241350b8e44c05298c6c877871a26b58702a5af431726f6c5) was extracted byte-exact, including its final newline, to `contracts/src/Strategy.sol` in the temporary pinned checkout. Its measured source length is 34,507 bytes. No candidate edits were made. The Gaussian solved policy is credited to **Taylor (gtmcknight)** in the supplied contract header.

| Arm | Source SHA-256 (measured, matched required hash) | getName() (EVM call) | Runtime bytes |
|---|---|---|---:|
| [candidate](https://api.imdnotdead.fun/artifacts/fce772b9057867b241350b8e44c05298c6c877871a26b58702a5af431726f6c5) | `d849c5f15d69499560b5c3ea08f55ad27153b393eba7abb7dd186f451ad46a24` | `TaylorGaussianPlainNet2` | 16077 |
| [t03](https://api.imdnotdead.fun/artifacts/2333ecf28d4356bd232b85c1e55842e94e1ada05e1cd067830b5625dfdbc5336) | `cb6d945511e1e10af78baa64c2a6cb25806f0998403ce6440654bfc3c70092d9` | `censored_10` | 14654 |
| [IB](https://api.imdnotdead.fun/artifacts/afd5183e9ff3235334e041c00b0cd19079599a2c6464db95f8c1586712105557) | `301941829a44bb60977bb28181a5e4bfa6544f3696763f987054789b2611d686` | `inputs_b` | 14528 |

Candidate validation: **PASS**. `. scratch/env.sh && amm-match validate contracts/src/Strategy.sol` exited 0 and returned:

```text
Strategy 'TaylorGaussianPlainNet2' validated successfully!
```

The pinned [compiler](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/evm/compiler.py) used Solidity 0.8.24, optimizer enabled with 200 runs, viaIR, and Paris EVM. The candidate runtime is below 24,576 bytes and the observed afterSwap peak is below 245,000 gas.

## Execution and pairing

Executed on Linux x86_64. Cloned amm-challenge at `6b6921f8d463314aa7c96234e1be25a25245f704` inside exempt `test/scratch/`. Saved the Setup shell block from [port-3](https://api.imdnotdead.fun/artifacts/0dbcc10af41b3c3467ff0d9b9cb64c81328fcf18295f9be06b2d81bb98874067) as checkout `scratch/setup.sh` and ran it exactly once from that checkout root. Setup exited 0; the wheel checksum passed and StarterStrategy validated. Every later runtime command sourced `scratch/env.sh`. No setup failure occurred.

Each arm ran alone against the compiled `Vanilla_30bps` through `amm_sim_rs.run_batch(list(creation_bytecode), list(vanilla_creation_bytecode), configs, 8)`. Score is `result.edges['submission']`. All eight candidate chunks finished before the first t03 chunk; all eight t03 chunks finished before IB began. Each arm consumed each assigned seed exactly once, in eight ascending, contiguous chunks of 32. Each chunk was a separate command wrapped in `timeout 470`; all exited 0, with no retries. Raw per-seed edge and gas records were retained in checkout `scratch/engine_<arm>_<start>_<end>.json` during work.

Configs directly reproduce [MatchRunner._build_configs](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/match.py) and the pinned [baseline settings](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/config.py): for seed i, `numpy.random.default_rng(i)` draws size uniformly in [19,21], then rate in [0.6,1.0], then sigma in [0.000882,0.001008]. The simulation seed is i. Other fields: 10,000 steps; initial price 100; reserves 100/10,000; mu 0; dt 1; retail buy probability 0.5; retail size sigma 1.2.

Differences are candidate edge minus comparator edge on the same seed. SE is the sample standard deviation of these differences (ddof=1), divided by sqrt(n). Statistics use the saved full precision floats; the CSV is rounded to nine decimals. No additional replica gates P/Q/F were rerun for this bounded scoring assignment.

| Pair | n | mean_diff | se | candidate mean | comparator mean |
|---|---:|---:|---:|---:|---:|
| candidate − t03 | 256 | 1.245320815 | 0.088490453 | 526.040572409 | 524.795251593 |
| candidate − IB | 256 | 1.987566017 | 0.091689683 | 526.040572409 | 524.053006392 |

### Candidate minus t03: tails

| rank | worst5 (seed, diff) | best5 (seed, diff) |
|---:|---|---|
| 1 | (9608339, -1.870919566) | (9608401, 5.320788442) |
| 2 | (9608411, -1.754809325) | (9608447, 4.763126486) |
| 3 | (9608227, -1.689067911) | (9608293, 4.716304536) |
| 4 | (9608211, -1.669158084) | (9608413, 4.683256934) |
| 5 | (9608282, -1.666010689) | (9608295, 4.416728260) |

### Candidate minus IB: tails

| rank | worst5 (seed, diff) | best5 (seed, diff) |
|---:|---|---|
| 1 | (9608372, -2.586839602) | (9608275, 5.764442293) |
| 2 | (9608385, -1.600084304) | (9608260, 5.623909911) |
| 3 | (9608339, -1.282737392) | (9608409, 5.570293712) |
| 4 | (9608411, -1.197268990) | (9608322, 5.333872452) |
| 5 | (9608211, -0.876642573) | (9608407, 5.282639299) |

## afterSwap gas measurements

Called `amm_sim_rs.gas_stats_reset()` immediately before each chunk and `amm_sim_rs.gas_stats()` immediately after it. Only records with role `Submission` and callback `afterSwap` are aggregated below. Baseline callbacks, initialization and getName are excluded. Mean gas is total successful gas / successful calls, weighted across chunks. All calls succeeded, so successful calls equal total calls.

| Arm | calls | OutOfGas | reverts | peak gas | sum successful gas | mean gas |
|---|---:|---:|---:|---:|---:|---:|
| candidate | 2771666 | 0 | 0 | 229310 | 364508464742 | 131512.406164 |
| t03 | 2776522 | 0 | 0 | 235370 | 376410768469 | 135569.164757 |
| IB | 2756588 | 0 | 0 | 234837 | 372777976455 | 135231.661915 |

Other Submission afterSwap counters (`other_halt`, `tx_error`, `bad_return`) are all zero for every chunk and arm.

### Per-chunk peaks, calls and timing

Ranges are inclusive. Times are measured wall seconds around `run_batch`, excluding setup, compilation and config generation. Seconds per seed = chunk seconds / 32, with eight workers.

| Arm | seeds | calls | peak gas | OOG | reverts | seconds | seconds/seed |
|---|---|---:|---:|---:|---:|---:|---:|
| candidate | 9608192–9608223 | 345331 | 229310 | 0 | 0 | 35.375406 | 1.105481431 |
| candidate | 9608224–9608255 | 349024 | 221954 | 0 | 0 | 26.751347 | 0.835979588 |
| candidate | 9608256–9608287 | 346430 | 221625 | 0 | 0 | 23.589274 | 0.737164825 |
| candidate | 9608288–9608319 | 343947 | 218932 | 0 | 0 | 20.922842 | 0.653838798 |
| candidate | 9608320–9608351 | 342107 | 219843 | 0 | 0 | 16.441833 | 0.513807274 |
| candidate | 9608352–9608383 | 344361 | 218787 | 0 | 0 | 16.748881 | 0.523402520 |
| candidate | 9608384–9608415 | 348548 | 223554 | 0 | 0 | 22.945878 | 0.717058674 |
| candidate | 9608416–9608447 | 351918 | 224221 | 0 | 0 | 23.669918 | 0.739684939 |
| t03 | 9608192–9608223 | 345886 | 232506 | 0 | 0 | 21.575938 | 0.674248055 |
| t03 | 9608224–9608255 | 349633 | 232505 | 0 | 0 | 23.134590 | 0.722955927 |
| t03 | 9608256–9608287 | 346913 | 235247 | 0 | 0 | 15.610862 | 0.487839431 |
| t03 | 9608288–9608319 | 345098 | 235370 | 0 | 0 | 15.730456 | 0.491576754 |
| t03 | 9608320–9608351 | 343274 | 232450 | 0 | 0 | 19.463915 | 0.608247332 |
| t03 | 9608352–9608383 | 344512 | 232627 | 0 | 0 | 23.768028 | 0.742750868 |
| t03 | 9608384–9608415 | 348730 | 235247 | 0 | 0 | 23.163608 | 0.723862737 |
| t03 | 9608416–9608447 | 352476 | 232399 | 0 | 0 | 21.470203 | 0.670943849 |
| IB | 9608192–9608223 | 343280 | 213480 | 0 | 0 | 17.964729 | 0.561397783 |
| IB | 9608224–9608255 | 347188 | 232022 | 0 | 0 | 22.351277 | 0.698477402 |
| IB | 9608256–9608287 | 344423 | 213479 | 0 | 0 | 23.486022 | 0.733938187 |
| IB | 9608288–9608319 | 343011 | 234837 | 0 | 0 | 19.855796 | 0.620493621 |
| IB | 9608320–9608351 | 340800 | 231832 | 0 | 0 | 20.630105 | 0.644690797 |
| IB | 9608352–9608383 | 342037 | 232015 | 0 | 0 | 18.710340 | 0.584698133 |
| IB | 9608384–9608415 | 346348 | 231981 | 0 | 0 | 14.108626 | 0.440894552 |
| IB | 9608416–9608447 | 349501 | 227269 | 0 | 0 | 15.924783 | 0.497649454 |

| Arm | seeds run | total run_batch seconds | seconds/seed | seeds not run |
|---|---:|---:|---:|---|
| candidate | 256 | 186.445378 | 0.728302256 | none |
| t03 | 256 | 163.917598 | 0.640303119 | none |
| IB | 256 | 153.031678 | 0.597779991 | none |

Every assigned seed was run for each arm. There are no missing seeds and no imputed scores. The total measured engine time across all three arms is 503.394654 seconds.

## Per-seed scores

```csv
seed,candidate,t03,IB
9608192,482.168368780,480.763928286,480.830263346
9608193,447.037378819,446.830059102,445.460207521
9608194,391.457930500,390.431579172,389.917252592
9608195,481.252505707,480.010014415,479.876504249
9608196,529.460416678,528.554548390,528.663541432
9608197,390.885157403,389.875658545,387.603106351
9608198,650.553540418,646.777285543,646.093824040
9608199,616.295173020,615.189056311,614.642630709
9608200,345.627211658,346.299914737,345.568315628
9608201,651.122349273,648.658849182,649.174011245
9608202,539.726394717,538.528836899,536.956305491
9608203,562.798133948,560.194748552,558.777963834
9608204,451.076656654,449.822545453,448.873938258
9608205,373.332996075,373.315186632,373.168936046
9608206,804.396024870,800.749970350,801.607623957
9608207,458.725435401,456.369024704,455.239339217
9608208,474.797674012,473.713769416,472.987008988
9608209,470.765123113,467.774224978,467.792568417
9608210,693.974406569,691.207428537,689.441356256
9608211,417.759362116,419.428520200,418.636004689
9608212,509.525597123,508.064693430,507.535502809
9608213,568.774102485,568.207706398,568.879265252
9608214,588.246481546,587.894545279,588.821656048
9608215,531.766971879,530.300539095,528.654643387
9608216,575.935423038,575.921576620,574.493141991
9608217,644.579433446,642.893580418,641.579205474
9608218,526.884966286,525.608589717,524.661411666
9608219,438.215144295,435.621089962,434.367929749
9608220,560.635722466,558.030429799,558.461777179
9608221,678.943750859,675.763966079,675.601359739
9608222,586.785979827,584.650154928,584.105381138
9608223,530.100033391,526.779674356,527.853362607
9608224,559.280353890,559.799329710,558.544577505
9608225,586.931716530,588.149627621,587.279265004
9608226,510.860988508,508.919893590,506.982934094
9608227,625.499661752,627.188729662,625.387252629
9608228,394.417840154,393.955512564,393.669111116
9608229,586.092624847,583.756910553,584.045603540
9608230,581.438398241,578.442596072,578.408871264
9608231,455.528934980,455.279626878,454.571331635
9608232,534.937374807,533.173860048,532.671876040
9608233,469.255088637,467.740183642,465.172899073
9608234,714.022349520,710.245444687,709.945373931
9608235,501.602970225,503.035358214,501.370197310
9608236,432.146033962,433.635489036,431.030508723
9608237,685.480423455,683.304870390,681.972555199
9608238,443.318779276,441.810331323,441.121482235
9608239,432.507650292,431.959124728,431.168379861
9608240,599.135746735,596.399310689,596.080062902
9608241,577.932241460,575.349269620,573.846924287
9608242,446.656919076,446.049471830,444.622677402
9608243,487.111043316,486.524707100,486.130329813
9608244,578.428629682,577.560146828,576.952423041
9608245,469.075011618,469.296470698,467.898972238
9608246,570.676439179,570.308269741,569.976577236
9608247,473.704614729,470.963791816,471.179946730
9608248,561.590034128,562.085630049,561.343274242
9608249,707.508673154,705.015363402,703.413051850
9608250,552.299645652,548.961693927,548.963945605
9608251,442.743008337,441.785623515,441.380672343
9608252,707.524663092,707.300503551,704.987167642
9608253,398.563922294,398.210978443,398.247109123
9608254,488.375853890,488.249633607,487.863894935
9608255,503.874094637,501.289198969,501.052166069
9608256,455.006489059,454.604224446,454.275582140
9608257,469.753174138,470.134053928,467.493221829
9608258,446.011476749,444.065670598,444.849432787
9608259,655.056176238,653.845579936,652.921299048
9608260,672.334136752,669.781470992,666.710226842
9608261,650.645742132,650.516211687,649.537240447
9608262,445.449179329,444.438139554,443.022430935
9608263,525.648405484,522.524938020,520.885175407
9608264,519.885766083,517.723390551,515.972678141
9608265,402.388456099,401.114845874,400.450586713
9608266,458.386750190,457.469135606,456.647342013
9608267,535.644047470,533.920161309,533.165225701
9608268,581.861914848,579.208111839,579.213093802
9608269,561.348113242,558.694712378,558.185122360
9608270,601.310462739,599.993044371,599.262494317
9608271,562.879559703,561.417137947,561.899301258
9608272,426.866924977,425.536517212,424.525063088
9608273,450.132855196,448.553169546,446.802975519
9608274,662.249823145,659.116863971,658.884991205
9608275,703.918521300,699.836962075,698.154079007
9608276,576.998369231,577.134898530,576.308734195
9608277,470.442845263,469.894628779,468.759234543
9608278,412.026977423,410.841678817,409.179755181
9608279,421.132874955,420.647505172,419.271860996
9608280,479.442332831,476.321440067,475.750994726
9608281,536.719851173,538.052288750,536.849848629
9608282,469.311165165,470.977175854,469.889881594
9608283,409.414207399,407.372359931,407.055366310
9608284,661.016671758,658.489232933,656.689007565
9608285,560.874250265,559.214928618,557.824775175
9608286,431.426456122,431.928498070,431.791907523
9608287,435.518267283,436.576210187,435.835747150
9608288,369.277165051,369.827584974,368.859040032
9608289,526.582300176,524.168175953,523.782908553
9608290,465.122966454,464.476079494,463.917841540
9608291,652.319944477,649.652111414,648.751517334
9608292,613.683621976,612.238050224,612.527055873
9608293,673.051218826,668.334914290,668.354829787
9608294,530.821639190,529.064500977,527.822405255
9608295,759.981491792,755.564763533,755.967485645
9608296,464.104805493,464.070563119,463.379043164
9608297,409.941771783,409.662968327,409.023509591
9608298,385.361044926,385.740649323,384.877946824
9608299,454.004478063,455.431831247,454.419703299
9608300,521.958340687,521.537442941,519.852916949
9608301,547.256139437,545.845204349,545.733078089
9608302,370.517858515,371.965631367,371.320564029
9608303,499.102071980,497.429673018,496.230134098
9608304,485.620913897,484.755229057,484.029666141
9608305,531.038404197,530.196891419,529.961833681
9608306,473.839757285,472.931724145,472.254661929
9608307,539.961506687,537.351453721,537.949559809
9608308,425.185340983,425.661588887,425.275665720
9608309,441.433321253,440.292370987,439.343757350
9608310,553.464947027,553.841337670,552.926746901
9608311,587.565612441,586.078473544,585.166506241
9608312,619.988412620,618.898962932,619.081349378
9608313,622.330275017,622.187905225,621.055468418
9608314,472.253919066,471.078640990,470.896027489
9608315,428.454155319,428.226832277,427.612047314
9608316,394.102144508,394.386731588,394.273509488
9608317,565.438720020,563.941112203,562.739888782
9608318,355.210952719,356.029208034,354.422846795
9608319,574.615184725,571.361862694,571.084184144
9608320,445.389925113,446.469678650,445.409928355
9608321,503.759308969,502.654958774,501.441881908
9608322,680.482807565,676.810494327,675.148935112
9608323,534.587745638,535.960272493,535.097048227
9608324,594.765776576,594.842235826,594.807490211
9608325,584.762697127,582.620222698,581.246987558
9608326,550.828300845,547.634962966,546.511171932
9608327,490.927348924,489.198228887,488.962204840
9608328,566.569757520,565.780359777,565.043578964
9608329,500.107954559,498.870816249,499.020711168
9608330,470.771324789,470.086767831,470.586457854
9608331,593.063134645,590.156042667,589.816512697
9608332,527.499471852,525.506671801,523.049007274
9608333,517.184985643,514.676075462,513.789581709
9608334,609.573610181,607.145527828,605.985624134
9608335,467.251530116,466.307065372,465.411269530
9608336,496.945660376,495.615633969,495.434058700
9608337,597.372365110,597.065437836,596.598222153
9608338,597.348533189,595.245837728,595.651845287
9608339,488.048436118,489.919355684,489.331173509
9608340,518.464944128,517.909771525,517.790583155
9608341,428.425537747,429.732994848,428.399390032
9608342,475.671615613,474.446826924,474.245447164
9608343,429.521548901,428.772937571,428.135089099
9608344,352.737368706,354.066325645,353.085458687
9608345,430.309042190,431.406000602,429.790169184
9608346,505.136894491,503.694994896,502.853688264
9608347,607.405089706,603.828532610,602.690036779
9608348,518.351378453,515.882658478,514.869871086
9608349,514.134512386,512.562697321,511.349818871
9608350,493.331484897,489.628354714,489.829292847
9608351,472.276893836,470.766215063,470.048044229
9608352,609.753143656,605.819973546,606.628223703
9608353,614.384714025,612.253227298,611.877339197
9608354,434.263193314,433.187392978,432.976331490
9608355,503.062054682,502.896006273,499.655200945
9608356,643.200482371,641.467444968,641.212647991
9608357,594.610604177,594.115925674,594.201684757
9608358,415.299187300,414.406078337,413.910731475
9608359,666.770179018,666.183679513,664.193654689
9608360,542.049154694,539.379905678,536.959647463
9608361,484.959804695,484.417184416,483.368700097
9608362,716.927148826,713.698970297,712.111937575
9608363,417.364022943,416.362130166,415.943286539
9608364,404.503211715,405.588896439,403.833410574
9608365,680.722023208,678.887876949,679.041330600
9608366,602.916015347,599.637731025,600.415818674
9608367,594.768081480,593.254478520,591.789254011
9608368,533.543110709,531.846842109,531.377703396
9608369,510.459629877,508.458225501,507.539484569
9608370,442.474084995,441.630604929,441.603512574
9608371,493.818628973,492.712461291,491.742422954
9608372,607.168200102,607.635526041,609.755039704
9608373,579.628584282,579.858593620,577.502852468
9608374,569.560348867,567.831422378,566.670003762
9608375,431.111059619,428.863953926,427.890024530
9608376,375.372690167,375.339598882,374.882633827
9608377,638.714836444,637.185951096,636.797328239
9608378,591.218603685,591.883014576,589.498001944
9608379,552.274520160,552.107499777,551.072959813
9608380,599.075079937,597.933630903,597.144884554
9608381,343.241733348,343.224517229,342.786411843
9608382,454.993675607,452.821525052,452.305951078
9608383,393.162051791,393.374952013,392.019582374
9608384,500.780915438,501.202998475,500.117880525
9608385,567.868724656,568.722018956,569.468808960
9608386,426.554953487,427.341624828,425.491952225
9608387,522.029337095,520.724010791,520.777003717
9608388,619.486798825,618.533406010,618.699033926
9608389,598.426434258,595.378274727,594.603635419
9608390,483.320619106,482.004917008,481.381192533
9608391,422.606577609,422.159250413,421.426919621
9608392,397.168775569,397.890466687,397.544032733
9608393,582.767259989,579.406991948,580.555629684
9608394,599.410411949,598.317402910,596.238261674
9608395,457.774533609,456.042744093,455.823634041
9608396,467.476956172,466.970434673,466.088494045
9608397,542.880080173,542.546767970,542.550574265
9608398,637.229730021,634.986990491,634.091774683
9608399,433.878400771,433.579491535,433.242053806
9608400,625.220256580,623.885225284,623.726650756
9608401,620.270167549,614.949379107,617.699303348
9608402,551.923544311,550.155655165,549.601215948
9608403,577.007286544,573.441849507,572.883980002
9608404,512.667015648,511.535545550,510.881027301
9608405,527.816562496,524.811508173,524.582019177
9608406,463.799864031,462.486780829,461.209897520
9608407,687.289078453,683.304381812,682.006439154
9608408,514.057350446,512.352809780,511.350195474
9608409,585.671027485,583.582530909,580.100733773
9608410,437.569163341,437.489790098,436.646496744
9608411,405.325611567,407.080420892,406.522880558
9608412,437.718277864,437.656019859,437.286049692
9608413,674.385232753,669.701975818,670.131789359
9608414,571.037616926,568.574499331,567.156477525
9608415,670.323522069,666.664360717,666.044873409
9608416,518.135688454,516.778518874,515.552783214
9608417,606.629420104,605.008801211,603.514801367
9608418,498.816328297,496.535364803,495.247605286
9608419,537.739504729,538.091843400,537.456133663
9608420,581.947682296,578.764254051,579.374832456
9608421,558.592030089,556.359767078,554.574065784
9608422,726.870941079,723.473803089,723.276404546
9608423,453.638864527,452.677127910,451.760554199
9608424,527.103342729,524.967039980,524.079830218
9608425,661.058901754,658.847179746,659.730509704
9608426,483.418959107,483.927891380,483.232273828
9608427,605.456086240,604.640675020,602.904599763
9608428,420.975622665,420.202724004,419.515238894
9608429,512.302280462,511.624384878,510.318476723
9608430,502.300427011,500.303687876,500.061341480
9608431,534.248422418,533.538902614,531.701370114
9608432,468.936850921,467.311991194,466.774282331
9608433,659.788635480,659.637958095,658.590753497
9608434,520.320121201,519.053933033,517.721075091
9608435,376.527373565,376.616204819,376.370480585
9608436,631.590120780,628.986607452,627.575349429
9608437,621.803243500,621.476740162,620.768830050
9608438,416.929704003,416.044625639,416.578940347
9608439,414.613527599,413.968359324,413.299954596
9608440,373.748509396,372.603878780,372.343459017
9608441,549.752882307,549.651341946,548.202626756
9608442,497.825479337,498.301048177,497.027762733
9608443,514.940473822,513.411632322,512.427739579
9608444,570.992065049,570.744494909,569.649008369
9608445,477.797333807,476.990867667,476.652327539
9608446,468.291395644,466.285737947,464.900867748
9608447,630.355138810,625.592012324,625.750738169
```

## Local checks

Checked exact source hashes, validation exit status, runtime size, eight completed chunks per arm, exact coverage of 9608192–9608447 without duplicate rows, matching source hash in each chunk, finite scores, zero callback error counters, paired statistics, JSON parsing, CSV values, and the 64,000-byte report limit. External links identify supplied inputs and methodology; all performance figures above come from this run.