{
 "run": "RUN-015",
 "subject": "Round 14 (v0.14): double-peak curvature, chirality breaking and the single peak's local stability",
 "package": {
  "id": "round-v0.14",
  "sha256": "8f39ba0d03645d0a02b2631d12b09242d3d2327d46b155b9725d65b76bfcfe27"
 },
 "checks": {
  "Y1": {
   "pass": true,
   "failures": []
  },
  "Y2": {
   "pass": false,
   "failures": [
    "the double-minus-single difference is the evaluator's, not the curves'"
   ]
  },
  "Y3": {
   "pass": false,
   "failures": [
    "at the larger separations the profile's low phases are the ends of a search interval, not stationary points"
   ]
  },
  "Y4": {
   "pass": false,
   "failures": [
    "the Lagrangian has positive curvature in the splitting direction: the single peak is not a local maximum against splitting"
   ]
  },
  "Y5": {
   "pass": false,
   "failures": [
    "the eta_center fit is not the shipped profile's fit in its window",
    "the congruent scale has a corner at zero in both modes; a quadratic coefficient does not describe it"
   ]
  },
  "Y6": {
   "pass": false,
   "failures": [
    "the listed minima are phase samples, not the curve's minima"
   ]
  },
  "Y7": {
   "pass": true,
   "failures": []
  },
  "Y8": {
   "pass": true,
   "failures": []
  }
 },
 "findings": {
  "curve_files_largest_difference": {
   "base": 1.0269562977782698e-15,
   "double_peak": 2.0261570199409107e-15
  },
  "search_exact": {
   "values": [
    "0.9989143567269826",
    "0.9989143562161219",
    "0.9989143424377674",
    "0.9989143424543414"
   ],
   "least": "0.9989143424377674",
   "phases": [
    "0.154869436301",
    "0.123899232818"
   ]
  },
  "search_stated_minus_exact": [
   "-1.22e-8",
   "-1.32e-8",
   "6.05e-10",
   "5.89e-10"
  ],
  "high_resolution_stated_minus_exact": [
   "-2.09e-10",
   "-2.17e-10",
   "3.35e-15",
   "2.87e-15"
  ],
  "high_resolution_base_minus_exact": "-2.05e-10",
  "double_minus_single_exact": "-8.59718e-10",
  "profile_stated_minus_exact": [
   {
    "d": 0.0,
    "stated_minus_exact": [
     "-2.1e-9",
     "-2.14e-9",
     "-5.11e-16",
     "-1.4e-16"
    ]
   },
   {
    "d": 0.002,
    "stated_minus_exact": [
     "-2.18e-9",
     "-1.95e-9",
     "-7.49e-17",
     "3.89e-16"
    ]
   },
   {
    "d": 0.004,
    "stated_minus_exact": [
     "-1.79e-9",
     "-2.17e-9",
     "2.03e-16",
     "5.25e-16"
    ]
   },
   {
    "d": 0.006,
    "stated_minus_exact": [
     "-1.75e-9",
     "-2.17e-9",
     "1.66e-15",
     "2.67e-15"
    ]
   },
   {
    "d": 0.008,
    "stated_minus_exact": [
     "-2.22e-9",
     "-2.11e-9",
     "-1.22e-15",
     "1.11e-15"
    ]
   },
   {
    "d": 0.01,
    "stated_minus_exact": [
     "-2.16e-9",
     "-2.25e-9",
     "-4.79e-16",
     "2.79e-15"
    ]
   },
   {
    "d": 0.024,
    "stated_minus_exact": [
     "-2.66e-9",
     "-2.7e-9",
     "-4.94e-15",
     "1.51e-14"
    ]
   }
  ],
  "profile_merged_low_minimum": [
   {
    "d": 0.028,
    "low_stationary": [
     [
      "0.1408510374",
      "minimum"
     ]
    ],
    "least_low": "0.9988823590761",
    "stated_scale": 0.9988823624285711,
    "derivative_at_stated_phases": [
     "6.944e-5",
     "-6.919e-6"
    ]
   },
   {
    "d": 0.04,
    "low_stationary": [
     [
      "0.1393936511",
      "minimum"
     ]
    ],
    "least_low": "0.9988420155059",
    "stated_scale": 0.9988424470052324,
    "derivative_at_stated_phases": [
     "0.0008914",
     "-0.0003629"
    ]
   }
  ],
  "splitting_branches": [
   {
    "m_dd": "-0.067619087",
    "m_dr": "-0.0035249733",
    "m_rr": "-0.00046073642"
   },
   {
    "m_dd": "-0.067561068",
    "m_dr": "0.0035267693",
    "m_rr": "-0.00046039891"
   },
   {
    "m_dd": "0.0042855504",
    "m_dr": "-2.8805322e-7",
    "m_rr": "2.4927554e-5"
   },
   {
    "m_dd": "0.0040120149",
    "m_dr": "7.7704133e-7",
    "m_rr": "2.3336996e-5"
   }
  ],
  "splitting_lagrangian": [
   [
    "0.00015866533",
    "4.2398451e-7"
   ],
   [
    "4.2398451e-7",
    "-2.8948429e-6"
   ]
  ],
  "splitting_eigenvalues": [
   "-2.8959556e-6",
   "0.00015866644"
  ],
  "splitting_reproduces_solution": "3.75e-41",
  "splitting_stated_curve_low_m_dd": [
   "-0.067618849",
   "-0.067560831"
  ],
  "chirality_gradients": {
   "centre": [
    "-0.0067274314",
    "-0.025109332",
    "-0.0020010347",
    "0.017605907"
   ],
   "width": [
    "-0.00028646256",
    "-0.00028622655",
    "-6.829198e-6",
    "-3.2671003e-6"
   ]
  },
  "chirality_cusp_phase_rates": {
   "centre": [
    "-0.01161",
    "-0.01161"
   ],
   "width": [
    "-3.962e-5",
    "-3.962e-5"
   ]
  },
  "width_mode_one_handedness_rise": {
   "eta_logwidth": -0.45,
   "plus_scale_minus_zero": 3.2282362306679246e-06
  },
  "chirality_singular_values": [
   "0.031461",
   "0.00028445"
  ],
  "congruent_one_sided_slope": {
   "centre": "-0.0251093",
   "width": "-0.000286463"
  },
  "centre_profile_near_zero": [
   [
    -0.003999999999999997,
    -0.00010588163265357053
   ],
   [
    -0.0019999999999999983,
    -5.181767517759006e-05
   ],
   [
    0.0,
    0.0
   ],
   [
    0.0020000000000000018,
    -5.181767517836722e-05
   ],
   [
    0.0040000000000000036,
    -0.000105881632655902
   ]
  ],
  "width_profile_near_zero": [
   [
    -0.06,
    -1.9061742998038866e-05
   ],
   [
    -0.02999999999999997,
    -9.049949836859028e-06
   ],
   [
    0.0,
    0.0
   ],
   [
    0.030000000000000027,
    -9.049949837858229e-06
   ],
   [
    0.06,
    -1.9061742998482956e-05
   ]
  ],
  "mode_fits_from_shipped_profiles": {
   "centre": {
    "points": 13,
    "refit": [
     11048.05,
     -3.6254898,
     -3.5253465e-05
    ],
    "stated": [
     11601.484525120146,
     -3.6749299399710966,
     -3.4781201700386094e-05
    ]
   },
   "width": {
    "points": 13,
    "refit": [
     0.035347433,
     -0.0030929038,
     -5.8437809e-06
    ],
    "stated": [
     0.03534743329383278,
     -0.0030929038488534057,
     -5.843780899825316e-06
    ]
   }
  },
  "base_minima_against_exact": [
   {
    "phase": 4.71238898038469,
    "minus_minimum_phase": "1.42e-16",
    "minus_minimum_scale": "-1.4e-16",
    "minus_s_at_phase": "-2.02e-16"
   },
   {
    "phase": 0.12386894862176552,
    "minus_minimum_phase": "-3.39e-5",
    "minus_minimum_scale": "1.98e-10",
    "minus_s_at_phase": "-2.54e-14"
   },
   {
    "phase": 0.15493205957644976,
    "minus_minimum_phase": "6.61e-5",
    "minus_minimum_scale": "7.23e-10",
    "minus_s_at_phase": "-3.45e-11"
   },
   {
    "phase": 2.094267270660872,
    "minus_minimum_phase": "-0.000128",
    "minus_minimum_scale": "3.42e-5",
    "minus_s_at_phase": "-2.38e-16"
   },
   {
    "phase": 1.7360827566895745,
    "minus_minimum_phase": "-7.35e-5",
    "minus_minimum_scale": "3.65e-7",
    "minus_s_at_phase": "-1.64e-12"
   },
   {
    "phase": 5.235859924250665,
    "minus_minimum_phase": "-0.000128",
    "minus_minimum_scale": "1.59e-5",
    "minus_s_at_phase": "-2.85e-16"
   },
   {
    "phase": 3.0282698228847416,
    "minus_minimum_phase": "5.73e-5",
    "minus_minimum_scale": "9.92e-6",
    "minus_s_at_phase": "-8.42e-17"
   },
   {
    "phase": 3.778961670956277,
    "minus_minimum_phase": "3.95e-7",
    "minus_minimum_scale": "-3.97e-12",
    "minus_s_at_phase": "-6.5e-12"
   }
  ],
  "round13_other_minima_against_list": [
   {
    "round13": [
     1.73608,
     1.029349885
    ],
    "list": [
     1.7360827566895745,
     1.029349885036084
    ]
   },
   {
    "round13": [
     3.02827,
     1.0998191738
    ],
    "list": [
     3.0282698228847416,
     1.099819173826773
    ]
   },
   {
    "round13": [
     3.77896,
     1.1275893354
    ],
    "list": [
     3.778961670956277,
     1.1275893353743485
    ]
   },
   {
    "round13": [
     5.23599,
     1.0814431618
    ],
    "list": [
     5.235859924250665,
     1.0814431618400615
    ]
   }
  ],
  "split_solutions": [
   {
    "d": "0.004",
    "steps": 7,
    "residual": "2.08e-29",
    "scale_minus_single_solution": "1.2790014e-9",
    "parameters": [
     "0.33610429234972222797",
     "1.4054085364994633181",
     "0.052007066217654063903",
     "0.58016456794304230379",
     "0.036726212382076838462"
    ],
    "pressures": [
     "0.028254133",
     "0.028373919",
     "0.73604313",
     "0.20732882"
    ]
   },
   {
    "d": "0.008",
    "steps": 9,
    "residual": "3.43e-29",
    "scale_minus_single_solution": "5.2351744e-9",
    "parameters": [
     "0.33610431434738808352",
     "1.4054111223066381063",
     "0.05200261136295700284",
     "0.5801640529160035851",
     "0.036431235637948710406"
    ],
    "pressures": [
     "0.028254879",
     "0.028373177",
     "0.73604307",
     "0.20732888"
    ]
   },
   {
    "d": "0.016",
    "steps": 11,
    "residual": "6.86e-30",
    "scale_minus_single_solution": "2.3050689e-8",
    "parameters": [
     "0.33610438488600611529",
     "1.405422800680840589",
     "0.051982560604380035612",
     "0.58016158261579241168",
     "0.035195718090598704589"
    ],
    "pressures": [
     "0.028258258",
     "0.028369832",
     "0.73604286",
     "0.20732905"
    ]
   },
   {
    "d": "0.03",
    "steps": 14,
    "residual": "2.0e-28",
    "scale_minus_single_solution": "1.1941752e-7",
    "parameters": [
     "0.33610401484803771722",
     "1.4054885953303590198",
     "0.051871430883468509102",
     "0.58014382086765280401",
     "0.030113464203411871742"
    ],
    "pressures": [
     "0.028277373",
     "0.028351489",
     "0.73604354",
     "0.2073276"
    ]
   }
  ],
  "certificate": {
   "target": "0.99891446256505430307",
   "wing_steps": 262144,
   "interval_digits": 30,
   "premise_beta_above_pi_6_alpha_below_pi_2": true,
   "largest_box": [
    5.5655706810573845e-11,
    1.8551902270191286e-11
   ],
   "s270_at_least": "0.998914462688399954",
   "s270_at_most": "0.998914462741708652",
   "neighbourhood_half_width": 0.05,
   "derivative_signs": {
    "left_of_3pi_2": true,
    "right_of_3pi_2": true,
    "left_of_2pi_3": true,
    "right_of_2pi_3": true
   },
   "s_2pi_3_corners_at_least": [
    "0.998914462695541965",
    "0.998914462695541965"
   ],
   "lipschitz_at_most": "1.33056957",
   "phase_intervals": 1595,
   "intervals_refused_and_split": 0,
   "pieces_tiled": true,
   "elsewhere_at_least": "0.998914462589249482",
   "elsewhere_worst_midpoint": 0.15517169705321282,
   "certified": true,
   "curve": {
    "wing_length": "0.336104014848037717222413396653",
    "beta": "1.40548859533035901980796897854",
    "delta": "0.0518714308834685091023472187674",
    "comps": [
     [
      "0.5",
      "0.565143820867652804011475829756",
      "0.0301134642034118717424860873572"
     ],
     [
      "0.5",
      "0.595143820867652804011475829756",
      "0.0301134642034118717424860873572"
     ]
    ]
   },
   "round13_least_at_most": "0.998914343315416653",
   "gain_over_round13_at_least": "0.000000119249637650"
  }
 },
 "drill": {
  "plants": 21,
  "plants_caught_by_named_checks": 21,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 176,
  "must_stay_green_held": 176,
  "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-readme-trailing-spaces",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-asymmetry-copied",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-triangle-leg",
    "kind": "mutation",
    "expected": [
     "Y2",
     "Y3",
     "Y6"
    ],
    "tripped": [
     "Y2",
     "Y3",
     "Y6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-base-curve-point",
    "kind": "mutation",
    "expected": [
     "Y1"
    ],
    "tripped": [
     "Y1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-double-curve-point",
    "kind": "mutation",
    "expected": [
     "Y1"
    ],
    "tripped": [
     "Y1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-candidate-width",
    "kind": "mutation",
    "expected": [
     "Y1"
    ],
    "tripped": [
     "Y1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-high-resolution-low",
    "kind": "mutation",
    "expected": [
     "Y2"
    ],
    "tripped": [
     "Y2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-search-scale",
    "kind": "mutation",
    "expected": [
     "Y2"
    ],
    "tripped": [
     "Y2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-profile-cusp",
    "kind": "mutation",
    "expected": [
     "Y3"
    ],
    "tripped": [
     "Y3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-profile-loss",
    "kind": "mutation",
    "expected": [
     "Y3"
    ],
    "tripped": [
     "Y3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-separation-coefficient",
    "kind": "mutation",
    "expected": [
     "Y3",
     "Y4"
    ],
    "tripped": [
     "Y3",
     "Y4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-centre-congruent",
    "kind": "mutation",
    "expected": [
     "Y5"
    ],
    "tripped": [
     "Y5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-census-count",
    "kind": "mutation",
    "expected": [
     "Y5"
    ],
    "tripped": [
     "Y5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-width-fit",
    "kind": "mutation",
    "expected": [
     "Y5"
    ],
    "tripped": [
     "Y5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-sampled-global",
    "kind": "mutation",
    "expected": [
     "Y6"
    ],
    "tripped": [
     "Y6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-double-list-phase",
    "kind": "mutation",
    "expected": [
     "Y6"
    ],
    "tripped": [
     "Y6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-separation-csv",
    "kind": "mutation",
    "expected": [
     "Y7"
    ],
    "tripped": [
     "Y7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-manifest-files",
    "kind": "mutation",
    "expected": [
     "Y7"
    ],
    "tripped": [
     "Y7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-width-csv",
    "kind": "mutation",
    "expected": [
     "Y7"
    ],
    "tripped": [
     "Y7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-readme-separation",
    "kind": "mutation",
    "expected": [
     "Y8"
    ],
    "tripped": [
     "Y8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M19-report-loss",
    "kind": "mutation",
    "expected": [
     "Y8"
    ],
    "tripped": [
     "Y8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M20-audit-separation",
    "kind": "mutation",
    "expected": [
     "Y8"
    ],
    "tripped": [
     "Y8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M21-handoff-base",
    "kind": "mutation",
    "expected": [
     "Y8"
    ],
    "tripped": [
     "Y8"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}