# A3: port-3 confirmation on fresh engine seeds 9600512..9600767

## Setup
| item | value |
|---|---|
| engine repo | benedictbrady/amm-challenge @ 6b6921f8d463314aa7c96234e1be25a25245f704 |
| engine wheel | amm_sim_rs-0.1.0.post1 (sha256 aedb6828...) via the given setup.sh; starter strategy validated |
| solc | 0.8.24 |
| run | `amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8)`, each strategy alone vs the 30 bps VanillaStrategy |
| configs | `MatchRunner._build_configs` logic (rng `default_rng(seed=i)`, BASELINE_VARIANCE), seed i, i in 9600512..9600767 only (n=256), 8 chunks of 32 |
| seed use | each (strategy, chunk) run exactly once; nothing tuned or rerun on these seeds |
| port-3 source | Strategy.sol extracted verbatim from artifact 0dbcc10a... (the fenced `solidity` block under "contracts/src/Strategy.sol"); sha256 62930b8e68277c69fc1acfba18de781e684d7fc6daac8dc562b8210dc3932ac1 = required (match) |
| t03 | zlib(base64(code_zb64)) of artifact 2333ecf2...; sha256 cb6d945511e1e10af78baa64c2a6cb25806f0998403ce6440654bfc3c70092d9 (matches cb6d9455...) |
| IB | zlib(base64(code_zb64)) of artifact afd5183e...; sha256 301941829a44bb60977bb28181a5e4bfa6544f3696763f987054789b2611d686 (matches 30194182...) |

## Validate and size
- `amm-match validate` port-3: "Strategy 'TaylorGaussianPlainCoarse' validated successfully!" (t03 'censored_10' and IB 'inputs_b' also validated).
- Deployed bytecode: port-3 **18,466 bytes** (creation 18,494); t03 14,654; IB 14,528. All <= 24,576.

## Mean edge (n=256)
| strategy | mean edge |
|---|---|
| port-3 | 521.894351 |
| t03 | 521.362259 |
| IB | 520.577859 |

## Paired
| comparison | n | mean_diff | se | wins | worst5 (seed, diff) |
|---|---|---|---|---|---|
| port-3 minus t03 | 256 | 0.532092144 | 0.088902584 | 162/256 (ties 0) | [(9600567, -3.215), (9600680, -2.748), (9600708, -2.161), (9600589, -2.082), (9600599, -2.008)] |
| port-3 minus IB | 256 | 1.316491666 | 0.092166738 | 210/256 (ties 0) | [(9600519, -1.766), (9600567, -1.606), (9600665, -1.573), (9600708, -1.453), (9600680, -1.391)] |

se = sample std (ddof=1) / sqrt(256).

## amm_sim_rs.gas_stats(), Submission afterSwap (summed over the 8 chunks; gas_stats reset before each chunk)
| strategy | afterSwap calls | oog | other failures | peak gas | mean gas (ok calls) |
|---|---|---|---|---|---|
| port-3 | 2,719,781 | 0 | 0 | 203,501 | 95,569 |
| t03 | 2,761,007 | 0 | 0 | 235,527 | 135,676 |
| IB | 2,740,575 | 0 | 0 | 234,958 | 135,344 |

All below the 245,000 peak limit.

