# pb1r — port-2 real-engine rerun

All 256 assigned seeds (9610240–9610495 inclusive) were run exactly once per arm. Each arm ran alone against Vanilla_30bps; candidate, then t03, then IB. Seeds not run: **none**. No IB work was dropped. This report contains measurements from this run, not the earlier artifact’s scores.

Policy credit: **Taylor (gtmcknight)**. Candidate source and setup came from [port-2](https://api.imdnotdead.fun/artifacts/e8c967d6358da0fd53117891357f19a1d684225bd71a5e302b6e299c85f1286c); comparator sources came from [t03](https://api.imdnotdead.fun/artifacts/2333ecf28d4356bd232b85c1e55842e94e1ada05e1cd067830b5625dfdbc5336) and [IB](https://api.imdnotdead.fun/artifacts/afd5183e9ff3235334e041c00b0cd19079599a2c6464db95f8c1586712105557).

## Source verification and validation

| Arm | SHA-256 of exact Solidity source | getName | Runtime bytes | amm-match validate |
|---|---|---|---:|---|
| candidate | `7e2d9c157a7725c2875eea31e5741938fb9eafef5a3442710573f1b1a87faf17` | TaylorGaussianPlain2 | 18,484 | PASS |
| t03 | `cb6d945511e1e10af78baa64c2a6cb25806f0998403ce6440654bfc3c70092d9` | censored_10 | 14,654 | PASS |
| IB | `301941829a44bb60977bb28181a5e4bfa6544f3696763f987054789b2611d686` | inputs_b | 14,528 | PASS |

All three SHA-256 hashes match the assigned values. Candidate runtime is below 24,576 bytes. The supplied eight-line setup script was saved and run once successfully; its wheel checksum passed, solc 0.8.24 installed, and StarterStrategy validation passed. Linux x86_64 platform check passed. No download retry was needed.

## Paired scores

Score is the engine result’s `edges["submission"]`. Differences use unrounded scores on the same seed. SE is sample standard deviation (ddof=1) divided by sqrt(n); wins count strictly positive differences. Worst/best lists are ordered from smallest/largest difference respectively.

| Difference | n | mean_diff | se | wins | ties |
|---|---:|---:|---:|---:|---:|
| candidate − t03 | 256 | 1.327510001 | 0.088075259 | 213 | 0 |
| candidate − IB | 256 | 2.029791756 | 0.091640459 | 241 | 0 |

Candidate − t03:

worst5: (9610397, -1.552673012), (9610272, -1.531993236), (9610271, -1.480311569), (9610413, -1.306498883), (9610403, -1.270333781).

best5: (9610455, 11.247048738), (9610274, 6.276161357), (9610378, 5.245192619), (9610471, 4.836196624), (9610434, 4.320514463).

Candidate − IB:

worst5: (9610271, -1.284880686), (9610316, -1.147041378), (9610343, -0.801396145), (9610272, -0.663107279), (9610416, -0.591603158).

best5: (9610455, 8.760192537), (9610434, 6.775223928), (9610274, 6.342688615), (9610378, 6.301833917), (9610368, 5.995190431).

## Submission afterSwap gas

Each chunk resets `amm_sim_rs.gas_stats_reset()` immediately before its run and reads `amm_sim_rs.gas_stats()` after it. Only the Submission/afterSwap records are included below. Mean gas is total `sum_ok_gas` divided by total `ok`, weighted by calls; every call succeeded. Peak is maximum `max_ok_gas` over chunks.

| Arm | Calls | OutOfGas | Reverts | Peak gas | Mean gas | Sum gas |
|---|---:|---:|---:|---:|---:|---:|
| candidate | 2,756,970 | 0 | 0 | 225,947 | 126700.387421 | 349309167107 |
| t03 | 2,775,676 | 0 | 0 | 235,418 | 135582.198509 | 376332254428 |
| IB | 2,754,525 | 0 | 0 | 234,825 | 135244.520566 | 372534413013 |

All arms also had zero other_halt, tx_error, and bad_return events in Submission/afterSwap. Candidate peak is below 245,000 gas. These are observed limits on this seed block, not guarantees for other seeds.

| Arm | Seeds (inclusive) | Calls | Peak gas | OutOfGas | Reverts | Engine seconds |
|---|---|---:|---:|---:|---:|---:|
| candidate | 9610240–9610271 | 346,565 | 224,676 | 0 | 0 | 21.048550 |
| candidate | 9610272–9610303 | 344,361 | 223,447 | 0 | 0 | 17.619102 |
| candidate | 9610304–9610335 | 352,257 | 224,573 | 0 | 0 | 16.565245 |
| candidate | 9610336–9610367 | 332,973 | 224,242 | 0 | 0 | 16.890778 |
| candidate | 9610368–9610399 | 331,694 | 225,138 | 0 | 0 | 18.364501 |
| candidate | 9610400–9610431 | 352,880 | 224,396 | 0 | 0 | 16.040950 |
| candidate | 9610432–9610463 | 353,072 | 224,242 | 0 | 0 | 15.386305 |
| candidate | 9610464–9610495 | 343,168 | 225,947 | 0 | 0 | 17.434297 |
| t03 | 9610240–9610271 | 349,174 | 232,431 | 0 | 0 | 12.087874 |
| t03 | 9610272–9610303 | 346,625 | 232,506 | 0 | 0 | 12.051920 |
| t03 | 9610304–9610335 | 353,419 | 232,517 | 0 | 0 | 13.105684 |
| t03 | 9610336–9610367 | 336,320 | 235,418 | 0 | 0 | 10.913115 |
| t03 | 9610368–9610399 | 335,795 | 232,506 | 0 | 0 | 11.656586 |
| t03 | 9610400–9610431 | 354,421 | 232,510 | 0 | 0 | 11.294127 |
| t03 | 9610432–9610463 | 354,503 | 232,506 | 0 | 0 | 14.149219 |
| t03 | 9610464–9610495 | 345,419 | 235,394 | 0 | 0 | 11.660745 |
| IB | 9610240–9610271 | 346,288 | 231,813 | 0 | 0 | 13.541795 |
| IB | 9610272–9610303 | 343,952 | 231,941 | 0 | 0 | 13.493550 |
| IB | 9610304–9610335 | 350,730 | 231,869 | 0 | 0 | 12.854903 |
| IB | 9610336–9610367 | 334,311 | 234,825 | 0 | 0 | 11.776304 |
| IB | 9610368–9610399 | 333,634 | 232,022 | 0 | 0 | 10.856205 |
| IB | 9610400–9610431 | 351,352 | 231,874 | 0 | 0 | 10.882639 |
| IB | 9610432–9610463 | 351,470 | 232,014 | 0 | 0 | 11.993178 |
| IB | 9610464–9610495 | 342,788 | 234,825 | 0 | 0 | 10.979799 |

## Timing

Elapsed wall time is measured around `run_batch` only; setup, compilation, validation, and Python startup are excluded. Seconds per seed is the sum of all eight chunk durations divided by 256.

| Arm | Total engine seconds | Seconds per seed |
|---|---:|---:|
| candidate | 139.349728 | 0.544334875 |
| t03 | 96.919269 | 0.378590894 |
| IB | 96.378373 | 0.376478020 |

## Method and scope

Pinned challenge checkout: `6b6921f8d463314aa7c96234e1be25a25245f704`. Engine wheel: `amm_sim_rs-0.1.0.post1-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.whl`, SHA-256 `aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a`. Compiler settings follow the pinned [SolidityCompiler](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/evm/compiler.py): solc 0.8.24, optimizer enabled, 200 runs, viaIR, Paris.

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), applied directly to each assigned seed: `rng = numpy.random.default_rng(seed)`; draw size uniform [19,21], rate uniform [0.6,1.0], sigma uniform [0.000882,0.001008] in that order; simulation seed equals that seed. All other fields use `build_base_config(seed=seed)` (10,000 steps). This uses the assigned seed for the random draws, not the chunk index or an offset starting at zero.

