{
  "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: solved policy, exact-arithmetic tell, U1 tables and reference gates; QLX5 and AGE are network extensions.",
  "item": "s8",
  "batch": "a2-age-b",
  "where": "engine",
  "status": "not_run_prerequisite_unverifiable",
  "advance": false,
  "submission": false,
  "gain_vs_base": null,
  "se": null,
  "n": 0,
  "seeds": null,
  "allocated_seeds": [
    10209792,
    10210047
  ],
  "allocated_seed_count": 256,
  "completed_seeds": [],
  "partial_seeds": [],
  "burned_seeds": [
    10209792,
    10209793,
    10209794,
    10209795,
    10209796,
    10209797,
    10209798,
    10209799,
    10209800,
    10209801,
    10209802,
    10209803,
    10209804,
    10209805,
    10209806,
    10209807,
    10209808,
    10209809,
    10209810,
    10209811,
    10209812,
    10209813,
    10209814,
    10209815,
    10209816,
    10209817,
    10209818,
    10209819,
    10209820,
    10209821,
    10209822,
    10209823,
    10209824,
    10209825,
    10209826,
    10209827,
    10209828,
    10209829,
    10209830,
    10209831,
    10209832,
    10209833,
    10209834,
    10209835,
    10209836,
    10209837,
    10209838,
    10209839,
    10209840,
    10209841,
    10209842,
    10209843,
    10209844,
    10209845,
    10209846,
    10209847,
    10209848,
    10209849,
    10209850,
    10209851,
    10209852,
    10209853,
    10209854,
    10209855,
    10209856,
    10209857,
    10209858,
    10209859,
    10209860,
    10209861,
    10209862,
    10209863,
    10209864,
    10209865,
    10209866,
    10209867,
    10209868,
    10209869,
    10209870,
    10209871,
    10209872,
    10209873,
    10209874,
    10209875,
    10209876,
    10209877,
    10209878,
    10209879,
    10209880,
    10209881,
    10209882,
    10209883,
    10209884,
    10209885,
    10209886,
    10209887,
    10209888,
    10209889,
    10209890,
    10209891,
    10209892,
    10209893,
    10209894,
    10209895,
    10209896,
    10209897,
    10209898,
    10209899,
    10209900,
    10209901,
    10209902,
    10209903,
    10209904,
    10209905,
    10209906,
    10209907,
    10209908,
    10209909,
    10209910,
    10209911,
    10209912,
    10209913,
    10209914,
    10209915,
    10209916,
    10209917,
    10209918,
    10209919,
    10209920,
    10209921,
    10209922,
    10209923,
    10209924,
    10209925,
    10209926,
    10209927,
    10209928,
    10209929,
    10209930,
    10209931,
    10209932,
    10209933,
    10209934,
    10209935,
    10209936,
    10209937,
    10209938,
    10209939,
    10209940,
    10209941,
    10209942,
    10209943,
    10209944,
    10209945,
    10209946,
    10209947,
    10209948,
    10209949,
    10209950,
    10209951,
    10209952,
    10209953,
    10209954,
    10209955,
    10209956,
    10209957,
    10209958,
    10209959,
    10209960,
    10209961,
    10209962,
    10209963,
    10209964,
    10209965,
    10209966,
    10209967,
    10209968,
    10209969,
    10209970,
    10209971,
    10209972,
    10209973,
    10209974,
    10209975,
    10209976,
    10209977,
    10209978,
    10209979,
    10209980,
    10209981,
    10209982,
    10209983,
    10209984,
    10209985,
    10209986,
    10209987,
    10209988,
    10209989,
    10209990,
    10209991,
    10209992,
    10209993,
    10209994,
    10209995,
    10209996,
    10209997,
    10209998,
    10209999,
    10210000,
    10210001,
    10210002,
    10210003,
    10210004,
    10210005,
    10210006,
    10210007,
    10210008,
    10210009,
    10210010,
    10210011,
    10210012,
    10210013,
    10210014,
    10210015,
    10210016,
    10210017,
    10210018,
    10210019,
    10210020,
    10210021,
    10210022,
    10210023,
    10210024,
    10210025,
    10210026,
    10210027,
    10210028,
    10210029,
    10210030,
    10210031,
    10210032,
    10210033,
    10210034,
    10210035,
    10210036,
    10210037,
    10210038,
    10210039,
    10210040,
    10210041,
    10210042,
    10210043,
    10210044,
    10210045,
    10210046,
    10210047
  ],
  "burn_reason": "Entire lease retired without simulation under the task no-reuse rule. Burned does not imply measured.",
  "source_sha256": "c0fb05961b60655744bfc5597a098e2f91bc5b90db9e8688e488d077864fb5da",
  "hashes": {
    "arms": {
      "CAND": {
        "source_sha256": "c0fb05961b60655744bfc5597a098e2f91bc5b90db9e8688e488d077864fb5da",
        "runtime_sha256": "d5d5ddaddcfac4a7212f7be41e26453776536571bd006c4c24b177523f63a0d9",
        "creation_sha256": "c5e443a5270912dda14169d0907a1af5a29e6137079e8b15d7386e03da697e5f"
      },
      "QLX5": {
        "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
        "runtime_sha256": "903a0cf860910022916e7c16aa1ffcfb94b0db9e25074665947d786615a44ae8",
        "creation_sha256": "275fd44fa37b567c17e18607436eebae510e2bd157979bf3a2fdb61228d59dab"
      },
      "QT1": {
        "source_sha256": "c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca",
        "runtime_sha256": "79c8d6c305ec6dfc29770b27cfb15b6cbd57b1fb01a23309cf8c131ca5c70189",
        "creation_sha256": "0af76fa66572167378c48100a70dcd8e64b58eb28cdd94b2e3456c95f367445f"
      }
    },
    "driver_sha256": "d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282",
    "input_artifacts": {
      "candidate": {
        "url": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0",
        "download_sha256": "dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0"
      },
      "qlx5": {
        "url": "https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15",
        "download_sha256": "1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15"
      },
      "driver": {
        "url": "https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42",
        "download_sha256": "764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42"
      }
    },
    "kit_files": {
      "gatep.py": "1d1d65bc18647530037cf3cff73fd8d4448f353d61b4494dd2ee7d556be122db",
      "reference/materialize.py": "79e316706e8b4a84ee29e261c817476120d7a502f9017ec2f7f76f8f4444aaad",
      "reference/sources.json": "62147ff112987f666e2c1ad5041012276a66033baec543c2b014f766cd8f01f5",
      "engine_eval.py": "0a3ed61457cb66c85a292c82acbb9657b5e5544a98c7aa04c7a6a5dccdc1d3b2",
      "score.py": "7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43",
      "bootstrap/manifest.tsv": "f9a0c49310aa6f501eac9a760e537af444d21f556239e3f00a9ed6f1d9628dad"
    },
    "normalizer_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05",
    "compiler_artifact_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f",
    "native_engine_sha256": null
  },
  "peak_gas": null,
  "oog": null,
  "other_callback_failures": null,
  "gas_failure": "No engine execution; counters unavailable. Null is not zero failures.",
  "chars": 47757,
  "bytes": 22558,
  "compile": {
    "CAND": {
      "source_sha256": "c0fb05961b60655744bfc5597a098e2f91bc5b90db9e8688e488d077864fb5da",
      "source_chars": 47757,
      "source_bytes": 47757,
      "runtime_bytes": 22558,
      "runtime_sha256": "d5d5ddaddcfac4a7212f7be41e26453776536571bd006c4c24b177523f63a0d9",
      "creation_bytes": 22587,
      "creation_sha256": "c5e443a5270912dda14169d0907a1af5a29e6137079e8b15d7386e03da697e5f",
      "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05",
      "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f",
      "compile_seconds": 15.775922425003955
    },
    "QLX5": {
      "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
      "source_chars": 47230,
      "source_bytes": 47230,
      "runtime_bytes": 22440,
      "runtime_sha256": "903a0cf860910022916e7c16aa1ffcfb94b0db9e25074665947d786615a44ae8",
      "creation_bytes": 22469,
      "creation_sha256": "275fd44fa37b567c17e18607436eebae510e2bd157979bf3a2fdb61228d59dab",
      "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05",
      "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f",
      "compile_seconds": 15.958885848987848
    },
    "QT1": {
      "source_sha256": "c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca",
      "source_chars": 42990,
      "source_bytes": 42990,
      "runtime_bytes": 20605,
      "runtime_sha256": "79c8d6c305ec6dfc29770b27cfb15b6cbd57b1fb01a23309cf8c131ca5c70189",
      "creation_bytes": 20633,
      "creation_sha256": "0af76fa66572167378c48100a70dcd8e64b58eb28cdd94b2e3456c95f367445f",
      "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05",
      "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f",
      "compile_seconds": 10.862486263999017
    }
  },
  "rounds": [],
  "planned_rounds": [
    [
      10209792,
      10209919
    ],
    [
      10209920,
      10210047
    ]
  ],
  "stopping_reason": "Required >=8 allocated cores cannot be verified under the operator policy, which prohibits inspecting host hardware/allocation. No engine simulation was started. Eight driver workers are not evidence of eight allocated cores. Missing measured gas counters and efficacy prevent advancement.",
  "comparisons": {
    "CAND-QLX5": {
      "n": 0,
      "sum_d": null,
      "sum_d2": null,
      "mean": null,
      "se": null,
      "failure": "No paired engine observations: execution prerequisite unverified."
    },
    "CAND-QT1": {
      "n": 0,
      "sum_d": null,
      "sum_d2": null,
      "mean": null,
      "se": null,
      "failure": "No paired engine observations: execution prerequisite unverified."
    }
  },
  "rows_zb64": "eJyLjgUAARUAuQ==",
  "rows_format": "base64(zlib(UTF-8 JSON [[seed,CAND,QLX5,QT1],...]))",
  "scoring": {
    "score_py_run": false,
    "reason": "No paired rows to score.",
    "futility_rule": "After 128 complete paired seeds, stop if cumulative CAND-QLX5 mean + 2*se < 0.04.",
    "futility_evaluated": false,
    "advance_rule": "n=256, gain_vs_base>=0.04, P/size/gas pass and all callbacks succeed; not pooled promotion."
  },
  "gates": {
    "exact_CAND": {
      "status": "pass",
      "evidence": "Decoded source SHA-256 equals requested frozen source. No edits.",
      "source": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0"
    },
    "P": {
      "inherited": "pass",
      "inherited_source": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0",
      "measured": "pass",
      "evidence": "Unmodified kit gatep.py executed gates.py with explicit scratch cache.",
      "input_digest": "0dabe003f62d413d6cb222acca4586f806e2a3f94b183d02569f04fd010f2d5e",
      "stdout": "seed   perfect-info      gaussian+plain    gaussian+qm       lattice+qm\n10000  448.261189  443.455598  443.522608  443.663520\n10001  576.779199  571.463409  571.623551  571.977293\n10002  531.886497  525.168028  525.865859  526.411631\n",
      "stdout_sha256": "10f187b4b7d36e2d034ac4c74766f4b6670b3f766a2d291c7370050b799dcbf8",
      "seconds": 20.706604030012386
    },
    "T": {
      "status": "inherited_pass",
      "source": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0",
      "independently_remeasured": false,
      "evidence": {
        "callbacks": 549905,
        "split_tests": 356959,
        "mismatch_count": {
          "inferred_arb": 0,
          "split_tested": 0,
          "split_verdict": 0,
          "tracked_offset": 0,
          "age_rule_kind": 0,
          "age": 0,
          "weight": 0,
          "rt": 0,
          "synced": 0,
          "twin_fee": 0,
          "twin_state": 0
        },
        "seeds": [
          74200,
          74249
        ],
        "stream": "autonomous contract-driven replica_e",
        "kind_counts": {
          "arb": 191729,
          "binding": 320342,
          "pull": 37834,
          "neither": 0
        },
        "max_relative_rival_error": 8.731332265820772e-15,
        "fixed_input": {
          "callbacks": 549733,
          "split_tests": 548149,
          "mismatch_count": {
            "inferred_arb": 0,
            "split_tested": 0,
            "split_verdict": 0,
            "tracked_offset": 0,
            "age_rule_kind": 0,
            "age": 0,
            "weight": 0,
            "rt": 0,
            "synced": 0,
            "twin_fee": 0,
            "twin_state": 0
          },
          "kind_counts": {
            "arb": 146,
            "binding": 440688,
            "pull": 108899,
            "neither": 0
          },
          "fee_callbacks": 100000,
          "worst_fee_bps": 8.254e-11,
          "fee_sides_over_tolerance": 0,
          "max_relative_rival_error": 6.795853303475876e-15
        },
        "method": "Python reference shadows contract-driven callbacks with only prior observable fees synchronized. Candidate storage supplies arb and offset; QLX5 TellMath probe supplies split verdict. An instrumented AGE twin records branch kind, and its fee outputs and storage words 0,1,2,6 matched the unchanged candidate on every callback. AGE age, weight, rt and synced are compared on every callback."
      }
    },
    "F": {
      "status": "inherited_pass",
      "source": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0",
      "independently_remeasured": false,
      "evidence": {
        "callbacks": 100000,
        "worst_bps": 6.0834e-10,
        "fee_sides_over_tolerance": 0,
        "tolerance_bps": 0.01,
        "seeds": [
          74200,
          74249
        ],
        "stream": "autonomous",
        "both_sides": true,
        "fixed_input": {
          "callbacks": 100000,
          "worst_bps": 8.254e-11,
          "fee_sides_over_tolerance": 0
        },
        "method": "First 2000 callbacks per seed per stream, both fee WADs versus independent production-QPL Python reference before contract quote feedback; error = absolute WAD difference / 1e14 bps."
      }
    },
    "size": {
      "status": "measured_pass",
      "limits": {
        "source_chars": 50000,
        "deployed_bytes": 24576
      },
      "all_arms_pass": true
    },
    "G": {
      "status": "incomplete",
      "size": "pass",
      "gas": null,
      "failure": "No independent engine gas counters."
    },
    "Q": {
      "status": "not_run",
      "reason": "Not part of this leased engine item; accepted input also explicitly does not certify Q."
    },
    "E": {
      "status": "not_certified",
      "reason": "Required >=8 allocated cores cannot be verified under the operator policy, which prohibits inspecting host hardware/allocation. No engine simulation was started. Eight driver workers are not evidence of eight allocated cores. Missing measured gas counters and efficacy prevent advancement."
    }
  },
  "commands": [
    {
      "command": "python3 -B test/scratch/s8/kit/reference/materialize.py --out test/scratch/s8/reference",
      "exit_code": 0,
      "seconds": null
    },
    {
      "command": "python3 -B test/scratch/s8/kit/gatep.py --reference test/scratch/s8/reference/taylor --cache test/scratch/s8/gatep-cache",
      "exit_code": 0,
      "gate_execution_seconds": 20.706604030012386
    },
    {
      "command": ". test/scratch/s8/runtime/env.sh; python3 -B test/scratch/s8/driver.py --kit test/scratch/s8/kit --cache test/scratch/s8/compile-cache --compile-only --strategy CAND=test/scratch/s8/CAND.sol --strategy QLX5=test/scratch/s8/QLX5.sol --strategy QT1=test/scratch/s8/reference/qt1/Strategy.sol --out test/scratch/s8/compile.json",
      "exit_code": 0,
      "compile_seconds_by_arm": {
        "CAND": 15.775922425003955,
        "QLX5": 15.958885848987848,
        "QT1": 10.862486263999017
      }
    }
  ],
  "timing": {
    "engine_seconds": null,
    "engine_budget_seconds": 1800,
    "total_wall_seconds": null,
    "note": "Per-arm compiler and Gate P timings are recorded; total orchestration wall time was not independently timed."
  },
  "evidence_sources": {
    "candidate": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0",
    "qlx5": "https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15",
    "driver": "https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42"
  },
  "limitations": [
    "No leased seed was simulated. No efficacy or independent gas claim is made.",
    "Inherited P/T/F are claims of the accepted a-check artifact. Only P and source/compile size were checked independently here.",
    "No host information is shared under the operator policy. Required allocation cannot be verified under that policy.",
    "No contract is returned for promotion and no leaderboard submission was made."
  ]
}