# pa4: port-2 confirmation on the real engine

Candidate minus t03: **mean +1.416358870 edge**, SE **0.090178429**, n=256.

Candidate minus IB: **mean +2.182227055 edge**, SE **0.094718506**, n=256.

All figures below are local measurements from the pinned Rust engine, not replica estimates. Taylor (gtmcknight) is credited for the Gaussian plain-table policy in the unmodified candidate header. This bounded item scores the supplied port; it does not rerun gates P, Q, or F.

## Candidate and setup

The candidate was copied byte-exact from the sole `solidity` fenced block, under `### Strategy.sol`, in the [port-2 artifact](https://api.imd.fun/artifacts/e8c967d6358da0fd53117891357f19a1d684225bd71a5e302b6e299c85f1286c). This is the third fenced block overall (zero-based block 2); its content includes the final newline and excludes both fence lines. Source length: 29,482 bytes.

SHA-256: `7e2d9c157a7725c2875eea31e5741938fb9eafef5a3442710573f1b1a87faf17`. `amm-match validate contracts/src/Strategy.sol` **passed**, reporting `Strategy 'TaylorGaussianPlain2' validated successfully!`. An EVM `getName()` call returned `TaylorGaussianPlain2`. Compiled deployed runtime: **18,484 bytes**, below 24,576.

Platform check returned `Linux x86_64`. Cloned the challenge and checked out `6b6921f8d463314aa7c96234e1be25a25245f704` under `test/scratch/`; saved the eight-line script from the [port-3 Setup section](https://api.imd.fun/artifacts/0dbcc10af41b3c3467ff0d9b9cb64c81328fcf18295f9be06b2d81bb98874067) as `scratch/setup.sh` and ran it once from the checkout root. Setup exited 0, including wheel SHA-256 verification (`aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a`) and successful StarterStrategy validation. Later engine/compiler commands used `. scratch/env.sh &&`. No setup failure or blocked step occurred.

Compiled with the pinned [challenge compiler](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/evm/compiler.py): solc 0.8.24, optimizer 200 runs, viaIR, Paris. Comparator source was zlib-decompressed from each artifact's base64 `code_zb64`; both expected hashes matched:

| Arm | Source | SHA-256 | EVM getName() | Runtime bytes |
|---|---|---|---|---:|
| t03 | [artifact](https://api.imd.fun/artifacts/2333ecf28d4356bd232b85c1e55842e94e1ada05e1cd067830b5625dfdbc5336) | `cb6d945511e1e10af78baa64c2a6cb25806f0998403ce6440654bfc3c70092d9` | `censored_10` | 14654 |
| IB | [artifact](https://api.imd.fun/artifacts/afd5183e9ff3235334e041c00b0cd19079599a2c6464db95f8c1586712105557) | `301941829a44bb60977bb28181a5e4bfa6544f3696763f987054789b2611d686` | `inputs_b` | 14528 |

## Engine protocol and paired results

Each arm ran alone against compiled `VanillaStrategy` (`getName() = Vanilla_30bps`, 640 runtime bytes), using `amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8)`. All candidate chunks completed before any t03 chunk; all t03 chunks completed before any IB chunk. Each arm ran each assigned simulation seed exactly once, with no warmup or within-arm seed repeats. Chunks were 32 seeds; each engine and compilation command was bounded by `timeout 470` (under eight minutes).

Configs are the 256 entries returned by pinned [MatchRunner._build_configs](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/match.py) with [build_base_config(seed=None), BASELINE_VARIANCE](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/config.py). For global config index `i = 0..255`, `default_rng(i)` draws retail size U(19,21), retail rate U(0.6,1.0), then sigma U(0.000882,0.001008); only the simulation seed is overwritten to `9609984+i`. The index does not restart per chunk. Each market has 10,000 steps. Score is `result.edges['submission']`; all statistics use unrounded saved scores.

| Pair (candidate minus comparator) | n | Candidate mean | Comparator mean | Mean diff | SE |
|---|---:|---:|---:|---:|---:|
| candidate − t03 | 256 | 531.411329506 | 529.994970636 | +1.416358870 | 0.090178429 |
| candidate − IB | 256 | 531.411329506 | 529.229102451 | +2.182227055 | 0.094718506 |

t03 worst5 `(seed, diff)`: `(9609984, -2.890122510)`, `(9610205, -2.547178820)`, `(9610168, -2.360563588)`, `(9610150, -1.653431309)`, `(9610204, -1.525355218)`.

t03 best5 `(seed, diff)` (descending): `(9610232, +6.331105189)`, `(9610139, +6.053175456)`, `(9610039, +5.251284098)`, `(9610194, +4.727575963)`, `(9609997, +4.632274227)`.


IB worst5 `(seed, diff)`: `(9610205, -1.544414109)`, `(9609984, -1.441294516)`, `(9610073, -1.189662452)`, `(9610103, -1.156280905)`, `(9610198, -0.833659350)`.

IB best5 `(seed, diff)` (descending): `(9610039, +6.618283120)`, `(9610139, +6.277974149)`, `(9610232, +6.165609612)`, `(9610012, +5.783143350)`, `(9610213, +5.693562082)`.

SE is sample standard deviation of paired differences divided by sqrt(n), with sample denominator n−1. These are paired arm scores against Vanilla, not a head-to-head candidate/comparator match.

## afterSwap gas

`gas_stats_reset()` was called immediately before every chunk; `gas_stats()` immediately afterward. Figures below include only role `Submission`, callback `afterSwap`; baseline and initialization/name callbacks are excluded. Mean gas = total `sum_ok_gas` / total `ok`, weighted by calls, not an average of chunk means.

| Arm | Calls | OK | OutOfGas | Revert | Peak successful gas | Mean successful gas | Total successful gas |
|---|---:|---:|---:|---:|---:|---:|---:|
| candidate | 2779535 | 2779535 | 0 | 0 | 226071 | 126441.589956593 | 351448824740 |
| t03 | 2792809 | 2792809 | 0 | 0 | 235382 | 135480.761172354 | 378371889129 |
| IB | 2770241 | 2770241 | 0 | 0 | 234805 | 135146.642879085 | 374388771116 |

candidate other counters: other_halt=0, tx_error=0, bad_return=0.


t03 other counters: other_halt=0, tx_error=0, bad_return=0.


IB other counters: other_halt=0, tx_error=0, bad_return=0.


Per-chunk figures retain every submission afterSwap gas counter and measured engine seconds:

| Arm | Seeds (inclusive) | Calls / OK | OOG / revert | Other halt / tx error / bad return | Peak gas | Sum OK gas | Seconds |
|---|---|---:|---:|---:|---:|---:|---:|
| candidate | 9609984–9610015 | 346598 / 346598 | 0 / 0 | 0 / 0 / 0 | 223349 | 43874846863 | 46.143671 |
| candidate | 9610016–9610047 | 351884 / 351884 | 0 / 0 | 0 / 0 / 0 | 224276 | 44361831977 | 46.711998 |
| candidate | 9610048–9610079 | 349378 / 349378 | 0 / 0 | 0 / 0 / 0 | 224288 | 44109951729 | 44.082102 |
| candidate | 9610080–9610111 | 346139 / 346139 | 0 / 0 | 0 / 0 / 0 | 224664 | 43773845913 | 42.353336 |
| candidate | 9610112–9610143 | 344274 / 344274 | 0 / 0 | 0 / 0 / 0 | 224068 | 43631409399 | 42.655395 |
| candidate | 9610144–9610175 | 346464 / 346464 | 0 / 0 | 0 / 0 / 0 | 224384 | 43839701349 | 44.200032 |
| candidate | 9610176–9610207 | 344628 / 344628 | 0 / 0 | 0 / 0 / 0 | 224652 | 43661848243 | 44.521690 |
| candidate | 9610208–9610239 | 350170 / 350170 | 0 / 0 | 0 / 0 / 0 | 226071 | 44195389267 | 45.273617 |
| t03 | 9609984–9610015 | 348284 / 348284 | 0 / 0 | 0 / 0 / 0 | 232387 | 47205110192 | 30.882081 |
| t03 | 9610016–9610047 | 352883 / 352883 | 0 / 0 | 0 / 0 / 0 | 235382 | 47751306503 | 31.365902 |
| t03 | 9610048–9610079 | 350748 / 350748 | 0 / 0 | 0 / 0 / 0 | 232627 | 47483360325 | 30.568318 |
| t03 | 9610080–9610111 | 347770 / 347770 | 0 / 0 | 0 / 0 / 0 | 232419 | 47132645053 | 32.143626 |
| t03 | 9610112–9610143 | 346513 / 346513 | 0 / 0 | 0 / 0 / 0 | 232506 | 46984603922 | 31.542399 |
| t03 | 9610144–9610175 | 348848 / 348848 | 0 / 0 | 0 / 0 / 0 | 232506 | 47264269042 | 30.847371 |
| t03 | 9610176–9610207 | 346404 / 346404 | 0 / 0 | 0 / 0 / 0 | 235259 | 46991613903 | 34.004838 |
| t03 | 9610208–9610239 | 351359 / 351359 | 0 / 0 | 0 / 0 / 0 | 232387 | 47558980189 | 32.042417 |
| IB | 9609984–9610015 | 345615 / 345615 | 0 / 0 | 0 / 0 / 0 | 211553 | 46728274542 | 31.232710 |
| IB | 9610016–9610047 | 349664 / 349664 | 0 / 0 | 0 / 0 / 0 | 234805 | 47197031339 | 32.551088 |
| IB | 9610048–9610079 | 347716 / 347716 | 0 / 0 | 0 / 0 / 0 | 232015 | 46954039385 | 29.888243 |
| IB | 9610080–9610111 | 345003 / 345003 | 0 / 0 | 0 / 0 / 0 | 231813 | 46642342582 | 31.341982 |
| IB | 9610112–9610143 | 343651 / 343651 | 0 / 0 | 0 / 0 / 0 | 231893 | 46482847029 | 30.108452 |
| IB | 9610144–9610175 | 346079 / 346079 | 0 / 0 | 0 / 0 / 0 | 231838 | 46774234634 | 31.171128 |
| IB | 9610176–9610207 | 343930 / 343930 | 0 / 0 | 0 / 0 / 0 | 234700 | 46540420214 | 31.313303 |
| IB | 9610208–9610239 | 348583 / 348583 | 0 / 0 | 0 / 0 / 0 | 213749 | 47069581391 | 31.169799 |

## Timing and coverage

Measured elapsed seconds wrap only `run_batch`; compilation, setup, JSON serialization, and orchestration are excluded. Seconds per seed = total chunk elapsed seconds / measured seeds (batch throughput with eight workers, not individual seed latency).

| Arm | Seeds run | Engine seconds | Seconds per seed | Seeds not run |
|---|---:|---:|---:|---|
| candidate | 256 | 355.941842 | 1.390397819 | None |
| t03 | 256 | 253.396953 | 0.989831848 | None |
| IB | 256 | 248.776705 | 0.971784003 | None |

## Per-seed CSV

Nine decimals; an empty arm cell would denote an unrun seed. All requested seeds appear below.

```csv
seed,candidate,t03,IB
9609984,525.145186279,528.035308789,526.586480795
9609985,589.395259412,588.072580718,587.842590540
9609986,433.115377468,432.220936223,432.002355865
9609987,419.212984897,417.618179749,417.356048746
9609988,563.618037995,561.114351264,559.597209438
9609989,673.482740045,672.205944202,671.237388806
9609990,551.466106295,549.329016400,548.594049918
9609991,609.609286151,607.520268402,606.387173546
9609992,616.079402116,613.230991234,611.658090939
9609993,662.279293430,660.431677903,659.317424819
9609994,511.756849581,512.467300626,511.942349001
9609995,496.228786850,492.698946478,491.937396314
9609996,597.028083759,594.166425788,593.735335137
9609997,591.246611234,586.614337007,585.816157649
9609998,467.594376144,466.925671843,467.760867640
9609999,614.185640689,613.886043868,613.010359062
9610000,502.344479903,500.856666192,500.726336572
9610001,434.679904674,433.864318503,432.553033636
9610002,551.207817594,548.023408011,547.500881289
9610003,579.437773424,576.709158691,576.943978575
9610004,459.906754837,459.452903727,458.837502661
9610005,536.925121712,534.766787381,534.678584728
9610006,457.736939841,457.380230611,456.339716110
9610007,561.081073805,559.811856841,560.602908998
9610008,395.170252242,394.822553189,394.845676329
9610009,374.992120786,375.280762485,373.609568578
9610010,388.515213436,388.795679541,387.737688306
9610011,477.805362436,478.420269310,477.662305632
9610012,584.651785193,580.964836505,578.868641842
9610013,484.905302393,484.518498396,483.312663183
9610014,468.118116237,465.948196174,464.901071550
9610015,447.751059139,445.456402676,443.344446757
9610016,490.762709817,489.964430996,489.092082394
9610017,520.304646967,520.432098604,519.260884852
9610018,711.552123545,707.523295411,706.526386785
9610019,490.828433627,489.705492980,488.803728577
9610020,474.948746610,472.799111647,472.850447256
9610021,624.242074138,620.992547609,620.872183308
9610022,461.728774591,462.926881126,461.678259018
9610023,609.861962722,607.845045780,607.097932986
9610024,576.413750310,574.401199494,573.759155163
9610025,581.676081850,578.259921661,577.761543434
9610026,526.198135851,524.489940745,523.931340559
9610027,444.547767869,444.660668843,443.584846668
9610028,420.247471677,419.390102507,419.059506631
9610029,511.990387232,511.921567660,511.664792605
9610030,520.643913762,519.746761740,517.084982680
9610031,578.065087504,574.647341171,575.072805186
9610032,510.680716375,509.682338480,509.884023034
9610033,541.074996425,540.783773724,539.412567673
9610034,642.752877365,640.321150010,640.343843584
9610035,450.008898892,448.172562746,447.565999091
9610036,634.512300872,632.515649852,631.147364581
9610037,520.717046141,518.889595819,517.540418712
9610038,552.585969284,550.714573173,549.081764142
9610039,677.062663667,671.811379569,670.444380547
9610040,403.084170977,403.518125857,403.058278675
9610041,540.058614211,539.014749184,538.641732944
9610042,564.701652786,560.130345825,560.866713098
9610043,672.729517960,669.635987617,668.912191372
9610044,383.044448940,383.758470090,382.992171679
9610045,616.105966662,615.299332526,614.017877648
9610046,614.149535370,613.945121179,613.730257972
9610047,652.474201472,650.189121961,649.314727193
9610048,602.867446438,599.568366133,599.742343886
9610049,474.169398044,473.300931954,472.808631844
9610050,653.128904555,652.434878887,649.669514753
9610051,378.806650698,378.559971955,378.127780403
9610052,611.713133964,608.347048109,607.676168078
9610053,599.979096859,600.555956846,599.009416168
9610054,576.653759831,574.639288071,574.346349341
9610055,507.710287393,507.760630748,506.493228991
9610056,432.488772692,429.971753069,429.772116686
9610057,497.572921326,496.815124148,496.078593056
9610058,653.309796378,651.104771623,650.385938895
9610059,367.673028813,367.632545513,365.580070853
9610060,680.562134911,677.974457486,677.576801657
9610061,620.815466638,618.334672271,616.511451088
9610062,566.510644625,564.908546470,564.767282993
9610063,378.267606828,379.047561182,378.820515499
9610064,402.636547291,402.598551133,400.880372274
9610065,385.325130666,384.823881284,385.129114332
9610066,724.781821301,721.591578179,720.189642481
9610067,382.571684206,381.272203328,380.736890930
9610068,632.579325137,629.715249361,628.468121932
9610069,466.076482639,466.461927094,465.589851001
9610070,457.006036944,455.946458457,455.137986057
9610071,598.977668088,597.985764508,597.026012462
9610072,617.059541667,615.788556142,614.793144134
9610073,538.753214556,538.725913221,539.942877009
9610074,563.432651512,562.014353441,561.121437852
9610075,609.690220855,606.481777589,606.607369816
9610076,418.504934221,418.880410296,417.907506999
9610077,634.180526527,632.297677232,633.064803822
9610078,530.570965429,529.944733045,528.590881988
9610079,593.548042691,591.670277314,590.640645070
9610080,605.507405587,604.871255107,603.257266841
9610081,530.076822886,529.853779976,528.630891484
9610082,593.364192340,591.620893031,590.649905204
9610083,567.304582496,565.601495576,564.528405275
9610084,582.524836016,580.892015819,581.167328116
9610085,512.521563147,511.587695062,510.527568012
9610086,559.798188728,557.409419912,556.982672617
9610087,437.344244744,436.447334848,436.011871152
9610088,606.562079643,604.585846570,603.054718778
9610089,636.379744305,635.101178090,632.581187403
9610090,427.580345799,426.162789732,426.264731402
9610091,541.237156961,538.665512323,538.073646064
9610092,643.700047745,640.734456388,638.569537709
9610093,716.061984185,713.464008667,711.963491631
9610094,677.101320558,674.395680012,674.125479505
9610095,406.975864820,407.048626479,406.507820600
9610096,546.403668361,544.055657583,544.593934797
9610097,379.051286109,379.177029164,378.492411139
9610098,423.282894378,422.864751072,421.585879943
9610099,572.524734363,569.598885795,568.766659992
9610100,627.068859482,623.741776933,622.492448258
9610101,445.366368085,444.645763893,444.360303941
9610102,710.667269889,709.315382369,709.190535796
9610103,524.969004208,526.384042440,526.125285114
9610104,431.420554025,430.156314591,429.913990096
9610105,428.283650811,428.345100016,427.834962208
9610106,441.409077287,440.519451487,440.082745531
9610107,424.198209873,424.572440575,423.214701041
9610108,599.283599792,596.722660064,596.721406179
9610109,561.248681213,558.099813076,557.910293371
9610110,589.245784807,585.162328392,584.854751396
9610111,391.055823639,392.093139529,391.741994385
9610112,504.457829478,500.007931767,499.071080141
9610113,456.553966901,455.921848755,456.202454257
9610114,369.921415342,370.037406152,369.310398627
9610115,535.368399750,533.503035797,531.153922767
9610116,596.580487102,595.567885531,595.509812112
9610117,535.453278035,532.955670553,532.813527862
9610118,537.528477145,536.305731320,535.653656987
9610119,450.021618669,451.354607776,450.766203839
9610120,357.599709403,356.267798646,355.778105034
9610121,458.166536991,455.844775309,455.084798455
9610122,604.143026448,602.170541363,601.682259383
9610123,501.647957149,498.346924724,497.426621093
9610124,535.110209411,533.239188061,531.969587164
9610125,662.239956713,659.960318587,659.646258677
9610126,420.895415570,419.131152799,418.911483614
9610127,668.911503484,665.341981937,664.390584161
9610128,412.827506483,411.953128018,411.338054664
9610129,426.197440148,426.488943694,425.881332313
9610130,506.177745813,503.941384511,502.916284003
9610131,660.912467211,658.979751811,657.788059272
9610132,544.806528759,544.546577791,543.845562812
9610133,413.526818127,413.861783885,413.610535451
9610134,578.849035168,576.498698114,576.610513147
9610135,440.800160725,441.535225311,439.582467883
9610136,417.419811407,417.095330604,416.739182564
9610137,513.551370876,512.161417048,511.548301363
9610138,559.193937321,557.500336823,556.515001028
9610139,639.279365858,633.226190402,633.001391709
9610140,391.406896357,391.142540405,387.443641495
9610141,597.067075593,593.574522772,593.713254055
9610142,726.908666682,724.429236265,722.482185923
9610143,563.584740443,561.145381786,561.152607171
9610144,562.329942210,561.692991643,561.716310675
9610145,605.382260974,603.851614851,603.427269818
9610146,428.368619364,429.350320420,428.052566257
9610147,380.000471583,379.456325420,378.545314919
9610148,423.060493302,422.070927935,421.033916743
9610149,492.888910502,491.178486864,489.642933101
9610150,448.483286065,450.136717374,449.193503894
9610151,504.697317003,503.939076738,502.898409032
9610152,413.587297864,412.866617949,411.935029066
9610153,572.646400735,572.149838314,571.953713118
9610154,740.118420719,736.294063195,736.254700250
9610155,599.445611921,597.751375151,596.566351292
9610156,620.565701882,618.830691109,618.586750165
9610157,496.700900198,495.181309890,493.490938190
9610158,660.774784088,661.508867126,658.429634170
9610159,541.356573529,541.123111750,541.218861073
9610160,428.411907973,428.330589824,428.713410712
9610161,483.189257321,481.078202076,480.500501353
9610162,401.366411386,402.161321223,401.275244563
9610163,647.700457368,645.743070283,645.850352424
9610164,496.714209618,495.094407726,494.635245015
9610165,659.486245130,656.814552872,656.091793647
9610166,450.829424019,451.332247093,450.793801664
9610167,685.188782176,683.661752788,683.423381984
9610168,542.872619425,545.233183013,542.701647536
9610169,463.815986144,463.975571655,463.808070349
9610170,507.791836594,506.220903764,506.008009178
9610171,483.837710060,481.793877086,480.868139976
9610172,538.763260304,536.658990268,536.390462037
9610173,402.088990718,400.035605823,400.057014907
9610174,425.231491522,422.571868162,423.064796931
9610175,630.452144986,627.793789399,626.828879786
9610176,609.529526018,605.872383392,605.461681334
9610177,466.296176471,464.684641117,465.010477609
9610178,656.504091776,655.682362468,652.163173355
9610179,385.644401807,385.819915972,384.838359011
9610180,522.743697800,521.652407197,520.623787040
9610181,680.026106604,678.073542839,677.091265163
9610182,648.512077701,644.995322534,644.099288877
9610183,510.297191952,509.546665711,508.990026839
9610184,538.713482671,536.915249444,536.546607186
9610185,530.424533388,528.783689916,529.855368161
9610186,552.982283998,549.769701232,548.057884038
9610187,466.740787607,465.636357969,464.789616240
9610188,584.563304594,582.376075737,581.551122474
9610189,485.918663411,484.328201929,483.522510944
9610190,490.970459529,490.943007087,491.001847318
9610191,500.045322656,500.455380181,499.490437171
9610192,595.946918713,595.136833572,594.340601432
9610193,507.153219973,506.567245419,506.055204612
9610194,594.715645304,589.988069341,592.008215016
9610195,481.251560997,479.662706264,479.229282156
9610196,458.817692963,458.032265092,456.743212940
9610197,572.925069595,572.563385724,572.063605752
9610198,472.242719254,473.289096040,473.076378605
9610199,552.436042348,548.404002156,547.722950083
9610200,600.058143710,597.400231174,596.484027978
9610201,641.907381005,642.507677511,641.327689242
9610202,520.579180910,519.491372584,518.149788335
9610203,431.371059101,429.988513205,429.404381993
9610204,407.647427882,409.172783100,408.153825386
9610205,430.451913035,432.999091855,431.996327145
9610206,523.930821250,522.731276958,521.132203422
9610207,535.071926901,533.550376869,532.226081915
9610208,503.124227156,503.529176810,502.934208404
9610209,526.749934115,524.286471529,523.064941430
9610210,557.552973562,556.275911918,555.437827745
9610211,525.409213035,524.273658438,523.430802171
9610212,483.205590036,482.265974434,481.207249359
9610213,647.462105057,643.078029334,641.768542976
9610214,448.188725411,446.759987148,446.242342781
9610215,612.114121917,611.490207186,610.783458378
9610216,575.275920240,572.115108489,571.803668199
9610217,554.057624959,553.713739535,552.834939341
9610218,545.894482173,544.115039013,542.424790612
9610219,394.895582381,394.221972188,393.918958900
9610220,497.923856317,495.987517827,496.078309024
9610221,419.510265459,418.602950190,416.193031442
9610222,628.254405940,626.247583622,624.985805102
9610223,401.146070108,400.097850331,399.491650317
9610224,471.115880926,469.290416918,469.040718966
9610225,544.592170131,543.258346673,542.209931823
9610226,560.183458570,558.829548702,557.031760169
9610227,709.562510744,707.639221698,706.623013803
9610228,525.384540517,523.586953586,522.264312533
9610229,475.463952104,474.122347498,473.627106262
9610230,471.322587078,470.535824033,468.918400995
9610231,573.573433027,572.397294829,572.471505532
9610232,658.971493296,652.640388108,652.805883684
9610233,675.179015407,675.099787277,673.711526438
9610234,561.529264136,558.377941855,556.612746090
9610235,611.328482945,609.279628559,608.487313939
9610236,564.066787273,560.147988296,558.549688076
9610237,583.020646579,580.794970718,578.976758487
9610238,503.184492667,503.037955392,501.868340556
9610239,506.508192657,504.921807107,503.874221895
```

## Local scoring harness

This is the exact chunk runner used, invoked at offsets 0,32,…,224 in arm order candidate, t03, IB. The `.bin` files are cached creation bytecode from the pinned compiler; the four sources were compiled once each. Raw per-seed results and gas records were saved under `scratch/` after each chunk.

```python
import sys,json,time
from pathlib import Path
import amm_sim_rs
from amm_competition.competition.match import MatchRunner
from amm_competition.competition.config import BASELINE_VARIANCE,build_base_config
label,start=sys.argv[1],int(sys.argv[2]);p=Path('scratch');dest=p/f'{label}_{start:03d}.json'
assert not dest.exists(),dest
cfg=MatchRunner(n_simulations=256,config=build_base_config(seed=None),n_workers=8,variance=BASELINE_VARIANCE)._build_configs()[start:start+32]
for i,c in enumerate(cfg,start):c.seed=9609984+i
amm_sim_rs.gas_stats_reset();t=time.perf_counter()
r=amm_sim_rs.run_batch((p/(label+'.bin')).read_bytes(),(p/'vanilla.bin').read_bytes(),cfg,8)
elapsed=time.perf_counter()-t;gas=amm_sim_rs.gas_stats()
out={'label':label,'offset':start,'seconds':elapsed,'n':len(r.results),'gas':gas,'scores':{x.seed:x.edges['submission'] for x in r.results}}
dest.write_text(json.dumps(out,indent=2));print(json.dumps({'label':label,'offset':start,'seconds':elapsed,'n':len(r.results),'gas':gas}),flush=True)
```

## Deliverable checks

Local checks passed: 256 complete CSV rows with nine-decimal values matched the saved engine scores; paired means, sample SE, best5/worst5, chunk coverage, and gas totals matched the raw results. Candidate hash and output size were checked. `sources.json` parsed, and every quoted passage was verified against a fresh fetch of its URL. These checks establish internal consistency, not independent engine certification.