{
 "run": "RUN-060",
 "subject": "LESR Paper 09B: the analytic primary blow-up equations",
 "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Paper09B_Package_v0.1.zip!/LESR_Paper09B_Analytic_Primary_Blowup_Equations_v0.1.md",
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "W1": {
   "pass": true,
   "failures": []
  },
  "W2": {
   "pass": true,
   "failures": []
  },
  "W3": {
   "pass": true,
   "failures": []
  },
  "W4": {
   "pass": true,
   "failures": []
  },
  "W5": {
   "pass": true,
   "failures": []
  },
  "W6": {
   "pass": true,
   "failures": []
  },
  "W7": {
   "pass": true,
   "failures": []
  },
  "W8": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "text": {
   "beta3T": 1e-15,
   "beta5T": 1e-17,
   "gammaT": 4e-17,
   "Ltheta": 6e-16,
   "Lalpha": 3e-16,
   "gammaL": 2e-15
  },
  "result": {
   "beta3T": 1e-15,
   "beta5T": 7e-17,
   "gammaT": 4e-17,
   "Ltheta": 6e-16,
   "Lalpha": 3e-16,
   "gammaL": 2e-15
  },
  "angles": [
   4e-16,
   2e-16,
   4e-16,
   1e-16
  ],
  "values": {
   "beta3T": "0.30965396669380288225",
   "beta5T": "-0.1822307944644007122",
   "gammaT": "0.16245984811645316307",
   "Ltheta": "0.24402699852741554812",
   "Lalpha": "0.09982945996422126522",
   "gammaL": "0.09115783454691888673"
  }
 },
 "w2": {
  "det": -0.000128,
  "solution": [
   "5.15712624526841370759",
   "-0.1892281899066409745",
   0.0
  ],
  "closed_form": [
   0.0,
   0.0
  ],
  "right_minus_left": [
   0.0,
   0.0,
   0.0
  ],
  "text": [
   5e-14,
   3e-16
  ],
  "result": [
   5e-14,
   3e-16
  ],
  "run059": [
   7e-05,
   2e-06,
   [
    5.157,
    -0.1892,
    0.0
   ]
  ]
 },
 "w3": {
  "text": [
   2e-15,
   9e-16,
   2e-15
  ],
  "result": [
   2e-15,
   9e-16,
   9e-16,
   2e-15,
   2e-15
  ],
  "hull": {
   "0.0001": [
    -0.1469,
    -0.147,
    0.0817,
    0.0817,
    2.5701
   ],
   "1e-05": [
    -0.1469,
    -0.1469,
    0.0818,
    0.0817,
    2.5703
   ]
  },
  "exact": [
   -0.1469,
   0.0818,
   2.5703
  ]
 },
 "w4": {
  "along_critical": {
   "0.0001": 18,
   "1e-05": 18
  },
  "same": true,
  "slivers": {
   "0.0001": [
    [
     "B5a3",
     0.4541,
     2.72
    ],
    [
     "D",
     1.5708,
     1.79
    ],
    [
     "B5a2",
     5.8291,
     2.72
    ]
   ],
   "1e-05": [
    [
     "B5a3",
     0.454,
     2.72
    ],
    [
     "D",
     1.5708,
     1.79
    ],
    [
     "B5a2",
     5.8291,
     2.72
    ]
   ]
  },
  "corners_at_pi_pm_theta": false,
  "run059_minima": [
   15,
   15,
   15,
   15
  ]
 },
 "w5": {
  "a0": "0.8349861105592240998506",
  "zero_terms": [
   true,
   true,
   true
  ],
  "gamma_w": "0.18389963923727719444",
  "affine_residual_below": true,
  "text": 4e-16,
  "result": [
   4e-16,
   [
    5.551115123125783e-17,
    8.673617379884035e-19,
    -4.440892098500626e-16
   ]
  ]
 },
 "w6": {
  "at_critical": true,
  "positive": true,
  "penalty_positive": true,
  "axes": [
   [
    [
     1,
     0,
     0
    ],
    0.0012,
    0.0012
   ],
   [
    [
     -1,
     0,
     0
    ],
    0.0012,
    0.0012
   ],
   [
    [
     0,
     1,
     0
    ],
    0.2619,
    0.2619
   ],
   [
    [
     0,
     -1,
     0
    ],
    0.2619,
    0.2619
   ],
   [
    [
     0,
     0,
     1
    ],
    0.4032,
    0.2193
   ],
   [
    [
     0,
     0,
     -1
    ],
    0.0354,
    0.2193
   ]
  ],
  "least": [
   [
    1,
    0,
    0
   ],
   0.0012
  ]
 },
 "w7": {
  "status": "ANALYTIC_PRIMARY_BLOWUP_DERIVATION; INTERVAL_AUDIT_OPEN",
  "state": [
   "PRIMARY_BLOWUP_ANALYTIC_REDUCTION",
   [
    5.157126245268359,
    -0.18922818990664067,
    0.0
   ],
   "0.18389963923727759 * w",
   "Paper 09C — Secondary Sliver Asymptotics and Explicit Phi2"
  ],
  "obligations": [
   "unique root of collapse system in velocity box",
   "gamma_w > 0",
   "enumeration of all neighboring first-order charts",
   "full multi-chart Phi1 nonnegativity"
  ],
  "schema_next": "Paper 09C — Secondary Sliver Asymptotics and Explicit Phi2",
  "next_archived": false,
  "replay": [
   "PASS",
   "u* = 5.15712624526836",
   "v* = -0.189228189906641",
   "w* = 0",
   "gamma_w = 0.183899639237278",
   "Phi1 critical = 0"
  ]
 },
 "w8": {
  "lines": 55,
  "constants_carried": 7,
  "derives_geometry": false,
  "solve": true,
  "checks_against_own": true,
  "gamma_w_supplied": true
 },
 "p1": {
  "digests": [
   true,
   true,
   true,
   true,
   true
  ],
  "utf8": true,
  "delimiters": [
   "PASS",
   []
  ],
  "manifest": true
 },
 "drill": {
  "plants": 17,
  "plants_caught_by_named_checks": 17,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 183,
  "must_stay_green_held": 183,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-validation-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-text-u",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-constant",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-result-constant",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-solution",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-run059",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-handover",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-result-speed",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-corner-sliver",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-run059-pieces",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-primary-u",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-result-gamma",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-rate-negative",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-state-next",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-09c-archived",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-verifier-solve",
    "kind": "mutation",
    "expected": [
     "W8"
    ],
    "tripped": [
     "W8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-verifier-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}