{
 "item": "cf-3",
 "batch": "e09-confirm",
 "credit": "Taylor (gtmcknight): replica, Gaussian filter, solved policy, qm tables; github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved (README first). Contract under test: lb-4 LEAN TELL on TC-A / tca-path / qt1, all built on Taylor's work.",
 "status": "P pass; identity pass; T pass; F pass; E run on 320 of 512 assigned engine seeds (5 whole blocks in 35 minutes), 192 not run. No source file changed. No leaderboard submission.",
 "summary": "Independent confirmation of lb-4's contract (scratch/Strategy.sol a243bb35..., 22,946-byte runtime dab7d69d...). gates.py reproduces the README. The Solidity label equals the reference label on all 350166 first own trades of replica seeds 74400..74449; fees are within 4.78e-07 bps of the Python reference on 100,000 callbacks. On fresh engine seeds 9991024..9991343 (n=320) the contract is +3.130 against qt1 (se 0.054, min -0.387); lb-4 reported +3.163 (se 0.043) on its own 512 seeds. Engine afterSwap peak 222652 gas (qt1 209262), 0 out-of-gas in either arm. Local figures are not board scores.",
 "inputs": {
  "LB4": "https://api.imd.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e",
  "TCA": "https://api.imd.fun/artifacts/dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7",
  "QT1": "https://api.imd.fun/artifacts/8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40",
  "replica": "github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9 (research/solved)",
  "engine": "github.com/benedictbrady/amm-challenge @6b6921f8d463314aa7c96234e1be25a25245f704; TCA source_bundle extracted into its root, LB4 bundle over it, the four files NOTES.md names deleted, qt1.sol saved, materialize.py run, setup.sh run once (exit 0)",
  "seed_ranges": {
   "lb4": "replica T/F 74200..74249; engine E 9978100..9978355 and 9978400..9978655",
   "cf3": "replica T/F 74400..74449; engine E 9991024..9991343"
  }
 },
 "sha256_checks": {
  "downloads_sha256_equals_name": {
   "93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e": true,
   "dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7": true,
   "8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40": true
  },
  "tca_source_bundle_compressed": {
   "expected": "546b440855726c3cd2231e4879e0002dda182dc609ee9c5155c04e4790ca6fdb",
   "actual": "546b440855726c3cd2231e4879e0002dda182dc609ee9c5155c04e4790ca6fdb",
   "equal": true
  },
  "lb4_bundle_compressed": {
   "expected": "f368c459fec21abaa30e179ffbf03cfbe1c7b194f1ad8b07de3637892d06e9f1",
   "actual": "f368c459fec21abaa30e179ffbf03cfbe1c7b194f1ad8b07de3637892d06e9f1",
   "equal": true
  },
  "strategy_sol": {
   "expected": "a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb",
   "actual": "a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb",
   "equal": true
  },
  "qt1_sol": {
   "expected": "c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca",
   "actual": "c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca",
   "note": "Solidity block of the QT1 artifact saved with its trailing newline, 42,990 bytes",
   "equal": true
  },
  "blob_bin": {
   "expected": "3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e",
   "actual": "3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e",
   "note": "restored by python3 -I scratch/materialize.py",
   "equal": true
  },
  "wheel": {
   "expected": "aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a",
   "actual": "aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a",
   "note": "also checked by setup.sh (sha256sum -c: OK)",
   "equal": true
  },
  "gates_py": {
   "expected": "603280c1f595ca163ffaf2ba1ebdc7945fdb08dabae67fc53c922d39e1cce604",
   "actual": "603280c1f595ca163ffaf2ba1ebdc7945fdb08dabae67fc53c922d39e1cce604",
   "note": "expected value is the one lb-4 recorded",
   "equal": true
  },
  "lb4_listed_files_checked": 23,
  "lb4_listed_files_equal": 23,
  "lb4_listed_files_unequal": [],
  "removed_per_notes": [
   "scratch/ref/tca_tell.py",
   "scratch/TellCore.sol",
   "scratch/test_tell.py",
   "scratch/test_policy.py"
  ],
  "removed_absent": true,
  "all_pass": true
 },
 "P": {
  "status": "pass",
  "command": "python3 -I gates.py (amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved, unmodified, run before anything else)",
  "stdout_lines_equal_README": true,
  "columns": [
   "seed",
   "perfect-info",
   "gaussian+plain",
   "gaussian+qm",
   "lattice+qm"
  ],
  "rows": [
   [
    10000,
    448.261189,
    443.455598,
    443.522608,
    443.66352
   ],
   [
    10001,
    576.779199,
    571.463409,
    571.623551,
    571.977293
   ],
   [
    10002,
    531.886497,
    525.168028,
    525.865859,
    526.411631
   ]
  ],
  "rows_as_printed": [
   "10000  448.261189  443.455598  443.522608  443.663520",
   "10001  576.779199  571.463409  571.623551  571.977293",
   "10002  531.886497  525.168028  525.865859  526.411631"
  ],
  "exit_code": 0,
  "seconds": 5.62,
  "tracked_files_unmodified": true,
  "note": "three rows, four value columns, equal to the README text line for line"
 },
 "identity": {
  "status": "pass",
  "strategy_sol_sha256": "a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb",
  "strategy_sol_sha256_expected": "a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb",
  "command": "python scratch/compile.py Probe Strategy",
  "stdout": [
   "Probe 2042",
   "Strategy 22946"
  ],
  "runtime_bytes": 22946,
  "runtime_bytes_expected": 22946,
  "runtime_sha256": "dab7d69ddb7a172624b37828021941904406326442fb11f750a727e16707d017",
  "runtime_sha256_expected_prefix": "dab7d69ddb7a1726",
  "runtime_sha256_lb4": "dab7d69ddb7a172624b37828021941904406326442fb11f750a727e16707d017",
  "runtime_at_or_under_24576": true,
  "creation_bytes": 22975,
  "probe_runtime_bytes": 2042,
  "probe_runtime_sha256": "3251e6a724d80d2178c20b1cf03abff48e7ee28cf4146139596383987871755c",
  "engine_path_compile": {
   "note": "engine.py compiles through amm_competition SolidityCompiler; its Strategy runtime and creation bytecode are byte-identical to compile.py's",
   "runtime_equal": true,
   "creation_equal": true,
   "qt1_runtime_bytes": 20605,
   "qt1_runtime_sha256": "79c8d6c305ec6dfc29770b27cfb15b6cbd57b1fb01a23309cf8c131ca5c70189"
  }
 },
 "T": {
  "status": "pass",
  "command": "python scratch/test_contract.py T 74400 74450",
  "seeds": [
   74400,
   74449
  ],
  "n_seeds": 50,
  "first_trades": 350166,
  "mismatches": 0,
  "label_counts": {
   "buy/neg": 80049,
   "sell/pos": 95940,
   "sell/neg": 80303,
   "buy/pos": 93874
  },
  "exact_stored_fee_wads": true,
  "stream": "unchanged TwoComp on o1-b engine-order port",
  "probe_call_peak_gas": 35877,
  "tell_gas_alone_peak": 12592,
  "tell_gas_alone_mean": 6207.978598721749,
  "rows_sha256": "54d1953513ea68cd041f30aa79405bf8d5034b79922292f9bf92ef7229e453c0",
  "seconds": 85.47794420318678,
  "exit_code": 0
 },
 "F": {
  "status": "pass",
  "command": "python scratch/test_contract.py F 74400 74450",
  "seeds": [
   74400,
   74449
  ],
  "callbacks": 100000,
  "per_seed_callbacks": 2000,
  "largest_fee_error_bps": 4.783369360328305e-07,
  "max_error_bps_bid_ask": [
   4.744916872606586e-07,
   4.783369360328305e-07
  ],
  "tolerance_bps": 0.01,
  "errors_over_tolerance": 0,
  "within_tolerance": true,
  "replay_peak_gas": 184570,
  "callbacks_over_245000": 0,
  "first_trades": 64598,
  "tell_mismatches": 0,
  "label_counts": {
   "neg": 29212,
   "pos": 35386
  },
  "per_seed_rows_sha256": "76aa0fafed73947d157f7ac30362c555770569d847d05de12eb9ae9d4e8cb29d",
  "strategy_source_sha256": "a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb",
  "stream": "contract-driven o1-b engine-order port on Taylor streams; reference receives exact previous returned fee wads; reference filter otherwise carried independently",
  "seconds": 68.02898579929024,
  "exit_code": 0,
  "replay_gas_note": "pyrevm replay of the contract-driven port, not the engine"
 },
 "E": {
  "status": "5 of 8 blocks run (the whole blocks that fit in 35 minutes); 3 blocks not run",
  "method": "scratch/engine.py unmodified: candidate (scratch/Strategy.sol) and qt1 (scratch/qt1.sol) each alone vs the 30 bps VanillaStrategy, amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8); blocks of 64 in order, one command per block; edge = engine edges[submission]",
  "configs_check": {
   "exact_equality": true,
   "n": 512,
   "seeds": [
    9991024,
    9991535
   ],
   "mismatches": 0,
   "fields": 12,
   "method": "own helper under test/scratch (not a source file): the unmodified MatchRunner._build_configs code object with only its outer range bounded to 9991024..9991535, compared field by field with engine.configs; no engine run"
  },
  "timing": {
   "first_block_wall_seconds": 374.45,
   "first_block_engine_seconds": 352.5375802516937,
   "first_block_note": "wall includes compiling both contracts once (12.8 s + 7.8 s); later blocks reuse the compile cache",
   "budget_seconds": 2100,
   "blocks_that_fit": 5,
   "total_wall_seconds_5_blocks": 1783.45,
   "sixth_block_would_end_at_about_seconds": 2135.45,
   "decision": "374.45 s for the first block gives floor(2100/374.45) = 5; with the 351..353 s measured for later blocks a sixth would end near 2135 s, over 35 minutes, so it was not started",
   "wall_seconds_note": "block 0 from /usr/bin/time; blocks 1..4 from whole-second timestamps around each command",
   "machine": "8 logical CPUs, n_workers 8"
  },
  "blocks": [
   {
    "block": 0,
    "seeds": [
     9991024,
     9991087
    ],
    "command": "python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9991024 9991088 scratch/cf3-E-b0.json",
    "paired_vs_qt1": {
     "n": 64,
     "mean_diff": 3.24333013121503,
     "se": 0.11648155003959727,
     "min": 0.5088229008623557,
     "worst5": [
      {
       "seed": 9991049,
       "diff": 0.5088229008623557
      },
      {
       "seed": 9991033,
       "diff": 0.7499598045700395
      },
      {
       "seed": 9991064,
       "diff": 1.522590915480805
      },
      {
       "seed": 9991067,
       "diff": 1.5981794472161255
      },
      {
       "seed": 9991080,
       "diff": 1.7925581674991236
      }
     ]
    },
    "mean_edge": {
     "candidate": 533.921697143569,
     "qt1": 530.678367012354
    },
    "afterSwap": {
     "candidate": {
      "calls": 698581,
      "ok": 698581,
      "peak_gas": 221587,
      "out_of_gas": 0,
      "revert": 0,
      "other_halt": 0,
      "tx_error": 0,
      "bad_return": 0
     },
     "qt1": {
      "calls": 701898,
      "ok": 701898,
      "peak_gas": 208912,
      "out_of_gas": 0,
      "revert": 0,
      "other_halt": 0,
      "tx_error": 0,
      "bad_return": 0
     }
    },
    "peak_at_or_under_245000_and_0_out_of_gas": true,
    "engine_seconds": 352.5375802516937,
    "arm_seconds": {
     "candidate": 178.04473543167114,
     "qt1": 174.41474533081055
    },
    "wall_seconds": 374.45,
    "output_sha256": "d414996b40afedaa3a25871e57cf868afcede4bcabeb9d40938c754f5a5c90eb"
   },
   {
    "block": 1,
    "seeds": [
     9991088,
     9991151
    ],
    "command": "python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9991088 9991152 scratch/cf3-E-b1.json",
    "paired_vs_qt1": {
     "n": 64,
     "mean_diff": 3.1029527332473785,
     "se": 0.13379748125441662,
     "min": -0.3873103921135339,
     "worst5": [
      {
       "seed": 9991141,
       "diff": -0.3873103921135339
      },
      {
       "seed": 9991115,
       "diff": 0.5508580703710777
      },
      {
       "seed": 9991139,
       "diff": 1.1907977264717147
      },
      {
       "seed": 9991135,
       "diff": 1.3268224450985144
      },
      {
       "seed": 9991107,
       "diff": 1.386250008486627
      }
     ]
    },
    "mean_edge": {
     "candidate": 543.2119167393878,
     "qt1": 540.1089640061404
    },
    "afterSwap": {
     "candidate": {
      "calls": 705353,
      "ok": 705353,
      "peak_gas": 216048,
      "out_of_gas": 0,
      "revert": 0,
      "other_halt": 0,
      "tx_error": 0,
      "bad_return": 0
     },
     "qt1": {
      "calls": 708561,
      "ok": 708561,
      "peak_gas": 209101,
      "out_of_gas": 0,
      "revert": 0,
      "other_halt": 0,
      "tx_error": 0,
      "bad_return": 0
     }
    },
    "peak_at_or_under_245000_and_0_out_of_gas": true,
    "engine_seconds": 350.57253766059875,
    "arm_seconds": {
     "candidate": 180.32260274887085,
     "qt1": 170.16197633743286
    },
    "wall_seconds": 352,
    "output_sha256": "3313f49b16811fc312a27f6261a6efd29891c14fc76242970d47705e11d85c87"
   },
   {
    "block": 2,
    "seeds": [
     9991152,
     9991215
    ],
    "command": "python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9991152 9991216 scratch/cf3-E-b2.json",
    "paired_vs_qt1": {
     "n": 64,
     "mean_diff": 3.089891395037059,
     "se": 0.10181269870402865,
     "min": 1.2566494762281764,
     "worst5": [
      {
       "seed": 9991201,
       "diff": 1.2566494762281764
      },
      {
       "seed": 9991213,
       "diff": 1.6451794958538812
      },
      {
       "seed": 9991165,
       "diff": 1.6955309125526128
      },
      {
       "seed": 9991215,
       "diff": 1.7517553408592335
      },
      {
       "seed": 9991153,
       "diff": 1.854077798872595
      }
     ]
    },
    "mean_edge": {
     "candidate": 533.2159292796597,
     "qt1": 530.1260378846226
    },
    "afterSwap": {
     "candidate": {
      "calls": 698524,
      "ok": 698524,
      "peak_gas": 214255,
      "out_of_gas": 0,
      "revert": 0,
      "other_halt": 0,
      "tx_error": 0,
      "bad_return": 0
     },
     "qt1": {
      "calls": 702569,
      "ok": 702569,
      "peak_gas": 209262,
      "out_of_gas": 0,
      "revert": 0,
      "other_halt": 0,
      "tx_error": 0,
      "bad_return": 0
     }
    },
    "peak_at_or_under_245000_and_0_out_of_gas": true,
    "engine_seconds": 352.33089447021484,
    "arm_seconds": {
     "candidate": 181.19718551635742,
     "qt1": 171.04584574699402
    },
    "wall_seconds": 353,
    "output_sha256": "f7d62fd0c71e247a6112ec89f0374aeb21d90fe1ccfee3f367fa4f1448755e69"
   },
   {
    "block": 3,
    "seeds": [
     9991216,
     9991279
    ],
    "command": "python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9991216 9991280 scratch/cf3-E-b3.json",
    "paired_vs_qt1": {
     "n": 64,
     "mean_diff": 3.16161460258372,
     "se": 0.13568756387276232,
     "min": 0.3450169672868242,
     "worst5": [
      {
       "seed": 9991276,
       "diff": 0.3450169672868242
      },
      {
       "seed": 9991221,
       "diff": 1.4190313936237544
      },
      {
       "seed": 9991217,
       "diff": 1.4386062937440443
      },
      {
       "seed": 9991224,
       "diff": 1.5825569399317487
      },
      {
       "seed": 9991241,
       "diff": 1.5866146536379802
      }
     ]
    },
    "mean_edge": {
     "candidate": 539.4866185824791,
     "qt1": 536.3250039798953
    },
    "afterSwap": {
     "candidate": {
      "calls": 696541,
      "ok": 696541,
      "peak_gas": 222652,
      "out_of_gas": 0,
      "revert": 0,
      "other_halt": 0,
      "tx_error": 0,
      "bad_return": 0
     },
     "qt1": {
      "calls": 699746,
      "ok": 699746,
      "peak_gas": 209234,
      "out_of_gas": 0,
      "revert": 0,
      "other_halt": 0,
      "tx_error": 0,
      "bad_return": 0
     }
    },
    "peak_at_or_under_245000_and_0_out_of_gas": true,
    "engine_seconds": 349.71129035949707,
    "arm_seconds": {
     "candidate": 179.15158700942993,
     "qt1": 170.47454619407654
    },
    "wall_seconds": 351,
    "output_sha256": "46bec43eec3e0c2c5812376d193ca340e63f4587f019274ee6852561ead0054b"
   },
   {
    "block": 4,
    "seeds": [
     9991280,
     9991343
    ],
    "command": "python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9991280 9991344 scratch/cf3-E-b4.json",
    "paired_vs_qt1": {
     "n": 64,
     "mean_diff": 3.0538370885569988,
     "se": 0.11162781324775375,
     "min": 1.1438692981580516,
     "worst5": [
      {
       "seed": 9991330,
       "diff": 1.1438692981580516
      },
      {
       "seed": 9991307,
       "diff": 1.2981901813409422
      },
      {
       "seed": 9991331,
       "diff": 1.4905440584890925
      },
      {
       "seed": 9991289,
       "diff": 1.7178705044282196
      },
      {
       "seed": 9991303,
       "diff": 1.7605853912894531
      }
     ]
    },
    "mean_edge": {
     "candidate": 531.683117044913,
     "qt1": 528.6292799563561
    },
    "afterSwap": {
     "candidate": {
      "calls": 697928,
      "ok": 697928,
      "peak_gas": 214620,
      "out_of_gas": 0,
      "revert": 0,
      "other_halt": 0,
      "tx_error": 0,
      "bad_return": 0
     },
     "qt1": {
      "calls": 701459,
      "ok": 701459,
      "peak_gas": 208969,
      "out_of_gas": 0,
      "revert": 0,
      "other_halt": 0,
      "tx_error": 0,
      "bad_return": 0
     }
    },
    "peak_at_or_under_245000_and_0_out_of_gas": true,
    "engine_seconds": 351.080605506897,
    "arm_seconds": {
     "candidate": 182.96854710578918,
     "qt1": 168.026695728302
    },
    "wall_seconds": 353,
    "output_sha256": "a7c7b01c59a036903a8990e7dba09436b6fb17c881ab4caa4d9f36908e98e11a"
   }
  ],
  "pooled": {
   "seeds": [
    9991024,
    9991343
   ],
   "paired_vs_qt1": {
    "n": 320,
    "mean_diff": 3.1303251901280373,
    "se": 0.053717895446710205,
    "min": -0.3873103921135339,
    "worst5": [
     {
      "seed": 9991141,
      "diff": -0.3873103921135339
     },
     {
      "seed": 9991276,
      "diff": 0.3450169672868242
     },
     {
      "seed": 9991049,
      "diff": 0.5088229008623557
     },
     {
      "seed": 9991115,
      "diff": 0.5508580703710777
     },
     {
      "seed": 9991033,
      "diff": 0.7499598045700395
     }
    ]
   },
   "mean_edge": {
    "candidate": 536.3038557580018,
    "qt1": 533.1735305678737
   },
   "afterSwap": {
    "candidate": {
     "calls": 3496927,
     "ok": 3496927,
     "peak_gas": 222652,
     "out_of_gas": 0,
     "revert": 0,
     "other_halt": 0,
     "tx_error": 0,
     "bad_return": 0
    },
    "qt1": {
     "calls": 3514233,
     "ok": 3514233,
     "peak_gas": 209262,
     "out_of_gas": 0,
     "revert": 0,
     "other_halt": 0,
     "tx_error": 0,
     "bad_return": 0
    }
   },
   "seeds_with_negative_diff": [
    {
     "seed": 9991141,
     "diff": -0.3873103921135339
    }
   ],
   "seeds_under_plus_0_5": 2
  },
  "engine_seeds_run": {
   "ranges": [
    [
     9991024,
     9991343
    ]
   ],
   "count": 320,
   "each_once": true,
   "ledger": "scratch/ledger.json: 5 entries, all done, no overlap",
   "other_engine_seeds_run": 0,
   "setup_note": "setup.sh ran amm-match validate on contracts/src/StarterStrategy.sol once, as the brief prescribes; no run_batch call of mine outside the five blocks"
  },
  "engine_seeds_not_run": {
   "ranges": [
    [
     9991344,
     9991535
    ]
   ],
   "count": 192,
   "blocks": [
    "9991344..9991407",
    "9991408..9991471",
    "9991472..9991535"
   ],
   "reason": "did not fit in the 35 minute E allowance"
  }
 },
 "gas": {
  "limit": 245000,
  "candidate_engine_afterSwap_peak": 222652,
  "qt1_engine_afterSwap_peak": 209262,
  "candidate_out_of_gas": 0,
  "qt1_out_of_gas": 0,
  "peak_at_or_under_245000_with_0_out_of_gas": true,
  "headroom_candidate": 22348,
  "scope": "engine seeds 9991024..9991343, 3496927 candidate and 3514233 qt1 afterSwap calls"
 },
 "comparison_with_lb4": {
  "figures_equal_to_lb4": [
   "P rows",
   "gates.py sha256",
   "Strategy.sol sha256",
   "deployed runtime bytes",
   "runtime sha256",
   "qt1 deployed runtime bytes",
   "qt1.sol sha256",
   "blob.bin sha256",
   "T mismatches",
   "F errors over 0.01 bps",
   "F tell mismatches",
   "F callbacks",
   "F callbacks over 245000 gas",
   "engine afterSwap out-of-gas, candidate",
   "engine afterSwap out-of-gas, qt1"
  ],
  "figures_that_differ": [
   {
    "figure": "T first_trades",
    "lb4": 350657,
    "cf3": 350166,
    "equal": false,
    "note": "different seeds by design"
   },
   {
    "figure": "T label_counts",
    "lb4": {
     "sell/neg": 80263,
     "buy/pos": 96692,
     "buy/neg": 79488,
     "sell/pos": 94214
    },
    "cf3": {
     "buy/neg": 80049,
     "sell/pos": 95940,
     "sell/neg": 80303,
     "buy/pos": 93874
    },
    "equal": false,
    "note": "different seeds by design"
   },
   {
    "figure": "T rows_sha256",
    "lb4": "3ed21c4aa184dac016baa060f4b5d878cd132428c9506d8a4b3617ac50dd5fad",
    "cf3": "54d1953513ea68cd041f30aa79405bf8d5034b79922292f9bf92ef7229e453c0",
    "equal": false,
    "note": "different seeds by design"
   },
   {
    "figure": "tell gas alone, peak (Probe minus no-op, pyrevm)",
    "lb4": 9800,
    "cf3": 12592,
    "equal": false,
    "note": "different seeds by design; on these seeds the peak is 2792 gas above the 9800 that lb-4's summary gives as the most the tell costs"
   },
   {
    "figure": "tell gas alone, mean",
    "lb4": 6196.476214648503,
    "cf3": 6207.978598721749,
    "equal": false,
    "note": "different seeds by design"
   },
   {
    "figure": "Probe call peak gas",
    "lb4": 33013,
    "cf3": 35877,
    "equal": false,
    "note": "different seeds by design"
   },
   {
    "figure": "F largest_fee_error_bps",
    "lb4": 4.829964813518606e-07,
    "cf3": 4.783369360328305e-07,
    "equal": false,
    "note": "different seeds by design"
   },
   {
    "figure": "F max_error_bps_bid_ask",
    "lb4": [
     4.806689594960556e-07,
     4.829964813518606e-07
    ],
    "cf3": [
     4.744916872606586e-07,
     4.783369360328305e-07
    ],
    "equal": false,
    "note": "different seeds by design"
   },
   {
    "figure": "F replay peak gas (pyrevm)",
    "lb4": 192906,
    "cf3": 184570,
    "equal": false,
    "note": "different seeds by design"
   },
   {
    "figure": "F first_trades",
    "lb4": 64634,
    "cf3": 64598,
    "equal": false,
    "note": "different seeds by design"
   },
   {
    "figure": "F label_counts",
    "lb4": {
     "neg": 29526,
     "pos": 35108
    },
    "cf3": {
     "neg": 29212,
     "pos": 35386
    },
    "equal": false,
    "note": "different seeds by design"
   },
   {
    "figure": "F per_seed_rows_sha256",
    "lb4": "f59ddf08b15ece47d4f23e131b78e6a2a1a7112b391c979dc45228f06704e822",
    "cf3": "76aa0fafed73947d157f7ac30362c555770569d847d05de12eb9ae9d4e8cb29d",
    "equal": false,
    "note": "different seeds by design"
   },
   {
    "figure": "E paired n",
    "lb4": 512,
    "cf3": 320,
    "equal": false,
    "note": "cf-3 ran 320 of its 512 assigned seeds"
   },
   {
    "figure": "E paired mean_diff vs qt1",
    "lb4": 3.1627618033120055,
    "cf3": 3.1303251901280373,
    "equal": false,
    "note": "different seeds by design; cf-3 minus lb-4 = -0.032437, which is -0.47 combined standard errors"
   },
   {
    "figure": "E paired se",
    "lb4": 0.04268009976496206,
    "cf3": 0.053717895446710205,
    "equal": false,
    "note": "different seeds by design; n 320 against 512"
   },
   {
    "figure": "E paired min",
    "lb4": 0.5730198233235342,
    "cf3": -0.3873103921135339,
    "equal": false,
    "note": "different seeds by design; cf-3 has 1 seed(s) below zero, lb-4 had none"
   },
   {
    "figure": "E worst5",
    "lb4": [
     {
      "seed": 9978131,
      "diff": 0.5730198233235342
     },
     {
      "seed": 9978263,
      "diff": 0.5815538743556772
     },
     {
      "seed": 9978551,
      "diff": 0.6811445459161405
     },
     {
      "seed": 9978452,
      "diff": 0.6955298571939466
     },
     {
      "seed": 9978110,
      "diff": 0.7366590463408329
     }
    ],
    "cf3": [
     {
      "seed": 9991141,
      "diff": -0.3873103921135339
     },
     {
      "seed": 9991276,
      "diff": 0.3450169672868242
     },
     {
      "seed": 9991049,
      "diff": 0.5088229008623557
     },
     {
      "seed": 9991115,
      "diff": 0.5508580703710777
     },
     {
      "seed": 9991033,
      "diff": 0.7499598045700395
     }
    ],
    "equal": false,
    "note": "different seeds by design"
   },
   {
    "figure": "E mean edge, candidate",
    "lb4": 533.8362347441381,
    "cf3": 536.3038557580018,
    "equal": false,
    "note": "different seeds by design"
   },
   {
    "figure": "E mean edge, qt1",
    "lb4": 530.6734729408261,
    "cf3": 533.1735305678737,
    "equal": false,
    "note": "different seeds by design"
   },
   {
    "figure": "E afterSwap calls, candidate",
    "lb4": 5574428,
    "cf3": 3496927,
    "equal": false,
    "note": "different seeds by design"
   },
   {
    "figure": "E afterSwap calls, qt1",
    "lb4": 5602910,
    "cf3": 3514233,
    "equal": false,
    "note": "different seeds by design"
   },
   {
    "figure": "E afterSwap peak gas, candidate",
    "lb4": 224481,
    "cf3": 222652,
    "equal": false,
    "note": "different seeds by design; cf-3 minus lb-4 = -1829 gas"
   },
   {
    "figure": "E afterSwap peak gas, qt1",
    "lb4": 209297,
    "cf3": 209262,
    "equal": false,
    "note": "different seeds by design; cf-3 minus lb-4 = -35 gas"
   }
  ],
  "reading": "Every seed-independent figure (hashes, sizes, P rows, zero mismatches, zero out-of-gas) equals lb-4's. Every differing figure was measured on different seeds; the engine pairing differs from lb-4's by 0.47 combined standard errors."
 },
 "seeds_consumed": {
  "replica_P": "10000..10002 (gates.py only)",
  "replica_T_F": "74400..74449",
  "engine": "9991024..9991343, each once",
  "engine_not_run": "9991344..9991535"
 },
 "notes": [
  "Order kept: P, identity, T and F (side by side in one command), E blocks 0..4 in order, one command per block, none over 8 minutes.",
  "No source file was changed and nothing was repaired; nothing in the bundle failed.",
  "Two commands of mine did not run as first written: the config check stopped on an import clash with a helper file of my own named inspect.py (renamed, rerun, 0 mismatches), and one shell line was refused by the harness before it started. Neither opened an engine seed.",
  "engine.py reports paired n, mean_diff, se and worst5; min and the pooled figures here are recomputed from the per-seed rows of the five output files, and each block's mean_diff and se were checked equal to engine.py's own.",
  "afterSwap figures are the Submission-role afterSwap row of amm_sim_rs.gas_stats() (peak_gas = max_ok_gas, out_of_gas = oog); with 0 out-of-gas the successful-call peak is the true peak.",
  "E has no pass threshold in the brief. The pooled mean minus 3 se is 2.969.",
  "1 of 320 seeds negative against qt1: 9991141 (-0.387).",
  "Engine scores are edges against the 30 bps VanillaStrategy as engine.py computes them on this machine; they are not leaderboard scores, and no submission was made.",
  "Local measurements only; no independent certification."
 ]
}