{
 "run": "RUN-045",
 "subject": "UESFCM Cycles 04-06: Gate A's dual certificate, the symmetry quotient, the symmetric anchor and the far branches",
 "documents": [
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_04_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_04_GateA_Closure_and_Far_Set_v0.1.md",
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_05_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_05_TwoColour_GateB_Certificate_v0.1.md",
  "main.zip!/UESFCM/UESFCM_Lebesgue_Cycle_06_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_06_Symmetric_Anchor_and_Far_Branches_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": {
  "orientations_complete": true,
  "all_gaps_below_pi": true,
  "width": 7e-103,
  "least": 0.00927495913424859,
  "at": 767,
  "half_gap": 0.000438280225110183,
  "certified": 0.0088366789091384,
  "file_degenerate": true,
  "file_above_enclosure": [
   76,
   3e-19
  ],
  "file_agrees": true,
  "file_least": [
   true,
   true
  ]
 },
 "w2": {
  "orientations": 33,
  "below": true,
  "least_loss": 2.17e-07,
  "largest_loss": 0.000184,
  "true_at_least": 0.009458708251
 },
 "w3": {
  "invariance": 1e-15,
  "step": "4/15",
  "fundamental": "1/15",
  "depth": 31,
  "safe": [
   "0.008836669",
   "6.9E-8"
  ],
  "spec_T_inward_ulps": [
   22,
   12
  ],
  "spec_rho_max": true,
  "spec_R5": true,
  "spec_status": "SCHEMA CLOSED / TREE NOT YET EMITTED"
 },
 "w4": {
  "turn": 2.4129e-05,
  "heights": [
   true,
   true
  ],
  "bound": [
   1.658e-05,
   1.66e-05
  ],
  "true_hausdorff": 7.073e-06,
  "area_sym": 0.834780945826,
  "sym_below_seed": true,
  "radius": "0.0088200",
  "copies": 0.109907730484
 },
 "w5": {
  "F3": 0.834968955147,
  "F5": 0.834804244389,
  "C04_F3": 0.83496965443,
  "C04_F5": 0.834804245864,
  "gaps": {
   "F3": 0.000187764,
   "F5": 2.30534e-05,
   "C04_F3": 0.000188463,
   "C04_F5": 2.30549e-05
  },
  "cycle06_minus_mine": [
   1.1e-08,
   1e-09
  ],
  "cycle04_minus_mine": -7.1e-10,
  "all_above_A3": true
 },
 "w6": {
  "violations": 0,
  "samples": 12000,
  "corner_bound_below": true
 },
 "w7": {
  "C04": [
   true,
   true,
   true,
   true,
   -7e-10
  ],
  "C05": [
   true,
   "rho5 in [0, pi/15]",
   true,
   985.6307081
  ],
  "C06": [
   true,
   true,
   true,
   1e-16,
   1.1e-08,
   1e-09
  ]
 },
 "w8": {
  "lines": {
   "verify_gateA": 101,
   "gateB_scaffold": 105,
   "emitter": 128,
   "verifier_skeleton": 36,
   "branch_scaffold": 149
  },
  "verify_gateA": {
   "dps": [
    "60"
   ],
   "checks_positive_weights": false,
   "checks_orientations": false,
   "float_keys": 3,
   "rounds_the_lower": true,
   "tolerance": [
    "1e-15"
   ]
  },
  "gateB_scaffold": {
   "S_A": [
    "0.0088366789091384"
   ],
   "inflation": false,
   "injected": true
  },
  "emitter": {
   "S_A": [
    "0.0088366"
   ],
   "T": [
    "0.19394974887230254",
    "0.19711758544561647"
   ],
   "injected": true
  },
  "verifier_skeleton": {
   "executable_lines": 0
  },
  "branch_scaffold": {
   "weights": 5,
   "injected": true
  }
 },
 "p1": {
  "C04 paper": true,
  "C04 certificate": true,
  "C04 verifier": true,
  "C04 scaffold": true,
  "C04 state": true,
  "C05 paper": true,
  "C05 spec": true,
  "C05 emitter": true,
  "C05 verifier": true,
  "C05 state": true,
  "C06 paper": true,
  "C06 runtime": true,
  "C06 state": true,
  "statuses": true,
  "copies": true
 },
 "drill": {
  "plants": 14,
  "plants_caught_by_named_checks": 14,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 152,
  "must_stay_green_held": 152,
  "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-least-lower-text",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-witness-missing",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-weight-negative",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-true-below",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-d3-broken",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-orbit-depth",
    "kind": "mutation",
    "expected": [
     "W3",
     "W7"
    ],
    "tripped": [
     "W3",
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-sym-area",
    "kind": "mutation",
    "expected": [
     "W4",
     "W7"
    ],
    "tripped": [
     "W4",
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-hausdorff-text",
    "kind": "mutation",
    "expected": [
     "A0",
     "W4"
    ],
    "tripped": [
     "A0",
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-far-below",
    "kind": "mutation",
    "expected": [
     "W5",
     "W7"
    ],
    "tripped": [
     "W5",
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-box-violation",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-crystal-radius",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-verifier-dps",
    "kind": "mutation",
    "expected": [
     "W8"
    ],
    "tripped": [
     "W8"
    ],
    "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
   }
  ]
 }
}