# ta4 — trim-1 confirmation on the real engine

All 256 requested seeds were run exactly once per arm, in order: candidate across all seeds, then t03 across all seeds, then IB. No seeds are missing. All results below are local measurements; upstream performance claims are not substituted for measurements. Taylor (gtmcknight) is credited for the solved Gaussian policy in the candidate header.

## Identity and validation

| Arm | Source SHA-256 | getName() | Runtime bytes |
|---|---|---|---:|
| candidate | `d849c5f15d69499560b5c3ea08f55ad27153b393eba7abb7dd186f451ad46a24` | `TaylorGaussianPlainNet2` | 16,077 |
| t03 | `cb6d945511e1e10af78baa64c2a6cb25806f0998403ce6440654bfc3c70092d9` | `censored_10` | 14,654 |
| IB | `301941829a44bb60977bb28181a5e4bfa6544f3696763f987054789b2611d686` | `inputs_b` | 14,528 |

Candidate SHA-256 matched the required value byte-for-byte. `amm-match validate contracts/src/Strategy.sol` passed: `Strategy 'TaylorGaussianPlainNet2' validated successfully!` Runtime 16,077 bytes is below 24,576. Sources: [candidate](https://api.imd.fun/artifacts/fce772b9057867b241350b8e44c05298c6c877871a26b58702a5af431726f6c5), [t03](https://api.imd.fun/artifacts/2333ecf28d4356bd232b85c1e55842e94e1ada05e1cd067830b5625dfdbc5336), [IB](https://api.imd.fun/artifacts/afd5183e9ff3235334e041c00b0cd19079599a2c6464db95f8c1586712105557).

## Paired results

Score is submission edge from each arm alone against `Vanilla_30bps`. Positive differences favor candidate. SE uses sample standard deviation (ddof=1) divided by sqrt(n), computed from unrounded scores.

| Comparison | n | mean_diff | SE | Candidate mean | Comparator mean |
|---|---:|---:|---:|---:|---:|
| candidate − t03 | 256 | 1.352337955 | 0.084981588 | 529.908043183 | 528.555705228 |
| candidate − IB | 256 | 2.153189333 | 0.094492656 | 529.908043183 | 527.754853850 |

candidate − t03:

- worst5: (9608124, -2.459284052), (9608177, -1.591257066), (9608062, -1.492890165), (9608053, -1.440581042), (9607958, -1.204310392)
- best5: (9607985, 6.286647779), (9607987, 5.748609537), (9608156, 5.556781640), (9608160, 5.167301483), (9608000, 4.208692376)

candidate − IB:

- worst5: (9607958, -1.224145712), (9608053, -1.101474985), (9608046, -0.949126118), (9608124, -0.892143262), (9608097, -0.676407737)
- best5: (9607985, 10.468429521), (9607987, 6.998595749), (9608000, 6.082138282), (9608156, 5.917692233), (9607974, 5.893391054)

## afterSwap gas

Submission-role figures only; Vanilla counters excluded. `gas_stats_reset()` ran immediately before each chunk, `gas_stats()` immediately after. Mean gas is sum_ok_gas / ok; every recorded call succeeded.

| Arm | Calls | OOG | Reverts | Peak gas | Mean gas | sum_ok_gas |
|---|---:|---:|---:|---:|---:|---:|
| candidate | 2,776,549 | 0 | 0 | 231,793 | 131506.559037136 | 365134404988 |
| t03 | 2,781,171 | 0 | 0 | 237,611 | 135546.994816572 | 376979371121 |
| IB | 2,758,985 | 0 | 0 | 237,052 | 135216.578757768 | 373060512544 |

Candidate peak is below 245,000 gas on this measured seed set. No other halts, transaction errors, or bad returns were recorded for afterSwap in any arm.

| Seed range (32 per chunk) | Candidate peak | t03 peak | IB peak |
|---|---:|---:|---:|
| 9607936..9607967 | 230,747 | 237,611 | 237,052 |
| 9607968..9607999 | 224,227 | 232,615 | 232,023 |
| 9608000..9608031 | 217,512 | 232,620 | 231,938 |
| 9608032..9608063 | 230,423 | 232,517 | 231,925 |
| 9608064..9608095 | 219,773 | 232,735 | 232,014 |
| 9608096..9608127 | 231,793 | 232,596 | 231,950 |
| 9608128..9608159 | 226,173 | 232,517 | 232,002 |
| 9608160..9608191 | 222,400 | 235,527 | 234,946 |

## Execution and timing

Linux x86_64. Challenge checkout pinned to `6b6921f8d463314aa7c96234e1be25a25245f704`; the [port-3 setup script](https://api.imd.fun/artifacts/0dbcc10af41b3c3467ff0d9b9cb64c81328fcf18295f9be06b2d81bb98874067) was saved as scratch/setup.sh and run once from checkout root. Setup exited 0, wheel checksum passed, StarterStrategy validation passed. Later engine/Solidity commands sourced scratch/env.sh. All temporary work is under test/scratch; no dependencies are required to read this report.

Compilation used the pinned [compiler](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/evm/compiler.py): solc 0.8.24, optimizer 200 runs, viaIR, Paris. Each run used `amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8)`, where X and VanillaStrategy are creation bytecode. Pinned wheel: amm_sim_rs 0.1.0.post1, SHA-256 `aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a`.

Configs follow [MatchRunner._build_configs](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/match.py) with the [baseline constants](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/config.py). For each actual seed i, `default_rng(i)` drew size U(19,21), then rate U(0.6,1.0), then sigma U(0.000882,0.001008); simulation seed was i. 10,000 steps, initial price 100, reserves 100/10,000, mu 0, dt 1, retail buy probability 0.5, retail size sigma 1.2.

Eight chunks of 32 seeds per arm. Each chunk was a separate command under `timeout 470`; all exited 0. Seconds below measure wall time inside run_batch, excluding setup, compilation and interpreter startup. Seconds per seed = chunk time / 32 or arm total / 256, with eight workers; these are throughput figures, not individual seed latencies.

| Arm | Seeds | run_batch seconds | Seconds per seed |
|---|---:|---:|---:|
| candidate | 256 | 218.735090293 | 0.854433946 |
| t03 | 256 | 186.858507495 | 0.729916045 |
| IB | 256 | 181.439905998 | 0.708749633 |

| Seed range | Candidate seconds/seed | t03 seconds/seed | IB seconds/seed |
|---|---:|---:|---:|
| 9607936..9607967 | 0.840784884 | 0.760171193 | 0.736595370 |
| 9607968..9607999 | 0.829934809 | 0.809056332 | 0.757476003 |
| 9608000..9608031 | 0.659739617 | 0.773269017 | 0.782024981 |
| 9608032..9608063 | 0.901088180 | 0.821230533 | 0.555337964 |
| 9608064..9608095 | 0.927907650 | 0.822869347 | 0.736345837 |
| 9608096..9608127 | 0.882977584 | 0.774762887 | 0.734398025 |
| 9608128..9608159 | 0.863703867 | 0.475631519 | 0.725485455 |
| 9608160..9608191 | 0.929334981 | 0.602337531 | 0.642333427 |

Seeds not run: candidate: none; t03: none; IB: none. No engine seeds outside 9607936..9608191 were used. P/Q/F were not rerun: this item scores the byte-exact supplied candidate, and makes no new reproduction claim for those gates.

## Per-seed CSV

All scores are measured submission edges, rounded to nine decimal places.

```csv
seed,candidate,t03,IB
9607936,474.472661200,473.486372966,471.921590757
9607937,593.819797121,592.199670937,591.128445712
9607938,430.401762817,430.584970295,429.495771693
9607939,583.656032025,582.524847183,582.541083697
9607940,506.123085277,504.319987180,503.282829831
9607941,447.582031118,446.993772231,446.610928428
9607942,452.927480073,451.046639140,451.021346498
9607943,470.485989464,469.682423784,469.714269961
9607944,539.631866547,540.189724250,538.870510510
9607945,412.294353880,411.076585405,409.659680311
9607946,598.336876949,598.464802896,596.758387851
9607947,516.448001596,515.717758695,515.254184390
9607948,715.771376619,712.398235751,710.581889042
9607949,438.772199401,436.571579881,436.402295685
9607950,393.309388507,394.024458028,393.700894084
9607951,401.090222878,398.901998183,399.020037538
9607952,618.421191359,616.919879070,617.076278849
9607953,441.855969197,441.392830393,441.263716332
9607954,609.248411272,607.576101805,605.532340054
9607955,524.034655170,523.117800059,521.770849224
9607956,541.609083231,542.051939094,541.160212222
9607957,572.005106154,570.094025515,570.459759864
9607958,619.167016857,620.371327250,620.391162569
9607959,397.370871490,396.056681888,395.269640418
9607960,569.578390685,566.738414529,565.551491235
9607961,501.600761026,499.630276332,498.395643743
9607962,549.606685042,548.053951567,546.313705623
9607963,783.343019685,780.689430666,780.350539347
9607964,621.401343485,619.734153967,619.273244976
9607965,521.035620430,520.325245942,519.501017399
9607966,504.087038962,502.428784562,502.695465729
9607967,386.316671766,386.592969933,385.480184031
9607968,635.587083612,634.140041779,633.715651863
9607969,517.325169779,514.782346280,512.572772940
9607970,649.804349917,646.784813339,646.805183722
9607971,502.080047053,501.161850588,501.460049887
9607972,685.828757564,682.723913507,680.570197893
9607973,510.708574286,509.033063023,508.261863457
9607974,638.813190413,634.925172705,632.919799359
9607975,499.908243619,496.905957176,494.714618162
9607976,565.218731524,565.361215973,563.215835312
9607977,407.238824191,405.427168193,404.416178360
9607978,611.203734841,608.869555457,607.601244473
9607979,590.283269940,588.215082743,588.563542615
9607980,431.814583375,430.734499239,431.288285319
9607981,645.027089659,641.854515717,640.703712354
9607982,647.342289124,645.520191308,645.178840053
9607983,394.689008633,393.978278100,393.007142819
9607984,425.337185002,424.410543900,423.946716041
9607985,663.052432449,656.765784669,652.584002928
9607986,604.998522585,602.752551340,601.960438519
9607987,705.655108670,699.906499133,698.656512922
9607988,601.736199114,602.035604153,600.170863826
9607989,512.034170539,512.000379477,511.394113585
9607990,626.274979504,623.706571580,623.785780561
9607991,371.653687827,372.130567305,371.827949528
9607992,377.246346244,377.018991601,376.213289643
9607993,444.596500290,445.506066580,443.587881983
9607994,533.399498981,531.352506231,529.897357262
9607995,481.073420553,481.283007834,480.799346240
9607996,584.300227455,582.042723019,581.962775492
9607997,451.579890868,450.884700514,449.678557310
9607998,506.259559459,503.412443832,503.305647441
9607999,479.002146214,479.926764925,478.810053168
9608000,717.644690491,713.435998115,711.562552210
9608001,671.815920405,670.538793274,670.335302237
9608002,461.026879497,460.955847102,459.699960236
9608003,632.549905624,630.557826883,628.910020286
9608004,576.322899228,574.798212851,574.046231329
9608005,389.600002492,388.316878539,388.510319881
9608006,372.249444614,371.672294387,372.528264984
9608007,521.121665703,520.725012749,519.766554048
9608008,365.378459969,365.286878636,364.695340964
9608009,360.776168609,361.511535328,360.354001836
9608010,468.666416719,468.077613059,466.845800768
9608011,633.968149487,632.341218911,631.247692864
9608012,658.981850861,655.978974635,655.749102976
9608013,558.719137394,558.433137942,557.746035043
9608014,532.080303527,530.607967931,531.423573647
9608015,512.898275176,510.887468181,510.007883010
9608016,548.757541623,546.001671686,544.876399901
9608017,535.599322922,533.608699489,532.897971975
9608018,649.944198812,647.214039495,645.440635157
9608019,536.647281979,533.572803834,532.180144157
9608020,613.417548347,610.560355285,610.269692666
9608021,485.424405917,482.775336702,483.335314974
9608022,589.304544965,587.858429816,588.072227527
9608023,667.046643297,665.543363403,665.204377019
9608024,496.328545935,493.983353341,491.748825391
9608025,588.117172088,587.514653265,585.158314878
9608026,437.472239862,437.306916130,436.567330743
9608027,678.283760056,675.875637507,675.275939847
9608028,386.023150728,386.707379618,386.043251797
9608029,467.437189998,466.050789937,464.566617035
9608030,680.743435096,678.883157036,678.452066692
9608031,500.368905637,499.908303000,499.356722298
9608032,498.550604066,497.866388246,497.011707568
9608033,506.921001706,507.152816831,506.647215160
9608034,637.755249110,636.132371474,634.709333400
9608035,418.465312252,418.258609619,416.595035358
9608036,440.947164533,439.767809892,439.061367813
9608037,400.657506640,400.825951009,400.595558718
9608038,549.479940543,547.182271489,546.965505634
9608039,534.538492090,533.910123817,532.892915310
9608040,455.953965160,456.858516288,456.240629873
9608041,584.876953201,584.794977018,584.242151570
9608042,531.012800570,530.353739383,528.761974232
9608043,628.618916083,626.472101634,626.134848561
9608044,629.714940068,625.761306773,624.706742364
9608045,553.360616734,551.760328091,550.915841311
9608046,500.692666768,500.892912700,501.641792886
9608047,433.416586820,432.095975619,431.056755004
9608048,568.879291845,566.294119589,565.424180155
9608049,509.173418679,508.282230861,508.214367802
9608050,652.681868139,650.941182944,650.548731654
9608051,580.487616979,580.938207955,578.740579455
9608052,475.613763051,474.179421495,474.688473576
9608053,476.010795230,477.451376272,477.112270215
9608054,617.314356408,613.644278927,613.764769886
9608055,544.413788373,541.653682025,542.074922500
9608056,585.068673615,584.858065099,583.710028835
9608057,502.949116048,503.946922587,502.671089040
9608058,479.911779401,478.943006875,478.201198818
9608059,544.697529454,543.435648182,541.841805682
9608060,414.556028720,412.744342363,411.839441061
9608061,524.813033072,524.468641102,522.768712207
9608062,505.444035249,506.936925414,505.035721123
9608063,461.829072455,461.059861762,460.197072500
9608064,635.178551781,633.848143375,632.511944646
9608065,468.125060921,466.374645251,464.620289359
9608066,498.430987831,496.634034139,495.715164750
9608067,652.665291722,651.047342571,650.445611351
9608068,675.088453217,673.783322876,672.172277386
9608069,562.303629249,560.609221010,559.871814373
9608070,708.089606370,704.517507693,703.064148300
9608071,609.557119604,607.528876503,605.793798604
9608072,483.325016445,480.984705794,479.421319305
9608073,595.093670346,591.038588840,591.294653875
9608074,533.212487002,531.907435136,530.544064421
9608075,495.762462125,493.428755649,492.631688081
9608076,652.622880419,650.807979929,650.577676270
9608077,517.811616909,517.245336770,516.824087771
9608078,514.371340196,512.172089970,512.004264871
9608079,521.472376181,518.538503660,518.347944572
9608080,553.871145233,551.534139845,551.383174677
9608081,487.576163407,484.320489810,485.038155922
9608082,697.451805439,695.283594071,694.894155072
9608083,497.126773364,495.351925915,494.899114310
9608084,609.634006639,608.854040318,609.612555125
9608085,553.759392817,551.042992375,550.581879947
9608086,450.816834772,449.465709439,448.933758532
9608087,483.565444215,481.015612760,480.569283495
9608088,380.581935047,381.330310896,380.504089051
9608089,584.813864055,581.473047016,580.529772635
9608090,424.256895581,421.870405277,421.098456579
9608091,530.467230046,527.923830922,527.527130880
9608092,438.430766673,437.231943541,437.192317582
9608093,356.700892501,357.121704966,355.886873841
9608094,740.697400112,737.385875329,735.972483489
9608095,636.946221150,635.004076093,634.219257249
9608096,422.122684238,422.102042038,421.814284080
9608097,424.510856098,425.538101064,425.187263835
9608098,621.166983462,621.102081779,619.729506933
9608099,524.587698473,524.084305675,524.005430785
9608100,586.986221248,586.934372472,585.448512211
9608101,469.379014482,468.572376442,467.796735587
9608102,658.206213743,657.529926438,656.616761880
9608103,475.826424987,476.090160970,476.197148905
9608104,493.237774190,492.470589303,491.638804298
9608105,352.530417006,352.176107678,350.628393052
9608106,502.207573011,498.198297120,497.887870490
9608107,430.216563094,429.167280049,428.323102393
9608108,635.006163626,631.602008040,630.842325245
9608109,655.037398681,652.203718438,651.746080910
9608110,610.743019413,609.484287492,608.102514029
9608111,624.899567608,623.334141427,623.525611809
9608112,516.115034850,516.291419420,515.105668512
9608113,469.701909561,467.609539448,466.813061309
9608114,561.663240946,561.134695648,560.663586905
9608115,481.331949150,480.473369019,480.123342815
9608116,441.161071350,440.323407743,438.253156132
9608117,645.613106504,643.753921775,642.955313857
9608118,404.135984496,403.860383383,403.995409837
9608119,504.803697046,502.437356253,502.746756183
9608120,564.244145234,563.131346463,562.835786158
9608121,510.383938194,510.217981903,508.705554625
9608122,597.224728913,595.230686622,592.773099152
9608123,501.758122538,498.496542600,498.440129178
9608124,661.757011939,664.216295991,662.649155201
9608125,383.559749929,383.660158526,383.393960178
9608126,394.364036028,393.899621898,393.243447881
9608127,505.106726484,503.439148353,503.862866877
9608128,615.079398175,613.775211884,613.290989240
9608129,493.678538749,492.427840522,491.869775336
9608130,474.037874722,471.938211915,471.014886870
9608131,379.602216407,378.962096423,378.467067898
9608132,459.188638426,459.637930552,458.271060364
9608133,428.409732826,426.260685198,426.037233804
9608134,578.600841634,576.119506566,576.548581710
9608135,509.624826535,509.892036869,508.532954193
9608136,595.143986587,593.033321692,590.972409772
9608137,562.435215958,562.627559868,561.496894764
9608138,513.914190688,511.584780980,511.244526948
9608139,584.597165978,584.230490333,583.243221924
9608140,455.251470581,455.567192283,454.430792249
9608141,550.528030093,548.430584250,547.933754849
9608142,574.194101920,572.484828227,571.507705087
9608143,357.303962414,357.511189770,357.051309041
9608144,553.049661590,552.388708441,552.273177410
9608145,619.722437005,618.788312950,617.643101582
9608146,409.753837372,407.645205665,407.423088172
9608147,628.028924910,624.941028182,622.759336682
9608148,431.655668064,432.689646204,431.938123331
9608149,351.382171622,351.051186399,350.154895139
9608150,541.142386943,541.842734113,538.589049879
9608151,659.629625163,656.150724772,654.819218166
9608152,607.562200451,606.625552134,606.056184114
9608153,436.561646389,435.273057654,433.843941812
9608154,443.323600736,443.217980772,442.150721224
9608155,641.050658756,638.175947891,637.027987355
9608156,735.697275321,730.140493681,729.779583088
9608157,561.375315436,559.227319652,558.688628760
9608158,428.510272285,426.129700111,425.777451551
9608159,553.432682257,549.438153042,548.996882605
9608160,534.963390976,529.796089492,530.118567703
9608161,420.881211318,421.681325047,420.444368109
9608162,492.098638653,490.401233433,489.879076179
9608163,484.669394013,483.948649204,483.719763943
9608164,440.680609089,439.683674030,438.986046965
9608165,561.894041155,559.772081099,559.415315528
9608166,500.542897379,499.240654230,497.680511504
9608167,594.817193084,595.258537711,593.332776872
9608168,445.278853171,444.645939952,443.943083039
9608169,511.097888945,509.844900584,509.189165320
9608170,505.239249228,501.744559650,500.976602399
9608171,574.966834747,573.628240138,572.281485511
9608172,617.645580586,616.748374624,615.767661846
9608173,490.926215834,489.542035884,488.047335999
9608174,532.903041844,532.840822278,530.741684935
9608175,483.715135214,483.622478821,482.262786684
9608176,444.316219537,442.082708897,441.696768473
9608177,528.077231549,529.668488615,528.547506171
9608178,534.617879305,533.961597114,533.168968539
9608179,518.723916423,518.007928255,518.539898327
9608180,656.856984150,653.848415503,653.228298945
9608181,553.750774414,551.441216932,551.316855282
9608182,598.505505769,598.229220659,597.127167733
9608183,474.913063473,472.914957286,472.727763441
9608184,503.079265546,502.081170615,500.809279834
9608185,416.444661838,416.581089267,416.059371184
9608186,475.709642641,473.264592446,472.593132016
9608187,693.976525407,692.408051218,690.877025686
9608188,375.457690413,375.550469367,375.549110306
9608189,509.198801055,507.697054970,506.439239110
9608190,564.279206504,563.260083114,561.841558283
9608191,622.965882932,620.347147676,619.453216946
```