{
 "run": "RUN-010",
 "subject": "Round 09 (v0.9): the 270-degree cusp in arbitrary precision, the monotone Darboux enclosure, the branch audit",
 "package": {
  "id": "round-v0.9",
  "sha256": "2cc4d8b3c09a0c7af2437b892d008b9bbfadd0782350f1ef1a47451197302fa5"
 },
 "checks": {
  "P1": {
   "pass": true,
   "failures": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "P3": {
   "pass": true,
   "failures": []
  },
  "P4": {
   "pass": true,
   "failures": []
  },
  "P5": {
   "pass": true,
   "failures": []
  },
  "P6": {
   "pass": true,
   "failures": []
  },
  "P7": {
   "pass": true,
   "failures": []
  },
  "P8": {
   "pass": true,
   "failures": []
  },
  "P9": {
   "pass": false,
   "failures": [
    "the README's 270-degree value does not hold to its digits",
    "the README's event minimum does not hold to its digits",
    "the report's section 4 value does not hold to its digits",
    "the report's section 5 event minimum does not hold to its digits",
    "the branch audit's values do not hold to their printed digits",
    "the report's section 8 derivatives do not hold to their printed digits"
   ]
  }
 },
 "findings": {
  "s270_120_decimals_cut": "0.998914339084632717252964418536702246180192119314833519984798128351274681109990178989484072997947224021575344613070601820",
  "decimal_minus_double_constants_largest": "1.01e-16",
  "quadratures_differ_by": "0.0",
  "event_branches_minus_minimum": [
   "0.0",
   "8.2242e-17",
   "2.2531e-16",
   "5.7362e-17"
  ],
  "difference_60_digits": "0.0000105819521240422978345936361457659629238926026414161953594484",
  "long_figures_digits_held": {
   "the README's 270-degree value": [
    72,
    80
   ],
   "the README's event minimum": [
    71,
    80
   ],
   "the README's difference": [
    64,
    64
   ],
   "the report's section 4 value": [
    72,
    80
   ],
   "the report's section 5 event minimum": [
    71,
    80
   ],
   "the report's section 5 difference": [
    64,
    64
   ],
   "the report's section 13 value": [
    70,
    70
   ],
   "the report's section 13 event minimum": [
    70,
    70
   ],
   "the report's section 13 difference": [
    49,
    49
   ]
  },
  "convergence_rows_digits_held": {
   "40 quad": 41,
   "40 quadgl": 41,
   "60 quad": 61,
   "60 quadgl": 61,
   "80 quad": 81,
   "80 quadgl": 81,
   "120 quad": 120,
   "120 quadgl": 120
  },
  "branches": {
   "low 1": {
    "active": {
     "max_d": [
      "p2"
     ],
     "min_x": [
      "L"
     ],
     "min_y": [
      "p0"
     ]
    },
    "labels": {
     "min_x": "L",
     "min_y": "p0",
     "max_d": "p2"
    },
    "digits_held": [
     71,
     75
    ],
    "derivative_at_printed_phase": "2.2088e-9",
    "stationary_phase": "0.154699127028335487754398589663",
    "printed_minus_stationary": "6.646e-9",
    "minimum": "0.998914384873626650041301807239333443907",
    "printed_value_minus_minimum": "7.3399e-18"
   },
   "low 2": {
    "active": {
     "max_d": [
      "p2"
     ],
     "min_x": [
      "L"
     ],
     "min_y": [
      "p0"
     ]
    },
    "labels": {
     "min_x": "L",
     "min_y": "p0",
     "max_d": "p2"
    },
    "digits_held": [
     70,
     75
    ],
    "derivative_at_printed_phase": "-1.93e-9",
    "stationary_phase": "0.124080806550179655854701882269",
    "printed_minus_stationary": "-5.8077e-9",
    "minimum": "0.9989143859865331942457159814712959023287",
    "printed_value_minus_minimum": "5.6045e-18"
   },
   "120deg": {
    "active": {
     "max_d": [
      "p0",
      "p3"
     ],
     "min_x": [
      "p2"
     ],
     "min_y": [
      "p1"
     ]
    },
    "labels": {
     "min_x": "p2",
     "min_y": "p1",
     "max_d": "p3"
    },
    "digits_held": [
     70,
     75
    ],
    "exact_left": "-0.26765828762791816199150329942",
    "exact_right": "0.612416405839174998855469498449",
    "quotient_minus_exact": {
     "1e-5": [
      "4.9946e-6",
      "-4.9946e-6"
     ],
     "1e-7": [
      "4.9946e-8",
      "-4.9946e-8"
     ],
     "1e-9": [
      "4.9946e-10",
      "-4.9946e-10"
     ]
    }
   },
   "270deg": {
    "active": {
     "max_d": [
      "p1"
     ],
     "min_x": [
      "p0",
      "p3"
     ],
     "min_y": [
      "p3"
     ]
    },
    "labels": {
     "min_x": "p0",
     "min_y": "p3",
     "max_d": "p1"
    },
    "digits_held": [
     71,
     75
    ],
    "exact_left": "-0.329480283321469717992727949695",
    "exact_right": "0.432686758448835705462640528955",
    "quotient_minus_exact": {
     "1e-5": [
      "4.9946e-6",
      "-4.9946e-6"
     ],
     "1e-7": [
      "4.9946e-8",
      "-4.9946e-8"
     ],
     "1e-9": [
      "4.9946e-10",
      "-4.9946e-10"
     ]
    }
   }
  },
  "peak_fit_minus_stated": {
   "2": [
    8.920572613924094e-13,
    0.0,
    -3.073350601789926e-12
   ],
   "3": [
    -2.17055540208122e-13,
    -2.220446049250313e-16,
    -1.724582976425637e-11
   ],
   "4": [
    3.885669563885585e-12,
    -2.220446049250313e-16,
    5.2015725060527984e-11
   ]
  },
  "darboux_4096_interval_lower": "0.9989115747096505504998971",
  "darboux_4096_interval_lower_minus_event_upper": "0.0000078175771418755447673",
  "darboux_4096_interval_lower_minus_stated": "-8.7792e-29",
  "differences_digits_held": {
   "summary": [
    121,
    124
   ],
   "manifest": [
    121,
    124
   ],
   "audit note": [
    121,
    124
   ]
  },
  "convergence_rows_printed_decimals": {
   "40 quad": 125,
   "40 quadgl": 125,
   "60 quad": 125,
   "60 quadgl": 125,
   "80 quad": 125,
   "80 quadgl": 125,
   "120 quad": 125,
   "120 quadgl": 125
  },
  "darboux_rows_digits_held": {
   "2048": {
    "lower": [
     102,
     105
    ],
    "upper": [
     101,
     105
    ],
    "width": [
     101,
     109
    ],
    "lower_minus_event": [
     102,
     110
    ]
   },
   "4096": {
    "lower": [
     101,
     105
    ],
    "upper": [
     102,
     105
    ],
    "width": [
     101,
     110
    ],
    "lower_minus_event": [
     101,
     110
    ]
   },
   "8192": {
    "lower": [
     101,
     105
    ],
    "upper": [
     100,
     105
    ],
    "width": [
     100,
     110
    ],
    "lower_minus_event": [
     101,
     110
    ]
   },
   "16384": {
    "lower": [
     101,
     104
    ],
    "upper": [
     101,
     105
    ],
    "width": [
     101,
     110
    ],
    "lower_minus_event": [
     101,
     110
    ]
   }
  },
  "check_margins": {
   "P3_difference_decimals_over_120": 1,
   "P4_decimals_over_99": 1,
   "P5_value_tolerance_over_error": "538.0",
   "P6_quotient_tolerance_over_error": "2.52e+5",
   "P6_largest_distance_over_h": "0.499458",
   "P7_tolerance_over_deviation": [
    25.735590316126153,
    45.03599627370496,
    19.224955507903662
   ]
  },
  "certificate": {
   "wing_steps": 65536,
   "interval_digits": 30,
   "second_derivative_bound": "15.12802457",
   "largest_box_left_wing": [
    1.9730908362773822e-10,
    1.9730908362773822e-10
   ],
   "largest_box": [
    5.919272508832146e-10,
    1.9730908362773822e-10
   ],
   "radius_at_most": "0.26734185",
   "lipschitz_at_most": "1.33056835",
   "phase_intervals": 42838,
   "intervals_cover_0_to_6.2832": true,
   "certified": true,
   "candidate_least_at_least": "0.99891425946916933623",
   "worst_interval_midpoint": 0.15379672665596006,
   "event_least_at_most": "0.998903757132508674955129824903",
   "certified_margin_at_least": "0.0000105023366606612816518",
   "candidate_least_at_most": "0.99891433936811550900",
   "control_beside_3pi_2_target_above_s270_refused": true,
   "control_refused_near": 4.7123889654835285
  }
 },
 "drill": {
  "plants": 19,
  "plants_caught_by_named_checks": 19,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 180,
  "must_stay_green_held": 180,
  "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-branch-audit-copied",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-triangle-leg",
    "kind": "mutation",
    "expected": [
     "P2",
     "P3",
     "P4",
     "P5",
     "P6",
     "P9"
    ],
    "tripped": [
     "P2",
     "P3",
     "P4",
     "P5",
     "P6",
     "P9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-round08-centre",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-verifier-constant",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-summary-s270-digit",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-convergence-row",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-event-branch-digit",
    "kind": "mutation",
    "expected": [
     "P3"
    ],
    "tripped": [
     "P3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-darboux-upper",
    "kind": "mutation",
    "expected": [
     "P4"
    ],
    "tripped": [
     "P4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-branch-margin",
    "kind": "mutation",
    "expected": [
     "P5"
    ],
    "tripped": [
     "P5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-branch-label",
    "kind": "mutation",
    "expected": [
     "P5"
    ],
    "tripped": [
     "P5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-cusp-slope",
    "kind": "mutation",
    "expected": [
     "P6"
    ],
    "tripped": [
     "P6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-fit-coefficient",
    "kind": "mutation",
    "expected": [
     "P7"
    ],
    "tripped": [
     "P7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-round08-peak-scale",
    "kind": "mutation",
    "expected": [
     "P7"
    ],
    "tripped": [
     "P7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-report-margin",
    "kind": "mutation",
    "expected": [
     "P8"
    ],
    "tripped": [
     "P8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-readme-darboux",
    "kind": "mutation",
    "expected": [
     "P8"
    ],
    "tripped": [
     "P8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-section13-digit",
    "kind": "mutation",
    "expected": [
     "P9"
    ],
    "tripped": [
     "P9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-formula-term",
    "kind": "mutation",
    "expected": [
     "P2",
     "P3",
     "P4",
     "P9"
    ],
    "tripped": [
     "P2",
     "P3",
     "P4",
     "P9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-manifest-difference",
    "kind": "mutation",
    "expected": [
     "P3"
    ],
    "tripped": [
     "P3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-summary-copy",
    "kind": "mutation",
    "expected": [
     "P8"
    ],
    "tripped": [
     "P8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M19-report-derivative",
    "kind": "mutation",
    "expected": [
     "P8"
    ],
    "tripped": [
     "P8"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}