{
 "run": "RUN-013",
 "subject": "Round 12 (v0.12): the mpmath.iv replay - special enclosures, boundary balls, interval Newton, boundary sides",
 "package": {
  "id": "round-v0.12",
  "sha256": "08b394e1ed9165d0e97973717a8cb4b81500478c28a7b589c6473075f6ae961a"
 },
 "checks": {
  "W1": {
   "pass": true,
   "failures": []
  },
  "W2": {
   "pass": true,
   "failures": []
  },
  "W3": {
   "pass": false,
   "failures": [
    "the root boxes are not all the stationary points"
   ]
  },
  "W4": {
   "pass": true,
   "failures": []
  },
  "W5": {
   "pass": true,
   "failures": []
  },
  "W6": {
   "pass": false,
   "failures": [
    "the documents report the boundary balls as all containing Round 11's floats; the data say otherwise"
   ]
  },
  "W7": {
   "pass": true,
   "failures": []
  }
 },
 "findings": {
  "s270_inside_interval_by": [
   "1.4174e-10",
   "1.4174e-10"
  ],
  "difference_inside_interval_by": [
   "5.3711e-11",
   "5.3711e-11"
  ],
  "replay_minus_stated": {
   "s270": [
    "-4.32e-83",
    "-2.93e-81"
   ],
   "difference": [
    "5.24e-90",
    "-3.07e-89"
   ]
  },
  "balls_containing_round11_float": 1,
  "round11_float_minus_exact_largest": "3.81e-16",
  "ball_width_largest": "2.17e-70",
  "stationary_count": 13,
  "quad_minus_quadgl_at_wing_end": [
   "0.0",
   "0.0"
  ],
  "inflation_boundaries_round11_shortfall": [
   {
    "boundary": 1,
    "round11_interval_shortfall": 0.13574376711076278
   },
   {
    "boundary": 2,
    "round11_interval_shortfall": 0.03796275991834727
   },
   {
    "boundary": 3,
    "round11_interval_shortfall": 0.043835741731375874
   },
   {
    "boundary": 4,
    "round11_interval_shortfall": 0.15674354640217802
   },
   {
    "boundary": 6,
    "round11_interval_shortfall": 0.078370699796577
   },
   {
    "boundary": 7,
    "round11_interval_shortfall": 0.02191676881134315
   },
   {
    "boundary": 9,
    "round11_interval_shortfall": 0.03796286462085757
   },
   {
    "boundary": 10,
    "round11_interval_shortfall": 0.13574372242419622
   },
   {
    "boundary": 12,
    "round11_interval_shortfall": 0.15674348608974017
   },
   {
    "boundary": 13,
    "round11_interval_shortfall": 0.04383537700004775
   },
   {
    "boundary": 14,
    "round11_interval_shortfall": 0.021916821465461478
   },
   {
    "boundary": 15,
    "round11_interval_shortfall": 0.07837071310509644
   }
  ]
 },
 "drill": {
  "plants": 17,
  "plants_caught_by_named_checks": 17,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 129,
  "must_stay_green_held": 129,
  "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-roots-copied",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-triangle-leg",
    "kind": "mutation",
    "expected": [
     "W1",
     "W3"
    ],
    "tripped": [
     "W1",
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-event-interval",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-ball",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-ball-flag",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-newton-image",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-second-derivative",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-root-margin",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-side-pass",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-side-formula",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-summary-count",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-leaf-status",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-report-distance",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-readme-count",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-manifest-status",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-handoff",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-special-source",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-root-source",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}