{
 "run": "RUN-004",
 "subject": "Round 03 (v0.3): mirror-symmetric five- and seven-link families on the exact triangle formula",
 "package": {
  "id": "round-v0.3",
  "sha256": "9f4a3644d3e6bd8c089599a96067fe09d08fa5af2f1beb399e97a76df40ca3bc"
 },
 "checks": {
  "Z1": {
   "pass": true,
   "failures": []
  },
  "Z2": {
   "pass": true,
   "failures": []
  },
  "Z3": {
   "pass": true,
   "failures": []
  },
  "Z4": {
   "pass": true,
   "failures": []
  },
  "Z5": {
   "pass": true,
   "failures": []
  },
  "Z6": {
   "pass": false,
   "failures": [
    "the seven-link family holds the reported five-link (gamma = beta, its second side split), at 0.998754371668; its reported optimum 0.998674157956 is below it",
    "best_7link: the family holds the symmetric three-link with equal thirds and turns 82.43547223 deg, at 0.998697791610; its reported optimum 0.998674157956 is below it"
   ]
  },
  "Z7": {
   "pass": true,
   "failures": []
  },
  "Z8": {
   "pass": true,
   "failures": []
  },
  "Z9": {
   "pass": true,
   "failures": []
  }
 },
 "findings": {
  "exact_minima": {
   "baseline_3link": [
    0.9985743747111153,
    2.0943967580644474
   ],
   "best_5link": [
    0.9987543716677156,
    2.0943951023931953
   ],
   "best_7link": [
    0.998674157956281,
    2.0943951023931953
   ]
  },
  "resolution_max_deviation": {
   "baseline_3link": {
    "scale": 4.23805435190161e-12,
    "phase": 1.5774048733874224e-11
   },
   "best_5link": {
    "scale": 5.496048061104375e-12,
    "phase": 2.0452972648854484e-11
   },
   "best_7link": {
    "scale": 4.494515870590021e-12,
    "phase": 1.672662008900261e-11
   }
  },
  "five_link_nudged": {
   "value": 0.9987810749204141,
   "minus_reported": 2.670325263465223e-05
  },
  "axis_phase": {
   "baseline_3link": {
    "phase_minus_2pi_3": 1.655671252098756e-06,
    "scale_at_2pi_3_minus_minimum": 4.448510129151373e-07,
    "endpoint_hypotenuse_gap_at_2pi_3": -1.469701132739143e-06,
    "one_sided_slopes": [
     -0.2686835048892888,
     0.6189924015576054
    ]
   },
   "best_5link": {
    "phase_minus_2pi_3": 0.0,
    "scale_at_2pi_3_minus_minimum": 0.0,
    "endpoint_hypotenuse_gap_at_2pi_3": -2.220446049250313e-16,
    "one_sided_slopes": [
     -0.26870994018768357,
     0.6146666895467945
    ]
   },
   "best_7link": {
    "phase_minus_2pi_3": 0.0,
    "scale_at_2pi_3_minus_minimum": 0.0,
    "endpoint_hypotenuse_gap_at_2pi_3": -5.551115123125783e-17,
    "one_sided_slopes": [
     -0.2686883592284417,
     0.6158789429555611
    ]
   }
  },
  "round_branches": {
   "best_5link": [
    [
     0.9987543716677163,
     0.6666666666666671
    ],
    [
     0.9992386123751706,
     0.05069671882419526
    ],
    [
     0.999301877802296,
     1.5
    ],
    [
     0.9993880666960377,
     0.03776640297040378
    ],
    [
     1.0289466080308434,
     0.5506967188241954
    ]
   ],
   "best_7link": [
    [
     0.9986741579562812,
     0.6666666666666667
    ],
    [
     0.9990388621761225,
     0.04156028589157052
    ],
    [
     0.9992216201008894,
     1.5
    ],
    [
     1.0285411352408116,
     0.5415602858915702
    ],
    [
     1.081027602255493,
     1.666666666666667
    ]
   ]
  },
  "five_in_seven": {
   "value": 0.9987543716677155,
   "reported_seven": 0.9986741579563148
  },
  "equal_thirds_three_link": {
   "alpha_degrees": 82.43547222613194,
   "value": 0.998697791610291,
   "above_s3": 0.00012341689903372366,
   "above_s7": 2.363365397628492e-05,
   "s5_over_it": 5.65800574884312e-05
  },
  "five_link_search": {
   "runs": [
    {
     "start": [
      0.1915275890370537,
      0.1440083662833447,
      83.20204746532765,
      80.87459061164482
     ],
     "parameters": [
      0.19458734298722408,
      0.1414022494857606,
      83.44576640864281,
      80.62808349495816
     ],
     "value": 0.9989030928481484
    },
    {
     "start": [
      0.16666666666666666,
      0.16666666666666666,
      82.43547222613194,
      82.43547222613194
     ],
     "parameters": [
      0.15320296302014516,
      0.18170675461739627,
      83.44185329142051,
      81.39454050664924
     ],
     "value": 0.9988324123387197
    }
   ],
   "best": 0.9989030928481484,
   "best_on_65536_phases": 0.9989030928481484,
   "best_branches": [
    [
     0.9989030928481484,
     0.6666666666666667
    ],
    [
     0.9989030928481506,
     0.03641240884087545
    ],
    [
     0.9989030928602797,
     0.05206620280578799
    ],
    [
     0.9989052013824454,
     1.5
    ],
    [
     1.0291569381094037,
     0.5520662028057883
    ]
   ],
   "best_level_branch_contacts": [
    [
     0.9989030928481484,
     0.6666666666666667,
     [
      [
       3
      ],
      [
       2
      ],
      [
       0,
       5
      ]
     ]
    ],
    [
     0.9989030928481506,
     0.03641240884087545,
     [
      [
       0,
       1
      ],
      [
       0
      ],
      [
       3
      ]
     ]
    ],
    [
     0.9989030928602797,
     0.05206620280578799,
     [
      [
       1,
       2
      ],
      [
       0
      ],
      [
       3
      ]
     ]
    ]
   ],
   "reported": 0.9987543716677795,
   "best_minus_reported": 0.0001487211803689048
  },
  "seven_link_search": {
   "runs": [
    {
     "start": [
      0.123558719183404,
      0.1387194732193499,
      0.07267121156025957,
      83.13833037414815,
      82.51914853951739,
      80.18827110568047
     ],
     "parameters": [
      0.12321287229339581,
      0.1399415196640728,
      0.07184386778661031,
      83.57582460900906,
      82.09983170727583,
      80.62004613464856
     ],
     "value": 0.9988271988253199
    },
    {
     "start": [
      0.19458734298722408,
      0.0707011247428803,
      0.0707011247428803,
      83.44576640864281,
      80.62808349495816,
      80.62808349495816
     ],
     "parameters": [
      0.1937806964772265,
      0.07130612522109388,
      0.07082967144427618,
      83.41900293596272,
      80.79879399039548,
      80.58381085969881
     ],
     "value": 0.9989045341758827
    }
   ],
   "best": 0.9989045341758827,
   "best_on_65536_phases": 0.9989045341758827,
   "best_branches": [
    [
     0.9989045341758827,
     1.5
    ],
    [
     0.9989045341758829,
     0.6666666666666667
    ],
    [
     0.9989045341758904,
     0.05111781116446996
    ],
    [
     0.9989046572474836,
     0.036561094800208936
    ],
    [
     1.0291297183982626,
     0.5511178111644699
    ]
   ],
   "best_level_branch_contacts": [
    [
     0.9989045341758827,
     1.5,
     [
      [
       0,
       7
      ],
      [
       7
      ],
      [
       3
      ]
     ]
    ],
    [
     0.9989045341758829,
     0.6666666666666667,
     [
      [
       4
      ],
      [
       3
      ],
      [
       0,
       7
      ]
     ]
    ],
    [
     0.9989045341758904,
     0.05111781116446996,
     [
      [
       1,
       2
      ],
      [
       0
      ],
      [
       4
      ]
     ]
    ]
   ],
   "reported": 0.9986741579563148,
   "best_minus_reported": 0.000230376219567896
  },
  "baseline_handedness": {
   "orientation_preserving": 0.9985743747111153,
   "mirror": 0.9985737946709091,
   "congruent": 0.9985737946709091
  },
  "entropy_readings": {
   "formula_rows_1/A_1/B_1": 0.9633706498267608,
   "unit_normals_edge_lengths": 0.9651632531847528,
   "formula_rows_undivided_T": 0.9637018693182937,
   "stated": 0.9633706498267606
  },
  "metrics_minimum_minus_refined": {
   "baseline_3link": 0.00013769882514347298,
   "best_5link": 0.00013726831312310672,
   "best_7link": 0.00013725728860181086
  }
 },
 "drill": {
  "plants": 16,
  "plants_caught_by_named_checks": 16,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 146,
  "must_stay_green_held": 146,
  "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-curves-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": [
     "Z1",
     "Z4",
     "Z5",
     "Z7"
    ],
    "tripped": [
     "Z1",
     "Z4",
     "Z5",
     "Z7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-five-scale",
    "kind": "mutation",
    "expected": [
     "Z1",
     "Z3",
     "Z8"
    ],
    "tripped": [
     "Z1",
     "Z3",
     "Z8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-seven-contact",
    "kind": "mutation",
    "expected": [
     "Z2",
     "Z8"
    ],
    "tripped": [
     "Z2",
     "Z8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-seven-gain",
    "kind": "mutation",
    "expected": [
     "Z3"
    ],
    "tripped": [
     "Z3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-metrics-barrier",
    "kind": "mutation",
    "expected": [
     "Z5"
    ],
    "tripped": [
     "Z5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-entropy",
    "kind": "mutation",
    "expected": [
     "Z7",
     "Z8"
    ],
    "tripped": [
     "Z7",
     "Z8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-five-below-three",
    "kind": "mutation",
    "expected": [
     "Z1",
     "Z3",
     "Z6",
     "Z8"
    ],
    "tripped": [
     "Z1",
     "Z3",
     "Z6",
     "Z8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-resolution-count",
    "kind": "mutation",
    "expected": [
     "Z4"
    ],
    "tripped": [
     "Z4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-curve-point",
    "kind": "mutation",
    "expected": [
     "Z1",
     "Z4",
     "Z5",
     "Z9"
    ],
    "tripped": [
     "Z1",
     "Z4",
     "Z5",
     "Z9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-report-angle",
    "kind": "mutation",
    "expected": [
     "Z8"
    ],
    "tripped": [
     "Z8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-readme-digit",
    "kind": "mutation",
    "expected": [
     "Z8"
    ],
    "tripped": [
     "Z8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-method-sign",
    "kind": "mutation",
    "expected": [
     "Z9"
    ],
    "tripped": [
     "Z9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-metrics-grid",
    "kind": "mutation",
    "expected": [
     "Z5"
    ],
    "tripped": [
     "Z5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-formula-term",
    "kind": "mutation",
    "expected": [
     "Z1",
     "Z4",
     "Z5"
    ],
    "tripped": [
     "Z1",
     "Z4",
     "Z5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-five-parameters",
    "kind": "mutation",
    "expected": [
     "Z1",
     "Z6",
     "Z8"
    ],
    "tripped": [
     "Z1",
     "Z6",
     "Z8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-hypotenuse-contact",
    "kind": "mutation",
    "expected": [
     "Z2",
     "Z8"
    ],
    "tripped": [
     "Z2",
     "Z8"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}