{
 "item": "flat",
 "batch": "e05-flat-control",
 "kind": "control",
 "seeds": {
  "start": 10000,
  "end_inclusive": 10255,
  "n": 256
 },
 "ladder": [
  {
   "F_bps": 30,
   "code_sha256": "64f1034412ce8d16b0963478023dc85557c081aef3a2a1998ee7efa5cb60fab7",
   "n": 256,
   "mean_edge": 342.0961,
   "mean_diff": -181.1193,
   "se": 2.9738,
   "worst": [
    {
     "seed": 10241,
     "diff": -354.3109
    },
    {
     "seed": 10152,
     "diff": -305.6409
    },
    {
     "seed": 10165,
     "diff": -303.313
    },
    {
     "seed": 10092,
     "diff": -301.1948
    },
    {
     "seed": 10067,
     "diff": -300.9804
    }
   ],
   "gas": {
    "max_ok": 22592,
    "oog": 0,
    "reverts": 0,
    "other_halts": 0
   }
  },
  {
   "F_bps": 33,
   "code_sha256": "7146cddb1a9fb68387134c110ec344b34c985e1ea06d4a20d83d517cb874a609",
   "n": 256,
   "mean_edge": 346.9933,
   "mean_diff": -176.222,
   "se": 2.8848,
   "worst": [
    {
     "seed": 10241,
     "diff": -347.4681
    },
    {
     "seed": 10152,
     "diff": -299.5647
    },
    {
     "seed": 10165,
     "diff": -297.2958
    },
    {
     "seed": 10092,
     "diff": -294.9157
    },
    {
     "seed": 10067,
     "diff": -294.5531
    }
   ],
   "gas": {
    "max_ok": 22592,
    "oog": 0,
    "reverts": 0,
    "other_halts": 0
   }
  },
  {
   "F_bps": 35,
   "code_sha256": "c7ec7340aa22b7699b6df4b6bf4238d10e8238f9bf76e38474fce2d7d90a927f",
   "n": 256,
   "mean_edge": 349.9512,
   "mean_diff": -173.2641,
   "se": 2.8306,
   "worst": [
    {
     "seed": 10241,
     "diff": -343.4316
    },
    {
     "seed": 10152,
     "diff": -295.8019
    },
    {
     "seed": 10165,
     "diff": -293.6611
    },
    {
     "seed": 10092,
     "diff": -291.0577
    },
    {
     "seed": 10067,
     "diff": -290.7416
    }
   ],
   "gas": {
    "max_ok": 22592,
    "oog": 0,
    "reverts": 0,
    "other_halts": 0
   }
  },
  {
   "F_bps": 37,
   "code_sha256": "0ebc60a40646742d56436fadb8be9fd2017703b5a8c4d51e175329985df51e90",
   "n": 256,
   "mean_edge": 352.8015,
   "mean_diff": -170.4138,
   "se": 2.7797,
   "worst": [
    {
     "seed": 10241,
     "diff": -339.5458
    },
    {
     "seed": 10152,
     "diff": -292.0822
    },
    {
     "seed": 10165,
     "diff": -290.1324
    },
    {
     "seed": 10092,
     "diff": -287.4098
    },
    {
     "seed": 10067,
     "diff": -287.2345
    }
   ],
   "gas": {
    "max_ok": 22592,
    "oog": 0,
    "reverts": 0,
    "other_halts": 0
   }
  },
  {
   "F_bps": 40,
   "code_sha256": "6f4270bb21181daa518f2052d03b1f2c489321cd2ceebc05a4b3a2343794a563",
   "n": 256,
   "mean_edge": 356.827,
   "mean_diff": -166.3884,
   "se": 2.7085,
   "worst": [
    {
     "seed": 10241,
     "diff": -333.7576
    },
    {
     "seed": 10152,
     "diff": -286.8767
    },
    {
     "seed": 10165,
     "diff": -284.9602
    },
    {
     "seed": 10067,
     "diff": -282.3993
    },
    {
     "seed": 10092,
     "diff": -282.273
    }
   ],
   "gas": {
    "max_ok": 22592,
    "oog": 0,
    "reverts": 0,
    "other_halts": 0
   }
  }
 ],
 "v2": {
  "code_sha256": "28417e116f57f1029fdd1803832e852574902c1ae7253c05657f317db76da4ab",
  "mean_edge": 523.2153,
  "gas": {
   "max_ok": 243554,
   "oog": 7,
   "reverts": 0,
   "other_halts": 0,
   "init_max": 236377,
   "afterSwap_plus_init_calls": 2644699
  },
  "v2_rerun_identical": true
 },
 "validity": "All 5 ladder rungs: 0 OOG, 0 reverts, 0 other halts (<= V2's 7 OOG on the same seeds), so every rung is valid under the OOG rule. V2: 7 OOG, 0 reverts, 0 other halts over 2,644,699 Submission calls, reproduced exactly in a second independent run.",
 "extension_beyond_brief": {
  "note": "Diagnostic only, same 256 seeds, same harness; not part of the requested ladder.",
  "rows": [
   {
    "F_bps": 50,
    "mean_edge": 367.4646,
    "mean_diff": -155.7507,
    "se": 2.5129,
    "oog": 0
   },
   {
    "F_bps": 60,
    "mean_edge": 374.0505,
    "mean_diff": -149.1648,
    "se": 2.3626,
    "oog": 0
   },
   {
    "F_bps": 75,
    "mean_edge": 377.7455,
    "mean_diff": -145.4698,
    "se": 2.199,
    "oog": 0
   },
   {
    "F_bps": 100,
    "mean_edge": 371.9758,
    "mean_diff": -151.2396,
    "se": 2.0632,
    "oog": 0
   }
  ]
 },
 "notes": "Every flat fee loses badly to V2: mean_diff runs from -181.1 (30 bps) to -166.4 (40 bps), se about 2.7-3.0, so each gap is more than 55 se. Edge rises with F across the whole ladder (342.1 -> 356.8), so the flat optimum is above 40 bps. The extra diagnostic rungs put it near 75 bps (377.7 edge; 100 bps falls back to 372.0). So the best flat fee, about 378, is still about 145 below V2's 523.2. Reading: a static fee level earns roughly 340-378 of V2's ~523 local edge. About 145-181 points (28-35% of V2's edge) come from V2's dynamics (its estimators and fee mapping), not from its average fee level. For the goal, the +5 to +8.7 targets are small next to the value of dynamics. The flat ladder gives no evidence that fee level alone is a lever: the gain has to come from a better dynamic rule. The normalizer AMM runs a fixed 30 bps (README), so F=30 is the symmetric matchup (edge 342.1). Method: amm-challenge@6b6921f8 with the artifact's instrumentation.patch; one amm_sim_rs.run_batch(strategy, Vanilla, configs, 8) per strategy, never two strategies in one market. Configs are rebuilt as in MatchRunner._build_configs (default_rng(seed) draws size, rate, sigma; seed=i), only for seeds 10000..10255; 10000 steps; 250000 gas limit for afterInitialize and afterSwap. The harness was repaired so OOG never exits or invalidates; OOG is counted per strategy. Paired diff = flat edge - V2 edge per seed; se = sd/sqrt(n); worst = the 5 lowest diffs. Flat contracts are StarterStrategy with FEE = F * BPS and name Flat<F>; code_sha256 is sha256 of that source.",
 "blocked": null
}