{
  "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved",
  "table": 3,
  "levels": [
    0
  ],
  "gain_vs_base": 0.0,
  "se": 0.0,
  "n": 1024,
  "seeds": [
    64000,
    65023
  ],
  "valid": {
    "gain": 0.0,
    "se": 0.0,
    "n": 4096
  },
  "nonzero": false,
  "advance": true,
  "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
  "delta_zb64": "",
  "delta_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
  "bands": [
    {
      "level": 0,
      "axis": "row",
      "knots": [
        0,
        1,
        2,
        3,
        4,
        5,
        6,
        7
      ],
      "grid_coordinates": [
        0,
        81,
        115,
        125,
        135,
        137,
        139,
        142
      ],
      "visit_weight": 25922.174357627286,
      "visit_fraction": 0.16079942756611545,
      "es_mean_bps": 0.07966966933570806
    },
    {
      "level": 0,
      "axis": "row",
      "knots": [
        8,
        9,
        10,
        11
      ],
      "grid_coordinates": [
        143,
        145,
        146,
        147
      ],
      "visit_weight": 29208.45715329121,
      "visit_fraction": 0.18118476967024522,
      "es_mean_bps": 0.2177339443784387
    },
    {
      "level": 0,
      "axis": "row",
      "knots": [
        12,
        13
      ],
      "grid_coordinates": [
        149,
        151
      ],
      "visit_weight": 27865.349145712375,
      "visit_fraction": 0.17285325411917435,
      "es_mean_bps": 0.094003045428527
    },
    {
      "level": 0,
      "axis": "row",
      "knots": [
        14,
        15
      ],
      "grid_coordinates": [
        153,
        155
      ],
      "visit_weight": 23434.007977141693,
      "visit_fraction": 0.14536493028392225,
      "es_mean_bps": 0.27733470699543744
    },
    {
      "level": 0,
      "axis": "row",
      "knots": [
        16,
        17,
        18,
        19
      ],
      "grid_coordinates": [
        158,
        159,
        161,
        163
      ],
      "visit_weight": 27089.3070545191,
      "visit_fraction": 0.1680393398884658,
      "es_mean_bps": 0.12632805783911746
    },
    {
      "level": 0,
      "axis": "row",
      "knots": [
        20,
        21,
        22,
        23,
        24,
        25,
        26,
        27,
        28,
        29,
        30,
        31,
        32,
        33,
        34,
        35
      ],
      "grid_coordinates": [
        165,
        166,
        167,
        168,
        169,
        170,
        171,
        172,
        174,
        176,
        178,
        182,
        184,
        188,
        191,
        320
      ],
      "visit_weight": 27688.83017377919,
      "visit_fraction": 0.17175827847207692,
      "es_mean_bps": -0.24001627967732606
    },
    {
      "level": 0,
      "axis": "column",
      "knots": [
        0,
        1
      ],
      "grid_coordinates": [
        0,
        11
      ],
      "visit_weight": 27320.829119431888,
      "visit_fraction": 0.16947550859072383,
      "es_mean_bps": -0.0036454128217655022
    },
    {
      "level": 0,
      "axis": "column",
      "knots": [
        2,
        3,
        4
      ],
      "grid_coordinates": [
        16,
        17,
        18
      ],
      "visit_weight": 37235.552710642,
      "visit_fraction": 0.2309781378049181,
      "es_mean_bps": 0.029041401392274912
    },
    {
      "level": 0,
      "axis": "column",
      "knots": [
        5,
        6,
        7
      ],
      "grid_coordinates": [
        19,
        20,
        21
      ],
      "visit_weight": 31632.064415652807,
      "visit_fraction": 0.19621879633237027,
      "es_mean_bps": -0.2031296221198225
    },
    {
      "level": 0,
      "axis": "column",
      "knots": [
        8,
        9,
        10,
        11
      ],
      "grid_coordinates": [
        22,
        23,
        24,
        25
      ],
      "visit_weight": 35753.47082817662,
      "visit_fraction": 0.22178454489798585,
      "es_mean_bps": -0.25621706828059526
    },
    {
      "level": 0,
      "axis": "column",
      "knots": [
        12,
        13,
        14,
        15,
        16,
        17,
        18,
        19,
        20,
        21,
        22,
        23,
        24,
        25
      ],
      "grid_coordinates": [
        27,
        28,
        29,
        30,
        32,
        34,
        36,
        37,
        38,
        39,
        40,
        41,
        42,
        48
      ],
      "visit_weight": 29266.208788167598,
      "visit_fraction": 0.18154301237400192,
      "es_mean_bps": 0.046591957207915376
    }
  ],
  "candidates": [
    {
      "name": "mean",
      "valid": {
        "gain": 0.0,
        "se": 0.0,
        "n": 4096
      },
      "nonzero_nodes": 0,
      "delta_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "encoded_sha256": "830868f9b3e5ad162c4f2070e6faed0782c7b4cc308ab69044b2cf7306f68099",
      "early_stop_at_0.03": true,
      "valid_upper_2se": 0.0
    },
    {
      "name": "mean_x0.5",
      "valid": {
        "gain": 0.0,
        "se": 0.0,
        "n": 4096
      },
      "nonzero_nodes": 0,
      "delta_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "encoded_sha256": "830868f9b3e5ad162c4f2070e6faed0782c7b4cc308ab69044b2cf7306f68099",
      "early_stop_at_0.03": true,
      "valid_upper_2se": 0.0
    },
    {
      "name": "mean_x1.5",
      "valid": {
        "gain": -0.00030299432727480535,
        "se": 0.0013241411008234733,
        "n": 4096
      },
      "nonzero_nodes": 112,
      "delta_sha256": "e2318aba0cda701ec6d26f943ede8ee5b5ed49c10e5a3a1e95b071196e935d60",
      "encoded_sha256": "56a0ca91f4a1a5222767b7160d23eaf7a550b9b797cc70d0b3192fbdfa3c8aae",
      "early_stop_at_0.03": true,
      "valid_upper_2se": 0.0023452878743721412
    }
  ],
  "simulations": 36416,
  "simulation_breakdown": {
    "controls": 128,
    "profiling": 128,
    "benchmark": 320,
    "train": 27648,
    "valid": 8192,
    "choose": 0
  },
  "search": {
    "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved",
    "generations": 12,
    "pairs": 4,
    "slice": 256,
    "train_start": 202000,
    "rng_seed": 340003,
    "sigma_start_bps": 0.3,
    "sigma_end_bps": 0.08,
    "adam_lr_start_bps": 0.06,
    "adam_lr_end_bps": 0.02,
    "adam_beta1": 0.9,
    "adam_beta2": 0.999,
    "adam_epsilon": 1e-08,
    "parameter_clip_bps": 0.75,
    "max_concurrent": 5,
    "gradient": "mean of mirrored paired return differences times Gaussian epsilon / (2 sigma); Adam ascent",
    "bands_sha256": "84616605e5c27a7ee7a0d6bd03d789477acc36075de3b0efcb5dd87ae7f934f1",
    "training_delta": "raw integer millibps, nearest integer; final candidates use qpl.apply(quantize=True) and qpl.encode",
    "selection": "maximum VALID paired mean among eligible candidates (mean - se > 0), otherwise zero; one CHOOSE evaluation"
  },
  "search_log": [
    {
      "generation": 1,
      "seeds": [
        202000,
        202255
      ],
      "n": 256,
      "sigma_bps": 0.3,
      "learning_rate_bps": 0.06,
      "theta_before": [
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0
      ],
      "theta_after": [
        0.05999989741925091,
        0.05999982272408478,
        0.05999958896695662,
        0.059999928844365634,
        -0.05999986901401958,
        -0.05999993490148096,
        -0.05999983868845966,
        -0.05999987634004976,
        -0.05999988032742744,
        -0.05999979897215142,
        -0.05999991836659598
      ],
      "scores": [
        {
          "mean": -0.005451563073147758,
          "se": 0.007155197037121443,
          "n": 256
        },
        {
          "mean": -0.0075150952627915935,
          "se": 0.007162331110345774,
          "n": 256
        },
        {
          "mean": -0.01137330922092361,
          "se": 0.007476270205720202,
          "n": 256
        },
        {
          "mean": -0.00713820029067147,
          "se": 0.007613143650818612,
          "n": 256
        },
        {
          "mean": -0.012053645291697723,
          "se": 0.006632752616424604,
          "n": 256
        },
        {
          "mean": -0.00916949166285419,
          "se": 0.006515407796798831,
          "n": 256
        },
        {
          "mean": -0.019060926696093494,
          "se": 0.0061827789669105715,
          "n": 256
        },
        {
          "mean": -0.008776302524545088,
          "se": 0.00589484520175725,
          "n": 256
        }
      ],
      "gradient": [
        0.005849040675587515,
        0.0033845445183832605,
        0.0014597266552293007,
        0.008432210512441094,
        -0.004580632889429952,
        -0.009216789529508836,
        -0.0037195006969902304,
        -0.004852005536246161,
        -0.005013670135188099,
        -0.002984651101076559,
        -0.007349922383001155
      ]
    },
    {
      "generation": 2,
      "seeds": [
        202256,
        202511
      ],
      "n": 256,
      "sigma_bps": 0.26603366284928054,
      "learning_rate_bps": 0.05429709453131583,
      "theta_before": [
        0.05999989741925091,
        0.05999982272408478,
        0.05999958896695662,
        0.059999928844365634,
        -0.05999986901401958,
        -0.05999993490148096,
        -0.05999983868845966,
        -0.05999987634004976,
        -0.05999988032742744,
        -0.05999979897215142,
        -0.05999991836659598
      ],
      "theta_after": [
        0.0772350747582673,
        0.10752712901679037,
        0.026167795150723053,
        0.11391140369356734,
        -0.06041167847310349,
        -0.11205787723613517,
        -0.07435237771144401,
        -0.035041692404143496,
        -0.10386379152496376,
        -0.11176511801088668,
        -0.04285756671725181
      ],
      "scores": [
        {
          "mean": 0.009802390174557196,
          "se": 0.0058424311743802936,
          "n": 256
        },
        {
          "mean": 0.003481786334517567,
          "se": 0.006265750502587722,
          "n": 256
        },
        {
          "mean": -0.006261141053468533,
          "se": 0.007311970065426439,
          "n": 256
        },
        {
          "mean": 0.00022268161299265898,
          "se": 0.0076752385103556345,
          "n": 256
        },
        {
          "mean": -0.008707266508821698,
          "se": 0.007838604789121979,
          "n": 256
        },
        {
          "mean": 0.001249954311907997,
          "se": 0.0070653142664260475,
          "n": 256
        },
        {
          "mean": -0.007365242969331609,
          "se": 0.006141474765950246,
          "n": 256
        },
        {
          "mean": 0.010017835574966494,
          "se": 0.0055374357309129355,
          "n": 256
        }
      ],
      "gradient": [
        -0.0025444198033041585,
        0.014718315594352322,
        -0.008701412855446067,
        0.012240436758417595,
        0.004060199966133786,
        -0.005584996300317339,
        0.0018694007617738265,
        0.012851968737481165,
        -0.001044951046934346,
        -0.006640195950471198,
        0.012920994288356661
      ]
    },
    {
      "generation": 3,
      "seeds": [
        202512,
        202767
      ],
      "n": 256,
      "sigma_bps": 0.23591303256334892,
      "learning_rate_bps": 0.04913624124237745,
      "theta_before": [
        0.0772350747582673,
        0.10752712901679037,
        0.026167795150723053,
        0.11391140369356734,
        -0.06041167847310349,
        -0.11205787723613517,
        -0.07435237771144401,
        -0.035041692404143496,
        -0.10386379152496376,
        -0.11176511801088668,
        -0.04285756671725181
      ],
      "theta_after": [
        0.053344843425750854,
        0.15158488681643,
        0.050952555818383004,
        0.1526032714724046,
        -0.03234153996687835,
        -0.14218957065477034,
        -0.05023786465176972,
        -0.0032442377354955435,
        -0.14759819817398023,
        -0.14956574037205952,
        -0.01783777829909387
      ],
      "scores": [
        {
          "mean": -0.01590097819359948,
          "se": 0.0063379863476950744,
          "n": 256
        },
        {
          "mean": -0.0033000539803318407,
          "se": 0.005497756518180057,
          "n": 256
        },
        {
          "mean": -0.007969984314647682,
          "se": 0.0059719326039606915,
          "n": 256
        },
        {
          "mean": -0.012864999867715277,
          "se": 0.005820426780828965,
          "n": 256
        },
        {
          "mean": 0.0013040743872376748,
          "se": 0.006072084153236579,
          "n": 256
        },
        {
          "mean": -0.021072797265164755,
          "se": 0.005868461440863072,
          "n": 256
        },
        {
          "mean": -0.011052562517010811,
          "se": 0.0062111727139957055,
          "n": 256
        },
        {
          "mean": -0.008921515619403353,
          "se": 0.005389546267245153,
          "n": 256
        }
      ],
      "gradient": [
        -0.014508473880381966,
        0.024988236547620352,
        0.03563570398373148,
        0.0004726320520668092,
        0.01250473047377616,
        0.0019821160837067368,
        0.008826194101093534,
        0.008985588894946953,
        -0.006218576635944846,
        -0.0003803459274702431,
        0.007640337986196485
      ]
    },
    {
      "generation": 4,
      "seeds": [
        202768,
        203023
      ],
      "n": 256,
      "sigma_bps": 0.20920269388903104,
      "learning_rate_bps": 0.04446591892751514,
      "theta_before": [
        0.053344843425750854,
        0.15158488681643,
        0.050952555818383004,
        0.1526032714724046,
        -0.03234153996687835,
        -0.14218957065477034,
        -0.05023786465176972,
        -0.0032442377354955435,
        -0.14759819817398023,
        -0.14956574037205952,
        -0.01783777829909387
      ],
      "theta_after": [
        0.027361894838321774,
        0.18830391893860504,
        0.07028590775686173,
        0.19020757933142815,
        -0.005593016980214933,
        -0.1603909848508934,
        -0.021445229071188558,
        0.028562063348656172,
        -0.13825937975219488,
        -0.18561755141316794,
        -1.3611992718612353e-05
      ],
      "scores": [
        {
          "mean": -0.000574682693484263,
          "se": 0.006127996824344024,
          "n": 256
        },
        {
          "mean": -0.006676088910047451,
          "se": 0.007571833250938149,
          "n": 256
        },
        {
          "mean": 0.0010173188166360259,
          "se": 0.006623158185764176,
          "n": 256
        },
        {
          "mean": -0.0054293092448329805,
          "se": 0.006845145048501558,
          "n": 256
        },
        {
          "mean": -0.005398303728992637,
          "se": 0.006736674769928191,
          "n": 256
        },
        {
          "mean": 0.003818640284174446,
          "se": 0.007360469153708579,
          "n": 256
        },
        {
          "mean": 0.0008424802160249545,
          "se": 0.005859227446006855,
          "n": 256
        },
        {
          "mean": -0.0049943015892131015,
          "se": 0.007138858036542102,
          "n": 256
        }
      ],
      "gradient": [
        -0.0062757972021405695,
        0.00525019877788184,
        0.001383920209490675,
        0.008214082183449812,
        0.0036989596428614714,
        0.0016625106467842035,
        0.006028912878356564,
        0.006978291567562628,
        0.01684530212030294,
        -0.01348389757424629,
        -0.00046245722720009266
      ]
    },
    {
      "generation": 5,
      "seeds": [
        203024,
        203279
      ],
      "n": 256,
      "sigma_bps": 0.18551652977745245,
      "learning_rate_bps": 0.04023950339048525,
      "theta_before": [
        0.027361894838321774,
        0.18830391893860504,
        0.07028590775686173,
        0.19020757933142815,
        -0.005593016980214933,
        -0.1603909848508934,
        -0.021445229071188558,
        0.028562063348656172,
        -0.13825937975219488,
        -0.18561755141316794,
        -1.3611992718612353e-05
      ],
      "theta_after": [
        0.029632512839029238,
        0.19665516973461844,
        0.07742615181485274,
        0.2105833305204946,
        0.024412159934665143,
        -0.18570310336847468,
        0.00025100823365861724,
        0.038558510737517815,
        -0.13720730324167774,
        -0.18700063747222115,
        0.02381764813206106
      ],
      "scores": [
        {
          "mean": 0.0029962262169340725,
          "se": 0.006210044437876767,
          "n": 256
        },
        {
          "mean": 0.0027601307033884304,
          "se": 0.00660065518825858,
          "n": 256
        },
        {
          "mean": -0.01136507933780706,
          "se": 0.00755887000652153,
          "n": 256
        },
        {
          "mean": 0.006670291446836396,
          "se": 0.00685483739683444,
          "n": 256
        },
        {
          "mean": -0.00044945561658837896,
          "se": 0.007552095038860655,
          "n": 256
        },
        {
          "mean": 0.000952587647757186,
          "se": 0.006362920801949146,
          "n": 256
        },
        {
          "mean": -0.0011314830550257504,
          "se": 0.005675233036345286,
          "n": 256
        },
        {
          "mean": 0.004928083961485363,
          "se": 0.007081817628422989,
          "n": 256
        }
      ],
      "gradient": [
        0.017978967951721356,
        -0.023521704518094863,
        -0.012149438861525924,
        -0.005636307757946206,
        0.015116069508499202,
        -0.010860906673873304,
        -0.00016946281988126615,
        -0.010359476124409349,
        -0.005144734557115998,
        0.017764545558197616,
        0.011871823606955729
      ]
    },
    {
      "generation": 6,
      "seeds": [
        203280,
        203535
      ],
      "n": 256,
      "sigma_bps": 0.16451213978594437,
      "learning_rate_bps": 0.03641480199143969,
      "theta_before": [
        0.029632512839029238,
        0.19665516973461844,
        0.07742615181485274,
        0.2105833305204946,
        0.024412159934665143,
        -0.18570310336847468,
        0.00025100823365861724,
        0.038558510737517815,
        -0.13720730324167774,
        -0.18700063747222115,
        0.02381764813206106
      ],
      "theta_after": [
        0.038228518031007186,
        0.21106298102721283,
        0.07633772403671538,
        0.21450548220135818,
        0.04956386627654821,
        -0.20241137849682245,
        -0.0065703463237627305,
        0.04697576827001874,
        -0.1509866268559419,
        -0.2031444258958161,
        0.04175630881355122
      ],
      "scores": [
        {
          "mean": -0.0025215939582752256,
          "se": 0.006598480217296866,
          "n": 256
        },
        {
          "mean": 0.0006413531814755125,
          "se": 0.005961181473490349,
          "n": 256
        },
        {
          "mean": 0.005809708843408812,
          "se": 0.006160984939468916,
          "n": 256
        },
        {
          "mean": -0.0038712529639655102,
          "se": 0.005871073672071708,
          "n": 256
        },
        {
          "mean": -0.0019969546071421096,
          "se": 0.006087857655570626,
          "n": 256
        },
        {
          "mean": 0.0038231934238748266,
          "se": 0.006407586935788019,
          "n": 256
        },
        {
          "mean": 0.00471490211426473,
          "se": 0.006690435887264928,
          "n": 256
        },
        {
          "mean": -0.002555718992950373,
          "se": 0.0063566693020634165,
          "n": 256
        }
      ],
      "gradient": [
        0.009715979220427225,
        0.019174072204349666,
        -0.01366409549471093,
        -0.010644806477430734,
        0.002052258110045741,
        0.002320786894998057,
        -0.017785333742432127,
        0.0006771559251646053,
        -0.02214813263850787,
        -0.03313509713654467,
        -0.0006875664466841852
      ]
    },
    {
      "generation": 7,
      "seeds": [
        203536,
        203791
      ],
      "n": 256,
      "sigma_bps": 0.1458858904347588,
      "learning_rate_bps": 0.032953632434472475,
      "theta_before": [
        0.038228518031007186,
        0.21106298102721283,
        0.07633772403671538,
        0.21450548220135818,
        0.04956386627654821,
        -0.20241137849682245,
        -0.0065703463237627305,
        0.04697576827001874,
        -0.1509866268559419,
        -0.2031444258958161,
        0.04175630881355122
      ],
      "theta_after": [
        0.05586513875237181,
        0.22204880393889068,
        0.07936693908060324,
        0.22983077508578462,
        0.07380059008228324,
        -0.21978357022885517,
        0.005765484807445423,
        0.038655367562353625,
        -0.1661638925843578,
        -0.21839029214418706,
        0.04635216570061676
      ],
      "scores": [
        {
          "mean": -0.007820752464778202,
          "se": 0.00721343665058125,
          "n": 256
        },
        {
          "mean": -0.0017518253307531317,
          "se": 0.006368755030350129,
          "n": 256
        },
        {
          "mean": -0.0007358116985409779,
          "se": 0.008200019933816647,
          "n": 256
        },
        {
          "mean": -0.003934957618739743,
          "se": 0.006062805283140352,
          "n": 256
        },
        {
          "mean": -0.001149652646330157,
          "se": 0.006482875769435259,
          "n": 256
        },
        {
          "mean": -0.008373059812495365,
          "se": 0.005736147221866988,
          "n": 256
        },
        {
          "mean": 0.012303064877422276,
          "se": 0.00764592201258145,
          "n": 256
        },
        {
          "mean": -0.009018874490404727,
          "se": 0.007303851612637412,
          "n": 256
        }
      ],
      "gradient": [
        0.03948503352079632,
        -0.0010095124251695386,
        0.009755813840187033,
        0.02863996177289252,
        0.037744020204556264,
        -0.004600122628764461,
        0.04080611080751156,
        -0.023969693699682045,
        -0.008698244867398668,
        -0.006523789766349139,
        -0.010995437733619915
      ]
    },
    {
      "generation": 8,
      "seeds": [
        203792,
        204047
      ],
      "n": 256,
      "sigma_bps": 0.129368525967959,
      "learning_rate_bps": 0.029821441590746463,
      "theta_before": [
        0.05586513875237181,
        0.22204880393889068,
        0.07936693908060324,
        0.22983077508578462,
        0.07380059008228324,
        -0.21978357022885517,
        0.005765484807445423,
        0.038655367562353625,
        -0.1661638925843578,
        -0.21839029214418706,
        0.04635216570061676
      ],
      "theta_after": [
        0.06788616236373896,
        0.22271180653388362,
        0.07857722390258935,
        0.2464898079465054,
        0.0923120125425341,
        -0.2193902300854938,
        0.006786573768986271,
        0.03375609135965961,
        -0.17799503134361763,
        -0.23605377386901757,
        0.037484399154769976
      ],
      "scores": [
        {
          "mean": -0.0037017319540659788,
          "se": 0.005237735510751984,
          "n": 256
        },
        {
          "mean": -0.002902211279094402,
          "se": 0.006014953552788708,
          "n": 256
        },
        {
          "mean": -0.019080948961218258,
          "se": 0.008489790408531714,
          "n": 256
        },
        {
          "mean": -0.0001455903526776936,
          "se": 0.005727612071338223,
          "n": 256
        },
        {
          "mean": -0.002832983626692931,
          "se": 0.00516930719308107,
          "n": 256
        },
        {
          "mean": -0.002135627034787202,
          "se": 0.005623136990173743,
          "n": 256
        },
        {
          "mean": -0.0028548456611416917,
          "se": 0.00620439380025769,
          "n": 256
        },
        {
          "mean": -0.010475953142790706,
          "se": 0.005287223787874663,
          "n": 256
        }
      ],
      "gradient": [
        -0.006259562424674182,
        -0.022954858805262084,
        -0.009180868184233502,
        0.013350688284496572,
        -0.00232603335695902,
        0.015899216335359317,
        -0.026900995394740116,
        0.003645066056159057,
        0.0005694285750050412,
        -0.021721567242501117,
        -0.027230767463840632
      ]
    },
    {
      "generation": 9,
      "seeds": [
        204048,
        204303
      ],
      "n": 256,
      "sigma_bps": 0.11472127606889466,
      "learning_rate_bps": 0.026986960551881232,
      "theta_before": [
        0.06788616236373896,
        0.22271180653388362,
        0.07857722390258935,
        0.2464898079465054,
        0.0923120125425341,
        -0.2193902300854938,
        0.006786573768986271,
        0.03375609135965961,
        -0.17799503134361763,
        -0.23605377386901757,
        0.037484399154769976
      ],
      "theta_after": [
        0.07915795237565684,
        0.2222377814946488,
        0.0784058005507072,
        0.2613728396394235,
        0.10724710988209331,
        -0.2255352451827502,
        0.006249964115611359,
        0.03579109184758769,
        -0.18613884298513061,
        -0.25030567733894743,
        0.03182677297367031
      ],
      "scores": [
        {
          "mean": 0.0006882042512015296,
          "se": 0.005316680846326111,
          "n": 256
        },
        {
          "mean": -0.0006607718302418242,
          "se": 0.006299788764310607,
          "n": 256
        },
        {
          "mean": 0.0034569211384845033,
          "se": 0.00609953523731795,
          "n": 256
        },
        {
          "mean": 0.0023840862275987806,
          "se": 0.005894882829795716,
          "n": 256
        },
        {
          "mean": 0.0012903729529221142,
          "se": 0.005196300223941184,
          "n": 256
        },
        {
          "mean": 0.006967727234947985,
          "se": 0.006205002289005213,
          "n": 256
        },
        {
          "mean": -0.002137564371565981,
          "se": 0.00655517407396983,
          "n": 256
        },
        {
          "mean": 0.00024073920795331105,
          "se": 0.00618231398422657,
          "n": 256
        }
      ],
      "gradient": [
        0.006213090538576648,
        -0.0036807687869695994,
        0.0015110456850647915,
        0.004613617222694075,
        0.00020946589263223965,
        -0.012689136506350838,
        -0.005485064210330913,
        0.014899293622310825,
        0.003065451051687138,
        -0.00021814408698689187,
        0.0038869661076108763
      ]
    },
    {
      "generation": 10,
      "seeds": [
        204304,
        204559
      ],
      "n": 256,
      "sigma_bps": 0.10173240426450522,
      "learning_rate_bps": 0.024421892469973106,
      "theta_before": [
        0.07915795237565684,
        0.2222377814946488,
        0.0784058005507072,
        0.2613728396394235,
        0.10724710988209331,
        -0.2255352451827502,
        0.006249964115611359,
        0.03579109184758769,
        -0.18613884298513061,
        -0.25030567733894743,
        0.03182677297367031
      ],
      "theta_after": [
        0.07814898522106296,
        0.21842774686040783,
        0.08296768678367812,
        0.2673138453865553,
        0.12184276943073331,
        -0.23061695208257754,
        0.0026568294571131168,
        0.03176781730223623,
        -0.1863075356925744,
        -0.25405664822936536,
        0.034709281729522555
      ],
      "scores": [
        {
          "mean": 0.0008917237213963425,
          "se": 0.006528813051658721,
          "n": 256
        },
        {
          "mean": 0.005552844085447983,
          "se": 0.006284742216085995,
          "n": 256
        },
        {
          "mean": 0.004212915444471443,
          "se": 0.0059531607518165915,
          "n": 256
        },
        {
          "mean": -0.0017255942542513392,
          "se": 0.006621351564770712,
          "n": 256
        },
        {
          "mean": 0.0013370241531180937,
          "se": 0.006491309208047698,
          "n": 256
        },
        {
          "mean": 0.0015227107296176268,
          "se": 0.006759403961080345,
          "n": 256
        },
        {
          "mean": 0.005360514612612777,
          "se": 0.006351903088787463,
          "n": 256
        },
        {
          "mean": -0.006452160064850387,
          "se": 0.007457444551985863,
          "n": 256
        }
      ],
      "gradient": [
        -0.04269334052238578,
        -0.014689510284713604,
        0.01858966245932464,
        -0.017605938596429886,
        0.010921636440840855,
        -0.00026194944858159904,
        -0.014897312192148597,
        -0.018336263829481895,
        0.016605927944606663,
        0.027976577144638196,
        0.024494909810624712
      ]
    },
    {
      "generation": 11,
      "seeds": [
        204560,
        204815
      ],
      "n": 256,
      "sigma_bps": 0.09021414712316699,
      "learning_rate_bps": 0.022100630067929335,
      "theta_before": [
        0.07814898522106296,
        0.21842774686040783,
        0.08296768678367812,
        0.2673138453865553,
        0.12184276943073331,
        -0.23061695208257754,
        0.0026568294571131168,
        0.03176781730223623,
        -0.1863075356925744,
        -0.25405664822936536,
        0.034709281729522555
      ],
      "theta_after": [
        0.07836018517483234,
        0.2177469685842844,
        0.0887766218871902,
        0.2731183573132853,
        0.1256315412012108,
        -0.23592070352986788,
        -0.0011048027992125835,
        0.029932062904537555,
        -0.19386255046447204,
        -0.2557660568417974,
        0.039554657112632424
      ],
      "scores": [
        {
          "mean": 0.003395677115068274,
          "se": 0.005649636498596851,
          "n": 256
        },
        {
          "mean": 0.0064171728468673805,
          "se": 0.0065526919070037,
          "n": 256
        },
        {
          "mean": -0.007262073969573679,
          "se": 0.006136178529543971,
          "n": 256
        },
        {
          "mean": -0.003384392401909908,
          "se": 0.006684401484479928,
          "n": 256
        },
        {
          "mean": 0.004286421556355391,
          "se": 0.0065957338547174985,
          "n": 256
        },
        {
          "mean": -0.000983484984736327,
          "se": 0.006509811528759406,
          "n": 256
        },
        {
          "mean": -0.0016167452017654682,
          "se": 0.005892154336201246,
          "n": 256
        },
        {
          "mean": -0.0023166793765057037,
          "se": 0.006357344262443959,
          "n": 256
        }
      ],
      "gradient": [
        0.006233551801602917,
        0.011323902651175832,
        0.009836115421451238,
        0.00398170958529523,
        -0.030296984924481553,
        -0.002974081027381432,
        -0.004476021771826001,
        0.005239873926345675,
        -0.03423794630592067,
        0.006708220419973658,
        0.010841202828040976
      ]
    },
    {
      "generation": 12,
      "seeds": [
        204816,
        205071
      ],
      "n": 256,
      "sigma_bps": 0.08,
      "learning_rate_bps": 0.02,
      "theta_before": [
        0.07836018517483234,
        0.2177469685842844,
        0.0887766218871902,
        0.2731183573132853,
        0.1256315412012108,
        -0.23592070352986788,
        -0.0011048027992125835,
        0.029932062904537555,
        -0.19386255046447204,
        -0.2557660568417974,
        0.039554657112632424
      ],
      "theta_after": [
        0.07966966933570806,
        0.2177339443784387,
        0.094003045428527,
        0.27733470699543744,
        0.12632805783911746,
        -0.24001627967732606,
        -0.0036454128217655022,
        0.029041401392274912,
        -0.2031296221198225,
        -0.25621706828059526,
        0.046591957207915376
      ],
      "scores": [
        {
          "mean": 0.0025409940312779433,
          "se": 0.005425291707296046,
          "n": 256
        },
        {
          "mean": 0.0026960206422712574,
          "se": 0.005437241816542115,
          "n": 256
        },
        {
          "mean": 0.0037101090768629774,
          "se": 0.005027774897386386,
          "n": 256
        },
        {
          "mean": -0.002883721701922859,
          "se": 0.006434351456834373,
          "n": 256
        },
        {
          "mean": 0.004288537846552032,
          "se": 0.00489005940698158,
          "n": 256
        },
        {
          "mean": -3.688844307125905e-05,
          "se": 0.0062982817051541245,
          "n": 256
        },
        {
          "mean": 0.00439748512628424,
          "se": 0.005560288782605749,
          "n": 256
        },
        {
          "mean": 0.0035615320058688393,
          "se": 0.006083169663929921,
          "n": 256
        }
      ],
      "gradient": [
        0.007709726972977498,
        0.0029024731241569365,
        0.002521387696321233,
        -0.0021888239189102403,
        -0.013220645611238929,
        0.0005955509239980816,
        0.002983652772688431,
        0.0024912762159067787,
        -0.019418228528828733,
        0.005313167922295093,
        0.016567430627181197
      ]
    }
  ],
  "elapsed_seconds": 3191.7894540540874,
  "controls": {
    "implementation_sha256": "4d4894474104eac9148e52b18d679b994ce73c6a889bafa18169c8dacca22855",
    "dependency_sha256": "a992fd6855d568b6fbb163423e9dd6ea7c4709b7475d343079c667edeceb9c00",
    "source_hash_match": true,
    "empty_delta_exact": true,
    "empty_delta_seeds": [
      200000,
      200063
    ],
    "empty_delta_n": 64,
    "qpl_roundtrip": true,
    "codec_checks_passed": true,
    "solidity_qpl_bytes_match_replica": true
  },
  "profile": {
    "seeds": [
      64000,
      64127
    ],
    "band_method": "Contiguous nonempty bands minimizing summed squared deviation from equal visit weight; indivisible stored knots. Frozen before correction scoring."
  },
  "limitations": [
    "Only table 3 stored level 0 was searched.",
    "Measured throughput limited the precommitted search to 12 generations and 4 mirrored pairs each, below the suggested 100000 simulations.",
    "Visit weights are interpolation exposure, not causal objective gradients; equal weight is approximate because knots are indivisible.",
    "TRAIN probes used continuous millibps; only final candidates were rounded to the 1 bps lattice and passed qpl.encode.",
    "VALID selection uses the requested mean minus one SE gate and does not adjust for multiple candidates.",
    "CHOOSE overlaps the prescribed visit-profile seeds; no report seeds 10000..12047 or engine runs were used.",
    "No Solidity, gas, OOG, fresh-engine or leaderboard claim is made.",
    "advance means controls passed and the fixed search completed, not that a promotion threshold was met.",
    "Zero was retained; CHOOSE difference is exactly zero by identity, so no redundant simulations were run.",
    "The score.py 0.03 upper-confidence-bound diagnostic is reported after full VALID scoring; the item-specific completion flag is independent of promotion eligibility."
  ],
  "valid_seeds": [
    300000,
    304095
  ],
  "selected_candidate": "zero",
  "checks": {
    "independent_paired_statistics": true,
    "all_train_intervals_verified": true,
    "all_valid_intervals_verified": true,
    "rounded_candidates_reconstructed_and_encoded": true,
    "selection_rule_verified": true,
    "delta_hash_verified": true,
    "source_quotes_verified_live": true
  },
  "procedure_zb64": "eNrVWutv20iS/1camQ9N2jRNSrJsSeDiBjOZ3QH2JkES7IelCaJJtmTGfGhIyo8Y/t+vqrqbpCw5mZm9ndsLEIts9qO6nr+q7qc3iazSm1I0t+728c3yzXfsh0Zmecc+iceibpi16cr0tso3N53tsE3e3ewSN63L86H9XJTlWZuX/zW78idiPr2aTH1/PplJ/8Kbi1T4Uz8V04t0enm1Xky9bMEa2UrRpDfnbV3cycy9rvJyWzcd24rupsgTp90l26ZOZds6XV5KJ62rdNc0surc9a7bwXjnc1tX19X7QA9x38OvFcfrvJBxbLvQBee2bHcrcNx1lck1a3aVldvL64rdw06Y9f58zYkBT/mzm7Z33Hbrrawsfs9tJlq2Xg6UuDg4bLsGRvFklxfZed3km7wSxTnsntsOfpt4vud5p/nJfAb84vMZj6A9q3ddsHbSG5neBp+anbSvqy7ArbllXdVdXeWpBW1E1eFm3U83jRTZ+7ou3j7IdNfVjVWKh/i+bm5l0wYXRKx8WBZ521nywS3F1gJynUZUG2ld2DbM3QRPvOLL6cRzuCzEtpUZX74k4ax7XtH+eq1APgNb7pu8k3EnHzoLW9xsV25bq7Ht1bbJq85qnHWxa2/M5t44b2AbXVMX/8/Uqn00qgVPbgZ7iNXWk8dOpnUmaYe/S/FwIuzs5lUrm87yHK1EN6KpgBaO0tGU3okiz0QnnTatG1hGMde0ukhAGpMatZa9z3KcUZbb7tGFrvsS49we9F80JRAgms6pnEoAF6BHI4IwIrs4ppW9sVjY/5QrS/ldpsLPYdlzPtgJUaAeK9s5IRpesxSmuEDEHirsPhdACUCQFSP+uWg1B3T/YTObGjODZUQAZgY7LvOOLI0bX8CdiYf/nPnM4doG4v4jUpgcDL2TTSEej44kiXLHMHMk4AjnSl+daz7DqfzJlcNBKqidMAs/40b57vI271rFEppKtKidTKAG74rOsoMg6Z9Xaf9olJL/8O6XTx/e/f0je//9x49vf+QHHmDdSPlF/ic4ANglWbXTewIw80Y6N6LF1z/X2FeaqF+3BXjl+r4NyG0Dje6Pedp9ABWUjfVSRsrawJOvygBGuhkRaCGlrbtu6vJGPlig8ooDFofX4PqNFXpnC3G2jk7t6zfcGRFyvtsCZVKU551ICpjjZrvlNlmMchq2HfoRWksiqqwF/3BdrUFw4iEHL5l/kc6tcysfWV6x0OKwDe5M587cwUfYpWOBChe7sgKtnjsXjn6DLxGF3yBsd6W1LmrRWQ8hF0kb30uUOo9shus84Mw4F8vXDPUNehGl0CEIpgyIMs2FvJMFNXujZiQU2z6r+T7TfBQPkXo7Ir8i10Ho4WO/5P0SW12xBXZnFj6HZ350+oAmAj5rI7vANJ7fQlu2DZ5Ayp69hL/gRJ/1ZNWwnu/cnvrkXemLJBL1t4p4aT6z9KbOwYMGoZVtw+rMV546AhpPLUUMjI7O6El9ss8VVWe+fXIycfaHAeGhcrUOjLM1a6lhRAL0x6/IaKsfbGOHbBsRWTgr9omCMq8sTaStd9rPr0aEt7QlXHxJqmN4+aQFtQQAgsLhS9IlfgvOHF7ICLSAeopth2+aPIvTum4y8KCg7HxZak1oeRROoxC0MFLMWCKJjjIbo07Lo1wzndaNSLscEM7yNe4aYQNoauNSiipOtkCD94yQilwi4KqUfBtf8j/Ru/HescetlBnQFCqfP5/5k0ugl5jPlQwcXsrupgbEx38AN5dvdvWuZVVdUUBh1IeBbPMy/5JXGwbGWcqMtb/uwK9lLJN3uUA+MfQ0TEJzwYiDTLF5BbLPcmwBuYBG1DiKBOuyn5r6i4SwJ0FZJIRdiLnEc4rRsJjLnxV6ISpAJNj9G7iTGO/AmuB0g4l9yq+vobfGol/pqAKT4uN/QmCCcPGt4PMCw1IYK+EFwX1Wl0dB7Aucq8McRrwv+JuIVs5n/8a4ZuDrDx/e/vjzp+BPNQvAJ4WoRkapiABHIivZkBaDVfgTMB+RN/AIaKstwKHx5eQC4hcA0byKyfyhxUNMBkGt2pCVQf6ENjaFIfmmFKqb8ghu3whORDd5gL5EJsq4aPa6evOhfdR7olsT2QkfGhaj9wm+L0yL3LZ5gW7Ll2eI8EQDCLeTTZwW+VZPdwlRF+HroCB8eYH+VGQ5vXB0Z6xeg+E3DVkscgR+NIbO8vVawjhQJIZ61LK/il3b5jBIr8/OmTVhtGt7xb4HygBGpji5dj9xeyOAq3ypVdBV79Zr5k7wgzAN4A8XMEyWbyTEBVvLBdxFnMmiE0B9I+4x1MuNbGAHBcy+bR1WgTLACPNlxdYIvFkKi1EO1bJdK1FHMSwVjxa4MvCHX5S12YQf8CPsGkwQttHKQuoQgdzMy13J/vH933/+0TCLmCggJdkwWQDMRwc4Ws2i72cMFv0L80Dt6+5GNvc5vH+RTb1i4IPZD3979+7jWyYh0duRhhqXiKr8dVeIPQ4coQFt1A8wVtZ+neMG8OmYEREuDcIKm3MK8rmTYHiX1a5EIwLgiT0JMyShCudREBAOJB422Bu+qOCugUczgI7pHBEYgMI/sopGlrRQemyhdFhoQgslRZ0E/26svCpBZYo9dA7LgjB0ajXolUU9McOCDsiGXUUwQiV95J76vA1UXr/3RRldxSGLIDhFBQJ6AmxWtxLxyaqoN4TaO+9ITo/VAHSPrQXq2Al7qW0+DKeO5zRO6gAfIcxYWM46UZ1CkG7YRNGpegMphGkUgWm6/mQNwP6IjI9LAxcnK9amLrN+fYv3AZmfKs+tdPqUc/dzDeiTM/2ARS4QiyNtrfYKXZMCZagyMpxBAmNYbkog4l55ELUnyggJfFN0GyJwa40pDGW4nAGYbkBSmU5b1PTReNWBn5Q5mZILVS5MzYWmdbbgEGW/bvCiRrFKyyx4UUCxhhIDbo6mYXnLfkEHIgvwJ33yb79aaUE4Px4MGkETLGFBg9OxJ3Ww+9oP8ebr5R6Y4LXyDThCEYwKMsTylTaKFiCDzCzsA/ZwkATQ39PKHpV2sCs4qGoTKATkfqAf8oThEKnBHkkUkOC50YnvQ95snu7Mk0ppARgMGqpmGWMFVRgjQgL1dQwRolPoewIxbYW5RAAv58fmgPRsRXEycKcnFgCDc3cKCRuOWRVNAIgAWyfn8KCbrynKBmEIO3I3GHgBdPnKomKkl3YXDe+K/pkdrT7XiUrYVebryH2nCtMO2SgQVTmFSGShUnkf/E6xowweUkEOOcHOJO2MoY4Ga755gr0tvUn2HD99hv80/JmvXqgylalWg8GF4hRXOyE+nDzQ8sKhrPtLvtX2CJm5sknahdHJsQkhSsMexgGSbux13qMQwS4fDUV13xv6rxbdSb3HlfdClEkmGKTl7RJN4wSfbAdJpAXJ3WstAv0JCrAr+khqhPQGOCdmnSuguwNZKutRiMPKCMArTVBJN/ZeQncUOeI7VV2xaHA4OfkchYT1QA37plO/b7RPQCNC6HQbvSyVzGz73LpSElML3o7qGj75k7rIAhURlkblbp3NvsohUUrnSlglcBcn+Hvq+ieb1Z1qWSxO7qjN86D1ZIOd205ug6I5sbD3ueWfwcATC0R76ttIGeZBbvsr5CN3fYfFuMsp4mPkubIWXAlkaJ0hOMZSBv6aL6e4GgkItKB5hHg8WDBf0owIB1WqPfZOk4sLSLcrnT+oHIAgOD06vACYQcgVWaG+FA2oIK4bq7SYL4GLpkmsAcnzpeEpTInSx/lQeGMEj08U6I3qE+W4BQwcCt6gn+rk10HkYbKELowvCVxymB8orjeaPk0Z7rTcFSahIqXuT5bABYNFIacOC/be8xG8yg5S9ycOhG+AM9pQnGPi+C3LIXBquxiCVSLjDUEm1IEHo/5D7Y/4a+9v8/nFMct37CdKKHTeoKoiCETXUrR5Anite2QbhP6OKXmodEEJEVL/ITkgH40goRS3Mu7b9UkH2Ysul8gMkncAebDXYMhdCEU6GnbYzn4qA944vdXdNQTqJyMlBy8BPKgwzQFkA49mhdhkUzwaMcd8RfzwSufRKUJRAD7yIlOplYCPsTw7wkrKE0KWBorwAgwSeMsUqEn4K3HlAK/pyUZI4YnjCL4kfnK1CA5DS2oUDDHNr+SpZs79VLSqK8zdYuQdGjP4b6AatJHYnL02mRLIy7RW69qzwiIqzqWikLqyTjoKcd9Rj/GD515wx70YGnxsgD8QpAfVMg7hmGaFNL8OwA8DlKBzyDXJLg1fbLKXHoH5YR1S0ltyqn1QwHOBQAfBfCkSjYnDHFZYdT0K65Q3Bimm9fYRkYHlu703Bgz8rc3wAivfYNqYJcYQ1uNdBT4MLEcfhw4z/Kaq4qEXHCbgI94e81/fsbcivWEZwIC8SrvBWvphADO7FjnNWhACW++KwngGjCkrKgeQsWS7bZGnVD1oJFYr5IPAKet7dB+wx193MngCEe2pLkj/mIDQlg6lCdoGYqbDpyeteeu8aUenAlN1Fjn1Zt5ijsCJJK2QJQAsyjgJW8VPNPKZO/Q7wlgqK7XxDMIMAKqv36ASXr+Jno+N3CtI9lsko8VMU085bFRxw8XCCdaMov9DPKdoAzwH+zjpMZ1BRPLRyQzSxToLgtITTT18RNodSoKWWjBuKzuIDQIPXXH007Pt7rak+Nk3AqaiBH0L5KubG125JCYjWPmNUfpF4MM4pewGUlRyng6S+TJ3VhcOcEUITBu5l7qv+RMYz9PD0vUvN899yt6qHEBngrR3mKnEEiCd1veL4pFor3eUKTuaWZqjeJB9xAaQRNJ10/vAdqLjZqJC0Is1Vm2wB8fx2wEdq7RXCASShDpagzgQRtIrdiXkCM8VWSUb75bcMEaw6JTHNJsqDyjGo+YV+bjGN0rJKQOPIRvf7jorxOq9JKXH+tWL0v253s0jTMzPzky+1BxhN3Xo+Wp6vUamnq4BTfRcb8ojZS0hB1xaPAIurbex6GL1LYC9jL8Anw0L4x24/yaeILdUt1HDdWWqrkH4NQeohREqWURn4yac5y94DHwrtx3FMjPnOJSly8NpFFQxZV/SFvR9Kvz0peP/nbDjcCSPL/HvMfB9LCx9xUkMhe39iV+JeS+8gaozgmqTRi89V+k0/uKphDeZPROYwDnR/CirfXqmoE4hhx2JOfr88gJG9xFnCDlqyW/EHF3/BHTUD0ASvhlqsNNBtDGT0SH4HwwrExNWhJP8rqhCLDMeXyg4ZF4TeFVBR5MIUefCn6B1KbnsOSgcqUoGyjsmQ81FHQ7rEnAS7p1xR8EDlqYVQv8Ws/ZObpgWfI/gjxyVG11XdzqWU0fdDsDc2gOfiOYV37WqerNUu9p3n6at96GodEOCPujSNOoL5IpwbcP7VBon/UKTEf0894hfzTAunOJ53J2o8PQQLQPG1rsmlX0KwKV/NZUXSTpdJ5eLWXLpzS8vvWnie+IyE4vFxJvML4W4WM9SIRbzK+nPU+F7fgJ0T6/WM4+bDOVLMp/haT4e3brwrHM6PNDFM9QtcHjIgWxzAkGy0K26Sswd9keSnv3rBGMvEZo8q48DPcMHj3mQNR1G25e52EGUPsywMJjsN2Gnw/CyfCXqOAcRZnks6jwfCyzRCyeMJTeyyh6N2uMecQImcpvV91VfLFEFGlNm0eWaodry24obw6HRE8/LbSFLkJ1asVfCWTa7WsxmlzPfm0mRLvzZlbyYJP5VNr9cJIvFLJWX03Qurq4WiVgL/8qfL9KrTKSpmEyuLi5ICTEFA2Y/DtOi/q6zOXTILuZXyXydJP58OptM5SLL5lJcprNLb5Fczi4vsuls6l0u0vn8UoJqymSReqjb2lxQA2PIBZEbyo7oYooqHMeU/xz7YIxdX5zEnzma+7gPsBsvVP66LWI6vemafGvmGt+nBU/W0p1o/PQ83JoEtr5+vyY212p+90mrHhjBSkVe5p3RopC/q4pHRm6RTc1VGvKNzGP3EEuUnsjMBfb9txTtDjtoqA9oj9F01CTxhhv4BnjHBjWQdTXzJ2x0OkFJ52z/FgCELMhnsYRV1Pcqa91t0BXAd5+4zUbKj6T8Y3QdCKZsJB3BN9ta9YEQuK2RVod8Zyp2rShYnXxGEHInmSlqQiKsrhepmdDXQvbf1A95iUl0InGkVHeL9Cr9xSMk49OH73/+hVGxj476M/J+eUUXnkytCk/dgckHVwPuJUxIWoL8q2nfPoMBDDbR5akkVilFGR3n0vZ1Kq9BFS6tsv0GtqP4RjcB6ECFDv0/vqU6oUr5a6liisg+7wASobsB7nb5du82AS6k7wqos75ta8Tcpk2ewCJ0K+tMK68pLVQ1kKEuHGGDkqDr+hNvdsnoSuImB4oAhmgeIONwsV9q9rEGZ5h3jw5Q2zrs3bu/OmwN692c6VEwvqA7q0ktGmB3IfISxVYKxRkdIGn7LTPuynARd49bWOcPg4piPCskVj2JKd2NAM6gUMuamAvaDgTURUYGAabkUvIEoQ67E+ZUgCPcM67IFJL4P7HWgmMbQD6wiWxl7mAMl15wD+R5QFOoNpM8shwBNjGjrRVXM1AWAbF1ZA1ajXaVy3UhShETZ41Yd7/rZhvmlfV9XIkq+ElA9P5NyP7Hd7+85Y7GM4YPe4BKQyjzTbeMg1n/adQYvUwC3jz/DySoAeA=",
  "procedure_sha256": "e21e1552470b8105e8388378f84c56633902658f664d417c01e00a622064e6e4",
  "procedure_format": "base64(zlib(UTF-8 JSON mapping filenames to authored procedure text)); use the pinned harness as dependency"
}