# ta1: trim-1 confirmation on 256 fresh real-engine seeds

Scores and gas statistics below are local measurements, computed from the saved per-seed engine results and per-chunk gas counters. Source hashes, names and runtime sizes were checked locally. Nothing was fabricated. Taylor (**gtmcknight**) is credited for the solved Gaussian policy in the unchanged candidate contract header. This item scores the supplied trim-1; it does not rerun the broader port’s replica gates P/Q/F.

## Identity and validation

Candidate extracted byte-exact from the Solidity block of [trim-1](https://api.imdnotdead.fun/artifacts/fce772b9057867b241350b8e44c05298c6c877871a26b58702a5af431726f6c5). `amm-match validate contracts/src/Strategy.sol` passed: `Strategy 'TaylorGaussianPlainNet2' validated successfully!`.

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

Comparator sources: [t03](https://api.imdnotdead.fun/artifacts/2333ecf28d4356bd232b85c1e55842e94e1ada05e1cd067830b5625dfdbc5336) and [IB](https://api.imdnotdead.fun/artifacts/afd5183e9ff3235334e041c00b0cd19079599a2c6464db95f8c1586712105557); their `code_zb64` payloads were base64-decoded and zlib-decompressed, and both source hashes matched the assignment. Runtime bytes and names in the table were measured locally after compiling all three sources.

## Method

Linux x86_64 requirement passed. The challenge checkout was pinned to `6b6921f8d463314aa7c96234e1be25a25245f704`. The eight-line setup from [port-3](https://api.imdnotdead.fun/artifacts/0dbcc10af41b3c3467ff0d9b9cb64c81328fcf18295f9be06b2d81bb98874067) was saved as `scratch/setup.sh` and run once from the checkout root; it passed, including wheel checksum, Solidity 0.8.24 installation and StarterStrategy validation. Its Markdown block contained escaped newlines/quotes, decoded before saving the executable script. Later engine/Solidity commands prefixed `. scratch/env.sh &&`. All temporary work lives under the assignment’s exempt `test/scratch/ta1/`.

Each arm ran alone against compiled 30 bps `VanillaStrategy`, via `amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8)`. Config generation follows [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): for actual seed i, `default_rng(i)` draws uniform size [19,21], rate [0.6,1.0], then sigma [0.000882,0.001008], with simulation seed i. Other fields: 10,000 steps; price 100; reserves 100 / 10,000; mu 0; dt 1; retail size sigma 1.2; buy probability 0.5.

Seeds 9607168–9607423 were run once per arm, in ascending 32-seed chunks. All candidate chunks completed before t03 started; all t03 chunks completed before IB started. There were no seed retries. Scores are `result.edges["submission"]`, not submission-minus-Vanilla edge. `gas_stats_reset()` preceded each chunk, and `gas_stats()` followed it. Gas below selects only `role="Submission", callback="afterSwap"`, excluding Vanilla and other callbacks. No individual command exceeded eight minutes.

## Paired scores

Differences are candidate minus comparator on their common measured seeds. SE is sample standard deviation (ddof=1) divided by sqrt(n); each pair uses unrounded edge values. Means are restricted to the same paired seeds.

| Comparison | n | Candidate mean | Comparator mean | Mean diff | SE |
|---|---:|---:|---:|---:|---:|
| candidate − t03 | 256 | 537.040125815 | 535.723369385 | 1.316756429 | 0.090810043 |
| candidate − ib | 256 | 537.040125815 | 535.054350080 | 1.985775734 | 0.098843506 |

**candidate − t03 worst5:** (9607257, -1.830896089), (9607375, -1.752273689), (9607314, -1.674562410), (9607186, -1.503486880), (9607353, -1.250772812).
**candidate − t03 best5:** (9607182, 6.548766045), (9607266, 5.373417038), (9607220, 5.243512208), (9607241, 5.196551960), (9607319, 5.183181405).

**candidate − ib worst5:** (9607169, -2.619844401), (9607375, -1.752536195), (9607353, -1.581908383), (9607186, -1.558208270), (9607280, -1.324534220).
**candidate − ib best5:** (9607182, 7.880259289), (9607241, 6.712530501), (9607264, 6.067242940), (9607319, 5.687698959), (9607290, 5.677120141).

## afterSwap gas

| Arm | Calls | OutOfGas | Reverts | Peak gas | Mean gas |
|---|---:|---:|---:|---:|---:|
| candidate | 2,790,737 | 0 | 0 | 234,349 | 131461.613697 |
| t03 | 2,793,611 | 0 | 0 | 235,417 | 135461.239418 |
| ib | 2,771,904 | 0 | 0 | 234,868 | 135120.206950 |

Mean gas is total successful gas / successful calls, weighted by calls across chunks. Other halts, transaction errors and bad returns were all zero in every arm’s afterSwap counters. The candidate’s measured peak is below the 245,000 gas limit, its runtime is below 24,576 bytes, and its observed OOG and revert counts are zero. These are empirical checks over the assigned seeds.

| Seeds (inclusive) | Candidate peak | t03 peak | IB peak |
|---|---:|---:|---:|
| 9607168–9607199 | 234,349 | 232,470 | 231,832 |
| 9607200–9607231 | 219,621 | 232,676 | 232,026 |
| 9607232–9607263 | 216,890 | 232,482 | 231,894 |
| 9607264–9607295 | 221,521 | 235,417 | 234,868 |
| 9607296–9607327 | 226,276 | 232,518 | 231,906 |
| 9607328–9607359 | 220,913 | 214,068 | 213,457 |
| 9607360–9607391 | 221,745 | 232,494 | 231,862 |
| 9607392–9607423 | 221,366 | 232,506 | 231,941 |

Per-chunk submission afterSwap counters (all calls succeeded):

| Arm | First seed | Calls | Sum gas | Peak | OOG | Reverts |
|---|---:|---:|---:|---:|---:|---:|
| candidate | 9607168 | 339394 | 44695229998 | 234349 | 0 | 0 |
| candidate | 9607200 | 356502 | 46808513972 | 219621 | 0 | 0 |
| candidate | 9607232 | 355702 | 46712439910 | 216890 | 0 | 0 |
| candidate | 9607264 | 347633 | 45708452583 | 221521 | 0 | 0 |
| candidate | 9607296 | 350186 | 46022734067 | 226276 | 0 | 0 |
| candidate | 9607328 | 349911 | 45986342224 | 220913 | 0 | 0 |
| candidate | 9607360 | 345341 | 45427292671 | 221745 | 0 | 0 |
| candidate | 9607392 | 346068 | 45513783998 | 221366 | 0 | 0 |
| t03 | 9607168 | 341662 | 46403164764 | 232470 | 0 | 0 |
| t03 | 9607200 | 356551 | 48193816529 | 232676 | 0 | 0 |
| t03 | 9607232 | 354573 | 47938557445 | 232482 | 0 | 0 |
| t03 | 9607264 | 348279 | 47191806825 | 235417 | 0 | 0 |
| t03 | 9607296 | 350138 | 47411128073 | 232518 | 0 | 0 |
| t03 | 9607328 | 349985 | 47393328457 | 214068 | 0 | 0 |
| t03 | 9607360 | 346019 | 46922981210 | 232494 | 0 | 0 |
| t03 | 9607392 | 346404 | 46971225210 | 232506 | 0 | 0 |
| ib | 9607168 | 339310 | 45973710120 | 231832 | 0 | 0 |
| ib | 9607200 | 353253 | 47628183092 | 232026 | 0 | 0 |
| ib | 9607232 | 352199 | 47489111529 | 231894 | 0 | 0 |
| ib | 9607264 | 345301 | 46674266160 | 234868 | 0 | 0 |
| ib | 9607296 | 347462 | 46933210198 | 231906 | 0 | 0 |
| ib | 9607328 | 347229 | 46900709972 | 213457 | 0 | 0 |
| ib | 9607360 | 343280 | 46435548267 | 231862 | 0 | 0 |
| ib | 9607392 | 343870 | 46505502787 | 231941 | 0 | 0 |

## Timing and coverage

Timing uses `perf_counter()` immediately around each `run_batch` call. Seconds per seed is wall time / measured seeds (eight workers); it excludes setup, compilation, validation and report generation.

| Arm | Seeds run | Batch wall seconds | Seconds per seed | Seeds not run |
|---|---:|---:|---:|---|
| candidate | 256 | 178.641801 | 0.697820 | none |
| t03 | 256 | 175.152841 | 0.684191 | none |
| ib | 256 | 162.030435 | 0.632931 | none |

All 768 arm/seed runs completed. No assigned seeds are missing, and IB is complete. No setup or engine failure occurred. No unavailable measurements were filled in.

| Chunk first seed | Candidate seconds | t03 seconds | IB seconds |
|---|---:|---:|---:|
| 9607168 | 19.098340 | 22.283731 | 22.104507 |
| 9607200 | 19.744284 | 22.238505 | 21.597703 |
| 9607232 | 18.503971 | 23.405262 | 23.792699 |
| 9607264 | 22.966457 | 23.082965 | 23.582809 |
| 9607296 | 22.421020 | 18.869187 | 16.817621 |
| 9607328 | 22.887353 | 20.060872 | 18.206840 |
| 9607360 | 25.254755 | 22.543412 | 15.519133 |
| 9607392 | 27.765621 | 22.668907 | 20.409122 |

## Per-seed CSV

Nine decimals; rounding is for display only.

```csv
seed,candidate,t03,IB
9607168,439.517207150,438.491951123,438.452516148
9607169,558.509330683,555.616679650,561.129175083
9607170,420.272074219,418.509813197,417.941224552
9607171,608.984527440,605.251621917,607.014358031
9607172,388.614517564,387.667990931,387.565763264
9607173,478.735172668,478.842816323,477.174763547
9607174,476.015891452,476.848390158,474.732367216
9607175,590.680949609,588.677583971,587.460815380
9607176,493.401087422,492.600960107,491.246829112
9607177,428.406792665,428.517541351,426.545258673
9607178,555.058778643,555.820885756,553.667865955
9607179,479.222325814,478.552811273,476.577969762
9607180,473.513778951,472.264327811,471.690035252
9607181,598.660135587,599.006243059,599.793371855
9607182,714.343035395,707.794269350,706.462776106
9607183,502.701980312,501.485729587,501.161079348
9607184,550.229585462,548.303821461,549.210249455
9607185,398.600182101,397.960227557,397.312403170
9607186,442.803384094,444.306870974,444.361592364
9607187,602.396026114,601.200157555,601.315124642
9607188,443.503560869,443.085615144,443.780647523
9607189,614.912897015,612.855447225,611.515929571
9607190,738.249688570,735.262855477,734.527912721
9607191,602.692414151,602.022191491,600.957535225
9607192,466.874372011,466.987459872,465.761376460
9607193,406.968666710,406.951729830,406.286610075
9607194,429.068462058,428.139437650,427.400319722
9607195,475.253336646,472.080479341,471.631697843
9607196,596.822820864,596.964641636,596.844478102
9607197,482.602561234,481.414080562,481.062981046
9607198,468.033805108,467.176064042,465.740561786
9607199,388.007117130,387.798706108,386.029873936
9607200,410.681265544,411.589992312,410.054795442
9607201,392.629404510,391.595836373,391.020260260
9607202,431.899742427,431.598920276,431.057090321
9607203,492.438000156,491.646930634,490.631015641
9607204,608.505026469,607.386444236,606.951991224
9607205,601.704920050,600.935572735,600.955220849
9607206,557.497542198,555.669861887,555.088601296
9607207,691.649606988,688.580948575,688.599633454
9607208,623.653364594,623.154289377,622.416725173
9607209,547.752669297,545.528260277,546.031029926
9607210,543.535411304,541.092377081,540.309763482
9607211,627.969201900,624.977636156,624.593922178
9607212,523.347164835,521.183428136,520.577180063
9607213,744.796609493,745.012494534,742.634026312
9607214,563.869085405,562.689474550,562.674137208
9607215,548.456131517,547.125085339,546.900712767
9607216,531.159524066,531.071086966,530.408006574
9607217,591.644175822,589.914939225,587.994449273
9607218,548.987886770,547.610482423,545.425574467
9607219,444.433553486,443.521079541,443.401648638
9607220,507.302612355,502.059100147,501.894682695
9607221,573.991213710,572.071926808,569.439607480
9607222,447.997486849,447.350070862,446.879406545
9607223,483.703155464,483.273332612,483.450717515
9607224,515.535721782,514.648759915,514.663435746
9607225,596.314131230,593.818983108,592.051911763
9607226,571.642473667,568.890381470,568.364030025
9607227,650.599297245,648.092960795,647.454792829
9607228,688.056178461,686.497429510,686.718947475
9607229,524.775041712,524.738601496,524.602494654
9607230,510.559570714,509.746738685,508.308964274
9607231,542.280621805,540.408152971,540.415816541
9607232,525.156693298,524.813933373,523.112002465
9607233,698.881503492,698.237748032,696.229089075
9607234,483.964985773,483.833817314,482.703062148
9607235,553.753061658,552.427401321,551.629383457
9607236,650.801226533,648.486572665,649.225368161
9607237,374.819048273,374.700266107,373.991176997
9607238,519.659648849,519.255287336,518.922416430
9607239,634.219753194,631.832899804,631.549730008
9607240,617.932924836,614.377791848,613.949991854
9607241,653.822541902,648.625989942,647.110011401
9607242,576.584741107,575.682663215,576.006432306
9607243,529.698282520,526.996744547,527.046612409
9607244,643.679084203,640.974178947,640.027607872
9607245,371.992094086,372.367355724,371.022371969
9607246,614.795577337,614.718086647,612.979136176
9607247,478.477775712,474.208568206,474.402441585
9607248,380.887774852,381.059283487,380.853083573
9607249,572.153636930,569.941087239,568.730297307
9607250,445.788245925,444.120910282,442.829017154
9607251,691.703837219,688.275981707,686.428576714
9607252,494.842017620,492.605120991,492.653051431
9607253,558.758326663,555.750162444,554.961913095
9607254,585.062919460,582.301250211,582.683190218
9607255,614.144918876,613.134891287,612.986522293
9607256,456.219271330,455.880292186,456.116581657
9607257,488.741168489,490.572064579,488.935472146
9607258,669.750021937,666.472557725,666.843498716
9607259,532.929823636,531.158100564,529.921477130
9607260,374.631283954,373.862652825,373.414542503
9607261,619.634797048,615.825325734,614.890176753
9607262,520.427510208,519.758237351,519.492779538
9607263,349.286577837,348.805232771,348.544669466
9607264,665.667787830,661.051769953,659.600544890
9607265,563.456234542,563.511447013,562.665126337
9607266,603.159809396,597.786392358,597.863875172
9607267,611.073470420,607.422915445,608.084180175
9607268,657.465051496,656.587468644,655.389957790
9607269,599.791452817,599.665109956,597.942900747
9607270,507.397014775,508.356159908,507.506637119
9607271,545.201365482,544.166219831,543.535469073
9607272,494.823528725,492.987233984,492.913704349
9607273,470.270175012,469.688490433,469.345162228
9607274,685.765044598,684.443880571,683.777886541
9607275,513.156148583,511.629961745,509.917669089
9607276,621.712306898,620.816788417,620.437115178
9607277,536.779162639,536.914781184,535.803540312
9607278,423.767556691,424.310502354,423.998980430
9607279,511.564466436,510.133000289,509.593181661
9607280,383.519007064,384.254662415,384.843541284
9607281,425.287757598,424.086830817,424.258446628
9607282,488.635001133,487.641904283,486.603915962
9607283,449.212271069,447.807897992,448.493996256
9607284,473.960068049,471.438806656,470.838126873
9607285,629.055039754,627.264272251,626.833592097
9607286,448.095818547,448.668182737,446.909998396
9607287,723.335440685,720.932426970,723.688535463
9607288,581.819839549,580.954752600,581.273239555
9607289,590.278021057,588.620007271,587.030268877
9607290,707.741805470,704.267781673,702.064685329
9607291,417.729721246,416.749329403,416.322433145
9607292,618.134507606,615.617271018,614.570404088
9607293,491.149961450,490.399905868,488.741806914
9607294,419.427963275,419.209967072,418.030057428
9607295,767.252192907,762.402533185,762.029662895
9607296,567.259778495,565.783994958,565.084707614
9607297,442.042742652,440.522246796,440.012427882
9607298,679.730388507,678.070653689,676.967144734
9607299,570.750574398,568.042391167,567.903072802
9607300,452.582126893,451.499843999,451.525409643
9607301,363.748812175,363.986917847,363.229284622
9607302,349.497050145,350.200906507,349.746878071
9607303,590.547346031,587.251217429,586.306689624
9607304,384.392810955,383.590553959,382.952093464
9607305,530.415387816,527.317704083,525.553527284
9607306,640.107487425,639.601983572,638.815066601
9607307,582.137763533,580.666648398,580.302997983
9607308,704.282766657,701.266745704,700.100815938
9607309,442.764881439,441.632039054,441.081675458
9607310,522.992973764,521.735229906,520.784307743
9607311,671.474490446,667.609877430,665.841760313
9607312,371.987680109,371.042586733,370.970556414
9607313,520.431804381,518.990694238,517.968518938
9607314,398.964724037,400.639286447,399.675858024
9607315,387.036031775,386.841762896,386.115696963
9607316,544.861683175,545.236660774,543.703288959
9607317,577.284201443,575.357501354,574.034749281
9607318,562.519416827,559.689013748,558.961927009
9607319,660.396847212,655.213665807,654.709148254
9607320,542.795117760,541.788950328,539.906910872
9607321,494.476890907,493.271623941,492.665152400
9607322,608.327164550,606.308019048,606.036097953
9607323,612.676727087,609.287256822,608.316510031
9607324,638.175064405,636.717869093,634.903478678
9607325,567.471036507,564.539404586,564.204650459
9607326,577.764351741,576.025247018,575.161056523
9607327,580.557066038,579.947111655,579.178040854
9607328,482.486465821,481.410467016,481.685920750
9607329,472.618038698,472.291110240,471.190593077
9607330,702.477353249,700.036150077,700.173229174
9607331,612.850661946,609.783072426,609.429869178
9607332,452.619119989,451.512283747,450.725652157
9607333,448.669353043,447.686252743,448.103711603
9607334,478.319386895,476.429672974,475.478147495
9607335,393.732607519,393.384093755,392.970453089
9607336,586.633108550,586.059815719,586.011098563
9607337,503.915793698,502.750803362,502.190332841
9607338,594.097251374,593.036007437,593.790334975
9607339,506.516861730,504.929964835,504.488852290
9607340,682.684377296,682.197703539,680.792779583
9607341,616.579908151,614.119447254,613.816297712
9607342,577.703177946,578.448567170,577.697084489
9607343,495.441291444,495.448042229,494.302181268
9607344,441.682903046,440.975620393,442.026437833
9607345,318.418042463,319.441434135,318.319171930
9607346,568.438955672,569.266754895,566.488369110
9607347,563.996666832,563.076288647,563.447554859
9607348,535.588011268,532.589615639,532.651128013
9607349,677.282065164,673.782654704,673.082038040
9607350,662.045146053,659.377617763,658.659958345
9607351,415.499795401,415.528848684,413.979525173
9607352,660.196303817,658.071877427,656.654532905
9607353,681.880788471,683.131561283,683.462696854
9607354,401.557541594,402.163870925,401.267295572
9607355,517.896881660,516.210091194,515.078940543
9607356,662.906828936,659.269604724,659.080222152
9607357,754.276112565,755.122254026,753.413003253
9607358,450.715818340,450.352942839,450.034940915
9607359,576.495394460,574.454599868,573.896511869
9607360,509.136700498,508.307064072,507.351594603
9607361,519.803048685,517.841878705,516.540576630
9607362,786.429498431,783.492632066,782.958148232
9607363,467.171061380,467.692958664,466.468688062
9607364,624.736080147,620.729755057,619.419006588
9607365,816.078192534,814.266410114,814.343771365
9607366,556.780238637,557.983508823,557.422452388
9607367,566.134105608,566.200246018,565.796457883
9607368,459.359005222,456.154700448,456.145231415
9607369,423.582805778,424.483611299,423.349477301
9607370,547.218132627,545.129182394,545.321617935
9607371,501.948202151,498.867720446,498.105849927
9607372,630.369859963,628.185934159,627.844241150
9607373,764.192084017,760.953134236,760.426399426
9607374,465.205302763,465.027045671,464.928579210
9607375,548.488404136,550.240677825,550.240940331
9607376,419.561020145,420.571652881,419.150695810
9607377,306.982151745,308.191303573,307.621590513
9607378,398.501523918,398.067296503,398.020937226
9607379,586.418400300,583.378406334,581.921187384
9607380,582.421136655,580.868671527,581.411976750
9607381,530.528649636,528.769798946,528.494034895
9607382,466.184559765,465.840112273,464.566393891
9607383,579.670556419,577.905207869,577.126359252
9607384,545.241648143,545.434914422,544.176920387
9607385,429.963067804,429.254250056,428.396616193
9607386,477.501127036,476.400557812,475.072107967
9607387,417.941163258,418.960193658,418.020354979
9607388,620.288957045,618.414828471,617.990257546
9607389,502.591242314,503.471213102,503.016189425
9607390,589.497085188,587.520917770,586.368551601
9607391,355.956396942,356.302227371,355.542652913
9607392,549.986050473,549.848687221,549.963686717
9607393,599.850972095,597.538954638,597.449188553
9607394,527.185059620,523.472191100,523.093469101
9607395,654.824099936,653.623900267,653.053670733
9607396,503.310595960,501.201310375,500.540838105
9607397,394.765185985,394.506941651,393.779352370
9607398,488.795288940,486.230290657,484.627847023
9607399,617.318372329,617.906430134,616.662275759
9607400,500.243339240,499.055634840,497.609892142
9607401,589.905220249,587.576622603,587.015731465
9607402,690.800508235,687.768313067,685.477382977
9607403,354.287335099,353.885810154,353.065135276
9607404,685.089364009,683.031826720,680.849597250
9607405,492.159560688,491.764095238,492.264249678
9607406,452.081509848,449.768379751,448.346910505
9607407,571.934814883,569.915409249,570.377587884
9607408,495.900781674,494.686352906,494.274956848
9607409,489.402164445,487.779057200,487.379422582
9607410,645.393366585,642.621141842,642.433049845
9607411,450.657145901,447.242901657,446.788110889
9607412,436.250316288,435.546222289,433.094962289
9607413,560.684921338,560.089990086,559.833126391
9607414,551.592277220,551.999572232,550.888463894
9607415,614.282361694,611.115658564,610.289075716
9607416,423.570561729,422.574915042,422.080073556
9607417,687.479687541,686.812035213,685.113390120
9607418,562.742952343,561.036070065,558.925733836
9607419,599.634484439,599.121860101,598.786740011
9607420,378.660549197,379.465782204,378.341606947
9607421,525.284068147,525.434824102,524.294048442
9607422,410.299045309,410.806805068,409.306355479
9607423,483.433310731,482.039772024,481.813080666
```

## Reproduction harness

The following is the exact chunk driver used. It saves raw per-seed edges, wall time and complete gas counters before later aggregation; `.started` guards against accidentally rerunning a chunk. Compiled creation bytecode files were produced by the pinned `SolidityCompiler`; Vanilla came from `get_vanilla_bytecode_and_abi()`.

```python
import sys,time,json
from pathlib import Path
import numpy as np
import amm_sim_rs as r
from amm_competition.competition.config import build_config
arm=sys.argv[1];offset=int(sys.argv[2]);out=Path(f'scratch/{arm}-{offset}.json');lock=out.with_suffix('.started');assert not out.exists() and not lock.exists(),'already run';lock.write_text('started')
configs=[]
for seed in range(9607168+offset,9607168+offset+32):
 rng=np.random.default_rng(seed);size=rng.uniform(19,21);rate=rng.uniform(.6,1);sigma=rng.uniform(.000882,.001008)
 configs.append(build_config(seed=seed,gbm_sigma=sigma,retail_arrival_rate=rate,retail_mean_size=size))
r.gas_stats_reset();t=time.perf_counter()
b=r.run_batch(list(Path(f'scratch/{arm}.bin').read_bytes()),list(Path('scratch/vanilla.bin').read_bytes()),configs,8)
seconds=time.perf_counter()-t;gas=r.gas_stats()
rows=[{'seed':v.seed,'edge':v.edges['submission']} for v in b.results];assert sorted(v['seed'] for v in rows)==list(range(9607168+offset,9607168+offset+32))
d={'arm':arm,'offset':offset,'seconds':seconds,'rows':rows,'gas':gas};out.write_text(json.dumps(d,indent=2));print(json.dumps({'arm':arm,'offset':offset,'seconds':seconds,'gas':gas}),flush=True)
```

The paired statistics, gas aggregates, CSV coverage and output sizes were checked locally. External sources establish source identity and engine configuration; the measurements in this report are this run’s results, not copied upstream scores.