# qa4 — qm-2 real-engine confirmation, seeds 9614080–9614335

Policy credit: **Taylor (gtmcknight)**. This item scores the supplied, unchanged strategy sources; it does not alter or re-port the policy. All scores, gas counters, validation outcomes and timings below are measurements from this run, not figures copied from earlier artifacts.

qm-2 minus trim-1: **+0.896127730 ± 0.043137566 SE**, n=256, wins=228/256.
qm-2 minus t03: **+2.371015670 ± 0.082774428 SE**, n=256, wins=253/256.
qm-2 minus IB: **+3.147306850 ± 0.102535957 SE**, n=256, wins=256/256.

**Gas conclusion:** qm-2 recorded **10 OutOfGas**, 0 reverts, and peak successful afterSwap gas **249,376**. It fails the stated requirement of zero OutOfGas and peak ≤245,000 on this block. Peak is the engine's `max_ok_gas`, not an inferred gas requirement for failed calls. Fees/scores are reported as the engine produced them, including runs with callback failures.

## Source integrity and validation

| Arm / source | SHA-256 of exact Solidity bytes | getName() | Runtime bytes | amm-match validate |
|---|---|---|---:|---|
| [qm-2](https://api.imd.fun/artifacts/e50ab7b92163d8589bb2f75c49d6cda2a1012bb96a0f4a52620b887668f63264) | `50a741b97a7ed79237ecbd34a4bc20b5c70b7872d8916f31dc3fe3f72b4fe859` | TaylorGaussianQmSpline | 19,346 | PASS (exit 0) |
| [trim-1](https://api.imd.fun/artifacts/fce772b9057867b241350b8e44c05298c6c877871a26b58702a5af431726f6c5) | `d849c5f15d69499560b5c3ea08f55ad27153b393eba7abb7dd186f451ad46a24` | TaylorGaussianPlainNet2 | 16,077 | PASS (exit 0) |
| [t03](https://api.imd.fun/artifacts/2333ecf28d4356bd232b85c1e55842e94e1ada05e1cd067830b5625dfdbc5336) | `cb6d945511e1e10af78baa64c2a6cb25806f0998403ce6440654bfc3c70092d9` | censored_10 | 14,654 | PASS (exit 0) |
| [IB](https://api.imd.fun/artifacts/afd5183e9ff3235334e041c00b0cd19079599a2c6464db95f8c1586712105557) | `301941829a44bb60977bb28181a5e4bfa6544f3696763f987054789b2611d686` | inputs_b | 14,528 | PASS (exit 0) |

Solidity blocks were extracted with their terminating newline; t03 and IB were decoded as zlib(base64(code_zb64)). All four hashes matched the assignment before compilation. All runtimes are below 24,576 bytes. Names were read from deployed contracts. No source was edited.

## Method and setup

Linux x86_64. Cloned amm-challenge at `6b6921f8d463314aa7c96234e1be25a25245f704` under `test/scratch/`. Saved the eight-line [setup script](https://api.imd.fun/artifacts/e8c967d6358da0fd53117891357f19a1d684225bd71a5e302b6e299c85f1286c) byte-for-byte as `scratch/setup.sh`, ran it once from the checkout root: exit 0; wheel SHA-256 `aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a` passed; StarterStrategy validated. No download failed, so no retry was needed. Subsequent checkout commands sourced `scratch/env.sh`. Setup dependencies and all scratch state are disposable test scaffolding; the deliverable has no runtime dependencies.

Compiled with pinned [SolidityCompiler](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/evm/compiler.py): solc 0.8.24, optimizer enabled, runs=200, viaIR=true, Paris EVM. Each arm ran alone against [VanillaStrategy](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/contracts/src/VanillaStrategy.sol), fixed 30 bps, using `amm_sim_rs.run_batch(list(X), list(VanillaStrategy), configs, 8)`.

Configs follow [MatchRunner._build_configs](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/match.py) with the seed index replaced by each requested seed and [canonical settings](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/config.py): 10,000 steps; price=100; reserves X=100, Y=10,000; mu=0; dt=1; retail buy probability=0.5; retail size sigma=1.2. For each seed, a new `np.random.default_rng(seed)` draws size uniformly [19,21], then arrival rate [0.6,1.0], then price sigma [0.000882,0.001008]. Simulation seed equals that seed. Score is `result.edges['submission']`.

Order: all eight qm-2 chunks, then all eight trim-1 chunks, then all eight t03 chunks, then all eight IB chunks. Each chunk contains 32 consecutive seeds. `gas_stats_reset()` immediately before the timed `run_batch`; `gas_stats()` immediately after. Each seed was run exactly once per arm, with no probes or reruns on these seeds. Persistent per-arm/per-chunk start markers prevented reuse. Every engine invocation was a new process; commands were bounded by `timeout 470` (<8 minutes). No setup or other command exceeded eight minutes.

Seeds not run: **none** for every arm. IB was completed. Pairing uses the same simulation seed and config across arms, with separate matches against Vanilla. P/Q/F reference-porting gates were not rerun: this bounded assignment is scoring the byte-exact supplied arms.

## Paired results

Differences use unrounded scores. `se = sample_sd(diff, ddof=1) / sqrt(n)`; wins count strictly positive differences; ties count exactly zero. Extremes are sorted by difference, with seed as tie-breaker.

| qm-2 minus | n | Mean diff | SE | Wins | Ties |
|---|---:|---:|---:|---:|---:|
| trim-1 | 256 | +0.896127730 | 0.043137566 | 228 | 0 |
| t03 | 256 | +2.371015670 | 0.082774428 | 253 | 0 |
| IB | 256 | +3.147306850 | 0.102535957 | 256 | 0 |

**qm-2 minus trim-1**

Worst5: (9614312, -0.807380144), (9614288, -0.761389734), (9614219, -0.731798137), (9614283, -0.560938161), (9614095, -0.503355329).

Best5 (largest first): (9614302, +2.783957385), (9614184, +2.614867255), (9614327, +2.604217357), (9614237, +2.490304720), (9614170, +2.462299031).

**qm-2 minus t03**

Worst5: (9614136, -0.696299030), (9614105, -0.256864835), (9614239, -0.094270994), (9614108, +0.042090107), (9614285, +0.073990571).

Best5 (largest first): (9614327, +6.751643383), (9614199, +6.541758577), (9614321, +5.990761956), (9614097, +5.900935980), (9614117, +5.900655132).

**qm-2 minus IB**

Worst5: (9614094, +0.047076953), (9614285, +0.147712146), (9614101, +0.273940594), (9614089, +0.342999523), (9614215, +0.658589580).

Best5 (largest first): (9614140, +13.978909195), (9614199, +9.012626250), (9614203, +8.352728779), (9614327, +8.240316087), (9614244, +7.550792442).

## Submission afterSwap gas and timing

Totals sum every chunk. Peak is the maximum `max_ok_gas`. Mean gas is `sum(sum_ok_gas)/sum(ok)`, weighted across successful callbacks; the engine does not supply consumed gas for unsuccessful calls. Calls include successes and failures. Runtime is elapsed wall time around `run_batch`, excluding compilation, process startup and serialization. Seconds/seed = total runtime/256, with eight workers; it is throughput wall time, not serial simulation latency.

| Arm | Calls | Successful | OutOfGas | Reverts | Peak | Mean successful gas | Batch seconds | Seconds/seed |
|---|---:|---:|---:|---:|---:|---:|---:|---:|
| qm-2 | 2777463 | 2777453 | 10 | 0 | 249376 | 155278.651741 | 183.000412 | 0.714845 |
| trim-1 | 2753489 | 2753489 | 0 | 0 | 235450 | 131562.988903 | 134.279066 | 0.524528 |
| t03 | 2759742 | 2759742 | 0 | 0 | 235406 | 135670.983492 | 108.949087 | 0.425582 |
| IB | 2738263 | 2738263 | 0 | 0 | 234763 | 135337.403895 | 110.365533 | 0.431115 |

Other afterSwap failure totals (other_halt / tx_error / bad_return): qm-2 0/0/0; trim-1 0/0/0; t03 0/0/0; IB 0/0/0.

| Arm | Seeds inclusive | Calls | Peak successful gas | OutOfGas | Reverts | Seconds |
|---|---|---:|---:|---:|---:|---:|
| qm-2 | 9614080–9614111 | 365092 | 244940 | 2 | 0 | 23.938478 |
| qm-2 | 9614112–9614143 | 342469 | 248992 | 0 | 0 | 21.934266 |
| qm-2 | 9614144–9614175 | 352724 | 246711 | 1 | 0 | 23.261868 |
| qm-2 | 9614176–9614207 | 348869 | 249376 | 2 | 0 | 22.822802 |
| qm-2 | 9614208–9614239 | 342815 | 240391 | 0 | 0 | 22.667242 |
| qm-2 | 9614240–9614271 | 339071 | 245281 | 0 | 0 | 23.069717 |
| qm-2 | 9614272–9614303 | 347684 | 246687 | 5 | 0 | 22.733184 |
| qm-2 | 9614304–9614335 | 338739 | 244605 | 0 | 0 | 22.572856 |
| trim-1 | 9614080–9614111 | 362049 | 235450 | 0 | 0 | 17.808038 |
| trim-1 | 9614112–9614143 | 339198 | 221754 | 0 | 0 | 16.612656 |
| trim-1 | 9614144–9614175 | 349727 | 221744 | 0 | 0 | 16.673662 |
| trim-1 | 9614176–9614207 | 345906 | 230371 | 0 | 0 | 16.637996 |
| trim-1 | 9614208–9614239 | 339795 | 217385 | 0 | 0 | 16.065234 |
| trim-1 | 9614240–9614271 | 336056 | 220973 | 0 | 0 | 16.392542 |
| trim-1 | 9614272–9614303 | 345015 | 217618 | 0 | 0 | 17.300769 |
| trim-1 | 9614304–9614335 | 335743 | 218329 | 0 | 0 | 16.788170 |
| t03 | 9614080–9614111 | 361546 | 232494 | 0 | 0 | 14.588493 |
| t03 | 9614112–9614143 | 340255 | 232506 | 0 | 0 | 13.190776 |
| t03 | 9614144–9614175 | 349962 | 232615 | 0 | 0 | 13.142716 |
| t03 | 9614176–9614207 | 346535 | 228391 | 0 | 0 | 13.986938 |
| t03 | 9614208–9614239 | 341624 | 235370 | 0 | 0 | 13.337530 |
| t03 | 9614240–9614271 | 337720 | 232603 | 0 | 0 | 12.837791 |
| t03 | 9614272–9614303 | 345174 | 235406 | 0 | 0 | 13.399383 |
| t03 | 9614304–9614335 | 336926 | 227706 | 0 | 0 | 14.465461 |
| IB | 9614080–9614111 | 358072 | 231941 | 0 | 0 | 14.253990 |
| IB | 9614112–9614143 | 337755 | 231964 | 0 | 0 | 13.484237 |
| IB | 9614144–9614175 | 347045 | 232015 | 0 | 0 | 13.556659 |
| IB | 9614176–9614207 | 343707 | 227576 | 0 | 0 | 13.663508 |
| IB | 9614208–9614239 | 339247 | 234763 | 0 | 0 | 13.100247 |
| IB | 9614240–9614271 | 335324 | 232015 | 0 | 0 | 13.010397 |
| IB | 9614272–9614303 | 342343 | 232015 | 0 | 0 | 12.854032 |
| IB | 9614304–9614335 | 334770 | 231929 | 0 | 0 | 16.442463 |

## Scores (CSV)

Nine decimals per score; paired statistics above use original float precision.

```csv
seed,qm2,trim1,t03,IB
9614080,523.989413805,522.175916653,520.377091808,520.943480695
9614081,553.768090601,553.336922026,550.116104161,548.881346639
9614082,563.474980197,562.668738318,562.983714666,562.259354069
9614083,559.644302062,559.247562805,557.390048302,556.268464709
9614084,551.001136610,550.278377130,548.556539868,547.772913970
9614085,462.983351004,462.315967051,461.013593440,461.165761775
9614086,561.568268557,560.554843159,559.834976307,559.088865155
9614087,625.137878972,624.325010031,623.610750469,623.550298692
9614088,442.543445991,440.737048278,440.103531451,439.579987879
9614089,567.761257788,567.694218064,566.263616114,567.418258264
9614090,667.651827038,666.206326561,662.564345829,661.394337879
9614091,669.637846909,667.626849889,665.327829402,665.538984512
9614092,536.504090715,534.992999873,532.502569652,533.112493528
9614093,412.836607469,411.884956004,411.088475833,410.565859996
9614094,379.012157723,378.630478833,378.735870503,378.965080770
9614095,563.567267354,564.070622683,562.861775923,561.819238296
9614096,647.412330424,646.459002397,642.565853522,642.968814072
9614097,672.733340028,672.894544260,666.832404048,667.789264216
9614098,582.622614640,582.382603650,579.648989533,579.001667967
9614099,548.289143913,547.817426992,546.623130565,546.861504293
9614100,622.404130017,622.544642586,618.925356745,618.650032057
9614101,339.314480487,337.458502154,338.946885200,339.040539893
9614102,671.134426414,671.232786862,666.971336097,667.175180232
9614103,444.387838324,443.453749602,443.534213364,442.688775626
9614104,627.611800331,626.206690138,623.800323836,622.750194215
9614105,359.798416927,358.451662109,360.055281762,358.148099182
9614106,527.864588886,526.699844330,525.634352204,525.523967942
9614107,595.445715879,594.840223407,592.938551876,592.233408737
9614108,657.724414729,657.377442554,657.682324622,656.942333276
9614109,744.790811730,742.801353494,741.063270095,738.388392967
9614110,468.309562564,466.674298919,465.506822635,467.036508702
9614111,672.852946015,671.924814317,668.448340043,667.555062263
9614112,459.354824843,458.932955746,457.654897487,456.977837564
9614113,574.544505828,573.027573607,570.776973688,570.922175545
9614114,397.013252850,395.246818589,394.338010940,392.687327587
9614115,437.004954276,435.759626505,435.671608970,435.282258894
9614116,607.602526200,605.964584697,604.224767627,603.747352442
9614117,581.500333647,579.949271615,575.599678515,575.599545748
9614118,545.440670512,543.804365678,543.355583813,542.873856993
9614119,540.875109024,540.008749731,538.473709283,537.772644689
9614120,518.831912265,517.583985682,517.395015888,516.623579739
9614121,624.283124738,623.941631402,621.424438877,620.957735289
9614122,473.679311989,473.613852758,472.028657520,470.335166655
9614123,501.992735808,501.457334769,499.616202738,498.706520707
9614124,402.053683775,401.286156489,400.805899702,400.294538728
9614125,670.038353757,668.955250499,665.862254457,666.316071593
9614126,553.557957783,552.770304809,551.914267847,550.041983215
9614127,467.868374715,466.358813933,465.001379514,464.248527161
9614128,393.581227579,392.135402947,392.329197997,391.428819551
9614129,455.948359593,454.180823641,453.354938634,453.356400193
9614130,718.636781397,718.683624795,716.065717590,715.220345662
9614131,577.445640980,577.042133438,574.012088201,573.707016049
9614132,586.702612001,585.639138461,584.433053017,584.401685431
9614133,370.106244461,369.194342710,368.940833508,367.698835534
9614134,380.356098308,378.680346428,377.951496684,378.480082380
9614135,455.223545952,453.989633171,454.212795070,453.412067992
9614136,504.471287840,504.474388913,505.167586870,502.986509774
9614137,597.226334515,596.461208294,594.382678013,592.692337599
9614138,655.565126232,654.498347173,653.730925562,653.290696108
9614139,390.682937992,389.849412713,387.496709981,388.028613063
9614140,533.864643767,533.966675839,529.362324235,519.885734572
9614141,630.425993452,628.662639819,625.961299129,624.165586216
9614142,480.682321207,480.702033947,478.483178782,477.849725082
9614143,539.968265447,537.958312650,536.413770637,535.981090499
9614144,547.949140312,547.401760851,546.060814901,544.511494289
9614145,477.314971049,477.024886181,475.668921121,474.695326408
9614146,529.023555476,527.591715445,525.276574450,524.441776171
9614147,443.682763862,443.332030566,441.903349094,442.024068786
9614148,730.412430646,729.202428815,726.367863916,724.567714737
9614149,520.145084008,519.150965028,517.671307432,516.422338669
9614150,413.243373751,411.864264747,411.643251318,410.545852641
9614151,619.379317437,618.882717547,616.351240928,616.896161305
9614152,527.068113020,527.121282452,523.253840840,522.106773124
9614153,683.659392732,681.802970350,681.141771005,680.946810459
9614154,638.378248213,637.183327470,635.753620393,635.874288106
9614155,544.637213091,543.703151190,542.710149045,542.424692228
9614156,561.538335925,559.893042077,561.068359139,559.659030126
9614157,441.852985453,441.137890798,440.803279079,440.525342319
9614158,600.132046763,599.686476448,598.059139693,596.974467096
9614159,449.155407672,448.599518305,448.216041471,447.244483700
9614160,591.257924849,589.206239892,588.066143183,587.492357162
9614161,482.406737162,480.805329855,479.402750867,479.178824374
9614162,436.688573312,435.148395783,435.152953517,435.390191098
9614163,363.205216533,362.626173717,362.818167971,361.210243373
9614164,671.722141893,671.211083606,669.788025654,668.026268444
9614165,506.264835961,505.590632060,504.802689223,502.923197873
9614166,535.710962964,534.936876929,532.899175148,532.248207841
9614167,451.537020525,450.702395101,449.814533788,449.142747257
9614168,461.792259714,461.564478022,460.562763636,459.553973876
9614169,587.895589899,588.302758083,587.083437022,584.584796392
9614170,572.496801248,570.034502217,566.777245916,566.206546398
9614171,497.472978454,496.531926285,496.163213488,495.298308128
9614172,424.029071823,423.109964203,421.526595835,421.197148745
9614173,630.449014020,630.349324337,626.107991258,624.892056298
9614174,559.898191280,559.691957713,555.633963563,556.183160349
9614175,592.991356362,591.417445920,590.433144477,590.166837645
9614176,594.278027946,593.127840255,592.683860152,590.889981892
9614177,478.512375959,478.108195160,475.998061338,475.033335031
9614178,657.280464784,655.997448499,655.087664910,653.914515926
9614179,507.615158942,507.099000148,506.019616081,504.672796942
9614180,446.670094487,445.544867745,444.572612966,442.526477650
9614181,507.858586601,506.823649525,505.646849269,505.282387931
9614182,701.132280944,700.760334032,697.320740393,697.104790092
9614183,420.007786172,419.048267527,418.237229229,417.536234533
9614184,605.849066999,603.234199745,601.887152331,601.118134294
9614185,522.343187155,521.195357487,520.066579615,518.528470415
9614186,638.373158287,638.437593951,633.204437525,633.048945522
9614187,405.035461992,404.636780925,404.264324152,403.731947328
9614188,765.216520498,765.242024295,760.602235751,757.982003097
9614189,489.581125079,489.005194298,488.261306946,486.866889690
9614190,503.752844628,501.931949087,501.151742373,499.800153002
9614191,549.864817707,548.921869992,545.722516275,545.473141962
9614192,498.033094456,497.567433222,497.309291521,496.586851522
9614193,624.494717130,623.606282160,621.534872529,620.343073892
9614194,600.028565361,599.993455133,598.552391489,597.308103835
9614195,422.620601977,422.704472763,420.583082852,420.005962099
9614196,618.369997783,617.901893677,616.061542268,615.249923438
9614197,493.719956794,493.734127520,491.781958035,491.904588619
9614198,393.818858145,393.830489324,392.603977492,391.925153009
9614199,660.716601966,659.582401540,654.174843389,651.703975716
9614200,592.383968507,591.541563566,590.313383560,589.142092040
9614201,443.689771391,441.234052694,441.358994101,440.962570354
9614202,498.567524347,497.845676870,495.795008996,495.551263716
9614203,565.018189185,564.140382232,560.826228454,556.665460406
9614204,393.838218607,391.714277443,391.808040860,389.983088201
9614205,418.653312974,417.898417332,417.197577934,417.091209569
9614206,575.809284013,574.365060924,572.413588588,571.963769027
9614207,529.505299624,528.937677205,527.735588522,527.810377676
9614208,544.970604384,543.903034984,542.511613158,541.932935680
9614209,581.456232283,580.223468364,579.055688017,579.326352648
9614210,572.519168733,572.062457163,569.231831562,568.639888331
9614211,559.464185759,558.265575332,556.226602436,555.390905862
9614212,507.308979304,506.816121470,505.254129575,505.164560257
9614213,565.763615602,565.591009537,565.481498597,563.961187692
9614214,456.009155907,454.976836520,455.072965060,454.029121397
9614215,383.424361311,382.902965387,383.341414246,382.765771731
9614216,452.654550774,452.620843304,452.347634899,451.283718416
9614217,547.180136813,545.564516007,544.089567322,544.061476351
9614218,467.759350055,466.108057157,465.571981255,464.879686332
9614219,658.236382895,658.968181032,653.786030950,653.848533657
9614220,597.021479407,595.933501685,593.523633109,592.759973708
9614221,447.721118956,446.210009086,444.848232772,443.436100869
9614222,434.257486477,433.243639195,432.489317181,431.880614588
9614223,630.425647952,629.574363121,626.825010224,626.765278867
9614224,388.069707099,387.839809897,386.953057141,386.640441381
9614225,600.398569487,599.797573292,596.607590353,596.089995493
9614226,576.513572805,575.119564436,575.139067572,572.248290738
9614227,422.924426128,421.844104659,420.621000714,420.266592391
9614228,546.234838410,544.598169037,542.946235841,541.839500728
9614229,532.018271211,531.129282438,530.214640519,529.628976831
9614230,548.829323846,549.137573838,545.880094601,545.931624959
9614231,384.743306839,383.480343893,383.316139991,382.610599600
9614232,479.247949577,478.817685832,476.498551177,476.508406751
9614233,494.299416275,493.908382052,491.974964714,491.786994863
9614234,496.736197002,494.962084319,494.674300759,493.705528993
9614235,599.282447017,599.685950413,595.653862423,594.862000860
9614236,505.843491876,505.772111821,503.766334606,502.643930277
9614237,636.081720248,633.591415528,632.339612119,631.590804329
9614238,505.592712656,503.738575261,502.878673075,503.815349956
9614239,497.489998476,495.970637974,497.584269470,496.408530641
9614240,386.461338354,385.836711325,385.337920751,384.613558454
9614241,505.782756446,505.085347165,504.590164893,503.783847821
9614242,568.157734637,567.833608515,566.079546843,566.247658704
9614243,530.830606251,529.641467243,530.504415649,529.133052475
9614244,590.002702808,588.030276924,587.123071451,582.451910366
9614245,632.031272628,630.742341826,628.138612945,626.343281765
9614246,670.721986682,669.080786746,666.762539945,664.048352602
9614247,470.180822383,469.027241146,468.223568755,467.172983741
9614248,625.880245731,624.636881329,622.555216723,622.214141863
9614249,422.544080614,422.905139181,421.382038020,421.115066140
9614250,633.434885123,632.180107347,631.027174337,629.328947690
9614251,494.811846109,494.622642074,491.514178296,489.757324573
9614252,430.473064699,430.809381688,429.879782062,428.867224438
9614253,416.549897976,415.821819849,415.805563936,415.516313613
9614254,609.274589341,608.678491472,607.722803973,606.474311488
9614255,561.695089329,560.839028343,560.156049494,559.458126134
9614256,491.358838712,489.862545820,488.776836701,487.908532852
9614257,627.937826292,626.349883381,625.944300648,625.863172912
9614258,599.835047413,598.882227426,597.757145154,598.100910629
9614259,398.236051666,397.332731943,397.108389063,396.842058997
9614260,474.669278737,473.496690627,473.634674759,473.223205053
9614261,419.373127852,418.838889244,418.290169662,417.829100402
9614262,594.130693868,593.722120553,591.982814523,592.195714600
9614263,462.805853361,461.350709758,459.721306861,458.397455253
9614264,401.345796286,400.370762808,399.108876819,398.658484871
9614265,493.520814569,492.080803387,491.536989223,491.384004306
9614266,478.864909795,477.698894364,476.717920077,476.624270999
9614267,467.596358972,466.525336960,467.018744026,466.249763695
9614268,579.375872558,578.856262332,577.021189090,576.012921702
9614269,405.508644608,405.311123115,404.544009575,403.346548879
9614270,600.796641469,599.650984066,595.457589764,593.930330922
9614271,487.610413653,486.674063769,485.516635608,484.364907389
9614272,472.864080097,471.288101223,469.665894263,468.327149083
9614273,702.445427644,701.868739546,699.476837219,699.266974983
9614274,335.691932658,334.551173465,334.338818446,333.928545823
9614275,448.606553798,447.570433862,445.932201237,445.825813324
9614276,533.202925775,531.725068042,529.427559180,528.857047398
9614277,647.660656796,646.629898350,643.407088775,642.808808828
9614278,484.740729320,484.621496960,483.646007266,482.027345703
9614279,665.654025568,664.267078459,662.129764668,662.116428312
9614280,542.377173258,539.945264392,539.154240016,538.125252301
9614281,555.005019478,552.826144600,552.010792200,550.396121266
9614282,417.640754639,417.287220532,416.105809210,416.191534017
9614283,702.198298073,702.759236234,698.704215063,698.108777056
9614284,332.412201748,331.071036356,332.324072434,330.509357273
9614285,500.561564906,500.845488042,500.487574335,500.413852761
9614286,497.151547384,495.277528530,495.568448519,492.751790103
9614287,736.154294843,735.788451546,732.432357604,730.826723051
9614288,715.689388459,716.450778193,712.323040777,712.118784141
9614289,427.572102603,426.783663950,424.534526634,424.489496143
9614290,413.270419704,412.688366141,412.678633838,412.141546050
9614291,545.552989018,545.139383176,544.601389021,543.155737007
9614292,500.965722951,500.213144161,498.897331214,498.300903341
9614293,580.974125562,580.567019918,577.581914275,576.048569454
9614294,504.364143779,504.218024615,502.674997410,501.893292562
9614295,492.894109849,492.018945412,491.717714777,491.158971274
9614296,546.561887722,546.015314386,543.897374669,545.847485871
9614297,620.207520090,618.091164999,616.958685712,616.491454366
9614298,693.247741641,691.464765322,688.786102257,686.925000091
9614299,558.917497304,558.305464582,558.148426920,557.134710246
9614300,441.530999796,440.261728598,440.384115765,439.167194323
9614301,480.928435859,478.932403637,478.622152199,477.630959088
9614302,608.579421994,605.795464609,607.026650917,605.603157737
9614303,381.693374104,379.691158216,380.586322221,379.858527836
9614304,675.685135303,674.919928352,671.412944653,671.409764885
9614305,560.135198106,559.372800443,558.488665478,558.000935684
9614306,610.107333350,608.313461557,608.609788394,607.031287747
9614307,563.132666738,563.295411140,561.981977678,561.990636492
9614308,402.995604793,402.749691768,400.742424545,400.351336776
9614309,423.290438693,422.488842944,421.059841939,420.562968874
9614310,408.433893852,408.266273862,405.868932778,405.683351514
9614311,414.114732474,412.681654904,413.597198686,412.562526823
9614312,479.397890492,480.205270637,478.638594198,478.309318911
9614313,538.544434016,536.653869819,536.198893391,534.830392546
9614314,479.855294401,478.685614574,477.664510805,476.663928362
9614315,420.591650368,420.079293974,419.446787526,419.018145990
9614316,382.520295600,381.870822625,382.023883739,381.079716855
9614317,581.691992043,582.127933952,579.832387838,579.673557803
9614318,538.450737752,537.474708257,534.207772211,534.844395596
9614319,396.443454320,396.584868518,395.980304418,394.747098583
9614320,724.346744389,724.511403098,719.745029753,720.101708955
9614321,617.163434867,616.141978088,611.172672911,610.628358841
9614322,517.366112435,516.508958566,514.391900699,512.430234721
9614323,653.624230873,652.994292707,650.339698571,650.350188546
9614324,604.025156097,603.246898088,598.962072385,597.836593714
9614325,405.981345155,405.395028424,404.420104419,403.116816848
9614326,553.134915896,553.028909713,551.554719665,550.375661747
9614327,696.555118004,693.950900648,689.803474622,688.314801917
9614328,540.078784152,539.334387144,538.329103039,537.181288151
9614329,565.623659473,563.636650430,563.103037993,562.826564432
9614330,459.329328480,457.926791416,457.325836369,456.942783067
9614331,512.975016648,512.104028728,510.260886132,508.801718209
9614332,518.629046850,517.238302522,515.087172618,513.929883427
9614333,494.126723860,493.018547697,492.547187310,492.194178297
9614334,429.497555358,429.042088142,427.683395099,427.592588632
9614335,385.401477574,384.564553778,385.133591584,383.165423560
```

## Local verification

Checked all four Solidity hashes and successful validation logs. Independently compared the scoring script’s actual config-generation AST against pinned MatchRunner._build_configs with the requested seed indices: all 256 configurations and all 12 fields matched exactly. Checked eight chunks and exactly the prescribed 256 unique seeds per arm, finite scores, and complete paired coverage. Recomputed paired statistics and gas totals from the saved engine outputs. Sources below support provenance and configuration; measurements in this report are original local observations.