# tb4: trim-1 confirmation on seeds 9608960..9609215

Credit: Taylor (gtmcknight) for the Gaussian plain-table policy. Candidate source: [trim-1](https://api.imdnotdead.fun/artifacts/fce772b9057867b241350b8e44c05298c6c877871a26b58702a5af431726f6c5). No policy changes were made.

## Identity and validation

- Platform: Linux x86_64. Pinned challenge checkout `6b6921f8d463314aa7c96234e1be25a25245f704`; supplied setup script executed once and passed, including StarterStrategy validation.
- Candidate SHA-256: `d849c5f15d69499560b5c3ea08f55ad27153b393eba7abb7dd186f451ad46a24` (matched).
- `amm-match validate contracts/src/Strategy.sol`: PASS.
- Executed `getName()`: `TaylorGaussianPlainNet2`; compiled deployed runtime: **16,077 bytes** (limit 24,576).
- [t03](https://api.imdnotdead.fun/artifacts/2333ecf28d4356bd232b85c1e55842e94e1ada05e1cd067830b5625dfdbc5336) source SHA-256: `cb6d945511e1e10af78baa64c2a6cb25806f0998403ce6440654bfc3c70092d9` (matched).
- [IB](https://api.imdnotdead.fun/artifacts/afd5183e9ff3235334e041c00b0cd19079599a2c6464db95f8c1586712105557) source SHA-256: `301941829a44bb60977bb28181a5e4bfa6544f3696763f987054789b2611d686` (matched).

## Method

Local measurements below use amm_sim_rs 0.1.0.post1, pinned wheel SHA-256 `aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a` (verified). Each strategy ran alone against compiled `VanillaStrategy` (`Vanilla_30bps`) through `amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8)`. Arms ran in candidate, t03, IB order, each in ascending 32-seed chunks, exactly once per arm and seed. Each command was bounded below eight minutes.

Configs transcribe [MatchRunner._build_configs](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/match.py) using `default_rng(seed)` and uniform size, rate, sigma draws in that order; [baseline settings](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/config.py) provide 10,000 steps and all remaining fields. Size range [19,21], rate [0.6,1.0], sigma [0.000882,0.001008]; simulation seed equals config seed. Compilation uses the unchanged [compiler](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/evm/compiler.py), solc 0.8.24, optimizer 200, viaIR, Paris. Prior port gates are not rerun in this bounded scoring item.

Score is submission edge. Differences pair identical seeds; SE is sample SD (ddof=1) divided by sqrt(n). Statistics use unrounded scores. These are local engine measurements; source links identify inputs and method, not independent certification of these results.

## Paired results

| Comparison | n | mean_diff | se | Candidate mean | Comparator mean |
|---|---:|---:|---:|---:|---:|
| Candidate − t03 | 256 | 1.407142153304 | 0.082703961147 | 529.499599758891 | 528.092457605587 |
| Candidate − IB | 256 | 2.150000926390 | 0.094389416721 | 529.499599758891 | 527.349598832501 |

t03 worst5: (9609054, -1.875461283800), (9609033, -1.685387578929), (9609164, -1.441312744389), (9609104, -1.357376019868), (9609055, -1.295577647626).
t03 best5: (9608965, 7.175255150377), (9609091, 6.682111632254), (9609187, 5.096127594758), (9609098, 4.226562621303), (9609184, 4.184187688010).


IB worst5: (9609108, -2.451153135731), (9609194, -1.994268983095), (9609054, -1.070635805312), (9609106, -0.689982510968), (9609092, -0.539708307476).
IB best5: (9608965, 9.068613885015), (9609091, 7.825081050969), (9608979, 7.023063338628), (9609198, 6.730363812821), (9609064, 6.161252285660).

## Submission afterSwap gas

Counters reset immediately before every chunk; `gas_stats()` captured immediately after. Mean is total `sum_ok_gas` / total `ok`. Only Submission afterSwap is included.

| Arm | calls | ok | OutOfGas | revert | peak gas | mean gas | sum_ok_gas |
|---|---:|---:|---:|---:|---:|---:|---:|
| candidate | 2772893 | 2772893 | 0 | 0 | 233269 | 131512.151627921 | 364669124664 |
| t03 | 2778127 | 2778127 | 0 | 0 | 235405 | 135563.841685423 | 376613568810 |
| IB | 2757479 | 2757479 | 0 | 0 | 234868 | 135227.680343169 | 372887488765 |

All arms: other_halt, tx_error, and bad_return counts are zero.

| Arm | First seed | Last seed | Calls | OOG | Revert | Peak gas | Seconds | Seconds/seed |
|---|---:|---:|---:|---:|---:|---:|---:|---:|
| candidate | 9608960 | 9608991 | 342705 | 0 | 0 | 225307 | 13.189438 | 0.412170 |
| candidate | 9608992 | 9609023 | 338575 | 0 | 0 | 217495 | 12.754824 | 0.398588 |
| candidate | 9609024 | 9609055 | 336237 | 0 | 0 | 221643 | 12.677753 | 0.396180 |
| candidate | 9609056 | 9609087 | 349988 | 0 | 0 | 233269 | 13.255809 | 0.414244 |
| candidate | 9609088 | 9609119 | 352787 | 0 | 0 | 218479 | 13.466169 | 0.420818 |
| candidate | 9609120 | 9609151 | 348087 | 0 | 0 | 220714 | 13.501875 | 0.421934 |
| candidate | 9609152 | 9609183 | 356499 | 0 | 0 | 227527 | 13.581557 | 0.424424 |
| candidate | 9609184 | 9609215 | 348015 | 0 | 0 | 221803 | 13.634027 | 0.426063 |
| t03 | 9608960 | 9608991 | 343715 | 0 | 0 | 235405 | 11.531654 | 0.360364 |
| t03 | 9608992 | 9609023 | 340201 | 0 | 0 | 232494 | 11.276587 | 0.352393 |
| t03 | 9609024 | 9609055 | 338083 | 0 | 0 | 232494 | 11.227821 | 0.350869 |
| t03 | 9609056 | 9609087 | 349950 | 0 | 0 | 232615 | 11.648221 | 0.364007 |
| t03 | 9609088 | 9609119 | 352512 | 0 | 0 | 232494 | 11.472742 | 0.358523 |
| t03 | 9609120 | 9609151 | 348853 | 0 | 0 | 235394 | 11.552005 | 0.361000 |
| t03 | 9609152 | 9609183 | 356648 | 0 | 0 | 232537 | 11.738734 | 0.366835 |
| t03 | 9609184 | 9609215 | 348165 | 0 | 0 | 213931 | 11.430637 | 0.357207 |
| IB | 9608960 | 9608991 | 341148 | 0 | 0 | 234868 | 11.783056 | 0.368220 |
| IB | 9608992 | 9609023 | 338126 | 0 | 0 | 231917 | 11.599400 | 0.362481 |
| IB | 9609024 | 9609055 | 335935 | 0 | 0 | 232010 | 11.199367 | 0.349980 |
| IB | 9609056 | 9609087 | 347097 | 0 | 0 | 232023 | 11.298608 | 0.353082 |
| IB | 9609088 | 9609119 | 349743 | 0 | 0 | 213481 | 11.364113 | 0.355129 |
| IB | 9609120 | 9609151 | 346119 | 0 | 0 | 234825 | 11.036055 | 0.344877 |
| IB | 9609152 | 9609183 | 353595 | 0 | 0 | 231877 | 12.334399 | 0.385450 |
| IB | 9609184 | 9609215 | 345716 | 0 | 0 | 213374 | 11.596201 | 0.362381 |

## Timing and coverage

Elapsed seconds cover run_batch only, including engine gas instrumentation and eight-worker execution; setup and compilation excluded. Seconds/seed are amortized wall time, not individually timed seeds.

| Arm | Seeds run | Seconds | Seconds/seed | Seeds not run |
|---|---:|---:|---:|---|
| candidate | 256 | 106.061453 | 0.414303 | None |
| t03 | 256 | 91.878401 | 0.358900 | None |
| IB | 256 | 92.211199 | 0.360200 | None |

## Per-seed submission edges

Rounded to nine decimals. Empty values mean not run.

```csv
seed,candidate,t03,IB
9608960,467.585091681,465.930423096,465.448258508
9608961,696.169276336,695.750691533,694.626463344
9608962,433.265203553,431.298751320,430.397938270
9608963,379.267070217,380.518265084,379.174701791
9608964,507.574228081,506.908298509,506.350037311
9608965,544.581536669,537.406281519,535.512922784
9608966,594.682582369,592.863680924,591.216132568
9608967,516.889970935,515.850037822,514.620775029
9608968,422.146152715,420.523163090,421.084297296
9608969,545.973025450,544.535116635,542.244276207
9608970,664.235077111,663.402919480,662.609292440
9608971,667.132762960,664.945399607,664.736354753
9608972,463.880214289,463.444044780,462.936730211
9608973,646.519213681,645.203057577,644.824471376
9608974,478.680563928,477.703969651,478.054072264
9608975,656.984480912,656.796804565,655.262098830
9608976,698.732731568,697.391887191,697.945980773
9608977,471.247902511,470.548290202,467.546379319
9608978,471.086622073,470.242726375,469.915644875
9608979,688.819178505,684.990353089,681.796115167
9608980,477.195833779,476.193283756,475.378661151
9608981,510.057560337,507.716606734,507.972902748
9608982,451.373121444,449.646511438,448.012068934
9608983,680.903619342,677.659628196,676.309039039
9608984,509.804585639,510.222878700,508.723812027
9608985,554.842860202,551.806903826,551.045489546
9608986,461.905668457,460.987076980,460.655407410
9608987,455.690598865,455.592995628,454.739495847
9608988,547.469710151,546.727003554,545.817743570
9608989,483.459054587,480.901544441,481.588062714
9608990,554.934858089,553.845111787,553.398085200
9608991,489.526522843,490.254708615,488.780405112
9608992,483.989467476,481.743400763,480.207706211
9608993,502.295402553,501.174493959,499.512211749
9608994,566.177086354,564.961190621,564.732700223
9608995,423.462329508,423.055481133,422.359298177
9608996,528.084629959,527.558167151,527.248545241
9608997,400.466005247,400.012230536,398.664127527
9608998,587.690635298,585.115551581,585.477341629
9608999,426.220508439,424.127952185,423.665239621
9609000,455.069956134,454.522291237,453.835945846
9609001,458.445919984,458.235454805,457.186503533
9609002,472.424371916,468.576361096,467.741157712
9609003,369.721949380,369.458644270,368.587530755
9609004,472.272270424,471.168235563,469.377163123
9609005,578.534244536,576.873734384,576.346573282
9609006,510.576369526,509.614807371,510.160123506
9609007,608.527618169,606.749338885,606.110836136
9609008,602.307828517,600.260683471,599.623277647
9609009,563.472187744,560.003512952,558.738744705
9609010,444.634191858,442.354548863,442.355757572
9609011,689.312853824,685.893848367,684.173538146
9609012,535.403593106,531.285106366,531.711268698
9609013,428.284875997,427.933368026,426.753192777
9609014,526.841339331,525.051884746,524.849059339
9609015,392.918393610,393.158332046,391.749738922
9609016,526.344213795,524.703312163,523.970753664
9609017,445.855578781,444.961992531,444.561658772
9609018,463.585902044,463.857989186,462.920101790
9609019,438.772041214,437.657301522,437.264607706
9609020,513.303555536,511.805258118,510.666901292
9609021,519.534005344,517.307629143,516.897648949
9609022,608.049558770,604.804564730,603.826161613
9609023,586.227353335,583.073318423,582.755478329
9609024,533.929544996,533.880756353,533.557779870
9609025,471.542874612,469.953905881,469.288818796
9609026,414.224786550,413.306598130,413.133646977
9609027,622.703075393,619.182564298,619.072775218
9609028,467.190237137,465.127125579,464.167540929
9609029,492.751937279,490.728014047,489.870967706
9609030,497.805508343,496.422221329,495.107578901
9609031,668.698976010,666.145180158,665.672599853
9609032,397.862029989,398.101282512,396.150110680
9609033,336.399251085,338.084638664,336.602264660
9609034,434.814513876,434.875609214,433.943327186
9609035,525.450486750,524.195031621,523.283893198
9609036,463.420882414,462.050995087,461.066098734
9609037,345.872163443,346.682286061,345.607806306
9609038,531.234718440,527.477340549,526.965975923
9609039,447.717904568,448.999501452,448.162763274
9609040,392.167933768,391.820336203,390.653353539
9609041,629.860829462,628.138241014,628.307517111
9609042,549.966553289,545.934884394,544.495638427
9609043,552.749826903,549.977282983,549.541956865
9609044,477.307754024,475.233750706,475.190932488
9609045,385.454956357,383.894346342,383.749493350
9609046,504.653407542,504.269204247,502.043666698
9609047,602.548109192,599.935616168,599.052253476
9609048,418.623416146,417.554781059,417.254964770
9609049,417.412409434,417.683158026,417.640548702
9609050,492.262570004,491.711235079,492.556628600
9609051,380.422632316,379.195046796,378.993043370
9609052,510.953214725,511.204089426,510.082999474
9609053,592.321531102,590.353676540,591.170867046
9609054,495.735176056,497.610637340,496.805811862
9609055,556.296539723,557.592117370,555.440738599
9609056,600.798445504,598.457116800,598.094796804
9609057,559.168432390,557.719016979,556.845577158
9609058,484.388865057,482.481971558,481.119127207
9609059,550.277485778,549.576219767,549.805552494
9609060,504.454261836,502.370502481,502.770282641
9609061,474.865890073,474.708301087,472.944306427
9609062,696.646424440,695.608692661,693.004554183
9609063,489.561991777,487.989425095,487.430945664
9609064,671.426386449,667.676759553,665.265134164
9609065,644.428740533,643.619922227,642.330043546
9609066,560.438616050,558.952663375,558.723684178
9609067,527.581819131,526.450080629,525.436756058
9609068,495.732024905,494.797486360,493.708192988
9609069,491.196678544,491.615177129,490.255552587
9609070,527.798107818,525.134250922,523.375217507
9609071,613.383040237,610.188530647,608.980185291
9609072,609.993878929,609.302913115,607.780815254
9609073,431.225399024,430.097421449,428.720208338
9609074,682.672752003,680.017707690,680.560377122
9609075,650.830758613,648.873422278,647.844766799
9609076,406.068523886,404.800088804,403.843440315
9609077,476.923901885,476.472130415,474.615762431
9609078,513.338378276,511.988147518,511.300519253
9609079,368.967553535,369.330480584,368.748244957
9609080,629.559877317,626.699836555,627.009167214
9609081,513.631996560,512.010305963,511.280753052
9609082,553.976741223,551.174999079,550.939122083
9609083,653.025159329,650.228508922,649.618409268
9609084,458.860890692,458.764302301,457.830166318
9609085,465.358909797,463.839568936,462.904232710
9609086,466.065656839,464.696747558,464.244693803
9609087,519.058425743,518.843675402,517.892981416
9609088,588.467302939,587.621163742,587.023426654
9609089,691.784072238,692.240401778,691.227176986
9609090,506.370909565,506.574889380,504.372355459
9609091,743.876429542,737.194317910,736.051348491
9609092,461.914160333,463.186184152,462.453868640
9609093,574.919896665,574.452658852,575.075932813
9609094,370.279549018,369.029293083,369.204647302
9609095,511.895454275,509.652192332,508.259268690
9609096,664.811273298,662.286817164,661.173154343
9609097,593.192899213,591.579700472,591.989480813
9609098,610.945507444,606.718944822,604.979814141
9609099,641.547496180,638.960530686,637.769529797
9609100,557.575336078,556.127795500,555.166827199
9609101,622.300350735,621.100474756,620.312030783
9609102,601.278009010,598.833293866,598.510066035
9609103,402.253240846,402.332559978,401.751541613
9609104,628.708953472,630.066329492,628.020001092
9609105,461.837274050,461.701795161,460.514868670
9609106,435.376116369,435.192002283,436.066098880
9609107,464.916069213,463.923527312,462.990784020
9609108,530.001998371,526.966927537,532.453151507
9609109,576.401028203,574.669716661,573.439915486
9609110,380.813040056,381.455001683,381.106541559
9609111,497.894130158,496.977113732,496.500593830
9609112,637.684426149,635.555468820,634.345184897
9609113,478.048830640,476.552050760,474.742230262
9609114,542.374622513,541.550193202,541.626186706
9609115,543.837637897,541.855639519,541.449736544
9609116,653.031765299,652.820303712,650.913866456
9609117,688.693523656,684.882922336,684.214415310
9609118,547.784054084,545.943763997,545.755630571
9609119,770.108848062,767.460362129,765.836056456
9609120,420.164332614,419.774482510,419.422682450
9609121,659.651881869,658.818654758,658.030393575
9609122,586.062529656,584.096030222,583.672428144
9609123,576.572026636,574.256244214,572.396387706
9609124,586.542734478,584.366815301,584.260684298
9609125,573.043855305,571.457342896,569.874984816
9609126,506.301406932,506.285289495,505.305931744
9609127,565.096424611,564.193985076,564.001165846
9609128,615.064326526,612.996229809,611.995152744
9609129,523.507835592,522.284526878,521.188246337
9609130,451.376928833,448.603187086,447.840362915
9609131,451.325317471,448.585814274,447.997828023
9609132,530.522315537,529.849039454,528.650989822
9609133,677.416385120,675.334419493,674.808339541
9609134,582.622052841,580.062857750,578.886739578
9609135,455.948527640,455.266799882,454.181579616
9609136,490.209631093,488.867326872,489.153064196
9609137,533.942275487,530.907079475,531.110746078
9609138,655.027340650,655.302277749,654.445513209
9609139,536.028547909,535.165957607,534.482295391
9609140,369.209022991,369.485021828,369.556318437
9609141,390.500409149,389.372842421,388.347538563
9609142,712.544663781,708.987239871,707.013129497
9609143,570.710488634,567.239381238,566.804244129
9609144,467.788364102,466.666224464,465.740089419
9609145,532.178010591,531.197119144,529.714798615
9609146,391.306059655,389.862333235,389.341930324
9609147,384.503731793,383.729080289,383.893096056
9609148,495.747672306,495.544408045,494.931030908
9609149,467.886442981,466.686463318,465.706769801
9609150,624.188155817,621.548848664,620.508358728
9609151,511.581087575,510.777230929,509.723632617
9609152,580.073350829,579.706394553,577.831462566
9609153,493.585328303,493.516641961,491.718941315
9609154,369.622135046,369.606522851,369.543751697
9609155,567.192460589,565.561038381,564.585479187
9609156,419.080508648,419.463123014,419.489774946
9609157,698.874461227,697.219841244,696.874590223
9609158,396.155452181,396.245350980,395.040890089
9609159,410.795555979,411.560424260,410.609813037
9609160,437.937907124,435.834413138,434.345723117
9609161,459.965064738,459.531705335,458.121591720
9609162,575.762239779,575.092554400,575.300801816
9609163,612.194088860,609.225463167,609.039607190
9609164,430.688809799,432.130122544,430.630337621
9609165,633.683588470,630.683472895,629.904545525
9609166,539.702102377,537.950027172,538.075719664
9609167,540.103550826,537.928954060,536.366879138
9609168,527.185028116,525.977235480,525.905259703
9609169,515.910793774,515.775407505,515.076452210
9609170,519.159685002,517.870308645,517.438680878
9609171,614.961715295,613.817962029,611.904103957
9609172,586.213690135,583.854258611,583.180622314
9609173,534.441097335,534.275110691,533.436352523
9609174,414.783577619,412.904208952,412.582457111
9609175,458.348732595,457.060584687,455.575516533
9609176,667.833748471,665.354561963,664.977745936
9609177,604.192996344,603.499933779,602.036488784
9609178,430.617697811,430.957469895,430.476862428
9609179,608.338929837,605.135296863,603.835374414
9609180,541.584939273,540.052210867,539.956910704
9609181,609.837102637,606.705813548,606.193224307
9609182,577.909583086,576.217174350,574.723232524
9609183,723.264467639,721.548475340,720.426216265
9609184,642.598451084,638.414263396,640.835433688
9609185,655.745419767,652.886960336,653.000094576
9609186,656.623839337,655.524013024,654.680369337
9609187,565.456713997,560.360586403,560.196186071
9609188,410.908337675,410.518881565,410.341997431
9609189,535.739660653,534.333549922,533.765403473
9609190,628.596112770,625.350501140,625.117381295
9609191,542.469895987,540.703247630,539.999919324
9609192,461.226274527,458.592947213,457.229933246
9609193,540.976546402,538.809894748,538.701498473
9609194,571.958539957,571.019049826,573.952808940
9609195,512.083848226,509.832008637,509.851825311
9609196,715.082528124,713.639670504,712.129300889
9609197,509.841245828,508.211950922,507.695786929
9609198,693.604401167,689.544948572,686.874037354
9609199,645.176517144,644.500268480,642.366861166
9609200,576.511576606,575.153813601,574.259435701
9609201,424.686760706,423.555479241,423.075450352
9609202,493.949419352,493.359113426,492.277111274
9609203,541.155732087,539.422310876,537.914233286
9609204,584.066585907,581.476655048,581.623901890
9609205,428.554547493,427.671972006,428.228576152
9609206,550.432443337,549.751527685,549.457601767
9609207,398.347346499,398.072604950,396.797052380
9609208,595.686558062,593.718982164,592.933266614
9609209,566.890773656,566.763817781,565.710206605
9609210,410.428111496,410.514623214,410.771578330
9609211,446.919225938,446.933905278,445.158871207
9609212,556.148526577,554.757836508,554.467660813
9609213,552.882339368,550.692195610,549.881746356
9609214,495.007970311,493.160441973,493.526192146
9609215,443.161024650,442.447940771,442.575041747
```