# ta2 — trim-1 real-engine confirmation

All 256 assigned seeds, **9607424–9607679 inclusive**, were measured once per arm. Each strategy ran alone against VanillaStrategy (30 bps), with all candidate chunks completed before t03, and all t03 chunks before IB. No seeds were rerun. All figures below are local measurements; upstream performance claims were not used as results.

Policy credit: **Taylor (gtmcknight)**. The candidate header credits Taylor; this task scored the supplied trim-1 without modifying it.

## Source identity and validation

Candidate: complete Solidity block from [trim-1](https://api.imdnotdead.fun/artifacts/fce772b9057867b241350b8e44c05298c6c877871a26b58702a5af431726f6c5), extracted preserving its final newline into `contracts/src/Strategy.sol` in the scratch checkout.

- SHA-256: `d849c5f15d69499560b5c3ea08f55ad27153b393eba7abb7dd186f451ad46a24` (matches required hash).
- `amm-match validate contracts/src/Strategy.sol`: **PASS**, exit 0.
- `getName()` returned `TaylorGaussianPlainNet2` (also independently read through EVMStrategyAdapter).
- Compiled deployed runtime: **16,077 bytes**, below 24,576.

[t03 source](https://api.imdnotdead.fun/artifacts/2333ecf28d4356bd232b85c1e55842e94e1ada05e1cd067830b5625dfdbc5336): zlib/base64 decoded `code_zb64`, SHA-256 `cb6d945511e1e10af78baa64c2a6cb25806f0998403ce6440654bfc3c70092d9` (matches).

[IB source](https://api.imdnotdead.fun/artifacts/afd5183e9ff3235334e041c00b0cd19079599a2c6464db95f8c1586712105557): identically decoded, SHA-256 `301941829a44bb60977bb28181a5e4bfa6544f3696763f987054789b2611d686` (matches).

## Measurement method

Linux x86_64. Cloned amm-challenge at `6b6921f8d463314aa7c96234e1be25a25245f704` into `test/scratch/engine`. Saved the eight-line [port-3 Setup script](https://api.imdnotdead.fun/artifacts/0dbcc10af41b3c3467ff0d9b9cb64c81328fcf18295f9be06b2d81bb98874067) as checkout `scratch/setup.sh`, ran it once successfully (exit 0); wheel checksum passed and StarterStrategy validated. Runtime commands sourced `scratch/env.sh`. No setup blocker.

Compiler: solc 0.8.24, optimizer enabled, runs 200, viaIR true, Paris EVM, using the [pinned compiler](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/evm/compiler.py).

Eight consecutive chunks of 32 seeds per arm. Each chunk used `amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8)`, with `gas_stats_reset()` immediately before the batch and `gas_stats()` after it. Score is `result.edges["submission"]`. Configs directly transcribe [MatchRunner._build_configs](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/match.py): `default_rng(seed)` draws retail mean size, retail arrival rate, then GBM sigma, in that order; simulation seed is that same integer. Other fields come from the pinned `build_base_config(seed=None)`. VanillaStrategy is the [pinned fixed-30-bps contract](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/contracts/src/VanillaStrategy.sol).

Per-seed results and each chunk’s full raw gas counters were retained under checkout `scratch/`. These working files are not submission dependencies. Compilation and batch reservations prevent accidental seed reuse. Each batch command had a 470-second timeout, and all completed successfully. Candidate chunks 2 and 3 overlapped in separate processes; their independent counters remain separate, and the timing below includes that contention. Other chunks ran sequentially.

This bounded scoring task does not rerun the upstream replica P/Q/F gates; it makes no new claim about those gates.

## Paired scores

Differences are candidate minus comparator on matching seeds, computed from unrounded engine outputs. `se = sample_sd(diff) / sqrt(n)` with sample variance denominator `n−1`.

| Comparison | n | Candidate mean | Comparator mean | mean_diff | se |
|---|---:|---:|---:|---:|---:|
| candidate − t03 | 256 | 523.920483111 | 522.485609801 | 1.434873309 | 0.086026220 |
| candidate − IB | 256 | 523.920483111 | 521.731609355 | 2.188873756 | 0.091591737 |

**Candidate − t03:**

worst5: (9607596, -1.887042206), (9607432, -1.687325463), (9607653, -1.522822111), (9607575, -1.459909509), (9607659, -1.357524539).

best5: (9607670, 5.841024018), (9607549, 5.251033944), (9607466, 4.848314774), (9607669, 4.655633283), (9607523, 4.525190380).

**Candidate − ib:**

worst5: (9607653, -1.418419152), (9607432, -1.369475151), (9607520, -1.125386445), (9607659, -1.047335811), (9607562, -0.892965497).

best5: (9607670, 7.859345722), (9607656, 6.496098258), (9607662, 5.957396671), (9607669, 5.947057737), (9607529, 5.319345151).

## afterSwap gas

Submission role only; VanillaStrategy counters are excluded. Mean gas is `sum_ok_gas / ok`, weighted by callbacks, not the average of chunk means. All callbacks succeeded.

| Arm | Calls | OutOfGas | Revert | Peak gas | Mean gas |
|---|---:|---:|---:|---:|---:|
| candidate | 2762193 | 0 | 0 | 238704 | 131551.837827 |
| t03 | 2768473 | 0 | 0 | 235370 | 135642.788589 |
| ib | 2747583 | 0 | 0 | 234763 | 135307.036688 |

All arms also had zero other halts, transaction errors, or bad returns. Candidate peak is below the 245,000-gas limit.

Candidate chunks (inclusive seed ranges):

| Seeds | afterSwap calls | OutOfGas | Revert | Peak gas | Sum successful gas | Mean gas |
|---|---:|---:|---:|---:|---:|---:|
| 9607424–9607455 | 346169 | 0 | 0 | 223090 | 45525037497 | 131511.017731 |
| 9607456–9607487 | 348260 | 0 | 0 | 220772 | 45791615817 | 131486.865609 |
| 9607488–9607519 | 336632 | 0 | 0 | 238704 | 44351459214 | 131750.573962 |
| 9607520–9607551 | 348744 | 0 | 0 | 225036 | 45848513196 | 131467.532620 |
| 9607552–9607583 | 347383 | 0 | 0 | 220906 | 45690672634 | 131528.234352 |
| 9607584–9607615 | 341290 | 0 | 0 | 218723 | 44930685739 | 131649.581702 |
| 9607616–9607647 | 345913 | 0 | 0 | 225677 | 45498510775 | 131531.659044 |
| 9607648–9607679 | 347802 | 0 | 0 | 220958 | 45735070711 | 131497.434491 |

## Timing and coverage

Elapsed time includes `run_batch`, result extraction, and gas-stat retrieval; it excludes compilation, config creation, setup and process startup. Seconds per seed is elapsed batch time divided by measured seed count; it is throughput with eight workers, not serial seed latency.

| Arm | Seeds run | Batch seconds | Seconds per seed | Seeds not run |
|---|---:|---:|---:|---|
| candidate | 256 | 219.963387 | 0.859232 | none |
| t03 | 256 | 186.268704 | 0.727612 | none |
| ib | 256 | 117.986262 | 0.460884 | none |

Chunk timing and comparator peaks:

| Seeds | Candidate seconds | t03 seconds | IB seconds | t03 peak gas | IB peak gas |
|---|---:|---:|---:|---:|---:|
| 9607424–9607455 | 18.366868 | 22.234614 | 14.478993 | 232505 | 231925 |
| 9607456–9607487 | 35.044589 | 24.244699 | 12.602969 | 232494 | 231874 |
| 9607488–9607519 | 28.631956 | 22.769489 | 14.117669 | 232426 | 231941 |
| 9607520–9607551 | 27.341307 | 23.733287 | 14.397460 | 232494 | 217054 |
| 9607552–9607583 | 27.884943 | 23.631018 | 14.720097 | 232506 | 231882 |
| 9607584–9607615 | 27.481906 | 23.348139 | 10.829282 | 235370 | 234763 |
| 9607616–9607647 | 27.308057 | 23.456970 | 17.715685 | 232723 | 232014 |
| 9607648–9607679 | 27.903759 | 22.850487 | 19.124108 | 235259 | 227476 |

## Per-seed CSV

Values are submission edges, rounded to nine decimal places only for display. No missing seeds in any arm.

```csv
seed,candidate,t03,IB
9607424,513.609511067,512.734568628,510.901902418
9607425,648.421834752,644.951833763,645.445637175
9607426,531.494092569,529.648108878,528.935957219
9607427,416.394935710,415.451360092,414.029882048
9607428,504.838348090,503.479488561,502.727400293
9607429,528.052330789,528.200525344,527.861696387
9607430,412.149464275,410.694226513,410.450890268
9607431,509.750319515,508.655081006,508.518013669
9607432,426.332422168,428.019747631,427.701897318
9607433,549.076928893,546.215465171,545.521884165
9607434,522.553410554,520.079686461,520.604818749
9607435,494.934991634,492.922895051,492.477084987
9607436,485.483943160,484.929655333,482.993082558
9607437,575.067019867,572.462122446,571.183389898
9607438,632.059169006,630.561721724,629.422439307
9607439,578.313857998,576.298451162,575.521170450
9607440,488.964695002,489.442028262,489.790978086
9607441,597.702185387,596.272263598,594.084065948
9607442,468.718691855,466.758777813,466.237955284
9607443,522.357762343,520.956565982,520.568422264
9607444,525.618779628,525.018802967,524.774709123
9607445,565.484325371,560.972731650,561.234728987
9607446,535.484688440,533.322368737,532.130784361
9607447,479.851127965,477.009823712,475.926767955
9607448,594.041458020,591.732390546,590.471303366
9607449,662.827588557,659.711603201,658.410421394
9607450,525.510430422,525.904465364,524.732146429
9607451,474.811358282,472.045919880,471.249955165
9607452,606.623449998,605.213970194,602.920060611
9607453,635.559114892,631.585063984,630.527618656
9607454,616.319423336,612.739070108,612.862701072
9607455,600.231836199,597.475613609,595.663872277
9607456,679.191371624,677.180258472,677.169871723
9607457,605.730690967,603.505378248,602.156276151
9607458,461.728742051,461.312974345,459.903786776
9607459,404.585797549,404.060304407,402.309406527
9607460,650.036007935,650.819623178,650.050929213
9607461,573.324476732,570.701378447,570.028939540
9607462,523.974422053,522.556304792,522.341203098
9607463,440.681489786,440.246018997,439.623351601
9607464,509.626185685,507.149512304,506.439896636
9607465,444.444597973,443.129674479,443.346617642
9607466,586.121636426,581.273321652,581.429951385
9607467,359.661897409,360.466745839,359.693930687
9607468,530.140141665,529.326707210,528.077926956
9607469,423.632723900,423.425153569,422.950360045
9607470,557.980215410,555.971111369,554.782532383
9607471,695.351949402,691.919237640,693.081735110
9607472,601.337074113,598.181811856,596.944380436
9607473,611.586666055,608.855890760,606.547796340
9607474,500.425441379,498.921103216,498.306900509
9607475,637.078297675,634.203285317,632.989666695
9607476,507.063439440,506.017758424,505.276553310
9607477,522.678279065,520.757869585,519.484027977
9607478,444.991325357,443.613741304,443.243606383
9607479,603.954595432,603.905771805,602.276047999
9607480,583.325193882,582.764245989,580.200021084
9607481,631.949804426,631.275901990,629.519662177
9607482,429.588180001,429.451233191,428.990723307
9607483,632.048270339,631.632603069,630.048583862
9607484,583.214053721,581.030176267,580.665973107
9607485,453.615662453,451.971457488,451.516903151
9607486,555.030335874,553.667650806,551.566235701
9607487,474.087869084,473.754335838,472.512477412
9607488,394.006238308,393.801920272,393.674957782
9607489,376.227405434,376.078922775,374.950090030
9607490,505.883985007,504.567494515,503.958729430
9607491,488.665862355,487.492880277,487.273067161
9607492,513.357624310,510.947418274,509.334821700
9607493,630.006438551,628.759007710,627.476757890
9607494,456.838248213,455.850586491,455.057367344
9607495,505.364261053,503.074453971,502.501392335
9607496,492.922072151,491.353020438,491.519378408
9607497,405.901891970,406.871144179,406.712678408
9607498,426.343534797,426.899204293,425.422559033
9607499,461.310762501,459.024352914,459.174933312
9607500,435.724158799,434.234756365,433.245578556
9607501,451.240407178,450.807960541,448.829813750
9607502,527.633951995,526.154621482,524.856369153
9607503,604.727947337,602.696574087,602.684994502
9607504,421.949693683,422.007433715,420.807491923
9607505,445.625372795,443.606476105,443.497012365
9607506,396.092453294,396.159729948,395.621694096
9607507,409.544332856,408.963605931,406.983148755
9607508,527.129213572,525.447675620,525.944220970
9607509,570.160013222,567.472015627,568.480903088
9607510,543.028804919,542.057993768,542.234582997
9607511,690.005139522,687.965269794,687.593340974
9607512,557.929404220,555.847248144,554.689728345
9607513,447.504523996,446.903427686,446.995294366
9607514,485.799117224,482.451854885,483.300238439
9607515,577.838968017,575.239564661,575.512597127
9607516,633.696001434,631.087315841,631.049008134
9607517,511.488085589,511.524893569,510.972368711
9607518,420.032391537,419.097395291,419.324882688
9607519,448.321066542,447.070089283,446.035470357
9607520,425.471488101,426.802378604,426.596874547
9607521,575.774231070,573.985567261,573.591512068
9607522,602.197956312,600.086481754,599.628000353
9607523,574.024230046,569.499039666,570.727996976
9607524,439.170495761,439.008878422,438.220505896
9607525,527.899862833,525.709930084,525.372821064
9607526,625.090447264,623.507633167,621.210478104
9607527,406.734924672,404.902763880,404.174717434
9607528,486.557769199,483.112204983,482.481084491
9607529,598.488655212,595.569499230,593.169310061
9607530,592.695427439,590.993691622,589.232442208
9607531,676.514196270,674.417644629,674.582045120
9607532,456.426847645,455.795812714,454.596901577
9607533,659.010168268,657.537272373,657.184799143
9607534,616.425343677,614.989895299,613.550862495
9607535,604.366132779,602.734229403,601.107900922
9607536,633.302204582,631.226294884,630.350486213
9607537,554.184049785,552.121824079,551.722851627
9607538,602.691082608,601.501909411,600.885218179
9607539,520.063901848,518.383142018,516.755617505
9607540,465.773153057,464.082858068,464.918920397
9607541,571.672487042,569.872437142,568.665624071
9607542,582.771924347,580.839235629,580.877317497
9607543,529.081547447,527.204371242,526.887653144
9607544,502.467676598,501.417055975,501.091467309
9607545,519.657211608,518.648993277,517.890392957
9607546,459.425628054,457.366967078,456.824980129
9607547,566.549903082,563.479580298,564.568001232
9607548,430.510213023,431.525839585,430.882509842
9607549,500.727244111,495.476210167,495.676959846
9607550,359.609165034,359.842498016,358.807221301
9607551,452.402914170,452.115437957,451.946698640
9607552,403.384933739,402.823595932,402.084716802
9607553,520.820303060,518.946709906,518.075532216
9607554,467.490546821,467.733401306,466.570473499
9607555,628.303609018,624.546658403,623.673314991
9607556,495.498009271,495.011587467,494.559357260
9607557,608.094136078,608.348515510,607.472003803
9607558,416.010705861,416.078247299,416.423591278
9607559,544.126454139,541.331386550,540.126403310
9607560,701.515705854,699.883640941,697.067347713
9607561,471.152082764,470.324780565,468.666586672
9607562,511.969365972,513.317250409,512.862331469
9607563,457.978346460,455.917730506,454.980702804
9607564,443.747203661,443.380435459,442.896359086
9607565,418.924412703,417.239091384,416.607364948
9607566,477.027960317,476.785826144,476.051582567
9607567,545.764546207,543.641086222,543.428245066
9607568,492.565834152,491.966019923,490.379378903
9607569,631.363683363,627.261567503,627.818208023
9607570,631.789050297,630.436957525,629.492992591
9607571,524.803463579,522.012995301,520.797818581
9607572,676.524309255,674.963921951,672.980868714
9607573,603.800631348,602.444034695,600.726814683
9607574,534.527016767,533.034880318,532.036408016
9607575,442.145391786,443.605301295,441.888529436
9607576,706.302045895,702.432237277,701.941763355
9607577,530.182709585,528.058498273,527.945809988
9607578,441.471680248,441.662364170,440.517612699
9607579,496.698763298,494.194740261,493.707106267
9607580,527.088806818,524.671541251,523.885214758
9607581,628.672317797,627.085635399,626.321262567
9607582,501.885773399,499.853317908,499.449440600
9607583,543.589244769,540.101199431,538.954653584
9607584,544.705495014,543.512029102,542.506401560
9607585,494.823766964,493.713404142,492.370564745
9607586,527.249381304,524.956952794,523.324761389
9607587,529.608642577,528.586020707,526.632756056
9607588,389.638114516,389.322882329,389.606037851
9607589,751.026775257,747.559062202,746.795697807
9607590,421.408566673,421.715092157,421.125541220
9607591,548.486912345,546.697378865,545.497917174
9607592,448.871262290,448.943340298,448.103377206
9607593,534.082634771,533.383844376,532.381991577
9607594,520.279609613,520.971320842,519.737549486
9607595,646.695050536,643.811548938,643.895674718
9607596,507.848894513,509.735936719,507.300105421
9607597,468.229559743,467.427571305,466.012863859
9607598,547.588642236,545.899360927,543.758483646
9607599,529.102971933,527.264139322,526.673138045
9607600,656.050721512,653.224565954,653.240239920
9607601,535.886739990,535.249903873,534.170274628
9607602,353.189695644,353.011206718,352.949828354
9607603,502.277245785,503.207965267,502.943369732
9607604,679.321011904,675.376756029,674.591951898
9607605,456.905862888,455.775735618,456.414975437
9607606,375.917699471,375.290034105,374.865767051
9607607,644.947323358,641.316046139,642.185924024
9607608,502.064299998,501.430704389,500.644516748
9607609,417.269177678,417.728992608,415.924681803
9607610,521.352732347,521.675434259,521.891286757
9607611,451.131421744,451.122671655,451.246053346
9607612,493.823496413,494.650749814,492.703108200
9607613,408.441015056,408.255158797,407.217809735
9607614,521.822522535,518.592259300,518.442816861
9607615,515.446700139,511.831543117,510.641457819
9607616,489.998980646,488.363567110,488.892503690
9607617,398.934090955,398.917116513,398.193674022
9607618,439.599783385,436.314915358,436.063815158
9607619,622.184166005,619.971434897,619.065537497
9607620,551.410084949,550.450205895,550.652658126
9607621,658.363802027,658.018442281,656.521525367
9607622,473.485307785,471.791638706,472.170849953
9607623,476.509778964,475.781968288,475.133348651
9607624,568.262925787,567.213555788,566.737281172
9607625,645.897345123,643.347816169,643.022282099
9607626,486.525174855,485.525860554,485.066255002
9607627,387.869978575,387.568141283,386.304329399
9607628,641.504311932,640.552420393,641.457759552
9607629,431.072627800,430.229149692,429.386485582
9607630,420.331438360,419.491708761,418.883488777
9607631,396.324125405,395.430785770,394.490236948
9607632,610.363736742,607.971025634,607.610668047
9607633,377.224293348,376.896627632,376.239393579
9607634,550.349039475,549.098313873,548.249422192
9607635,485.763371660,486.619492119,485.165505971
9607636,578.533612992,574.012272441,574.534601377
9607637,632.037589890,629.502502697,628.429239585
9607638,432.402377405,430.997174087,429.683708900
9607639,520.448186413,519.806878403,519.994533266
9607640,551.165881083,548.921978431,548.898364783
9607641,461.594262629,459.150545196,457.926802292
9607642,575.805450344,574.636639636,574.107238059
9607643,627.585712826,625.053947301,623.855120410
9607644,597.821946907,595.898869551,594.248611987
9607645,366.576324170,364.698172755,364.056606322
9607646,583.159291208,582.398027872,581.205737125
9607647,525.046898290,526.081787401,525.113475840
9607648,377.981878780,378.162243710,377.180505760
9607649,651.973813849,649.487493465,648.650519964
9607650,567.400318680,564.956568361,565.006058508
9607651,467.577267227,464.081742274,463.946071401
9607652,504.017045333,504.758625976,504.653341146
9607653,398.976081714,400.498903825,400.394500866
9607654,558.201680991,558.702329407,558.310979285
9607655,619.242756621,617.669387069,617.011233320
9607656,586.911896456,582.913210701,580.415798198
9607657,655.863492744,653.665503152,652.880773532
9607658,476.267552411,476.570439592,474.031988856
9607659,386.721300741,388.078825280,387.768636552
9607660,438.573256559,438.274072309,437.278092597
9607661,583.803540229,580.412932662,578.829051179
9607662,661.303093000,657.463007010,655.345696329
9607663,481.398220700,480.598477482,479.259959787
9607664,454.932563046,453.162430740,452.771112289
9607665,396.023351116,395.910121450,395.804855162
9607666,677.100154081,675.554138425,674.670223046
9607667,610.023665607,607.036815729,606.959511829
9607668,513.596862671,512.257093388,510.695810478
9607669,671.554979655,666.899346372,665.607921918
9607670,670.298516778,664.457492760,662.439171056
9607671,503.644402623,500.325261388,500.164084406
9607672,453.811136711,453.676482273,452.243162329
9607673,596.539365735,596.103552345,595.078990864
9607674,405.757994225,405.703903365,404.756139281
9607675,545.961909523,546.116281253,544.387673125
9607676,515.066220468,513.691742181,512.897939834
9607677,555.151748390,553.621328133,553.728236262
9607678,375.903423785,375.142849502,374.113827241
9607679,400.335110993,399.526930330,399.206790066
```