{
 "run": "RUN-005",
 "subject": "Round 04 (v0.4.1): the phase-branch ledger and the four-branch equalization of the five-link",
 "package": {
  "id": "round-v0.4.1",
  "sha256": "acc4235cb12e35ef597e353cbfd35c5f054502c463c113ab1d455760bf3b1485"
 },
 "checks": {
  "E1": {
   "pass": true,
   "failures": []
  },
  "E2": {
   "pass": true,
   "failures": []
  },
  "E3": {
   "pass": true,
   "failures": []
  },
  "E4": {
   "pass": true,
   "failures": []
  },
  "E5": {
   "pass": true,
   "failures": []
  },
  "E6": {
   "pass": true,
   "failures": []
  },
  "E7": {
   "pass": false,
   "failures": [
    "B1: the stated row is not this run's derivatives to 1e-06",
    "B2: the stated row is not this run's derivatives to 1e-06",
    "B3: the stated row is not this run's derivatives to 1e-06",
    "B4: the stated row is not this run's derivatives to 1e-06"
   ]
  },
  "E8": {
   "pass": true,
   "failures": []
  },
  "E9": {
   "pass": true,
   "failures": []
  },
  "E10": {
   "pass": true,
   "failures": []
  }
 },
 "findings": {
  "global": [
   0.9989037504763532,
   4.71238898038469
  ],
  "global_phase_minus_3pi_2": 0.0,
  "audit_phase_minus_3pi_2": -1.509903313490213e-14,
  "curve_minus_parameters": 6.938893903907228e-18,
  "minima_max_deviation": {
   "value": 8.559819519859957e-14,
   "phase": 4.936051567483446e-13
  },
  "branch_minima_at_special_phases": {
   "B1": {
    "true_phase": 0.11490985262326897,
    "special_phase": 0.1149098526232668,
    "difference": 2.1649348980190553e-15,
    "stated_phase_difference": 5.512257317263902e-14,
    "true_value": 0.9989037634619297,
    "value_at_special_phase": 0.9989037634619297,
    "one_sided_slopes": [
     -0.33019913714404936,
     0.02380107089194894
    ]
   },
   "B2": {
    "true_phase": 0.16255621907955015,
    "special_phase": 0.16255621907955065,
    "difference": -4.996003610813204e-16,
    "stated_phase_difference": -2.753908212582701e-13,
    "true_value": 0.9989037634632484,
    "value_at_special_phase": 0.9989037634632484,
    "one_sided_slopes": [
     -0.023801070780926636,
     0.23412882799167534
    ]
   },
   "B3": {
    "true_phase": 2.0943951023931957,
    "special_phase": 2.0943951023931953,
    "difference": 4.440892098500626e-16,
    "stated_phase_difference": 1.3988810110276972e-13,
    "true_value": 0.9989037581312663,
    "value_at_special_phase": 0.9989037581312661,
    "one_sided_slopes": [
     -0.2676549402114148,
     0.6128267694416323
    ]
   },
   "B4": {
    "true_phase": 4.71238898038469,
    "special_phase": 4.71238898038469,
    "difference": 0.0,
    "stated_phase_difference": -1.509903313490213e-14,
    "true_value": 0.9989037504763532,
    "value_at_special_phase": 0.9989037504763532,
    "one_sided_slopes": [
     -0.33019917722310055,
     0.4323202175138263
    ]
   }
  },
  "true_branch_spread": 1.298689522588603e-08,
  "tracked_phase_minus_true": [
   1.5238375006276783e-09,
   -1.3535358944771758e-09,
   8.753199498556796e-09,
   3.011447713419102e-08
  ],
  "tracked_minus_true": {
   "after": [
    3.626987599147924e-11,
    3.221634070627033e-11,
    5.364199529012126e-09,
    1.301911201068151e-08
   ],
   "before": [
    2.5811242032602877e-11,
    6.17624840160147e-11,
    4.6437630407680786e-09,
    1.2809110216949193e-08
   ]
  },
  "resolution_rows": {
   "2048": {
    "contains_3pi_2_under_2pi_k_over_n": true,
    "grid_minimum": 0.9989037504763532,
    "argmin_k": 1536,
    "three_quarters_n": 1536,
    "stated_minus_least": 3.9968028886505635e-15
   },
   "4096": {
    "contains_3pi_2_under_2pi_k_over_n": true,
    "grid_minimum": 0.9989037504763532,
    "argmin_k": 3072,
    "three_quarters_n": 3072,
    "stated_minus_least": 2.6645352591003757e-15
   },
   "8192": {
    "contains_3pi_2_under_2pi_k_over_n": true,
    "grid_minimum": 0.9989037504763532,
    "argmin_k": 6144,
    "three_quarters_n": 6144,
    "stated_minus_least": 5.995204332975845e-15
   },
   "16384": {
    "contains_3pi_2_under_2pi_k_over_n": true,
    "grid_minimum": 0.9989037504763532,
    "argmin_k": 12288,
    "three_quarters_n": 12288,
    "stated_minus_least": 3.9968028886505635e-15
   },
   "32768": {
    "contains_3pi_2_under_2pi_k_over_n": true,
    "grid_minimum": 0.9989037504763532,
    "argmin_k": 24576,
    "three_quarters_n": 24576,
    "stated_minus_least": 4.884981308350689e-15
   },
   "65536": {
    "contains_3pi_2_under_2pi_k_over_n": true,
    "grid_minimum": 0.9989037504763532,
    "argmin_k": 49152,
    "three_quarters_n": 49152,
    "stated_minus_least": 5.10702591327572e-15
   }
  },
  "resolution_stated_column_scatter": 3.3306690738754696e-15,
  "sensitivity_this_run": [
   [
    -2.808826435773959,
    -2.7232545912192485,
    -0.27434710503371207,
    -0.02380157054782117
   ],
   [
    -2.8852696198899963,
    -2.8840759939696703,
    -0.24386373626006375,
    -0.009734408557005025
   ],
   [
    0.26794837848509445,
    0.25408958553851946,
    0.09506952552973402,
    0.046867868086497566
   ],
   [
    -0.173242023671083,
    -0.135617244267916,
    -0.2676554684555299,
    -0.16244604916781924
   ]
  ],
  "sensitivity_step_stability": 3.6637359812630166e-09,
  "sensitivity_closed_form_vs_true_minima": 1.4988010832439613e-09,
  "sensitivity_row_max_difference": {
   "B1": 2.275790667027877e-05,
   "B2": 2.395433851276607e-05,
   "B3": 0.00013206796767306628,
   "B4": 0.0001548852712751625
  },
  "pressure_this_run": {
   "weights": [
    0.028018903189424342,
    0.028713125779677533,
    0.7365477681805613,
    0.20672020285033677
   ],
   "residual_norm": 8.308191705227182e-06,
   "max_weight_difference": 0.00028775805521033537,
   "stated_weights_on_this_G": 0.00019894528282557924
  },
  "exact_phase_equalization": {
   "slsqp_status": 8,
   "slsqp_message": "Positive directional derivative for linesearch",
   "eta": [
    0.19431311717532038,
    0.14159307841073046,
    1.4082767269127132,
    0.04759060098538986
   ],
   "alpha_degrees": 83.41505341955005,
   "beta_degrees": 80.68831283859606,
   "l3": 0.32818760882789827,
   "eta_distance_from_round": 6.770064841886886e-05,
   "branch_values": [
    0.9989037571325082,
    0.9989037571325078,
    0.9989037571325089,
    0.9989037571325086
   ],
   "spread": 1.1102230246251565e-15,
   "least_scale_3600": [
    0.9989037571325078,
    0.16251959988218312
   ],
   "least_scale_65536": 0.9989037571325079,
   "above_round": 6.6561495204453536e-09,
   "branches_8192": [
    [
     0.9989037571325077,
     0.05173159534113281
    ],
    [
     0.9989037571325086,
     0.03658303655805792
    ],
    [
     0.9989037571325086,
     1.5
    ],
    [
     0.998903757132509,
     0.6666666666666667
    ],
    [
     1.0290489565941603,
     0.5517315953411331
    ],
    [
     1.0300922946837232,
     0.5365830365580874
    ]
   ],
   "gradient_singular_values": [
    5.68134349459024,
    0.31408978844937147,
    0.040737113068501994,
    2.7469913592309978e-11
   ],
   "least_norm_multiplier": [
    0.027980235764473067,
    0.028749269897980354,
    0.7365401051742111,
    0.20673038916333558
   ],
   "multiplier_residual": 6.460699137991349e-08,
   "null_direction_change_at_1e-4": [
    -2.0408605916344413e-09,
    -2.0407701084579344e-09
   ],
   "random_directions_best_change_at_1e-5": -1.8495878972846214e-07,
   "restarts_from_1e-3_minus_value": [
    3.3306690738754696e-16,
    -6.661338147750939e-16,
    -6.661338147750939e-16
   ],
   "round_v05_event_scale": 0.998903757132509,
   "round_v05_minus_this": 1.2212453270876722e-15
  },
  "run004_seven_link": {
   "value": 0.9989045341758827,
   "above_round": 7.836995243870604e-07,
   "above_this_run": 7.77043374866615e-07
  }
 },
 "drill": {
  "plants": 17,
  "plants_caught_by_named_checks": 17,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 166,
  "must_stay_green_held": 166,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-report-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-curve-copied",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-readme-trailing-spaces",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-triangle-leg",
    "kind": "mutation",
    "expected": [
     "E2",
     "E3",
     "E4",
     "E5",
     "E7"
    ],
    "tripped": [
     "E2",
     "E3",
     "E4",
     "E5",
     "E7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-global-scale",
    "kind": "mutation",
    "expected": [
     "E10",
     "E2",
     "E6"
    ],
    "tripped": [
     "E10",
     "E2",
     "E6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-tracked-value",
    "kind": "mutation",
    "expected": [
     "E10",
     "E5",
     "E6"
    ],
    "tripped": [
     "E10",
     "E5",
     "E6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-minimum-phase",
    "kind": "mutation",
    "expected": [
     "E3"
    ],
    "tripped": [
     "E3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-resolution-count",
    "kind": "mutation",
    "expected": [
     "E4"
    ],
    "tripped": [
     "E4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-sensitivity-entry",
    "kind": "mutation",
    "expected": [
     "E10",
     "E7",
     "E8"
    ],
    "tripped": [
     "E10",
     "E7",
     "E8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-pressure-weight",
    "kind": "mutation",
    "expected": [
     "E10",
     "E8"
    ],
    "tripped": [
     "E10",
     "E8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-contact-ledger",
    "kind": "mutation",
    "expected": [
     "E10",
     "E9"
    ],
    "tripped": [
     "E10",
     "E9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-after-angle",
    "kind": "mutation",
    "expected": [
     "E1",
     "E10"
    ],
    "tripped": [
     "E1",
     "E10"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-before-length",
    "kind": "mutation",
    "expected": [
     "E1",
     "E10",
     "E2",
     "E5"
    ],
    "tripped": [
     "E1",
     "E10",
     "E2",
     "E5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-improvement",
    "kind": "mutation",
    "expected": [
     "E10",
     "E6"
    ],
    "tripped": [
     "E10",
     "E6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-curve-point",
    "kind": "mutation",
    "expected": [
     "E1",
     "E2",
     "E3",
     "E4"
    ],
    "tripped": [
     "E1",
     "E2",
     "E3",
     "E4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-report-digit",
    "kind": "mutation",
    "expected": [
     "E10"
    ],
    "tripped": [
     "E10"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-readme-digit",
    "kind": "mutation",
    "expected": [
     "E10",
     "E6"
    ],
    "tripped": [
     "E10",
     "E6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-audit-phase",
    "kind": "mutation",
    "expected": [
     "E10"
    ],
    "tripped": [
     "E10"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-method-inequality",
    "kind": "mutation",
    "expected": [
     "E10"
    ],
    "tripped": [
     "E10"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-formula-term",
    "kind": "mutation",
    "expected": [
     "E2",
     "E3",
     "E4",
     "E5",
     "E7",
     "E8",
     "E9"
    ],
    "tripped": [
     "E2",
     "E3",
     "E4",
     "E5",
     "E7",
     "E8",
     "E9"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}