{
  "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved",
  "table": 3,
  "measurement_role": "bound",
  "nodes": [
    {
      "node": [
        1,
        15,
        9
      ],
      "share_of_table": 0.013577072678977023,
      "value_bps": 45,
      "plus": {
        "gain": 0.0012683268144720872,
        "se": 0.0019121941126757943,
        "n": 2048
      },
      "minus": {
        "gain": -0.0014562554663475058,
        "se": 0.0018267712064379972,
        "n": 2048
      },
      "confirm": null,
      "encoding": {
        "plus": {
          "apply": true,
          "encode": true
        },
        "minus": {
          "apply": true,
          "encode": true
        }
      }
    },
    {
      "node": [
        1,
        19,
        11
      ],
      "share_of_table": 0.012804045416558867,
      "value_bps": 17,
      "plus": {
        "gain": -0.0023499866720606555,
        "se": 0.0018965372884336084,
        "n": 2048
      },
      "minus": {
        "gain": 0.004079867559736966,
        "se": 0.0019236977002076783,
        "n": 2048
      },
      "confirm": {
        "sign": -1,
        "gain": -0.0008694269383781247,
        "se": 0.0009142561864696031,
        "n": 8192
      },
      "encoding": {
        "plus": {
          "apply": true,
          "encode": true
        },
        "minus": {
          "apply": true,
          "encode": true
        }
      }
    },
    {
      "node": [
        1,
        20,
        11
      ],
      "share_of_table": 0.012311532124407738,
      "value_bps": 8,
      "plus": {
        "gain": 0.001671184331286435,
        "se": 0.0018808732927343772,
        "n": 2048
      },
      "minus": {
        "gain": -0.0006748759458807818,
        "se": 0.0018035616336066062,
        "n": 2048
      },
      "confirm": null,
      "encoding": {
        "plus": {
          "apply": true,
          "encode": true
        },
        "minus": {
          "apply": true,
          "encode": true
        }
      }
    },
    {
      "node": [
        1,
        15,
        8
      ],
      "share_of_table": 0.011605394453789776,
      "value_bps": 41,
      "plus": {
        "gain": -0.00203182123778603,
        "se": 0.0045348321595834774,
        "n": 2048
      },
      "minus": {
        "gain": 0.0003736623765007163,
        "se": 0.001788252418745513,
        "n": 2048
      },
      "confirm": null,
      "encoding": {
        "plus": {
          "apply": true,
          "encode": true
        },
        "minus": {
          "apply": true,
          "encode": true
        }
      }
    }
  ],
  "confirmed": [],
  "sum_of_confirmed": null,
  "gain_vs_base": 0,
  "se": 0,
  "n": 0,
  "seeds": [],
  "best_delta_zb64": "",
  "advance": true,
  "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
  "dropped": [
    {
      "rank": 5,
      "node": [
        0,
        12,
        4
      ],
      "share_of_table": 0.011504875578714423,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 6,
      "node": [
        1,
        18,
        11
      ],
      "share_of_table": 0.011271138739418617,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 7,
      "node": [
        0,
        9,
        2
      ],
      "share_of_table": 0.011262849323874785,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 8,
      "node": [
        0,
        12,
        5
      ],
      "share_of_table": 0.011215225254536838,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 9,
      "node": [
        0,
        13,
        6
      ],
      "share_of_table": 0.010916650779221748,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 10,
      "node": [
        0,
        11,
        3
      ],
      "share_of_table": 0.01057944368562123,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 11,
      "node": [
        1,
        14,
        7
      ],
      "share_of_table": 0.010530109611692007,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 12,
      "node": [
        1,
        19,
        10
      ],
      "share_of_table": 0.010178882706666307,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 13,
      "node": [
        1,
        16,
        10
      ],
      "share_of_table": 0.009862349565372783,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 14,
      "node": [
        1,
        14,
        8
      ],
      "share_of_table": 0.009798153542602571,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 15,
      "node": [
        0,
        6,
        1
      ],
      "share_of_table": 0.009637906524855546,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 16,
      "node": [
        1,
        13,
        6
      ],
      "share_of_table": 0.009496988761400102,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 17,
      "node": [
        0,
        7,
        1
      ],
      "share_of_table": 0.009321557676262087,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 18,
      "node": [
        0,
        10,
        2
      ],
      "share_of_table": 0.009232948902463976,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 19,
      "node": [
        1,
        16,
        11
      ],
      "share_of_table": 0.009206270573085965,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 20,
      "node": [
        1,
        19,
        12
      ],
      "share_of_table": 0.009137469191071645,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 21,
      "node": [
        1,
        17,
        11
      ],
      "share_of_table": 0.008970486860045108,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 22,
      "node": [
        1,
        16,
        9
      ],
      "share_of_table": 0.008817443018286249,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 23,
      "node": [
        1,
        18,
        12
      ],
      "share_of_table": 0.008777905945189884,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    },
    {
      "rank": 24,
      "node": [
        1,
        18,
        10
      ],
      "share_of_table": 0.008671189389565716,
      "reason": "Dropped from least-visited end to fit the machine time limit, reserving time for required CONFIRM runs."
    }
  ],
  "engine_runs": 0,
  "report_set_evaluated": false,
  "limitations": [
    "advance records successful controls and complete retained scans; it is not a promotion or improvement claim.",
    "Local replica measurements only; no engine runs, Solidity generation, gas measurement, report seeds, or submission.",
    "Visit ranking uses absolute net interpolation coefficients through active clamps, not objective gradients. share_of_table is abs_weight divided by summed abs_weight over all table-3 nodes and levels.",
    "Ranking frozen using PROFILE 64000..64127. Both signs use all SCAN seeds 500000..502047. Each sign with SCAN gain - se > 0 uses all CONFIRM seeds 510000..518191.",
    "CONFIRM significance is unadjusted for testing multiple nodes. A combined correction, when required, reuses CONFIRM and is not fresh validation.",
    "Summary and best_delta_zb64 refer to the sum if scored, otherwise the best step with CONFIRM gain - 2 se > 0. If no step passes that criterion, summary gain/se/n are zero, seeds is empty, and best_delta_zb64 is empty; these zeros are a no-selection sentinel, not a measured zero gain.",
    "Only the retained highest-visit prefix has complete required evaluation; the dropped tail cannot be bounded by these results. Any completed scans for a subsequently dropped node are recorded in its dropped entry. All 48 signed steps of the frozen top 24 passed qpl.apply and qpl.encode before scanning.",
    "The +1 bps scan at [1,15,8] includes a paired difference of -8.472212749756068 on seed 501561. Both baseline and candidate edges reproduced exactly on an isolated rerun. This heavy-tail observation is retained in the mean and SE; no seeds were removed."
  ],
  "controls": {
    "implementation_sha256": "4d4894474104eac9148e52b18d679b994ce73c6a889bafa18169c8dacca22855",
    "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
    "empty_delta_equal_64": true,
    "profile_equal_64": true,
    "qpl_roundtrip": true,
    "source_table_bytes_equal": true,
    "dependency_sha256": "a992fd6855d568b6fbb163423e9dd6ea7c4709b7475d343079c667edeceb9c00",
    "all_48_signed_edits_pass_apply_and_encode": true,
    "large_scan_outlier_repeat": {
      "seed": 501561,
      "node": [
        1,
        15,
        8
      ],
      "sign": 1,
      "paired_difference": -8.472212749756068,
      "original_and_candidate_edges_match_rerun_exactly": true
    },
    "source_quotes_refetched_and_matched": true
  },
  "profile": {
    "seeds": [
      64000,
      64127
    ],
    "total_abs_weight": 399666.602119613,
    "selected_share": 0.248687890303681,
    "retained_share_of_table": 0.0502980446737334,
    "frozen_top24": [
      {
        "rank": 1,
        "node": [
          1,
          15,
          9
        ],
        "share_of_table": 0.013577072678977023,
        "value_bps": 45
      },
      {
        "rank": 2,
        "node": [
          1,
          19,
          11
        ],
        "share_of_table": 0.012804045416558867,
        "value_bps": 17
      },
      {
        "rank": 3,
        "node": [
          1,
          20,
          11
        ],
        "share_of_table": 0.012311532124407738,
        "value_bps": 8
      },
      {
        "rank": 4,
        "node": [
          1,
          15,
          8
        ],
        "share_of_table": 0.011605394453789776,
        "value_bps": 41
      },
      {
        "rank": 5,
        "node": [
          0,
          12,
          4
        ],
        "share_of_table": 0.011504875578714423,
        "value_bps": 51
      },
      {
        "rank": 6,
        "node": [
          1,
          18,
          11
        ],
        "share_of_table": 0.011271138739418617,
        "value_bps": 26
      },
      {
        "rank": 7,
        "node": [
          0,
          9,
          2
        ],
        "share_of_table": 0.011262849323874785,
        "value_bps": 61
      },
      {
        "rank": 8,
        "node": [
          0,
          12,
          5
        ],
        "share_of_table": 0.011215225254536838,
        "value_bps": 52
      },
      {
        "rank": 9,
        "node": [
          0,
          13,
          6
        ],
        "share_of_table": 0.010916650779221748,
        "value_bps": 50
      },
      {
        "rank": 10,
        "node": [
          0,
          11,
          3
        ],
        "share_of_table": 0.01057944368562123,
        "value_bps": 56
      },
      {
        "rank": 11,
        "node": [
          1,
          14,
          7
        ],
        "share_of_table": 0.010530109611692007,
        "value_bps": 46
      },
      {
        "rank": 12,
        "node": [
          1,
          19,
          10
        ],
        "share_of_table": 0.010178882706666307,
        "value_bps": 13
      },
      {
        "rank": 13,
        "node": [
          1,
          16,
          10
        ],
        "share_of_table": 0.009862349565372783,
        "value_bps": 36
      },
      {
        "rank": 14,
        "node": [
          1,
          14,
          8
        ],
        "share_of_table": 0.009798153542602571,
        "value_bps": 49
      },
      {
        "rank": 15,
        "node": [
          0,
          6,
          1
        ],
        "share_of_table": 0.009637906524855546,
        "value_bps": 86
      },
      {
        "rank": 16,
        "node": [
          1,
          13,
          6
        ],
        "share_of_table": 0.009496988761400102,
        "value_bps": 51
      },
      {
        "rank": 17,
        "node": [
          0,
          7,
          1
        ],
        "share_of_table": 0.009321557676262087,
        "value_bps": 73
      },
      {
        "rank": 18,
        "node": [
          0,
          10,
          2
        ],
        "share_of_table": 0.009232948902463976,
        "value_bps": 58
      },
      {
        "rank": 19,
        "node": [
          1,
          16,
          11
        ],
        "share_of_table": 0.009206270573085965,
        "value_bps": 40
      },
      {
        "rank": 20,
        "node": [
          1,
          19,
          12
        ],
        "share_of_table": 0.009137469191071645,
        "value_bps": 24
      },
      {
        "rank": 21,
        "node": [
          1,
          17,
          11
        ],
        "share_of_table": 0.008970486860045108,
        "value_bps": 35
      },
      {
        "rank": 22,
        "node": [
          1,
          16,
          9
        ],
        "share_of_table": 0.008817443018286249,
        "value_bps": 32
      },
      {
        "rank": 23,
        "node": [
          1,
          18,
          12
        ],
        "share_of_table": 0.008777905945189884,
        "value_bps": 34
      },
      {
        "rank": 24,
        "node": [
          1,
          18,
          10
        ],
        "share_of_table": 0.008671189389565716,
        "value_bps": 22
      }
    ]
  },
  "execution": {
    "workers": 8,
    "max_variants_per_batch": 5,
    "seed_chunk_size": 128,
    "replica_build_flags": [
      "-O3",
      "-std=c++20",
      "-ffp-contract=off"
    ],
    "first_scan_batch_wall_seconds": 1430.659036476165,
    "first_scan_batch_seed_runs": 10240,
    "retained_nodes": 4,
    "scan_n_per_sign": 2048,
    "confirm_n_per_sign": 8192,
    "score_tool_bar": 0,
    "score_tool_note": "score.py used for paired statistics and its mean + 2 se < 0 stop flag; completed full SCAN blocks for all retained signs. Further evaluation follows the stricter task-specific SCAN gain - se > 0 gate."
  }
}