{ "law": { "assay": "B17-EXEC-PRICE-DEMO", "grades": [ 1, 2 ], "steps": 2000, "seeds": [ 0, 1 ], "arms": [ "A", "B", "C" ], "budget": 1.5, "dual_lr": 0.01, "lam_pin": 32.0, "lr": 0.001, "beta_a": 4.0, "eps": 0.05, "boot": { "law": "v4-balanced-coupled-mirror", "rate": 96.0, "anchor": 0.95, "eps": 0.05, "mirror_eta": 0.25, "weight": 0.09090909090909091, "handoff_every": 16, "handoff_greens": 4, "gap_bits": 162, "events_domain": "TRIDENT-G1-BOOT-v4-EVENTS", "tie_domain": "TRIDENT-G1-BOOT-v4-TIE", "law_digest": "5bd83455ea0c743bef787ef71fd3f1c2fb7038932bdfb695cffe5a188ee8a18b" }, "reduced_law": "stationary FE(beta_A) + SHARED v4 boot (pre-handoff only; panel = demo's depth<=2 support) + charge; no curriculum/stratified credit/ST sampling", "gate": { "g1_ppp_declared": true, "smoke": false }, "charge": "lambda * E_q[|w|], q = model's own mixed posterior at beta_A (differentiable; label-free)" }, "runs": [ { "arm": "A", "seed": 0, "lam_final": 0.0, "e_qw_final": 1.5, "handoff_step": 111, "final": { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1999, "lam": 0.0, "e_qw": 1.5, "loss_bits": 5.46, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.11 }, "history": [ { "exact_g1": 0.0, "exact_g2": 0.0, "rho_len_grade": 1.0, "step": 0, "lam": 0.0, "e_qw": 0.9118, "loss_bits": 1030.22, "handoff_step": null, "boot_greens": 0, "s_per_step": 4.779 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 200, "lam": 0.0, "e_qw": 1.5, "loss_bits": 5.45, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.15 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 400, "lam": 0.0, "e_qw": 1.5, "loss_bits": 3.02, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.129 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 600, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.96, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.123 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 800, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.94, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.119 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1000, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.92, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.116 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1200, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.9, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.115 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1400, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.89, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.112 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1600, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.88, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.111 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1800, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.88, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.11 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1999, "lam": 0.0, "e_qw": 1.5, "loss_bits": 5.46, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.11 } ], "wall_s": 219.4 }, { "arm": "B", "seed": 0, "lam_final": 0.005, "e_qw_final": 1.5, "handoff_step": 111, "final": { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1999, "lam": 0.005, "e_qw": 1.5, "loss_bits": 5.46, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.109 }, "history": [ { "exact_g1": 0.0, "exact_g2": 0.0, "rho_len_grade": 1.0, "step": 0, "lam": 0.0, "e_qw": 0.9118, "loss_bits": 1030.22, "handoff_step": null, "boot_greens": 0, "s_per_step": 4.805 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 200, "lam": 0.0, "e_qw": 1.5, "loss_bits": 5.46, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.154 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 400, "lam": 0.0, "e_qw": 1.5, "loss_bits": 3.03, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.13 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 600, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.97, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.121 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 800, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.94, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.117 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1000, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.92, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.114 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1200, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.91, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.112 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1400, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.9, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.111 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1600, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.89, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.11 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1800, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.88, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.109 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1999, "lam": 0.005, "e_qw": 1.5, "loss_bits": 5.46, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.109 } ], "wall_s": 218.2 }, { "arm": "C", "seed": 0, "lam_final": 32.0, "e_qw_final": 1.4879213505983353, "handoff_step": 991, "final": { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1999, "lam": 32.0, "e_qw": 1.4879, "loss_bits": 69.45, "handoff_step": 991, "boot_greens": 4, "s_per_step": 0.123 }, "history": [ { "exact_g1": 0.0, "exact_g2": 0.0, "rho_len_grade": 1.0, "step": 0, "lam": 32.0, "e_qw": 0.9118, "loss_bits": 1059.4, "handoff_step": null, "boot_greens": 0, "s_per_step": 4.013 }, { "exact_g1": 0.001953125, "exact_g2": 0.0, "rho_len_grade": 1.0, "step": 200, "lam": 32.0, "e_qw": 0.1747, "loss_bits": 416.8, "handoff_step": null, "boot_greens": 0, "s_per_step": 0.161 }, { "exact_g1": 0.0, "exact_g2": 0.0, "rho_len_grade": 1.0, "step": 400, "lam": 32.0, "e_qw": 0.3789, "loss_bits": 298.23, "handoff_step": null, "boot_greens": 0, "s_per_step": 0.151 }, { "exact_g1": 0.0, "exact_g2": 0.0, "rho_len_grade": 1.0, "step": 600, "lam": 32.0, "e_qw": 0.46, "loss_bits": 179.85, "handoff_step": null, "boot_greens": 0, "s_per_step": 0.148 }, { "exact_g1": 0.4765625, "exact_g2": 0.056640625, "rho_len_grade": 1.0, "step": 800, "lam": 32.0, "e_qw": 0.63, "loss_bits": 66.6, "handoff_step": null, "boot_greens": 0, "s_per_step": 0.148 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1000, "lam": 32.0, "e_qw": 1.1702, "loss_bits": 35.05, "handoff_step": 991, "boot_greens": 4, "s_per_step": 0.147 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1200, "lam": 32.0, "e_qw": 1.4963, "loss_bits": 34.89, "handoff_step": 991, "boot_greens": 4, "s_per_step": 0.138 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1400, "lam": 32.0, "e_qw": 1.4902, "loss_bits": 33.39, "handoff_step": 991, "boot_greens": 4, "s_per_step": 0.132 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1600, "lam": 32.0, "e_qw": 1.4882, "loss_bits": 34.86, "handoff_step": 991, "boot_greens": 4, "s_per_step": 0.128 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1800, "lam": 32.0, "e_qw": 1.4891, "loss_bits": 33.27, "handoff_step": 991, "boot_greens": 4, "s_per_step": 0.125 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1999, "lam": 32.0, "e_qw": 1.4879, "loss_bits": 69.45, "handoff_step": 991, "boot_greens": 4, "s_per_step": 0.123 } ], "wall_s": 245.4 }, { "arm": "A", "seed": 1, "lam_final": 0.0, "e_qw_final": 1.5, "handoff_step": 111, "final": { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1999, "lam": 0.0, "e_qw": 1.5, "loss_bits": 5.46, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.109 }, "history": [ { "exact_g1": 0.0, "exact_g2": 0.0, "rho_len_grade": 1.0, "step": 0, "lam": 0.0, "e_qw": 1.2759, "loss_bits": 1031.34, "handoff_step": null, "boot_greens": 0, "s_per_step": 4.694 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 200, "lam": 0.0, "e_qw": 1.5, "loss_bits": 8.65, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.147 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 400, "lam": 0.0, "e_qw": 1.5, "loss_bits": 3.02, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.126 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 600, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.96, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.12 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 800, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.93, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.116 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1000, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.91, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.115 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1200, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.9, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.114 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1400, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.89, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.112 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1600, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.88, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.111 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1800, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.88, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.11 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1999, "lam": 0.0, "e_qw": 1.5, "loss_bits": 5.46, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.109 } ], "wall_s": 217.6 }, { "arm": "B", "seed": 1, "lam_final": 0.005, "e_qw_final": 1.5, "handoff_step": 111, "final": { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1999, "lam": 0.005, "e_qw": 1.5, "loss_bits": 5.46, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.107 }, "history": [ { "exact_g1": 0.0, "exact_g2": 0.0, "rho_len_grade": 1.0, "step": 0, "lam": 0.0, "e_qw": 1.2759, "loss_bits": 1031.34, "handoff_step": null, "boot_greens": 0, "s_per_step": 5.19 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 200, "lam": 0.0, "e_qw": 1.5, "loss_bits": 8.65, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.152 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 400, "lam": 0.0, "e_qw": 1.5, "loss_bits": 3.03, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.128 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 600, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.97, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.117 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 800, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.94, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.113 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1000, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.92, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.111 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1200, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.91, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.11 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1400, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.89, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.109 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1600, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.89, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.109 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1800, "lam": 0.0, "e_qw": 1.5, "loss_bits": 2.88, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.108 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1999, "lam": 0.005, "e_qw": 1.5, "loss_bits": 5.46, "handoff_step": 111, "boot_greens": 4, "s_per_step": 0.107 } ], "wall_s": 213.3 }, { "arm": "C", "seed": 1, "lam_final": 32.0, "e_qw_final": 1.4907989412546159, "handoff_step": null, "final": { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1999, "lam": 32.0, "e_qw": 1.4908, "loss_bits": 69.45, "handoff_step": null, "boot_greens": 0, "s_per_step": 0.145 }, "history": [ { "exact_g1": 0.0, "exact_g2": 0.0, "rho_len_grade": 1.0, "step": 0, "lam": 32.0, "e_qw": 1.2759, "loss_bits": 1072.17, "handoff_step": null, "boot_greens": 0, "s_per_step": 4.003 }, { "exact_g1": 0.0234375, "exact_g2": 0.001953125, "rho_len_grade": 1.0, "step": 200, "lam": 32.0, "e_qw": 0.5143, "loss_bits": 469.16, "handoff_step": null, "boot_greens": 0, "s_per_step": 0.154 }, { "exact_g1": 0.015625, "exact_g2": 0.0, "rho_len_grade": 1.0, "step": 400, "lam": 32.0, "e_qw": 1.0309, "loss_bits": 97.0, "handoff_step": null, "boot_greens": 0, "s_per_step": 0.149 }, { "exact_g1": 0.04296875, "exact_g2": 0.0, "rho_len_grade": 1.0, "step": 600, "lam": 32.0, "e_qw": 1.14, "loss_bits": 255.83, "handoff_step": null, "boot_greens": 0, "s_per_step": 0.15 }, { "exact_g1": 0.01171875, "exact_g2": 0.0, "rho_len_grade": 1.0, "step": 800, "lam": 32.0, "e_qw": 1.17, "loss_bits": 251.18, "handoff_step": null, "boot_greens": 0, "s_per_step": 0.151 }, { "exact_g1": 0.818359375, "exact_g2": 0.705078125, "rho_len_grade": 1.0, "step": 1000, "lam": 32.0, "e_qw": 1.1529, "loss_bits": 47.72, "handoff_step": null, "boot_greens": 0, "s_per_step": 0.149 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1200, "lam": 32.0, "e_qw": 1.4585, "loss_bits": 34.9, "handoff_step": null, "boot_greens": 0, "s_per_step": 0.147 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1400, "lam": 32.0, "e_qw": 1.4901, "loss_bits": 34.87, "handoff_step": null, "boot_greens": 0, "s_per_step": 0.146 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1600, "lam": 32.0, "e_qw": 1.488, "loss_bits": 33.35, "handoff_step": null, "boot_greens": 0, "s_per_step": 0.146 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1800, "lam": 32.0, "e_qw": 1.4904, "loss_bits": 33.34, "handoff_step": null, "boot_greens": 0, "s_per_step": 0.145 }, { "exact_g1": 1.0, "exact_g2": 1.0, "rho_len_grade": 1.0, "step": 1999, "lam": 32.0, "e_qw": 1.4908, "loss_bits": 69.45, "handoff_step": null, "boot_greens": 0, "s_per_step": 0.145 } ], "wall_s": 290.0 } ], "result": { "verdict": "CLOSURE-DESCRIPTION-SUFFICES", "closure_form": true, "exec_price_form": false, "table": { "A-s0": { "exact_g1": 1.0, "exact_g2": 1.0, "rho": 1.0, "e_qw": 1.5, "lam": 0.0 }, "A-s1": { "exact_g1": 1.0, "exact_g2": 1.0, "rho": 1.0, "e_qw": 1.5, "lam": 0.0 }, "B-s0": { "exact_g1": 1.0, "exact_g2": 1.0, "rho": 1.0, "e_qw": 1.5, "lam": 0.005 }, "B-s1": { "exact_g1": 1.0, "exact_g2": 1.0, "rho": 1.0, "e_qw": 1.5, "lam": 0.005 }, "C-s0": { "exact_g1": 1.0, "exact_g2": 1.0, "rho": 1.0, "e_qw": 1.4879, "lam": 32.0 }, "C-s1": { "exact_g1": 1.0, "exact_g2": 1.0, "rho": 1.0, "e_qw": 1.4908, "lam": 32.0 } } } }