# c-round1 merge 01: engine tests of QLX5 structural constants (items k00-k15)

Credit: the policy all of this is built on is Taylor (gtmcknight)'s solved policy, github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved. The items only change one constant of QLX5 each and measure it on the engine.

Every number below is copied as the item gave it, from .imd/reads/artifacts/item-kNN (= artifacts/goal/batches/c-round1/items/kNN/result.json). Rows are sorted by the larger of LO-QLX5 and HI-QLX5 mean_diff, largest first. This merge adds no numbers of its own.

## rows

### k02: n=2 id="pull" family="rival clip and band widths"

- lo: `r=exp(lr+mul(2e17,ln(c)-lr))`
- hi: `r=exp(lr+mul(5e17,ln(c)-lr))`
- seeds: first 10203256, last 10203383, n 128
- LO-QLX5: n 128, mean_diff 0.016254, se 0.012277, sum_d 2.080544, sum_d2 2.484105, seeds_positive 75
- HI-QLX5: n 128, mean_diff -0.005496, se 0.012598, sum_d -0.70348, sum_d2 2.583794, seeds_positive 61
- LO peak_gas 210537, pass_peak true; HI peak_gas 209022, pass_peak true

### k13: n=13 id="phase_table" family="phase thresholds"

- lo: `tb=(ph==1?1:1)`
- hi: `tb=(ph==1?3:3)`
- seeds: first 10204664, last 10204791, n 128
- LO-QLX5: n 128, mean_diff 0.010694784003180136, se 0.018751205545714963, sum_d 1.3689323524070574, sum_d2 5.7303753601173035, seeds_positive 67
- HI-QLX5: n 128, mean_diff -0.17315390358574234, se 0.032437926740230646, sum_d -22.16369965897502, sum_d2 20.942604660475013, seeds_positive 42
- LO peak_gas 205181, pass_peak true; HI peak_gas 203116, pass_peak true

### k04: n=4 id="window" family="the split test's window and candidates"

- lo: `(s2>>128&M64)+4){int256 m0`
- hi: `(s2>>128&M64)+10){int256 m0`
- seeds: first 10203512, last 10203639, n 128
- LO-QLX5: n 128, mean_diff -0.008332510507614188, se 0.008554743347180718, sum_d -1.066561344974616, sum_d2 1.1985602836285905, seeds_positive 55
- HI-QLX5: n 128, mean_diff 0.0092041703876653, se 0.005181513506594154, sum_d 1.1781338096211584, sum_d2 0.4472861688755734, seeds_positive 62
- LO peak_gas 197644, pass_peak true; HI peak_gas 216164, pass_peak true

### k05: n=5 id="mix_band" family="tell floors"

- lo: `if(pi>25e14&&pi<9975e14)`
- hi: `if(pi>75e14&&pi<9925e14)`
- seeds: first 10203640, last 10203767, n 128
- LO-QLX5: n 128, mean_diff -0.0004855308649922563, se 0.00835365896459474, sum_d -0.062147950719008804, sum_d2 1.1344326705291041, seeds_positive 64
- HI-QLX5: n 128, mean_diff 0.0012494457443925633, se 0.006441827182822232, sum_d 0.1599290552822481, sum_d2 0.6747772891191427, seeds_positive 68
- LO peak_gas 208341, pass_peak true; HI peak_gas 208006, pass_peak true

### k03: n=3 id="syn_tables" family="synced-table switches"

- lo: `+0`
- hi: `+1`
- seeds: first 10203384, last 10203511, n 128
- LO-QLX5: n 128, mean_diff 0, se 0, sum_d 0, sum_d2 0, seeds_positive 0
- HI-QLX5: n 128, mean_diff -0.6867987211349482, se 0.05118148434378271, sum_d -87.91023630527337, sum_d2 102.95995065420486, seeds_positive 10
- LO peak_gas 206341, pass_peak true; HI peak_gas 196795, pass_peak true
- Source caveat: the run reports that 2 sources cited by this item did not hold when re-read (unreadable or not saying what it was quoted for). Its engine numbers come from its own run, but any claim it rests on those sources should be weighed accordingly.

### k15: n=15 id="step_syn" family="synced-table switches"

