{
  "item": "kt-high",
  "credit": "Taylor (gtmcknight): replica, Gaussian filter, solved policy, qm tables; github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved, README first.",
  "finding": "Neither 2e-5 nor 4e-5 pays under the LEAN tell on the choose seeds. FULL(1e-5) was selected and gained 0.1113 over the compressed LEAN lookup on the report seeds. These are replica levels, not board scores.",
  "source_urls": {
    "taylor_readme": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/README.md",
    "taylor_qmdp": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/qmdp.py",
    "taylor_real": "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/real.py",
    "TCA": "https://api.imd.fun/artifacts/dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7",
    "LB4": "https://api.imd.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e"
  },
  "sha256_checks": {
    "Taylor_commit": "4812a6382311624e1506aca131ca35c378f930d9",
    "downloads": [
      {
        "name": "TCA",
        "url": "https://api.imd.fun/artifacts/dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7",
        "expected": "dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7",
        "actual": "dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7",
        "match": true
      },
      {
        "name": "LB4",
        "url": "https://api.imd.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e",
        "expected": "93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e",
        "actual": "93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e",
        "match": true
      }
    ],
    "TCA_source_bundle_compressed_sha256": "546b440855726c3cd2231e4879e0002dda182dc609ee9c5155c04e4790ca6fdb",
    "TCA_manifest_sha256": "272c6b758f6e6ead17a5bc832a0bbab64520f976450c94dbf7b87d3b7ed1b2c1",
    "TCA_manifest_files_checked": 32,
    "TCA_manifest_failures": 0,
    "LB4_bundle_compressed_sha256": "f368c459fec21abaa30e179ffbf03cfbe1c7b194f1ad8b07de3637892d06e9f1",
    "LB4_overlay_files_checked": 13,
    "LB4_overlay_failures": 0,
    "LB4_unchanged_TCA_files_checked": 10,
    "LB4_unchanged_TCA_files_failures": 0,
    "materialized_blob_sha256": "3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e"
  },
  "P": {
    "command": "python3 -I gates.py",
    "cwd": "research/solved",
    "unmodified_before_solver": true,
    "readme_match_to_6_decimals": true,
    "rows": [
      {
        "seed": 10000,
        "perfect_info": "448.261189",
        "gaussian_plain": "443.455598",
        "gaussian_qm": "443.522608",
        "lattice_qm": "443.663520"
      },
      {
        "seed": 10001,
        "perfect_info": "576.779199",
        "gaussian_plain": "571.463409",
        "gaussian_qm": "571.623551",
        "lattice_qm": "571.977293"
      },
      {
        "seed": 10002,
        "perfect_info": "531.886497",
        "gaussian_plain": "525.168028",
        "gaussian_qm": "525.865859",
        "lattice_qm": "526.411631"
      }
    ]
  },
  "solver": {
    "cwd": "research/solved",
    "environment": {
      "python": "3.12.3",
      "numpy": "2.5.4",
      "numba": "0.68.1"
    },
    "dp": {
      "command": "DP_SAVEVN=1 DP_AMINL=-12 DP_NA=43 python dp.py solve 0.8 9.45 20 pol.json",
      "wall_seconds": 237.4,
      "output_sha256": "fafe2c68faec494c434339f78ae688bd281a3fd23f0921d0d63a39d9bd06ff04",
      "pol_mid_sha256": "efbb5ee102db4d312f64565d9bf7232b6becbe02b624164f744a402bbbf2983b",
      "policy_table_cells_equal": true,
      "only_json_key_different": "g",
      "g_generated": 0.05368206098114671,
      "g_reference": 0.05368206098114493,
      "g_abs_diff": 1.7763568394002505e-15,
      "value_arrays": "pol_VN0.npy, pol_VN1.npy, pol_VN2.npy copied to pol_mid_VN*.npy for qmdp.py"
    },
    "qmdp": [
      {
        "weight": "1e-5",
        "command": "DP_AMINL=-12 DP_NA=43 python qmdp.py pol_mid.json qm.json 1e-5",
        "wall_seconds": 9.99,
        "output_sha256": "5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd"
      },
      {
        "weight": "2e-5",
        "command": "DP_AMINL=-12 DP_NA=43 python qmdp.py pol_mid.json qm_k2e-5.json 2e-5",
        "wall_seconds": 10.43,
        "output_sha256": "2f7cb6b0e752fc4df502e33d288a82da355e7a774f4eca284837c4f73c01c5b9"
      },
      {
        "weight": "4e-5",
        "command": "DP_AMINL=-12 DP_NA=43 python qmdp.py pol_mid.json qm_k4e-5.json 4e-5",
        "wall_seconds": 10.37,
        "output_sha256": "4ca53aa60f79e36b4b0f809c42c99c42425524ad6d18bfd78b09d7deeaf90b16"
      }
    ],
    "control_equality": {
      "byte_equal": true,
      "cell_equal": true,
      "expected_sha256": "5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd",
      "actual_sha256": "5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd"
    },
    "table_files": {
      "1e-5": {
        "file": "research/solved/qm_k1e-5.json",
        "sha256": "5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd",
        "bytes": 7892018
      },
      "2e-5": {
        "file": "research/solved/qm_k2e-5.json",
        "sha256": "2f7cb6b0e752fc4df502e33d288a82da355e7a774f4eca284837c4f73c01c5b9",
        "bytes": 7896700
      },
      "4e-5": {
        "file": "research/solved/qm_k4e-5.json",
        "sha256": "4ca53aa60f79e36b4b0f809c42c99c42425524ad6d18bfd78b09d7deeaf90b16",
        "bytes": 7908288
      }
    }
  },
  "lookup_fidelity": {
    "method": "FULL table injected into TellPolicy; QMRef.lookup is the Taylor real.py interpolation; 200 sampled states compared with real.py RealPolicy.lookup",
    "max_absolute_fee_difference": 0.0
  },
  "replica_scoring": {
    "command": "python3 -I score_full.py",
    "steps_per_seed": 10000,
    "port": "o1-b engine-order scratch/ref/port.py",
    "arms": [
      "qt1 = QMRef(blob)",
      "LEAN = TellPolicy(blob, 4, .0001)",
      "FULL(k) = same LEAN policy with full Taylor qm JSON tables at k"
    ],
    "first_own_arb_share_denominator": "steps with a first own trade",
    "se_definition": "sample standard deviation of paired seed differences divided by sqrt(n)"
  },
  "choose": {
    "seed_range": [
      64000,
      64255
    ],
    "n": 256,
    "selection_rule": "highest mean edge among the three FULL arms",
    "selected": "FULL(1e-5)",
    "table": [
      {
        "arm": "FULL(1e-5)",
        "mean_edge": 529.9925353574915,
        "minus_FULL(1e-5)": {
          "mean_diff": 0.0,
          "se": 0.0
        },
        "minus_LEAN": {
          "mean_diff": 0.10838768442948288,
          "se": 0.015628090223208567
        },
        "first_own_steps": 1788244,
        "called_arb": 964226,
        "called_arb_share": 0.5392027038815732,
        "called_arb_share_of_all_steps": 0.37665078125
      },
      {
        "arm": "FULL(2e-5)",
        "mean_edge": 529.7737675476767,
        "minus_FULL(1e-5)": {
          "mean_diff": -0.21876780981487043,
          "se": 0.02363545208313387
        },
        "minus_LEAN": {
          "mean_diff": -0.11038012538538755,
          "se": 0.025148461545224876
        },
        "first_own_steps": 1815666,
        "called_arb": 1008485,
        "called_arb_share": 0.5554353058326806,
        "called_arb_share_of_all_steps": 0.393939453125
      },
      {
        "arm": "FULL(4e-5)",
        "mean_edge": 528.5381450130458,
        "minus_FULL(1e-5)": {
          "mean_diff": -1.454390344445786,
          "se": 0.044798707258852946
        },
        "minus_LEAN": {
          "mean_diff": -1.346002660016303,
          "se": 0.04418730964771652
        },
        "first_own_steps": 1864851,
        "called_arb": 1097224,
        "called_arb_share": 0.5883708671631138,
        "called_arb_share_of_all_steps": 0.428603125
      },
      {
        "arm": "LEAN",
        "mean_edge": 529.8841476730621,
        "first_own_steps": 1789745,
        "called_arb": 966761,
        "called_arb_share": 0.540166895283965,
        "called_arb_share_of_all_steps": 0.377641015625
      },
      {
        "arm": "qt1",
        "mean_edge": 526.7628049066149,
        "tell_arb_share": null
      }
    ]
  },
  "freeze": {
    "sha256": {
      "LB4": "93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e",
      "TCA": "dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7",
      "pol_mid.json": "efbb5ee102db4d312f64565d9bf7232b6becbe02b624164f744a402bbbf2983b",
      "pol.json": "fafe2c68faec494c434339f78ae688bd281a3fd23f0921d0d63a39d9bd06ff04",
      "qm.json": "5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd",
      "qm_k1e-5.json": "5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd",
      "qm_k2e-5.json": "2f7cb6b0e752fc4df502e33d288a82da355e7a774f4eca284837c4f73c01c5b9",
      "qm_k4e-5.json": "4ca53aa60f79e36b4b0f809c42c99c42425524ad6d18bfd78b09d7deeaf90b16",
      "dp.py": "ca4e7c378d23c46c7def4716611135c471a831d15234b984fe30d58d9eec5734",
      "qmdp.py": "63b8c35048718c37eb0a5dae9e70849fa3af257c335e4a2e3a625c833f1dc1eb",
      "blob.bin": "3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e",
      "port.py": "81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac",
      "qmref.py": "1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92",
      "twocomp.py": "9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af",
      "policy.py": "962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51",
      "lean_tell.py": "b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95",
      "score_full.py": "bbb9efb1ffaa727bc86e80ecb0256c4aad092a688ea10849fe69d4f3bfa6a906",
      "choose_full.jsonl": "21043bba69aedbc9f4b923f9f7ff4a63593d48adaac9ec5da9a8a601adb7daca"
    },
    "report_seeds_not_read_before_freeze": true
  },
  "report": {
    "seed_range": [
      10512,
      11023
    ],
    "n": 512,
    "evaluation_order": [
      "FULL(1e-5)",
      "FULL(1e-5)",
      "LEAN",
      "qt1"
    ],
    "mean_edge": {
      "FULL(1e-5)": 531.9200561491164,
      "LEAN": 531.8087581086368,
      "qt1": 528.650722549234
    },
    "paired": {
      "pick_minus_FULL(1e-5)": {
        "n": 512,
        "mean_diff": 0.0,
        "se": 0.0,
        "min": 0.0,
        "worst5": [
          {
            "seed": 10512,
            "diff": 0.0
          },
          {
            "seed": 10513,
            "diff": 0.0
          },
          {
            "seed": 10514,
            "diff": 0.0
          },
          {
            "seed": 10515,
            "diff": 0.0
          },
          {
            "seed": 10516,
            "diff": 0.0
          }
        ]
      },
      "pick_minus_LEAN": {
        "n": 512,
        "mean_diff": 0.11129804047957892,
        "se": 0.011763894414209244,
        "min": -0.9655007600374574,
        "worst5": [
          {
            "seed": 10602,
            "diff": -0.9655007600374574
          },
          {
            "seed": 10633,
            "diff": -0.8312166695832275
          },
          {
            "seed": 10656,
            "diff": -0.7858458259852341
          },
          {
            "seed": 10928,
            "diff": -0.7422095137784481
          },
          {
            "seed": 10973,
            "diff": -0.7297019818712442
          }
        ]
      },
      "FULL(1e-5)_minus_LEAN": {
        "n": 512,
        "mean_diff": 0.11129804047957892,
        "se": 0.011763894414209244,
        "min": -0.9655007600374574,
        "worst5": [
          {
            "seed": 10602,
            "diff": -0.9655007600374574
          },
          {
            "seed": 10633,
            "diff": -0.8312166695832275
          },
          {
            "seed": 10656,
            "diff": -0.7858458259852341
          },
          {
            "seed": 10928,
            "diff": -0.7422095137784481
          },
          {
            "seed": 10973,
            "diff": -0.7297019818712442
          }
        ]
      },
      "pick_minus_qt1": {
        "n": 512,
        "mean_diff": 3.269333599882298,
        "se": 0.044027258788890855,
        "min": 0.33554402419758844,
        "worst5": [
          {
            "seed": 10642,
            "diff": 0.33554402419758844
          },
          {
            "seed": 10731,
            "diff": 0.5101014197571772
          },
          {
            "seed": 10519,
            "diff": 0.5565456347992495
          },
          {
            "seed": 10838,
            "diff": 0.9029776180345834
          },
          {
            "seed": 10578,
            "diff": 0.9236283054090109
          }
        ]
      }
    },
    "arb_call": {
      "FULL(1e-5)": {
        "first_own_steps": 3577473,
        "called_arb": 1932938,
        "called_arb_share": 0.5403082007886573,
        "called_arb_share_of_all_steps": 0.377526953125
      },
      "LEAN": {
        "first_own_steps": 3580182,
        "called_arb": 1938153,
        "called_arb_share": 0.5413559981028897,
        "called_arb_share_of_all_steps": 0.3785455078125
      }
    },
    "raw_rows_sha256": "ddfd0cd97ca54df128c8a7d7f2c53ad1c86c4fee5629b379346fd0cfca4cc4f0"
  },
  "rebuild_picked_table": {
    "command": "DP_AMINL=-12 DP_NA=43 python qmdp.py pol_mid.json qm.json 1e-5",
    "prerequisite": "Run the DP command above and copy pol_VN0.npy, pol_VN1.npy, pol_VN2.npy to pol_mid_VN0.npy, pol_mid_VN1.npy, pol_mid_VN2.npy; retain Taylor's pol_mid.json."
  },
  "contract_gates": {
    "status": "not_run",
    "reason": "The selected weight is Taylor's existing 1e-5 control. This item evaluated full JSON tables in the Python replica and produced no new Solidity candidate."
  },
  "scope_note": "All edge values are local paired replica measurements; they do not convert to leaderboard scores."
}