## Per-seed edges
```csv
seed,port,t03,ib
9600512,709.722,709.417,708.348
9600513,475.325,475.931,475.920
9600514,380.798,381.264,381.077
9600515,570.032,569.105,567.398
9600516,539.846,539.344,538.690
9600517,498.734,500.539,498.431
9600518,460.123,460.340,458.897
9600519,342.370,344.040,344.136
9600520,456.441,457.654,456.782
9600521,602.124,603.271,601.619
9600522,500.856,501.810,501.508
9600523,473.973,473.503,473.361
9600524,369.110,369.544,368.734
9600525,432.100,433.917,433.261
9600526,619.630,615.773,616.017
9600527,458.742,457.831,457.088
9600528,384.793,385.507,383.874
9600529,500.350,498.276,497.127
9600530,560.692,560.012,559.593
9600531,530.706,530.923,530.577
9600532,474.713,475.482,473.913
9600533,468.943,470.335,469.670
9600534,426.426,426.412,425.434
9600535,376.436,377.771,377.728
9600536,616.558,616.412,616.543
9600537,569.570,570.014,569.624
9600538,389.381,388.960,388.583
9600539,421.172,421.679,421.661
9600540,469.463,469.287,468.678
9600541,547.232,546.732,545.454
9600542,456.693,458.388,457.757
9600543,447.630,447.881,446.559
9600544,472.035,471.906,470.695
9600545,675.150,671.915,671.311
9600546,397.534,398.158,397.160
9600547,392.972,394.195,392.257
9600548,561.943,560.821,559.569
9600549,499.178,500.674,499.886
9600550,576.608,575.675,574.307
9600551,474.007,475.058,474.505
9600552,676.888,673.054,671.804
9600553,697.095,695.421,693.712
9600554,615.577,613.643,612.866
9600555,521.650,521.240,521.337
9600556,759.488,757.933,758.379
9600557,461.254,459.278,459.070
9600558,682.728,678.195,678.057
9600559,585.705,585.577,584.798
9600560,549.519,548.226,547.626
9600561,633.424,630.459,629.954
9600562,581.850,582.682,582.133
9600563,465.517,466.061,465.439
9600564,415.753,413.538,412.730
9600565,534.845,535.037,534.292
9600566,410.137,411.930,410.642
9600567,504.154,507.369,505.760
9600568,527.117,528.824,527.070
9600569,474.558,473.582,473.916
9600570,504.721,502.322,502.538
9600571,509.714,510.952,510.216
9600572,470.872,470.523,469.402
9600573,549.015,550.022,548.519
9600574,512.609,513.881,513.900
9600575,487.030,486.446,484.151
9600576,425.047,426.040,426.157
9600577,454.319,454.039,454.160
9600578,479.130,480.051,479.164
9600579,464.443,465.566,464.901
9600580,617.583,615.257,615.204
9600581,574.581,574.115,573.706
9600582,536.888,536.407,535.832
9600583,585.024,584.225,583.300
9600584,514.030,514.255,514.506
9600585,551.534,551.446,549.769
9600586,559.034,555.884,556.196
9600587,652.299,650.712,650.257
9600588,442.061,442.713,441.333
9600589,370.256,372.338,371.631
9600590,638.410,637.283,635.674
9600591,534.759,534.071,532.521
9600592,470.821,469.607,468.743
9600593,744.828,741.360,739.923
9600594,649.558,647.865,646.902
9600595,611.908,610.726,610.502
9600596,545.374,545.617,543.900
9600597,461.326,461.986,461.034
9600598,479.137,479.573,478.220
9600599,432.374,434.381,433.539
9600600,579.148,578.177,577.462
9600601,477.467,477.275,477.701
9600602,437.482,435.884,436.189
9600603,557.315,555.027,554.986
9600604,364.940,366.730,366.172
9600605,421.706,421.791,420.932
9600606,495.475,495.499,494.502
9600607,534.630,532.153,532.417
9600608,669.651,669.036,667.443
9600609,574.872,574.582,573.290
9600610,551.613,550.731,549.708
9600611,476.282,473.395,472.813
9600612,502.819,501.753,500.353
9600613,582.567,581.339,578.101
9600614,424.936,425.788,425.436
9600615,468.985,469.367,468.662
9600616,635.928,637.323,635.192
9600617,510.937,509.140,507.049
9600618,651.538,649.317,650.741
9600619,556.137,556.489,554.198
9600620,649.557,648.495,648.068
9600621,540.509,537.693,539.081
9600622,396.993,396.217,394.922
9600623,418.370,419.694,418.906
9600624,371.230,371.979,371.591
9600625,589.228,587.466,586.565
9600626,661.060,661.214,659.844
9600627,502.671,501.994,501.477
9600628,491.392,490.582,491.614
9600629,602.018,599.274,599.075
9600630,411.256,410.615,410.275
9600631,455.696,456.934,455.704
9600632,433.804,435.400,433.988
9600633,504.545,504.918,504.154
9600634,642.213,640.664,640.246
9600635,544.309,542.339,541.046
9600636,427.964,426.375,426.003
9600637,578.504,576.516,576.058
9600638,613.264,611.642,611.118
9600639,569.685,566.457,565.994
9600640,465.040,464.950,464.539
9600641,627.317,624.734,624.624
9600642,454.121,453.057,452.670
9600643,597.596,596.254,594.369
9600644,570.631,569.330,568.502
9600645,478.415,477.965,478.469
9600646,569.552,569.823,568.865
9600647,480.061,479.495,477.799
9600648,363.372,363.784,362.334
9600649,603.420,601.316,600.193
9600650,626.118,624.117,623.713
9600651,430.135,429.540,429.560
9600652,591.840,591.493,590.630
9600653,514.020,514.540,514.922
9600654,439.267,439.961,439.138
9600655,503.916,505.214,505.095
9600656,509.102,509.016,508.363
9600657,556.174,554.850,553.963
9600658,513.137,513.793,512.708
9600659,460.497,460.470,459.816
9600660,463.962,461.968,461.544
9600661,700.079,699.267,701.122
9600662,375.930,375.866,376.066
9600663,367.678,368.531,367.341
9600664,535.201,534.269,531.600
9600665,422.464,424.008,424.037
9600666,404.949,405.367,404.296
9600667,405.663,406.533,405.378
9600668,601.026,598.071,597.654
9600669,636.352,633.819,632.352
9600670,637.489,637.904,636.290
9600671,570.280,569.415,569.210
9600672,451.386,451.209,450.589
9600673,616.900,614.727,614.737
9600674,599.097,597.808,597.141
9600675,500.470,498.892,498.317
9600676,524.499,521.646,521.482
9600677,617.274,615.951,614.094
9600678,454.132,453.375,452.690
9600679,434.774,434.020,432.726
9600680,460.626,463.374,462.017
9600681,492.287,489.471,488.925
9600682,415.851,416.618,416.629
9600683,761.544,760.157,759.148
9600684,409.759,409.301,409.466
9600685,527.530,528.503,526.708
9600686,590.376,588.840,587.793
9600687,490.298,487.295,487.321
9600688,635.006,634.336,633.884
9600689,429.299,429.989,428.110
9600690,408.542,409.019,408.998
9600691,590.768,588.673,588.025
9600692,344.754,345.225,346.078
9600693,364.526,364.790,364.206
9600694,493.233,493.219,492.425
9600695,537.373,536.720,535.746
9600696,442.890,444.099,442.722
9600697,697.492,695.100,693.403
9600698,501.679,501.322,500.084
9600699,465.498,467.277,465.545
9600700,459.885,459.276,458.081
9600701,443.299,444.166,442.891
9600702,461.625,460.980,460.969
9600703,527.687,529.299,527.302
9600704,604.136,600.625,600.477
9600705,429.709,428.662,428.995
9600706,662.745,659.323,658.434
9600707,486.097,484.926,484.959
9600708,369.730,371.892,371.183
9600709,634.263,634.211,633.353
9600710,457.864,457.934,456.864
9600711,478.481,479.355,478.256
9600712,625.014,621.946,620.926
9600713,388.410,389.630,388.602
9600714,650.350,646.228,645.647
9600715,481.203,480.449,479.936
9600716,591.152,589.506,589.153
9600717,508.057,508.375,507.889
9600718,556.281,556.905,555.601
9600719,549.299,547.660,548.025
9600720,650.971,650.409,648.969
9600721,529.264,529.148,528.145
9600722,568.595,567.038,566.165
9600723,580.985,578.738,579.015
9600724,588.275,587.651,586.619
9600725,493.006,492.764,491.836
9600726,498.746,496.557,495.235
9600727,595.014,594.006,593.134
9600728,438.043,438.779,437.932
9600729,428.362,428.328,427.620
9600730,530.111,528.173,527.401
9600731,429.364,429.480,428.210
9600732,693.760,691.902,691.526
9600733,553.694,553.002,552.305
9600734,496.939,496.543,495.615
9600735,443.907,443.482,443.483
9600736,483.943,482.496,481.095
9600737,435.701,435.222,435.262
9600738,565.118,562.813,561.797
9600739,655.505,655.858,653.217
9600740,616.087,614.712,611.004
9600741,579.456,576.478,576.298
9600742,563.741,561.593,560.941
9600743,626.077,624.834,625.016
9600744,549.191,547.726,546.691
9600745,367.586,368.425,367.566
9600746,393.055,394.578,392.985
9600747,687.731,686.909,685.998
9600748,633.437,631.358,628.740
9600749,492.220,492.022,492.001
9600750,474.494,474.688,473.380
9600751,570.758,570.248,568.598
9600752,549.183,548.788,548.055
9600753,517.599,517.010,515.821
9600754,489.886,490.745,489.778
9600755,605.432,603.390,603.432
9600756,559.342,560.326,558.397
9600757,559.579,560.317,559.400
9600758,588.500,587.698,587.419
9600759,418.401,418.914,418.538
9600760,612.355,611.069,608.592
9600761,477.417,475.533,475.640
9600762,545.559,544.874,544.387
9600763,596.247,595.540,594.420
9600764,556.743,552.382,551.720
9600765,589.210,586.571,584.484
9600766,447.591,447.452,447.163
9600767,796.064,796.414,794.979
```

## Problems
- None blocking. The port-3 artifact's own text reports a peak of 206,161 gas on its sample; this run measured 203,501 on different seeds (not a contradiction).
- Edge units are the engine's raw edge, so differences vs the artifact's quoted +0.832 (its n=64 sample) differ from this +0.532 (n=256); the confirmation sample gives a smaller but clearly positive margin over t03 (about 6 se) and a larger one over IB.
- Taylor-replica gates (P/Q/F) were not part of this item and were not rerun.