- lo: `cnt=0;`
- hi: `cnt=0;syn=arb;`
- seeds: first 10204920, last 10205047, n 128
- LO-QLX5: n 128, mean_diff 0, se 0, sum_d 0, sum_d2 0, seeds_positive 0
- HI-QLX5: n 128, mean_diff 0, se 0, sum_d 0, sum_d2 0, seeds_positive 0
- LO peak_gas 206321, pass_peak true; HI peak_gas 206338, pass_peak true

### k01: n=1 id="arb_cut" family="phase thresholds"

- lo: `arb=pi>U/4;`
- hi: `arb=pi>3*U/4;`
- seeds: first 10203128, last 10203255, n 128
- LO-QLX5: n 128, mean_diff -0.00032695264262017076, se 0.0007852842320528156, sum_d -0.04184993825538186, sum_d2 0.010038292008906935, seeds_positive 9
- HI-QLX5: n 128, mean_diff -0.002649226263506055, se 0.001645528539373292, sum_d -0.339100961728775, sum_d2 0.04491576958458038, seeds_positive 19
- LO peak_gas 205704, pass_peak true; HI peak_gas 204536, pass_peak true
- Source caveat: the run reports that 1 source cited by this item did not hold when re-read (unreadable or not saying what it was quoted for). Its engine numbers come from its own run, but any claim it rests on those sources should be weighed accordingly.

### k11: n=11 id="chance_floor" family="tell floors"

- lo: `lr=mul(lr,chance<1e14?int256(1e14):chance);`
- hi: `lr=mul(lr,chance<1e16?int256(1e16):chance);`
- seeds: first 10204408, last 10204535, n 128
- LO-QLX5: n 128, mean_diff -0.003815878, se 0.002667605, sum_d -0.488432337, sum_d2 0.117543365, seeds_positive 14
- HI-QLX5: n 128, mean_diff -0.017091627, se 0.015040953, sum_d -2.187728195, sum_d2 3.714991284, seeds_positive 58
- LO peak_gas 206459, pass_peak true; HI peak_gas 205397, pass_peak true

### k00: n=0 id="sd_scale" family="table levels"

- lo: `int256 sd=root(v)*7500;`
- hi: `int256 sd=root(v)*12500;`
- seeds: first 10203000, last 10203127, n 128
- LO-QLX5: n 128, mean_diff -0.028195203582702444, se 0.017812542053287854, sum_d -3.608986058585913, sum_d2 5.259567950577775, seeds_positive 60
- HI-QLX5: n 128, mean_diff -0.008916350743449097, se 0.021069016899387595, sum_d -1.1412928951614845, sum_d2 7.226271026576458, seeds_positive 65
- LO peak_gas 205553, pass_peak true; HI peak_gas 206080, pass_peak true

### k10: n=10 id="track" family="the split test's window and candidates"

- lo: ``
- hi: `if(!qx)mm=0;if(mm!=m0)slots[6]=uint256(mm);`
- seeds: first 10204280, last 10204407, n 128
- LO-QLX5: n 128, mean_diff -0.017334, se 0.013068, sum_d -2.218689, sum_d2 2.814378, seeds_positive 56
- HI-QLX5: n 128, mean_diff -0.025827, se 0.01245, sum_d -3.305898, sum_d2 2.605155, seeds_positive 49
- LO peak_gas 198292, pass_peak true; HI peak_gas 207567, pass_peak true

### k06: n=6 id="rival_clip" family="rival clip and band widths"

- lo: `r=clip(r,mul(pe,9985e14),divi(pe,9985e14));`
- hi: `r=clip(r,mul(pe,9955e14),divi(pe,9955e14));`
- seeds: first 10203768, last 10203895, n 128
- LO-QLX5: n 128, mean_diff -2.785455, se 0.094015, sum_d -356.53825, sum_d2 1136.804677, seeds_positive 0
- HI-QLX5: n 128, mean_diff -0.023202, se 0.018374, sum_d -2.969895, sum_d2 5.557265, seeds_positive 55
- LO peak_gas 207909, pass_peak true; HI peak_gas 205919, pass_peak true
- Source caveat: the run reports that 4 sources cited by this item did not hold when re-read (unreadable or not saying what it was quoted for). Its engine numbers come from its own run, but any claim it rests on those sources should be weighed accordingly.