Each 32-config chunk invokes `amm_sim_rs.run_batch(arm_creation_bytecode, vanilla_creation_bytecode, configs, 8)`. VanillaStrategy is compiled from the pinned [30 bps baseline](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/contracts/src/VanillaStrategy.sol). Its runtime is 640 bytes and source SHA-256 is `62d40ccef0de99a385e332a36ddf9cbd1da73eda06bd7954492a9880cb91a572`. Candidate source was extracted byte-exact from the sole Solidity block under `### Strategy.sol`; comparator bytes were decoded using zlib(base64(code_zb64)). No strategy was modified. No command exceeded eight minutes.

Local checks confirmed configuration-field equivalence against the pinned `_build_configs` for the first seed, a chunk boundary, and the final seed; all three source hashes, eight 32-seed chunks per arm, finite scores, exact seed coverage and successful gas accounting are checked before report generation. CSV row count and paired statistics are checked independently after generation.

This bounded item scores the supplied port; it does not rerun replica gates P/Q/F or claim new results for those gates. Scores, gas, runtimes, validation and elapsed times above were measured locally. Source links identify inputs and methodology, not independent certification of these measurements.

## Per-seed CSV

Scores rounded to nine decimal places only for this CSV.

```csv
seed,candidate,t03,IB
9610240,575.041981956,573.094211983,572.510500600
9610241,577.669481377,576.762335932,575.808832295
9610242,361.300051937,362.156656630,360.674266583
9610243,705.427867615,704.461445533,701.546478308
9610244,441.121756752,441.580773661,440.629522798
9610245,393.829763755,392.938862483,391.526584762
9610246,480.663977751,478.164716049,477.838718655
9610247,664.863328985,662.076479146,661.876018419
9610248,494.647288670,493.097725444,493.167633506
9610249,344.004462837,344.661373663,343.865309192
9610250,586.418528369,584.585203812,584.805700828
9610251,587.980028033,586.871764498,586.644367379
9610252,448.476113940,448.994968982,448.259799281
9610253,684.856125554,682.831611797,682.245611774
9610254,546.169191695,544.804719472,544.015634789
9610255,517.139961432,516.123839656,515.283733548
9610256,452.733672921,450.825415125,451.058218695
9610257,506.311756606,505.047679443,504.389945285
9610258,588.246735947,588.684181425,588.042108246
9610259,500.396434806,499.516190082,497.987538783
9610260,530.567980980,530.194244507,530.159018494
9610261,564.349755578,562.499710403,562.245526942
9610262,471.513931715,469.875787038,469.501354699
9610263,446.867504627,446.401061491,445.840285262
9610264,600.423493336,600.387739865,598.456846494
9610265,509.446086342,506.420963182,506.589389189
9610266,560.552503209,558.337690108,556.991612865
9610267,584.843214256,584.016533967,582.970054217
9610268,681.110357408,679.343462601,678.472017638
9610269,560.154529952,559.699124611,559.876739236
9610270,446.421058232,444.218839740,442.806381379
9610271,396.620575347,398.100886916,397.905456033
9610272,639.546203372,641.078196608,640.209310651
9610273,451.046841933,451.152036128,451.413851070
9610274,692.302936746,686.026775389,685.960248131
9610275,428.706634140,428.310906545,427.090351125
9610276,414.520807685,412.838182493,413.038557796
9610277,532.779065686,532.911710768,531.932728353
9610278,629.236328349,626.579802739,624.877291054
9610279,695.382523426,693.985932046,693.012969786
9610280,504.135631478,504.169910122,502.848944307
9610281,483.460952658,480.651197419,479.922113863
9610282,677.336897245,674.522107884,673.504615584
9610283,469.458395736,468.497307563,466.675932243
9610284,607.226018339,607.155903944,605.207782447
9610285,459.857671784,458.233971219,457.504460106
9610286,511.981260898,511.316506279,511.713800119
9610287,548.517589158,545.582874558,544.854287047
9610288,516.268622422,514.283619027,513.813082021
9610289,383.545738302,382.438669211,382.202636844
9610290,615.923265679,614.958601063,613.844763519
9610291,361.095652272,362.192618855,361.611002248
9610292,522.170836092,519.617779896,520.767185238
9610293,572.236233409,571.161369011,570.738410333
9610294,559.676229609,556.751179477,555.551450376
9610295,424.108966747,423.719681957,423.014791016
9610296,394.173422439,392.749233232,392.785495705
9610297,435.495141057,435.519021612,435.487851105
9610298,575.495326664,573.175630752,571.465777623
9610299,568.715569094,566.773466319,566.516656480
9610300,613.432411135,613.606611957,611.360755731
9610301,479.019882829,478.566197066,476.231556897
9610302,623.497292955,623.220474960,622.101523567
9610303,537.569474151,535.757474762,535.727519044
9610304,724.853296313,722.000470919,721.667028109
9610305,620.038575296,619.007932438,619.337685748
9610306,527.649990400,526.362344837,525.642946598
9610307,521.062735318,519.531097038,517.418366584
9610308,614.580604230,612.082523607,610.694122266
9610309,663.906328822,661.846616604,660.936609238
9610310,665.975496045,662.297333452,663.173202720
9610311,493.182319959,489.831692451,489.519372432
9610312,465.861659720,465.263786682,465.104790254
9610313,559.627107278,559.113436469,558.375537228
9610314,612.052849681,609.154661391,608.953858583
9610315,645.532198405,642.766531126,642.702017609
9610316,466.390107302,467.314458877,467.537148680
9610317,550.099344735,547.483125079,547.470564288
9610318,545.512308266,544.441784372,544.263870601
9610319,503.672152109,503.126148611,502.862683574
9610320,581.752574585,579.639959182,578.710206338
9610321,506.556370191,502.744654350,502.673448904
9610322,463.376891480,462.153977470,463.182876263
9610323,507.696417793,505.633997241,505.275239458
9610324,554.619248257,553.231335806,552.017137216
9610325,468.481006029,467.377475608,466.132145107
9610326,505.141160368,504.240834298,503.915147288
9610327,537.864027480,536.206241215,536.389024970
9610328,570.889323020,569.888695260,568.350903115
9610329,547.001544397,545.964949686,544.547749655
9610330,406.161670060,404.550841523,404.343631443
9610331,558.026789587,556.545761435,556.454570503
9610332,448.336520941,446.439052205,445.872892927
9610333,552.763230739,552.479170089,551.029996325
9610334,510.842195904,508.935645927,507.497965216
9610335,430.440571727,429.542041799,428.436949601
9610336,487.376249050,485.200110995,484.893628009
9610337,529.203329018,527.167535744,527.149871688
9610338,392.737521402,391.886936256,390.201042365
9610339,413.925047672,413.012704455,412.250098424
9610340,573.931147505,573.362081287,573.235081409
9610341,453.231125970,451.859986848,451.328253178
9610342,608.894603294,606.149071923,605.521956066
9610343,330.358679278,331.300741296,331.160075423
9610344,542.313054643,541.492979788,540.364974930
9610345,549.289605924,546.510160815,546.225044756
9610346,647.018746485,644.054431942,645.058509092
9610347,470.343514739,469.662898508,468.251659620
9610348,631.181868770,629.065308192,629.594319528
9610349,466.942694275,464.936887559,464.048721226
9610350,415.454351476,415.671928322,414.643068810
9610351,381.090475285,381.781320345,380.932822425
9610352,382.850898604,381.304051866,380.808944818
9610353,480.692848290,481.406020023,480.451128319
9610354,439.863794830,438.669257968,438.267479241
9610355,540.090183351,538.468766584,537.974210833
9610356,593.357783736,591.029142513,588.974245769
9610357,625.320145559,621.178013970,621.219024030
9610358,547.044836326,544.605789340,544.696579527
9610359,515.728960160,514.696593196,512.946585336
9610360,470.697317744,469.544911827,468.231382675
9610361,467.443430040,465.685962793,464.811990089
9610362,409.653060371,407.653246997,407.276304484
9610363,382.191754034,379.804388605,380.312741078
9610364,731.001247383,730.133752055,731.015838191
9610365,624.919013500,624.450134801,623.682355460
9610366,398.533395591,397.235583121,396.502453238
9610367,598.908871964,596.415938295,595.827960155
9610368,627.938452322,626.354729717,621.943261891
9610369,526.751872184,525.559715531,524.817941719
9610370,729.951560887,726.972965914,726.852520910
9610371,549.608529673,548.621696178,548.422408500
9610372,541.183117703,540.344020358,540.348140450
9610373,442.455695987,442.543264787,441.884611076
9610374,665.051149572,663.900439597,663.262902733
9610375,614.376817315,612.265901208,611.707037419
9610376,634.879277072,634.651192963,634.578141550
9610377,467.143914230,465.733866737,464.730043517
9610378,593.872195238,588.627002619,587.570361322
9610379,513.942421023,513.636587185,512.404937562
9610380,484.648218804,484.726337798,483.654756269
9610381,541.718100750,538.384604840,537.254424414
9610382,482.202781542,482.804012906,481.666005106
9610383,386.543058077,385.946756283,385.550365759
9610384,364.413133304,365.155461777,364.479206983
9610385,481.849663153,479.849312776,479.297221083
9610386,518.710069384,517.582268088,516.383397494
9610387,588.011431947,587.462530578,586.710577089
9610388,426.058494895,425.787072241,425.009085625
9610389,521.958388789,520.269226790,519.472138882
9610390,431.863268891,430.816173104,431.334786282
9610391,493.814009367,492.171290045,491.314075895
9610392,488.572489600,487.254480489,486.018925039
9610393,426.566943670,426.224512175,425.839820856
9610394,432.300662697,432.632574383,431.395667771
9610395,484.981662731,483.982635804,484.768693154
9610396,477.124512641,478.215837718,475.887026208
9610397,387.397400012,388.950073025,387.958050044
9610398,445.198831635,444.428106120,444.197708073
9610399,473.863926048,471.992252024,471.878436845
9610400,497.822792578,496.584229311,496.541681889
9610401,638.586267254,634.858673392,633.176558103
9610402,591.047600622,590.424777678,589.149781607
9610403,572.966001396,574.236335177,572.006377325
9610404,439.155112709,438.365066585,438.303713236
9610405,609.313871987,607.302416821,606.421212437
9610406,619.712211030,617.338114713,617.399726816
9610407,519.176691947,519.395332391,518.377505962
9610408,620.098797837,618.156813048,617.077287704
9610409,671.090815444,668.414111723,669.608559463
9610410,460.789069703,460.082591831,456.836480157
9610411,371.949392527,370.322478163,369.882928491
9610412,618.553347211,616.112362546,615.389942864
9610413,438.359384364,439.665883247,438.280506389
9610414,496.646701808,495.992510175,495.546901851
9610415,575.631656568,574.594380826,572.848684827
9610416,365.462973698,365.800954541,366.054576857
9610417,694.592117875,691.708905449,691.852711570
9610418,516.125110642,513.875282977,513.845299573
9610419,459.101415194,458.612133711,458.202803743
9610420,515.659489625,514.374092479,512.884857396
9610421,561.241982992,559.291844418,557.509712566
9610422,648.205215541,646.260333615,645.631497908
9610423,627.381692403,625.245581596,624.575937391
9610424,614.211044560,612.869981103,614.238068153
9610425,427.670291564,428.298925906,427.614721306
9610426,694.696843106,692.435531737,691.972571948
9610427,504.808003272,504.306389325,504.025673883
9610428,373.645807111,373.915790414,373.631332981
9610429,498.617286018,498.049230019,496.683031597
9610430,446.369414378,446.097084258,445.882256141
9610431,683.719916315,681.545323702,680.722295739
9610432,675.898226546,671.923228890,671.972847505
9610433,423.262296222,423.762457014,423.289636432
9610434,643.688197014,639.367682552,636.912973086
9610435,674.742450862,672.341245122,671.539590860
9610436,606.053067621,602.853294666,602.651929555
9610437,537.196067794,536.894141619,535.945309737
9610438,569.015586783,566.886692221,566.289414070
9610439,451.819043993,450.066450710,449.222881604
9610440,443.242890912,443.447826472,443.532828729
9610441,619.495190136,616.871975683,614.637142359
9610442,569.210935906,568.824772760,568.503792162
9610443,479.980032802,480.672369437,479.694914177
9610444,475.650313395,475.377152849,473.893359180
9610445,510.134927507,508.816817099,508.016654838
9610446,404.464222637,404.910365564,404.452220927
9610447,662.947049711,661.029880197,658.582611775
9610448,582.702130662,581.159361107,580.177996458
9610449,652.390080072,649.325270992,649.228135891
9610450,569.528406782,569.402036787,568.871943194
9610451,554.993949403,552.896467378,550.990814320
9610452,401.394234323,401.824994485,401.710429589
9610453,619.122637762,616.361550164,614.834081900
9610454,609.562242639,608.127498258,605.727701475
9610455,761.393612681,750.146563943,752.633420144
9610456,598.254119353,598.364988987,598.278619733
9610457,391.980242761,389.917246025,388.725324210
9610458,521.102360959,520.141617049,520.005276696
9610459,481.162543334,481.544293240,480.766157663
9610460,469.758390391,468.772147862,468.454155346
9610461,594.202647126,591.368115996,591.164013826
9610462,553.245316725,551.410363490,550.732190843
9610463,516.390355456,515.646578302,514.985053899
9610464,540.312929577,539.011416600,538.671505625
9610465,393.220575512,394.144439790,393.077080253
9610466,598.398249260,596.791696482,595.977845467
9610467,348.489603734,348.850710502,348.338219681
9610468,499.538492974,498.236296903,497.797420776
9610469,486.998715843,487.167403773,485.389741010
9610470,435.435232101,434.374770306,433.576319252
9610471,649.199924471,644.363727847,643.680503076
9610472,593.056251772,590.764111945,590.751850784
9610473,672.316416365,669.612179810,668.322416911
9610474,501.542019236,500.854229153,500.147914664
9610475,395.457713811,395.013836268,394.255770937
9610476,543.569761413,542.640243334,542.436060978
9610477,423.171897602,421.907658849,421.916566495
9610478,423.091844551,422.752858347,422.961022690
9610479,535.825489939,534.581459970,533.662883436
9610480,517.793477270,515.872612884,514.929552132
9610481,546.423530989,543.194598878,542.283680632
9610482,524.346577827,522.666066109,521.929826424
9610483,634.947969818,633.812810623,633.722357802
9610484,712.042605666,709.404146732,707.879411015
9610485,366.872330008,365.837996824,364.764251187
9610486,560.916351123,560.870695469,559.832377226
9610487,685.338103697,682.935716587,679.975027610
9610488,516.862868888,517.698554615,516.242697448
9610489,605.773991373,602.904826570,602.162695535
9610490,632.966080757,631.106344423,629.607283010
9610491,453.646814426,451.250850983,450.757907753
9610492,513.965327870,513.829707912,512.757133528
9610493,439.079143091,439.343637510,438.670349950
9610494,476.695599554,474.177591749,474.397738679
9610495,660.117689607,656.855284045,655.362873348
```