{
  "item": "kt-low",
  "credit": "Taylor (gtmcknight): replica, filter, solved policy, qm tables; https://github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved; README read first. LEAN overlay credited to lb-4 and tca-path.",
  "status": "blocked",
  "sources": [
    "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/README.md",
    "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/dp.py",
    "https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/qmdp.py",
    "https://api.imd.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e",
    "https://api.imd.fun/artifacts/dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7"
  ],
  "sha256_checks": {
    "LB4": {
      "actual": "93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e",
      "matches_expected": true
    },
    "TCA": {
      "actual": "dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7",
      "matches_expected": true
    },
    "original_qm_k1e-5.json": {
      "actual": "5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd",
      "expected": "5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd",
      "matches_expected": true
    }
  },
  "P": {
    "command": "python3 -I gates.py",
    "unmodified": true,
    "exit_code": 0,
    "matches_README_to_6_decimals": true,
    "columns": [
      "seed",
      "perfect_info",
      "gaussian_plain",
      "gaussian_qm",
      "lattice_qm"
    ],
    "rows": [
      [
        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"
      ]
    ]
  },
  "table_sha256": {
    "original_qm_k1e-5.json": "5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd",
    "rebuilt_qm_1e-5": null,
    "rebuilt_qm_0": null,
    "rebuilt_qm_5e-6": null
  },
  "layout": {
    "TCA_manifest_files_verified": 32,
    "LB4_manifest_files_verified": 13,
    "removed_files": [
      "scratch/ref/tca_tell.py",
      "scratch/TellCore.sol",
      "scratch/test_tell.py",
      "scratch/test_policy.py"
    ],
    "blob_sha256": "3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e"
  },
  "replica_levels_are_not_board_scores": true,
  "source_file_sha256": {
    "README.md": "02d2b51f17adbb5411a2a67f7a37255143ba381a73ff10abba557d7d23c0cef2",
    "gates.py": "603280c1f595ca163ffaf2ba1ebdc7945fdb08dabae67fc53c922d39e1cce604",
    "dp.py": "ca4e7c378d23c46c7def4716611135c471a831d15234b984fe30d58d9eec5734",
    "qmdp.py": "63b8c35048718c37eb0a5dae9e70849fa3af257c335e4a2e3a625c833f1dc1eb",
    "real.py": "1305b5333731c046c3e6736cc2578eff4635c88132a39c22f5780d78aef2c81e",
    "replica2.py": "6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685",
    "pol_mid.json": "efbb5ee102db4d312f64565d9bf7232b6becbe02b624164f744a402bbbf2983b"
  },
  "solver": {
    "command": "DP_SAVEVN=1 DP_AMINL=-12 DP_NA=43 NUMBA_NUM_THREADS=2 timeout 475 python dp.py solve 0.8 9.45 20 pol.json",
    "timeout_seconds": 475,
    "environment": {
      "python": "3.12.3",
      "numpy": "2.5.4",
      "numba": "0.68.1",
      "llvmlite": "0.50.0"
    },
    "DP_source_unmodified": true,
    "status": "timed_out",
    "exit_code": 124,
    "geometry_seconds": 11.3,
    "stdout": "geometry 11.3s  nq 62  h [0.55067104 0.34722702 0.2331101 ]  grid NW 321 N2 49 NA 43\nsweep 1 t 47s gain/step 0.0576476 -> 576.476 per run  diff 3.40e-02\nsweep 2 t 64s gain/step 0.0583772 -> 583.772 per run  diff 3.05e-02\nsweep 3 t 83s gain/step 0.0582014 -> 582.014 per run  diff 2.82e-02\nsweep 10 t 213s gain/step 0.0551817 -> 551.817 per run  diff 2.17e-02\nsweep 20 t 391s gain/step 0.0540383 -> 540.383 per run  diff 2.00e-02\n",
    "stdout_sha256": "108697c7a48cc352ba63a401fe23faaeb2565a141809e3fc0dc0632e574e1e84",
    "sweeps_logged": [
      {
        "sweep": 1,
        "elapsed_seconds_rounded": 47,
        "gain_per_run": 576.476,
        "convergence_difference": 0.034
      },
      {
        "sweep": 2,
        "elapsed_seconds_rounded": 64,
        "gain_per_run": 583.772,
        "convergence_difference": 0.0305
      },
      {
        "sweep": 3,
        "elapsed_seconds_rounded": 83,
        "gain_per_run": 582.014,
        "convergence_difference": 0.0282
      },
      {
        "sweep": 10,
        "elapsed_seconds_rounded": 213,
        "gain_per_run": 551.817,
        "convergence_difference": 0.0217
      },
      {
        "sweep": 20,
        "elapsed_seconds_rounded": 391,
        "gain_per_run": 540.383,
        "convergence_difference": 0.02
      }
    ],
    "pol_json_written": false,
    "saved_VN_files_written": false,
    "pol_mid_table_equality": {
      "status": "not_run",
      "reason": "DP solve did not finish."
    },
    "qm_control_equality": {
      "status": "not_run",
      "reason": "No newly solved VN arrays; qmdp.py was not run."
    },
    "qmdp_timings_seconds": {
      "1e-5": null,
      "0": null,
      "5e-6": null
    }
  },
  "blocked": {
    "step": "required perfect-information DP solve, before QMDP control reproduction",
    "error": "The unmodified dp.py solve did not finish within the bounded 475-second run (GNU timeout exit 124). The task prohibits a command over eight minutes and explicitly requests blocked={step,error} if the solve cannot finish within that limit. No substitute table was used.",
    "timeout_seconds": 475,
    "exit_code": 124
  },
  "choose": {
    "status": "not_run",
    "planned_seed_range_inclusive": [
      64000,
      64255
    ],
    "rows": [],
    "arb_call_shares": null,
    "pick": null,
    "reason": "Required solves and control equality prerequisite were not completed."
  },
  "report": {
    "status": "not_run",
    "planned_seed_range_inclusive": [
      10000,
      10511
    ],
    "paired": {
      "pick_minus_FULL_1e-5": null,
      "pick_minus_LEAN": null,
      "FULL_1e-5_minus_LEAN": null,
      "pick_minus_qt1": null
    },
    "reason": "No arm was selected or frozen; no report scoring was attempted."
  },
  "rebuild_picked_table_command": null,
  "requested_rebuild_recipe_not_executed": [
    "DP_SAVEVN=1 DP_AMINL=-12 DP_NA=43 python dp.py solve 0.8 9.45 20 pol_mid.json",
    "DP_AMINL=-12 DP_NA=43 python qmdp.py pol_mid.json qm.json KAPPA"
  ],
  "conclusion": "Undetermined: this run cannot establish whether information weight 0 or 5e-6 improves LEAN. P and supplied-file checks pass; the prerequisite DP solve exceeded the command budget. No policy improvement or board-score claim is made.",
  "seed_usage": {
    "unmodified_P_gate_seeds": [
      10000,
      10001,
      10002
    ],
    "choose_scoring_seeds": [],
    "report_scoring_seeds": [],
    "engine_seeds": []
  },
  "contracts": {
    "status": "not_attempted",
    "reason": "No policy met the report improvement prerequisite."
  },
  "validation": {
    "sources_live_quotes_verified": true,
    "source_quote_count": 5,
    "json_parse": true,
    "result_under_64000_bytes": true,
    "only_named_outputs_delivered": true
  }
}