### k09: n=9 id="pull_syn" family="synced-table switches"

- lo: `ln(c)-lr));syn=false;}`
- hi: `ln(c)-lr));syn=cnt==0;}`
- seeds: first 10204152, last 10204279, n 128
- LO-QLX5: n 128, mean_diff -0.023737, se 0.012728, sum_d -3.038298803, sum_d2 2.705470675, seeds_positive 50
- HI-QLX5: n 128, mean_diff -0.045367, se 0.0132, sum_d -5.806966178, sum_d2 3.095729624, seeds_positive 48
- LO peak_gas 205927, pass_peak true; HI peak_gas 207160, pass_peak true

### k07: n=7 id="phase_cnt" family="phase thresholds"

- lo: `cnt++;ph=2;`
- hi: `cnt++;ph=cnt<=2?1:2;`
- seeds: first 10203896, last 10204023, n 128
- LO-QLX5: n 128, mean_diff -0.15895025014287345, se 0.02391582204630997, sum_d -20.3456320182878, sum_d2 12.531831440336553, seeds_positive 33
- HI-QLX5: n 128, mean_diff -0.02809454575232717, se 0.01867110852685109, sum_d -3.596101856297878, sum_d2 5.768039781242105, seeds_positive 58
- LO peak_gas 202943, pass_peak true; HI peak_gas 207677, pass_peak true

### k14: n=14 id="fee_offset" family="table levels"

- lo: `xb-=U/2;xa-=U/2;fb=xb>0?U-exp(-xb/10000):int256(0);`
- hi: `xb+=U/2;xa+=U/2;fb=xb>0?U-exp(-xb/10000):int256(0);`
- seeds: first 10204792, last 10204919, n 128
- LO-QLX5: n 128, mean_diff -0.11269861451750574, se 0.024460442369581874, sum_d -14.425422658240734, sum_d2 11.351905191737746, seeds_positive 48
- HI-QLX5: n 128, mean_diff -0.2514637507105921, se 0.02590994376426499, sum_d -32.18736009095579, sum_d2 19.007016515404207, seeds_positive 20
- LO peak_gas 205874, pass_peak true; HI peak_gas 206156, pass_peak true

### k08: n=8 id="pred_var" family="table levels"

- lo: `(fb,fa)=fees(w,rr,ph,syn,v+446512500000);`
- hi: `(fb,fa)=fees(w,rr,ph,syn,v+893025000000);`
- seeds: first 10204024, last 10204151, n 128
- LO-QLX5: n 128, mean_diff -0.23993335621308765, se 0.03929320255140311, sum_d -30.71146959527522, sum_d2 32.46725091844692, seeds_positive 34
- HI-QLX5: n 128, mean_diff -0.5829064429135431, se 0.05811271005553819, sum_d -74.61202469293352, sum_d2 98.38975732223989, seeds_positive 22
- LO peak_gas 205921, pass_peak true; HI peak_gas 207492, pass_peak true

### k12: n=12 id="rival_fee_bound" family="rival clip and band widths"

- lo: `int256 c=t.isBuy?divi(mul(s,U-fb),9985e14):divi(mul(s,9985e14),U-fa);`
- hi: `int256 c=t.isBuy?divi(mul(s,U-fb),9955e14):divi(mul(s,9955e14),U-fa);`
- seeds: first 10204536, last 10204663, n 128
- LO-QLX5: n 128, mean_diff -5.0679094377544995, se 0.12037782488630899, sum_d -648.6924080325759, sum_d2 3523.0771585631614, seeds_positive 0
- HI-QLX5: n 128, mean_diff -6.2096725294646475, se 0.12435043454156511, sum_d -794.8380837714749, sum_d2 5187.051239124958, seeds_positive 0
- LO peak_gas 208209, pass_peak true; HI peak_gas 205805, pass_peak true

## failed

None: all 16 items (k00-k15) returned LO-QLX5 and HI-QLX5 engine diffs.

## Reading

