# tb2: trim-1 fresh real-engine confirmation

Taylor (gtmcknight) receives credit for the solved Gaussian policy, as credited in the [candidate source](https://api.imd.fun/artifacts/fce772b9057867b241350b8e44c05298c6c877871a26b58702a5af431726f6c5). All numerical results below are measurements made in this run; upstream performance numbers are not substituted.

## Source and validation

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

Candidate source hash matches the required `d849c5f15d69499560b5c3ea08f55ad27153b393eba7abb7dd186f451ad46a24` byte for byte. `amm-match validate contracts/src/Strategy.sol`: **PASS**, output `Strategy 'TaylorGaussianPlainNet2' validated successfully!`. Runtime is 16,077 bytes (limit 24,576). The strategy was scored unchanged.

Sources: [trim-1 complete Solidity block](https://api.imd.fun/artifacts/fce772b9057867b241350b8e44c05298c6c877871a26b58702a5af431726f6c5), [t03 code_zb64](https://api.imd.fun/artifacts/2333ecf28d4356bd232b85c1e55842e94e1ada05e1cd067830b5625dfdbc5336), [IB code_zb64](https://api.imd.fun/artifacts/afd5183e9ff3235334e041c00b0cd19079599a2c6464db95f8c1586712105557). Both comparators were decoded using base64 then zlib and matched their required hashes.

## Method

Linux x86_64. Challenge checkout pinned to `6b6921f8d463314aa7c96234e1be25a25245f704`. The eight-line [port-3 setup script](https://api.imd.fun/artifacts/0dbcc10af41b3c3467ff0d9b9cb64c81328fcf18295f9be06b2d81bb98874067) was saved as `scratch/setup.sh` and run once from the checkout root, successfully including wheel checksum and StarterStrategy validation. Later Python and validation commands sourced `scratch/env.sh`.

Each arm ran separately against the compiled 30 bps VanillaStrategy using `amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8)`. Score is `result.edges["submission"]`. Each arm consumed seeds 9608448–9608703 exactly once, in eight ascending contiguous chunks of 32. Execution order was all candidate chunks, all t03 chunks, then all IB chunks. No scoring seed was retried. Per-seed raw results and chunk counters were saved under the exempt scratch directory.

Configuration follows pinned [MatchRunner._build_configs](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/match.py) and [baseline settings](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/config.py): `default_rng(seed)` draws size uniform [19,21], rate uniform [0.6,1.0], sigma uniform [0.000882,0.001008], in that order. Each config has that same simulation seed, 10,000 steps, initial price 100, reserves (100,10000), mu 0, dt 1, retail size sigma 1.2, buy probability 0.5. Direct construction avoids allocating all preceding 9.6 million configurations.

This bounded assignment scores an existing fixed candidate. It does not rerun policy-port gates P, Q, or F.

## Paired submission edges

SE = sample standard deviation of paired differences / sqrt(n), with ddof=1. Pairing uses equal seeds. Positive differences favor trim-1.

| Comparison | n | Mean difference | SE | Candidate mean | Comparator mean |
|---|---:|---:|---:|---:|---:|
| candidate − t03 | 256 | +1.180237837693 | 0.086126364100 | 524.422378290685 | 523.242140452992 |
| candidate − ib | 256 | +1.847209485978 | 0.086313722702 | 524.422378290685 | 522.575168804706 |

**candidate − t03**

worst5: (9608514, -2.650778301650), (9608643, -1.793152669460), (9608671, -1.585540772643), (9608573, -1.454654449911), (9608683, -1.421005745011).

best5: (9608565, +5.153686557241), (9608450, +4.886120005693), (9608499, +4.870779436397), (9608637, +4.705786277296), (9608500, +4.232160130476).

**candidate − ib**

worst5: (9608514, -1.539010039952), (9608481, -0.939309724375), (9608634, -0.912195072952), (9608492, -0.771902407787), (9608572, -0.769489518875).

best5: (9608637, +7.191424055345), (9608685, +5.709531575364), (9608565, +5.465749740632), (9608489, +5.046579454107), (9608500, +4.993443833261).

## Engine afterSwap gas

`gas_stats_reset()` ran immediately before each chunk and `gas_stats()` immediately after. Figures below select role `Submission`, callback `afterSwap`; Vanilla counters are excluded. Mean = total `sum_ok_gas` / total `ok`, weighted across chunks. Peaks use `max_ok_gas`; all calls succeeded, so this is also the observed peak.

| Arm | Calls | Successful | OutOfGas | Reverts | Peak gas | Mean gas | Total successful gas |
|---|---:|---:|---:|---:|---:|---:|---:|
| candidate | 2,756,441 | 2,756,441 | 0 | 0 | 238,657 | 131562.946415686 | 362645499581 |
| t03 | 2,762,701 | 2,762,701 | 0 | 0 | 235,406 | 135660.473759556 | 374789326516 |
| ib | 2,742,446 | 2,742,446 | 0 | 0 | 232,243 | 135326.149299202 | 371124656841 |

All arms also had zero `other_halt`, `tx_error`, and `bad_return` afterSwap results. Candidate has zero OutOfGas and its measured peak is below 245,000 gas on this sample.

| Arm | Seed range | Calls | Peak gas | OutOfGas | Reverts | Engine seconds | Seconds/seed |
|---|---|---:|---:|---:|---:|---:|---:|
| candidate | 9608448–9608479 | 344,372 | 220,769 | 0 | 0 | 31.609300 | 0.987791 |
| candidate | 9608480–9608511 | 343,486 | 219,970 | 0 | 0 | 29.141416 | 0.910669 |
| candidate | 9608512–9608543 | 344,638 | 224,776 | 0 | 0 | 31.832468 | 0.994765 |
| candidate | 9608544–9608575 | 340,894 | 227,804 | 0 | 0 | 34.730385 | 1.085325 |
| candidate | 9608576–9608607 | 346,298 | 224,686 | 0 | 0 | 33.995032 | 1.062345 |
| candidate | 9608608–9608639 | 342,008 | 221,128 | 0 | 0 | 31.874748 | 0.996086 |
| candidate | 9608640–9608671 | 346,123 | 238,657 | 0 | 0 | 30.451881 | 0.951621 |
| candidate | 9608672–9608703 | 348,622 | 231,172 | 0 | 0 | 30.620601 | 0.956894 |
| t03 | 9608448–9608479 | 345,198 | 235,406 | 0 | 0 | 28.487628 | 0.890238 |
| t03 | 9608480–9608511 | 344,532 | 232,603 | 0 | 0 | 26.211654 | 0.819114 |
| t03 | 9608512–9608543 | 345,172 | 232,908 | 0 | 0 | 25.295128 | 0.790473 |
| t03 | 9608544–9608575 | 342,099 | 232,505 | 0 | 0 | 26.378649 | 0.824333 |
| t03 | 9608576–9608607 | 346,876 | 232,494 | 0 | 0 | 18.382101 | 0.574441 |
| t03 | 9608608–9608639 | 342,873 | 232,387 | 0 | 0 | 14.659454 | 0.458108 |
| t03 | 9608640–9608671 | 346,932 | 232,506 | 0 | 0 | 14.625014 | 0.457032 |
| t03 | 9608672–9608703 | 349,019 | 232,506 | 0 | 0 | 11.656628 | 0.364270 |
| ib | 9608448–9608479 | 342,869 | 231,862 | 0 | 0 | 17.709893 | 0.553434 |
| ib | 9608480–9608511 | 342,128 | 232,003 | 0 | 0 | 9.063739 | 0.283242 |
| ib | 9608512–9608543 | 342,459 | 232,243 | 0 | 0 | 6.802303 | 0.212572 |
| ib | 9608544–9608575 | 339,772 | 231,889 | 0 | 0 | 11.100768 | 0.346899 |
| ib | 9608576–9608607 | 344,169 | 213,977 | 0 | 0 | 11.647412 | 0.363982 |
| ib | 9608608–9608639 | 340,473 | 232,002 | 0 | 0 | 15.077234 | 0.471164 |
| ib | 9608640–9608671 | 344,195 | 231,940 | 0 | 0 | 12.826971 | 0.400843 |
| ib | 9608672–9608703 | 346,381 | 231,905 | 0 | 0 | 10.582945 | 0.330717 |

## Timing and coverage

Engine wall-clock time brackets `run_batch` and the immediately following gas counter read, excluding setup, source retrieval, validation, and compilation. Seconds per seed is elapsed / number of returned seeds with eight workers, not single-worker latency.

| Arm | Seeds completed | Engine seconds | Seconds/seed | Seeds not run |
|---|---:|---:|---:|---|
| candidate | 256 | 254.255830 | 0.993187 | None |
| t03 | 256 | 165.696256 | 0.647251 | None |
| ib | 256 | 94.811265 | 0.370357 | None |

All 256 assigned seeds completed for each arm: 768 strategy-seed executions, zero missing. These paired results describe this sample only.

## Every-seed CSV

Edges rounded to 9 decimals for display; paired statistics above use the full measured values.

```csv
seed,candidate,t03,IB
9608448,436.420179830,436.164712967,435.288400803
9608449,525.342979586,523.842780486,524.371429027
9608450,812.370511373,807.484391368,809.117912758
9608451,490.798453309,489.959591601,489.225705839
9608452,398.386898362,398.313924265,397.594990437
9608453,570.934692960,571.314156323,570.214766083
9608454,441.447809694,441.150816042,440.508132559
9608455,477.402589209,477.132430066,476.819116384
9608456,648.389279367,647.488375970,646.673159555
9608457,524.993456488,523.506185031,522.778130236
9608458,530.855138700,528.351370486,527.520535934
9608459,651.896560941,648.838243594,648.122436866
9608460,591.882038074,590.159234592,590.521984575
9608461,493.953593220,493.774317499,493.992958795
9608462,569.394823689,568.203059686,568.359704080
9608463,555.323371662,554.282084765,553.201312937
9608464,541.977723612,539.938766580,539.623736030
9608465,506.562137557,503.512748201,502.843766927
9608466,378.197661614,378.417063076,377.924293564
9608467,500.448197744,499.089791499,498.419035080
9608468,452.720084617,451.001488491,450.536000472
9608469,502.093836152,503.119134991,502.238235028
9608470,562.143254454,558.575254802,559.961616245
9608471,507.732287578,507.165599910,507.346247748
9608472,568.364656575,565.611519538,565.982231768
9608473,542.823680695,543.745090604,542.057977751
9608474,453.985310060,453.325027543,453.512005783
9608475,544.290588709,541.507433700,540.950986423
9608476,588.821544878,586.509391650,585.941271590
9608477,486.635352444,485.360755704,484.031127787
9608478,511.639392769,509.330176762,509.046496212
9608479,355.588363922,355.390725570,354.788085302
9608480,500.133951057,498.814793445,498.060419234
9608481,502.897395370,503.951739558,503.836705094
9608482,427.723876757,427.622129012,425.986123575
9608483,568.796760022,566.736813558,566.267486333
9608484,384.232336918,384.968063372,384.504621122
9608485,589.318641137,586.573022509,586.996137568
9608486,412.485800024,413.032332664,412.370461520
9608487,625.255561455,623.727506181,621.895341186
9608488,394.334257356,393.592341775,393.131926149
9608489,619.036601284,616.124154732,613.990021830
9608490,658.249178739,657.553128978,658.220055925
9608491,485.242138774,485.291951619,484.746941208
9608492,448.498741599,448.765402861,449.270644007
9608493,432.087006152,432.424658903,432.180789442
9608494,644.874890338,645.788332660,643.433634821
9608495,408.241512952,408.091083182,406.977895476
9608496,413.208763950,410.975321362,410.607331631
9608497,448.252842682,446.251709416,446.689918979
9608498,714.032259974,714.203689579,713.547989445
9608499,668.040011575,663.169232139,663.350776067
9608500,721.325879943,717.093719812,716.332436109
9608501,412.294647419,413.232681252,411.565558287
9608502,692.822434308,689.431955296,688.368213902
9608503,460.180004717,457.858373158,457.918015652
9608504,398.488951140,398.349957645,397.329472928
9608505,492.460177106,492.445847462,492.543886532
9608506,453.415505092,450.665944711,451.470826807
9608507,546.875030092,546.308589714,545.824957447
9608508,525.137150460,523.785280550,523.477172140
9608509,610.695618400,609.896374075,609.318777340
9608510,617.223899739,615.276523025,615.607436168
9608511,629.935639697,627.766746664,626.477937616
9608512,402.520449465,401.296791632,401.472184598
9608513,449.373198954,447.079303198,446.149780138
9608514,446.507649147,449.158427449,448.046659187
9608515,531.848337688,530.281591560,530.136002852
9608516,740.279037073,737.350195619,736.619695710
9608517,537.048244773,535.497767823,534.763035141
9608518,553.455639261,551.731017726,550.790062513
9608519,454.830313449,454.605993658,454.620137987
9608520,459.790994485,457.530281628,456.760672555
9608521,503.902284654,501.089900037,499.674246359
9608522,526.096524910,526.581251651,525.329082305
9608523,597.625447143,594.764754915,594.379008815
9608524,404.621749078,403.771296947,402.537155104
9608525,560.596331045,557.100117008,557.763765844
9608526,531.536590823,530.354602168,528.872032817
9608527,544.281821856,543.601172986,542.518316024
9608528,424.356338374,423.538426209,423.287096357
9608529,582.613828614,581.203466696,580.494222382
9608530,639.142733488,636.485446767,635.232937191
9608531,497.975333203,496.966533487,496.948863529
9608532,358.290529130,358.580203486,358.215475430
9608533,449.771556663,449.638784105,449.227594837
9608534,617.184389524,614.874329507,613.568736843
9608535,611.571578157,610.913643023,608.235182178
9608536,477.044328891,477.089124955,476.245548395
9608537,386.498648933,387.316833019,386.079302512
9608538,505.782906556,504.645628355,503.409827364
9608539,596.640293085,592.912136373,591.759439465
9608540,592.223833657,591.424682826,591.498328140
9608541,468.021727561,468.500601435,467.346019495
9608542,558.334607834,557.898371358,556.988521773
9608543,594.023158878,593.687384463,592.490279429
9608544,423.603297992,423.877638352,423.276449573
9608545,516.110447845,514.165028342,513.417061998
9608546,592.046141009,588.009857796,588.054096164
9608547,452.202334506,450.942363212,450.072660474
9608548,440.420761270,439.075057226,438.373565384
9608549,562.476078781,561.340918951,560.454987973
9608550,460.135253072,460.735292871,459.922795886
9608551,557.542943673,557.582555830,556.735484135
9608552,437.710122532,437.422826202,438.101064728
9608553,560.332665704,557.984632395,557.952140826
9608554,450.174419928,448.762465529,448.161356752
9608555,407.892540516,408.778896076,407.081919176
9608556,517.789052285,516.681537932,516.452039762
9608557,493.995227292,493.794629633,492.955691840
9608558,610.778569492,611.890147311,610.854685295
9608559,499.857952041,499.143731458,498.283748233
9608560,662.106575583,659.473055160,658.830205632
9608561,564.312292406,562.983379166,562.582201663
9608562,567.619991578,564.529224017,563.830887053
9608563,576.356040393,574.891936215,573.202082211
9608564,614.483025075,614.287788500,613.240799067
9608565,638.254045914,633.100359357,632.788296173
9608566,393.082007832,392.831702608,391.556784134
9608567,643.033098086,640.347913237,641.428632985
9608568,595.851304864,591.830365181,590.883331430
9608569,605.631292715,602.423283710,602.776141245
9608570,601.501812007,600.086999662,598.821763785
9608571,486.499965632,485.396394802,485.323289736
9608572,339.235870655,339.699996723,340.005360174
9608573,434.151138965,435.605793415,434.416236355
9608574,584.178728751,582.165523326,581.250065427
9608575,422.096538131,421.178987246,420.469210321
9608576,514.005087134,511.590938451,511.112020741
9608577,420.361069790,419.832870841,419.018337169
9608578,497.436472038,496.775147207,495.884516441
9608579,616.464081246,614.689196796,613.835603337
9608580,525.533487219,525.231770288,525.743477303
9608581,527.399677555,526.156181899,525.384077203
9608582,443.146061087,443.100469833,442.466630745
9608583,669.569776088,665.902802732,665.803528096
9608584,415.589037058,414.764485195,413.981452262
9608585,651.339746993,649.257345078,647.656675828
9608586,576.574114548,574.907565041,573.404966241
9608587,636.576499271,634.444758530,633.277139706
9608588,419.158926468,418.419645249,417.631836425
9608589,508.822537582,507.587798184,507.211494292
9608590,390.103359471,391.237529020,389.204849207
9608591,561.212201361,559.924769236,558.785888866
9608592,521.495807468,520.180319125,519.176119004
9608593,406.342089607,407.729031175,406.644589969
9608594,596.026103936,592.005653136,591.794166440
9608595,473.487700834,472.321433988,471.760613051
9608596,478.125891110,476.958731609,475.669949518
9608597,462.493217552,461.606009884,460.936864251
9608598,585.549959429,584.674224922,583.538118606
9608599,514.254456672,512.471504595,511.739074474
9608600,376.495158276,377.182383601,376.957560111
9608601,589.217859773,586.563502757,586.132677750
9608602,534.503311171,533.224279240,532.131101871
9608603,746.263668790,743.049146043,742.827847374
9608604,594.911557957,594.024673037,593.557555169
9608605,467.396001212,466.146801228,465.173856928
9608606,501.272008227,500.473852766,499.965877524
9608607,524.745607158,523.020334379,522.167684323
9608608,712.806485813,711.219563676,710.775588445
9608609,477.518595124,475.188978177,475.351611252
9608610,597.208307635,594.099211124,593.355644578
9608611,422.560613699,421.158064354,420.926279333
9608612,439.648323090,439.792812622,437.737282305
9608613,438.723407208,439.509456572,438.698425325
9608614,558.240688592,558.039942764,557.301193498
9608615,575.702413840,573.645234094,572.484998093
9608616,522.037830022,520.601750773,520.757999168
9608617,482.177646079,480.533195440,481.054559176
9608618,563.095863836,561.987226992,561.928380505
9608619,475.329307499,475.465391810,472.521666969
9608620,596.265840297,593.465739749,592.895901332
9608621,499.646662476,499.419359222,498.124125855
9608622,635.741716189,636.522316605,634.075995637
9608623,507.923837251,507.388675004,506.051396246
9608624,530.152800034,530.188523597,528.998497536
9608625,536.915816378,535.497492998,535.277486666
9608626,669.417203380,666.930043701,666.265915943
9608627,358.776126689,357.586310272,357.558264602
9608628,408.263887859,406.886864803,406.482114032
9608629,411.217781713,411.281073750,410.157986160
9608630,547.896176970,549.210662868,547.407402855
9608631,662.793568802,660.523652634,658.572838912
9608632,695.619829599,692.434250406,690.665664436
9608633,381.147519261,380.123162080,379.404120411
9608634,461.327117976,461.846044285,462.239313049
9608635,391.523894966,391.318405795,390.565484507
9608636,620.734125359,617.563967402,617.960076219
9608637,749.217360955,744.511574678,742.025936900
9608638,459.781925621,461.085300082,459.643477123
9608639,497.044068980,495.913286912,495.870274189
9608640,398.397032840,397.986333160,397.027376093
9608641,486.292789667,483.569950403,483.612282779
9608642,386.934411730,386.424696691,385.595458622
9608643,541.552404929,543.345557598,540.771004297
9608644,458.223876194,457.682833538,457.818093729
9608645,421.944091176,421.949487709,420.879967340
9608646,507.658832392,505.636167700,505.067810943
9608647,478.935812326,476.241083948,475.380454383
9608648,584.076538959,583.136622796,581.988199036
9608649,526.922047901,525.884723758,524.888943373
9608650,675.378559691,671.450557757,672.206965625
9608651,559.930479419,559.165378587,558.524344452
9608652,617.515661947,615.424136724,613.987583110
9608653,560.080135836,558.683095579,556.839226503
9608654,536.022442575,533.483224361,531.761255075
9608655,442.746177755,440.942476292,441.046841206
9608656,591.666580414,588.132875587,587.314447058
9608657,469.517290102,469.743909495,468.746638315
9608658,406.652594749,406.153205828,405.432090910
9608659,514.392159688,514.383534362,513.327903568
9608660,475.479054649,474.419002004,474.316159403
9608661,539.225289038,537.326581153,536.302399830
9608662,634.327509075,631.563397610,631.660162054
9608663,689.367949350,688.050356337,686.453401542
9608664,703.473612966,701.583241922,699.435377378
9608665,662.491824032,661.228479346,661.637445567
9608666,385.835464420,387.004030518,385.997970592
9608667,506.349568669,505.271686382,505.012344581
9608668,580.378302714,578.713565105,576.244046719
9608669,460.655266780,460.522204031,460.599623550
9608670,320.432781651,318.867734851,319.517613790
9608671,410.725064627,412.310605400,411.372370474
9608672,418.731958165,417.467634179,417.005313666
9608673,658.627302372,656.594161878,656.248819253
9608674,510.944152611,508.452854690,508.737374804
9608675,702.491953177,703.054968804,702.938739075
9608676,435.442253252,435.443592445,435.005675050
9608677,683.279310017,680.197769391,680.452577719
9608678,535.601645811,534.667663127,534.515208112
9608679,522.683589983,523.380503862,522.746910979
9608680,555.209517700,554.279187229,553.767736460
9608681,380.073807673,379.888635963,379.290222448
9608682,399.541172346,398.766315787,398.278270161
9608683,543.310621448,544.731627193,543.708693107
9608684,373.697821772,373.199274931,372.690014420
9608685,534.246830915,532.653125922,528.537299339
9608686,584.507156722,582.613825943,582.085655899
9608687,480.038827777,478.759173543,477.789537015
9608688,695.993811300,694.501952628,693.376653595
9608689,484.348777408,485.297540076,484.550430802
9608690,378.948842541,379.186145481,378.630016693
9608691,583.603877434,582.287323481,580.811965470
9608692,696.268287292,695.208587839,694.681935684
9608693,570.844419681,568.484411986,567.778978688
9608694,651.482229262,648.997795354,651.048720879
9608695,483.416700979,482.526634726,482.066341184
9608696,432.810792705,432.765275597,431.008842542
9608697,702.723403761,700.392037602,699.938139938
9608698,470.629502866,467.920577823,468.615412920
9608699,621.277835730,617.680236587,617.772435380
9608700,530.250518202,530.173728302,529.712718538
9608701,519.653184652,518.196401480,517.976819387
9608702,462.732918140,463.801088018,462.204029488
9608703,537.939074234,535.919089527,535.965920958
```