{
 "run": "RUN-046",
 "subject": "UESFCM Cycles 07-09: the F3 runtime frontier, its body skeletons, the reflection quotient and the Taylor diagnostic",
 "documents": [
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_07_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_07_F3_Frontier_and_Envelope_Compiler_v0.1.md",
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_08_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_08_Two_Level_Skeleton_Compiler_v0.1.md",
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_09_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_09_Reflection_Taylor_Closure_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": []
  },
  "P1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "roots": [
   22516,
   5,
   5
  ],
  "membership_equal": true,
  "least": [
   0.835188375167486,
   21409
  ],
  "least_ulps": 2,
  "quantiles_agree": true,
  "retries": [
   85,
   76
  ]
 },
 "w2": {
  "closes": 0,
  "perimeter": [
   3.33,
   3.4
  ],
  "tau": [
   0.00024,
   0.031
  ],
  "median_penalty_over_slack": 3.21
 },
 "w3": {
  "body": 24,
  "piece": 1332,
  "coverage_equal": true,
  "catalog_equal": true,
  "stability": [
   549,
   2000,
   0.275
  ],
  "against_theirs": -0.024
 },
 "w4": {
  "classes": 12,
  "catalog_equal": true,
  "members_are_reversals": true,
  "dominant": [
   15210,
   [
    6979,
    8231
   ]
  ]
 },
 "w5": {
  "near": [
   649,
   true,
   27,
   true
  ],
  "stored_areas": 1e-15,
  "stored_halfwidths": true,
  "gradient_diff": 4e-08,
  "d1": [
   646,
   [
    3766,
    6217,
    8001
   ],
   3e-11
  ],
  "d2": [
   27,
   0.0001655,
   3e-12
  ],
  "hessian_diff": 2e-05,
  "stored_d2_from_parts": true,
  "summary": [
   true,
   true,
   true,
   true,
   true
  ]
 },
 "w6": {
  "C07": [
   true,
   true,
   true,
   true,
   false
  ],
  "C08": [
   true,
   true,
   true,
   true,
   0.2986
  ],
  "C09": [
   true,
   true,
   true,
   true
  ]
 },
 "w7": {
  "lines": {
   "7": 66,
   "8": 92,
   "9": 61
  },
  "executable": {
   "7": 26,
   "8": 39,
   "9": 39
  },
  "defs": {
   "7": [
    "certify_signature_stability",
    "interval_area_of_signature",
    "classify_box"
   ],
   "8": [
    "cyclic_compress",
    "body_level_from_piece_labels",
    "interval_newton_root",
    "certify_winner_gap",
    "interval_area_two_level"
   ],
   "9": [
    "first_order_lower",
    "second_order_lower",
    "verify_multichart"
   ]
  },
  "not_implemented": {
   "7": 2,
   "8": 3,
   "9": 0
  },
  "imports": {
   "7": [],
   "8": [
    "math",
    "numpy"
   ],
   "9": [
    "dataclasses",
    "typing"
   ]
  }
 },
 "p1": {
  "C07": true,
  "C08": true,
  "C09": true,
  "statuses": true,
  "manifest": true,
  "copies": true
 },
 "drill": {
  "plants": 14,
  "plants_caught_by_named_checks": 14,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 133,
  "must_stay_green_held": 133,
  "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-visited-nodes",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-probe-fraction",
    "kind": "mutation",
    "expected": [
     "W1",
     "W6"
    ],
    "tripped": [
     "W1",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-least-centre-area",
    "kind": "mutation",
    "expected": [
     "W1",
     "W5",
     "W6"
    ],
    "tripped": [
     "W1",
     "W5",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-perimeter",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-skeleton",
    "kind": "mutation",
    "expected": [
     "W3",
     "W4",
     "W6"
    ],
    "tripped": [
     "W3",
     "W4",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-catalog-count",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-stability",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-reflection-member",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-taylor-gradient",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-summary-exception",
    "kind": "mutation",
    "expected": [
     "W5",
     "W6"
    ],
    "tripped": [
     "W5",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-crystal-stability",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-scaffold-def",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-copy-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}