  oop_x_only               M=4 -> one_promoted: on 0.0000/1.0000 spread 1.1547e-07 s_ratio 3.157e-10
  oop_x_only               M=5 -> one_promoted: on 0.0000/1.0000 spread 7.5757e-08 s_ratio 8.794e-12
  oop_x_only               M=6 -> one_promoted: on 0.0000/1.0000 spread 2.1378e-08 s_ratio 1.415e-12
  oop_both                 M=4 -> one_promoted: on 0.0000/1.0000 spread 3.9293e-08 s_ratio 2.027e-10
  oop_both                 M=5 -> one_promoted: on 0.0000/1.0000 spread 2.9724e-08 s_ratio 1.338e-12
  oop_both                 M=6 -> one_promoted: on 0.0000/1.0000 spread 1.7712e-08 s_ratio 1.075e-12
  oop_spacer               M=4 -> one_promoted: on 0.0000/1.0000 spread 4.5357e-08 s_ratio 2.851e-11
  oop_spacer               M=5 -> one_promoted: on 0.0000/1.0000 spread 3.0267e-08 s_ratio 3.251e-12
  oop_spacer               M=6 -> one_promoted: on 0.0000/1.0000 spread 2.9559e-08 s_ratio 3.943e-13
  oop_narrow_y_conf        M=4 -> one_promoted: on 0.0000/1.0000 spread 2.2312e-08 s_ratio 1.852e-14
  oop_narrow_y_conf        M=5 -> one_promoted: on 0.0000/1.0000 spread 3.7656e-09 s_ratio 1.618e-15
  oop_narrow_y_conf        M=6 -> one_promoted: on 0.0000/1.0000 spread 2.4126e-09 s_ratio 3.180e-15
  magnetic_x_only          M=4 -> one_promoted: on 0.0000/1.0000 spread 2.8077e-08 s_ratio 1.723e-10
  magnetic_x_only          M=5 -> one_promoted: on 0.0000/1.0000 spread 5.9305e-08 s_ratio 7.001e-12
  magnetic_x_only          M=6 -> one_promoted: on 0.0000/1.0000 spread 6.2610e-08 s_ratio 2.163e-12
  slant_spacer             M=4 -> one_promoted: on 0.0000/1.0000 spread 1.0431e-07 s_ratio 5.705e-10
  slant_spacer             M=5 -> one_promoted: on 0.0000/1.0000 spread 9.1465e-08 s_ratio 2.282e-11
  slant_spacer             M=6 -> one_promoted: on 0.0000/1.0000 spread 1.5344e-07 s_ratio 1.307e-11
  bars_strong_oop          M=4 -> one_promoted: on 0.0000/1.0000 spread 4.5754e-08 s_ratio 2.027e-10
  bars_strong_oop          M=5 -> one_promoted: on 0.0000/1.0000 spread 3.3902e-08 s_ratio 1.347e-12
  bars_strong_oop          M=6 -> one_promoted: on 0.0000/1.0000 spread 3.0302e-08 s_ratio 1.079e-12
  bars_tiny_slant          M=4 -> one_promoted: on 0.0000/1.0000 spread 9.5102e-08 s_ratio 5.753e-10
  bars_tiny_slant          M=5 -> one_promoted: on 0.0000/1.0000 spread 2.7227e-07 s_ratio 2.377e-11
  bars_tiny_slant          M=6 -> one_promoted: on 0.0000/1.0000 spread 2.1267e-07 s_ratio 1.232e-11
  bars_both_promoted       M=4 -> one_promoted: on 0.0000/1.0000 spread 3.9293e-08 s_ratio 2.027e-10; both_promoted: on 0.8617/0.5074 spread 5.8883e-01 s_ratio 2.647e-06
  bars_both_promoted       M=5 -> one_promoted: on 0.0000/1.0000 spread 2.9724e-08 s_ratio 1.338e-12; both_promoted: on 0.8850/0.4655 spread 5.2600e-01 s_ratio 2.415e-07
  bars_both_promoted       M=6 -> one_promoted: on 0.0000/1.0000 spread 1.7712e-08 s_ratio 1.075e-12; both_promoted: on 0.9264/0.3766 spread 4.0653e-01 s_ratio 2.251e-07
  oop_both_sides           M=4 -> neither_promoted: on 0.7451/0.6670 spread 8.9515e-01 s_ratio 1.378e-03
  oop_both_sides           M=5 -> neither_promoted: on 0.6666/0.7454 spread 8.9433e-01 s_ratio 2.076e-05
  oop_both_sides           M=6 -> neither_promoted: on 0.6689/0.7434 spread 8.9981e-01 s_ratio 2.991e-05
  bars_slant_both          M=4 -> neither_promoted: on 0.7363/0.6767 spread 9.1908e-01 s_ratio 1.177e-03
  bars_slant_both          M=5 -> neither_promoted: on 0.4912/0.8711 spread 5.6385e-01 s_ratio 3.394e-05
  bars_slant_both          M=6 -> neither_promoted: on 0.6219/0.7831 spread 7.9414e-01 s_ratio 1.934e-05
  bars_near_inplane_oop    M=4 -> neither_promoted: on 0.5620/0.8272 spread 6.7939e-01 s_ratio 1.120e-03
  bars_near_inplane_oop    M=5 -> neither_promoted: on 0.4773/0.8787 spread 5.4321e-01 s_ratio 1.518e-05
  bars_near_inplane_oop    M=6 -> neither_promoted: on 0.6821/0.7312 spread 9.3285e-01 s_ratio 3.053e-05
  oracle self-gap (deg 12 -> 14) = 1.193027e-06
  M=5 e_ord=1.647715e-01 e_band=7.799080e-02 ratio=0.4733 warn=0/1 (6.4 s)
  M=6 e_ord=9.780604e-03 e_band=1.456122e-02 ratio=1.4888 warn=0/1 (33.2 s)
  M=7 e_ord=2.499662e-03 e_band=7.225423e-03 ratio=2.8906 warn=0/1 (84.6 s)