Per the goal, a contract is brought back only when it beats QLX5 by >= +0.04 on 1,024+ fresh engine seeds; these items are 128-seed screens (see seeds.n per row), so none of them meets that bar by itself. The top rows are candidates for confirmation, not results.

## rows as JSON

```json
{
 "rows": [
  {
   "item": "k02",
   "n": 2,
   "id": "pull",
   "family": "rival clip and band widths",
   "lo": "r=exp(lr+mul(2e17,ln(c)-lr))",
   "hi": "r=exp(lr+mul(5e17,ln(c)-lr))",
   "seeds": {
    "first": 10203256,
    "last": 10203383,
    "n": 128
   },
   "LO-QLX5": {
    "n": 128,
    "mean_diff": 0.016254,
    "se": 0.012277,
    "sum_d": 2.080544,
    "sum_d2": 2.484105,
    "seeds_positive": 75
   },
   "HI-QLX5": {
    "n": 128,
    "mean_diff": -0.005496,
    "se": 0.012598,
    "sum_d": -0.70348,
    "sum_d2": 2.583794,
    "seeds_positive": 61
   },
   "LO": {
    "peak_gas": 210537,
    "pass_peak": true
   },
   "HI": {
    "peak_gas": 209022,
    "pass_peak": true
   }
  },
  {
   "item": "k13",
   "n": 13,
   "id": "phase_table",
   "family": "phase thresholds",
   "lo": "tb=(ph==1?1:1)",
   "hi": "tb=(ph==1?3:3)",
   "seeds": {
    "first": 10204664,
    "last": 10204791,
    "n": 128
   },
   "LO-QLX5": {
    "n": 128,
    "mean_diff": 0.010694784003180136,
    "se": 0.018751205545714963,
    "sum_d": 1.3689323524070574,
    "sum_d2": 5.7303753601173035,
    "seeds_positive": 67
   },
   "HI-QLX5": {
    "n": 128,
    "mean_diff": -0.17315390358574234,
    "se": 0.032437926740230646,
    "sum_d": -22.16369965897502,
    "sum_d2": 20.942604660475013,
    "seeds_positive": 42
   },
   "LO": {
    "peak_gas": 205181,
    "pass_peak": true
   },
   "HI": {
    "peak_gas": 203116,
    "pass_peak": true
   }
  },
  {
   "item": "k04",
   "n": 4,
   "id": "window",
   "family": "the split test's window and candidates",
   "lo": "(s2>>128&M64)+4){int256 m0",
   "hi": "(s2>>128&M64)+10){int256 m0",
   "seeds": {
    "first": 10203512,
    "last": 10203639,
    "n": 128
   },
   "LO-QLX5": {
    "n": 128,
    "mean_diff": -0.008332510507614188,
    "se": 0.008554743347180718,
    "sum_d": -1.066561344974616,
    "sum_d2": 1.1985602836285905,
    "seeds_positive": 55
   },
   "HI-QLX5": {
    "n": 128,
    "mean_diff": 0.0092041703876653,
    "se": 0.005181513506594154,
    "sum_d": 1.1781338096211584,
    "sum_d2": 0.4472861688755734,
    "seeds_positive": 62
   },
   "LO": {
    "peak_gas": 197644,
    "pass_peak": true
   },
   "HI": {
    "peak_gas": 216164,
    "pass_peak": true
   }
  },
  {
   "item": "k05",
   "n": 5,
   "id": "mix_band",
   "family": "tell floors",
   "lo": "if(pi>25e14&&pi<9975e14)",
   "hi": "if(pi>75e14&&pi<9925e14)",
   "seeds": {
    "first": 10203640,
    "last": 10203767,
    "n": 128
   },
   "LO-QLX5": {
    "n": 128,
    "mean_diff": -0.0004855308649922563,
    "se": 0.00835365896459474,
    "sum_d": -0.062147950719008804,
    "sum_d2": 1.1344326705291041,
    "seeds_positive": 64
   },
   "HI-QLX5": {
    "n": 128,
    "mean_diff": 0.0012494457443925633,
    "se": 0.006441827182822232,
    "sum_d": 0.1599290552822481,
    "sum_d2": 0.6747772891191427,
    "seeds_positive": 68
   },
   "LO": {
    "peak_gas": 208341,
    "pass_peak": true
   },
   "HI": {
    "peak_gas": 208006,
    "pass_peak": true
   }
  },
  {
   "item": "k03",
   "n": 3,
   "id": "syn_tables",
   "family": "synced-table switches",
   "lo": "+0",
   "hi": "+1",
   "seeds": {
    "first": 10203384,
    "last": 10203511,
    "n": 128
   },
   "LO-QLX5": {
    "n": 128,
    "mean_diff": 0,
    "se": 0,
    "sum_d": 0,
    "sum_d2": 0,
    "seeds_positive": 0
   },
   "HI-QLX5": {
    "n": 128,
    "mean_diff": -0.6867987211349482,
    "se": 0.05118148434378271,
    "sum_d": -87.91023630527337,
    "sum_d2": 102.95995065420486,
    "seeds_positive": 10
   },
   "LO": {
    "peak_gas": 206341,
    "pass_peak": true
   },
   "HI": {
    "peak_gas": 196795,
    "pass_peak": true
   }
  },
  {
   "item": "k15",
   "n": 15,
   "id": "step_syn",
   "family": "synced-table switches",
   "lo": "cnt=0;",
   "hi": "cnt=0;syn=arb;",
   "seeds": {
    "first": 10204920,
    "last": 10205047,
    "n": 128
   },
   "LO-QLX5": {
    "n": 128,
    "mean_diff": 0,
    "se": 0,
    "sum_d": 0,
    "sum_d2": 0,
    "seeds_positive": 0
   },
   "HI-QLX5": {
    "n": 128,
    "mean_diff": 0,
    "se": 0,
    "sum_d": 0,
    "sum_d2": 0,
    "seeds_positive": 0
   },
   "LO": {
    "peak_gas": 206321,
    "pass_peak": true
   },
   "HI": {
    "peak_gas": 206338,
    "pass_peak": true
   }
  },
  {
   "item": "k01",
   "n": 1,
   "id": "arb_cut",
   "family": "phase thresholds",
   "lo": "arb=pi>U/4;",
   "hi": "arb=pi>3*U/4;",
   "seeds": {
    "first": 10203128,
    "last": 10203255,
    "n": 128
   },
   "LO-QLX5": {
    "n": 128,
    "mean_diff": -0.00032695264262017076,
    "se": 0.0007852842320528156,
    "sum_d": -0.04184993825538186,
    "sum_d2": 0.010038292008906935,
    "seeds_positive": 9
   },
   "HI-QLX5": {
    "n": 128,
    "mean_diff": -0.002649226263506055,
    "se": 0.001645528539373292,
    "sum_d": -0.339100961728775,
    "sum_d2": 0.04491576958458038,
    "seeds_positive": 19
   },
   "LO": {
    "peak_gas": 205704,
    "pass_peak": true
   },
   "HI": {
    "peak_gas": 204536,
    "pass_peak": true
   }
  },
  {
   "item": "k11",
   "n": 11,
   "id": "chance_floor",
   "family": "tell floors",
   "lo": "lr=mul(lr,chance<1e14?int256(1e14):chance);",
   "hi": "lr=mul(lr,chance<1e16?int256(1e16):chance);",
   "seeds": {
    "first": 10204408,
    "last": 10204535,
    "n": 128
   },
   "LO-QLX5": {
    "n": 128,
    "mean_diff": -0.003815878,
    "se": 0.002667605,
    "sum_d": -0.488432337,
    "sum_d2": 0.117543365,
    "seeds_positive": 14
   },
   "HI-QLX5": {
    "n": 128,
    "mean_diff": -0.017091627,
    "se": 0.015040953,
    "sum_d": -2.187728195,
    "sum_d2": 3.714991284,
    "seeds_positive": 58
   },
   "LO": {
    "peak_gas": 206459,
    "pass_peak": true
   },
   "HI": {
    "peak_gas": 205397,
    "pass_peak": true
   }
  },
  {
   "item": "k00",
   "n": 0,
   "id": "sd_scale",
   "family": "table levels",
   "lo": "int256 sd=root(v)*7500;",
   "hi": "int256 sd=root(v)*12500;",
   "seeds": {
    "first": 10203000,
    "last": 10203127,
    "n": 128
   },
   "LO-QLX5": {
    "n": 128,
    "mean_diff": -0.028195203582702444,
    "se": 0.017812542053287854,
    "sum_d": -3.608986058585913,
    "sum_d2": 5.259567950577775,
    "seeds_positive": 60
   },
   "HI-QLX5": {
    "n": 128,
    "mean_diff": -0.008916350743449097,
    "se": 0.021069016899387595,
    "sum_d": -1.1412928951614845,
    "sum_d2": 7.226271026576458,
    "seeds_positive": 65
   },
   "LO": {
    "peak_gas": 205553,
    "pass_peak": true
   },
   "HI": {
    "peak_gas": 206080,
    "pass_peak": true
   }
  },
  {
   "item": "k10",
   "n": 10,
   "id": "track",
   "family": "the split test's window and candidates",
   "lo": "",
   "hi": "if(!qx)mm=0;if(mm!=m0)slots[6]=uint256(mm);",
   "seeds": {
    "first": 10204280,
    "last": 10204407,
    "n": 128
   },
   "LO-QLX5": {
    "n": 128,
    "mean_diff": -0.017334,
    "se": 0.013068,
    "sum_d": -2.218689,
    "sum_d2": 2.814378,
    "seeds_positive": 56
   },
   "HI-QLX5": {
    "n": 128,
    "mean_diff": -0.025827,
    "se": 0.01245,
    "sum_d": -3.305898,
    "sum_d2": 2.605155,
    "seeds_positive": 49
   },
   "LO": {
    "peak_gas": 198292,
    "pass_peak": true
   },
   "HI": {
    "peak_gas": 207567,
    "pass_peak": true
   }
  },
  {
   "item": "k06",
   "n": 6,
   "id": "rival_clip",
   "family": "rival clip and band widths",
   "lo": "r=clip(r,mul(pe,9985e14),divi(pe,9985e14));",
   "hi": "r=clip(r,mul(pe,9955e14),divi(pe,9955e14));",
   "seeds": {
    "first": 10203768,
    "last": 10203895,
    "n": 128
   },
   "LO-QLX5": {
    "n": 128,
    "mean_diff": -2.785455,
    "se": 0.094015,
    "sum_d": -356.53825,
    "sum_d2": 1136.804677,
    "seeds_positive": 0
   },
   "HI-QLX5": {
    "n": 128,
    "mean_diff": -0.023202,
    "se": 0.018374,
    "sum_d": -2.969895,
    "sum_d2": 5.557265,
    "seeds_positive": 55
   },
   "LO": {
    "peak_gas": 207909,
    "pass_peak": true
   },
   "HI": {
    "peak_gas": 205919,
    "pass_peak": true
   }
  },
  {
   "item": "k09",
   "n": 9,
   "id": "pull_syn",
   "family": "synced-table switches",
   "lo": "ln(c)-lr));syn=false;}",
   "hi": "ln(c)-lr));syn=cnt==0;}",
   "seeds": {
    "first": 10204152,
    "last": 10204279,
    "n": 128
   },
   "LO-QLX5": {
    "n": 128,
    "mean_diff": -0.023737,
    "se": 0.012728,
    "sum_d": -3.038298803,
    "sum_d2": 2.705470675,
    "seeds_positive": 50
   },
   "HI-QLX5": {
    "n": 128,
    "mean_diff": -0.045367,
    "se": 0.0132,
    "sum_d": -5.806966178,
    "sum_d2": 3.095729624,
    "seeds_positive": 48
   },
   "LO": {
    "peak_gas": 205927,
    "pass_peak": true
   },
   "HI": {
    "peak_gas": 207160,
    "pass_peak": true
   }
  },
  {
   "item": "k07",
   "n": 7,
   "id": "phase_cnt",
   "family": "phase thresholds",
   "lo": "cnt++;ph=2;",
   "hi": "cnt++;ph=cnt<=2?1:2;",
   "seeds": {
    "first": 10203896,
    "last": 10204023,
    "n": 128
   },
   "LO-QLX5": {
    "n": 128,
    "mean_diff": -0.15895025014287345,
    "se": 0.02391582204630997,
    "sum_d": -20.3456320182878,
    "sum_d2": 12.531831440336553,
    "seeds_positive": 33
   },
   "HI-QLX5": {
    "n": 128,
    "mean_diff": -0.02809454575232717,
    "se": 0.01867110852685109,
    "sum_d": -3.596101856297878,
    "sum_d2": 5.768039781242105,
    "seeds_positive": 58
   },
   "LO": {
    "peak_gas": 202943,
    "pass_peak": true
   },
   "HI": {
    "peak_gas": 207677,
    "pass_peak": true
   }
  },
  {
   "item": "k14",
   "n": 14,
   "id": "fee_offset",
   "family": "table levels",
   "lo": "xb-=U/2;xa-=U/2;fb=xb>0?U-exp(-xb/10000):int256(0);",
   "hi": "xb+=U/2;xa+=U/2;fb=xb>0?U-exp(-xb/10000):int256(0);",
   "seeds": {
    "first": 10204792,
    "last": 10204919,
    "n": 128
   },
   "LO-QLX5": {
    "n": 128,
    "mean_diff": -0.11269861451750574,
    "se": 0.024460442369581874,
    "sum_d": -14.425422658240734,
    "sum_d2": 11.351905191737746,
    "seeds_positive": 48
   },
   "HI-QLX5": {
    "n": 128,
    "mean_diff": -0.2514637507105921,
    "se": 0.02590994376426499,
    "sum_d": -32.18736009095579,
    "sum_d2": 19.007016515404207,
    "seeds_positive": 20
   },
   "LO": {
    "peak_gas": 205874,
    "pass_peak": true
   },
   "HI": {
    "peak_gas": 206156,
    "pass_peak": true
   }
  },
  {
   "item": "k08",
   "n": 8,
   "id": "pred_var",
   "family": "table levels",
   "lo": "(fb,fa)=fees(w,rr,ph,syn,v+446512500000);",
   "hi": "(fb,fa)=fees(w,rr,ph,syn,v+893025000000);",
   "seeds": {
    "first": 10204024,
    "last": 10204151,
    "n": 128
   },
   "LO-QLX5": {
    "n": 128,
    "mean_diff": -0.23993335621308765,
    "se": 0.03929320255140311,
    "sum_d": -30.71146959527522,
    "sum_d2": 32.46725091844692,
    "seeds_positive": 34
   },
   "HI-QLX5": {
    "n": 128,
    "mean_diff": -0.5829064429135431,
    "se": 0.05811271005553819,
    "sum_d": -74.61202469293352,
    "sum_d2": 98.38975732223989,
    "seeds_positive": 22
   },
   "LO": {
    "peak_gas": 205921,
    "pass_peak": true
   },
   "HI": {
    "peak_gas": 207492,
    "pass_peak": true
   }
  },
  {
   "item": "k12",
   "n": 12,
   "id": "rival_fee_bound",
   "family": "rival clip and band widths",
   "lo": "int256 c=t.isBuy?divi(mul(s,U-fb),9985e14):divi(mul(s,9985e14),U-fa);",
   "hi": "int256 c=t.isBuy?divi(mul(s,U-fb),9955e14):divi(mul(s,9955e14),U-fa);",
   "seeds": {
    "first": 10204536,
    "last": 10204663,
    "n": 128
   },
   "LO-QLX5": {
    "n": 128,
    "mean_diff": -5.0679094377544995,
    "se": 0.12037782488630899,
    "sum_d": -648.6924080325759,
    "sum_d2": 3523.0771585631614,
    "seeds_positive": 0
   },
   "HI-QLX5": {
    "n": 128,
    "mean_diff": -6.2096725294646475,
    "se": 0.12435043454156511,
    "sum_d": -794.8380837714749,
    "sum_d2": 5187.051239124958,
    "seeds_positive": 0
   },
   "LO": {
    "peak_gas": 208209,
    "pass_peak": true
   },
   "HI": {
    "peak_gas": 205805,
    "pass_peak": true
   }
  }
 ],
 "failed": []
}
```