wrote /mnt/c/tmp/lum_vmortar4/validation/probe_verify_mortar_round4/v2_bars_wsl.json
{
 "both_promoted": {
  "max_on_max": 0.9263762379058831,
  "max_on_min": 0.8617114187518193,
  "n_operands": 3,
  "residual_max": 1.939740700684989e-14,
  "s_ratio_max": 2.6465720393963527e-06,
  "s_ratio_min": 2.2512231169543317e-07,
  "spread_max": 0.5888266989792971,
  "spread_min": 0.406529581085182
 },
 "neither_promoted": {
  "max_on_max": 0.8787233186730038,
  "max_on_min": 0.73123282127332,
  "n_operands": 9,
  "residual_max": 2.0914873387103786e-14,
  "s_ratio_max": 0.0013779172397967133,
  "s_ratio_min": 1.5176422168501399e-05,
  "spread_max": 0.9328464826669354,
  "spread_min": 0.5432101967486049
 },
 "one_promoted": {
  "max_on_max": 1.0000000000000007,
  "max_on_min": 0.999999999999963,
  "n_operands": 27,
  "residual_max": 3.306799490829987e-14,
  "s_ratio_max": 5.753358144609155e-10,
  "s_ratio_min": 1.617889594375007e-15,
  "spread_max": 2.7227291821461394e-07,
  "spread_min": 2.4125629338651054e-09
 }
}
{
 "old_bar_max_on_worst_ctrl": 0.9263762379058831,
 "old_bar_slack_vs_0p95": 0.023623762094116874,
 "s_ctrl_gt_0p1_margin": 4.065295810851819,
 "s_ctrl_over_1e3_s_mixed": 1493.0959118186804,
 "s_ctrl_worst": 0.406529581085182,
 "s_mixed_lt_1e_3_margin_decades": 3.56499555386703,
 "s_mixed_worst": 2.7227291821461394e-07
}
{
 "e_ord_6_over_e_ord_5": 0.059358585367473245,
 "oracle_precondition": {
  "bar": 20.0,
  "gap_between_arms_M6": 0.004780619370896584,
  "ratio": 4007.135114681831,
  "self_gap": 1.1930267470594558e-06
 },
 "precondition_bar": 0.5,
 "precondition_margin": 8.423381334050209,
 "ratio_M5": 0.47332693536801906,
 "ratio_M6": 1.4887856909773913,
 "ratio_bar": 1.15,
 "ratio_margin": 0.4115886394504514,
 "worst_ratio": 0.47332693536801906
}
