{
 "run": "RUN-031",
 "subject": "Round 28: exact root reconstruction and the bulk rational-interval migration of cell 0",
 "document": "main.zip!/AMRAL_LUC_FC_Round_28_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_28_Exact_Root_Bulk_Migration_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": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "inside": {
   "d": true,
   "t3": true,
   "t5": true,
   "t7": true
  },
  "floats": {
   "t3": [
    7.01,
    1.01
   ],
   "y3": [
    6.18,
    0.18
   ],
   "phi5": [
    -0.22,
    -0.22
   ],
   "t5": [
    8.77,
    4.77
   ],
   "phi7": [
    -0.32,
    -0.32
   ],
   "t7": [
    7.39,
    3.39
   ]
  },
  "widths": {
   "d": 9.818186930595453e-91,
   "t3": 1.4031816212031536e-90,
   "t5": 1.0942639844818173e-90,
   "t7": 1.0355564612722465e-90
  },
  "package_widths": {
   "d": 3.111507638930571e-61,
   "t3": 4.342636778190873e-64,
   "t5": 3.386582999844213e-64,
   "t7": 3.204892015873056e-64
  },
  "exact": {
   "d": "0.699860544061318",
   "t3": "0.201023529007411",
   "t5": "0.202618286230435",
   "t7": "0.201473445786287",
   "y3": "0.174091482878816",
   "phi5": "1.25663706143592",
   "phi7": "0.897597901025655"
  }
 },
 "w2": {
  "axes_equal": true,
  "splits": {
   "0": 7,
   "1": 7,
   "2": 9,
   "3": 9,
   "4": 8
  },
  "table": true,
  "stored_ulps_apart": 6,
  "shipped_distances": [
   [
    9.810897208155923e-19,
    1.0917846947407022e-19
   ],
   [
    1.384427373614941e-18,
    2.0015013408629103e-20
   ],
   [
    3.2163903729399737e-17,
    4.783776559169348e-20
   ],
   [
    6.7379294684902134e-18,
    2.585127927320713e-19
   ],
   [
    1.4009841809089068e-17,
    5.170255854641426e-19
   ]
  ],
  "own_distances": [
   [
    5.31789841075761e-18,
    7.596997729653729e-19
   ],
   [
    1.0058044753498976e-17,
    6.705363168999318e-19
   ],
   [
    3.2163903729399737e-17,
    4.783776559169348e-20
   ],
   [
    1.541154684837425e-17,
    4.753532272291721e-19
   ],
   [
    2.441818266494991e-17,
    9.507064544583442e-19
   ]
  ]
 },
 "w3": {
  "nodes": 18555,
  "internal": 9277,
  "leaves": 9278,
  "leaf_paths_equal": true,
  "axes": {
   "high-first": true,
   "low-first": false
  },
  "shipped_replay": true,
  "distances": {
   "own": [
    2.1013778688701305e-16,
    2.0523899368121494e-16,
    2.1013778688701305e-16,
    1.0261949684060747e-16
   ],
   "shipped": [
    2.1013778688701305e-16,
    9.42166912186993e-17,
    2.1013778688701305e-16,
    4.710834560934965e-17
   ]
  }
 },
 "w4": {
  "leaves": 9278,
  "missing_in_ledger": 0,
  "passed": 9278,
  "failures": 0,
  "density_used": true,
  "least": [
   "1101011010010011111001110",
   3.194892273812446e-08
  ],
  "margin_difference": 1.6783449630075609e-16,
  "candidates_equal": 9278,
  "ladder": {
   "256": 7727,
   "512": 1285,
   "1024": 177,
   "2048": 67,
   "4096": 18,
   "8192": 4
  },
  "below_ledger": 8457,
  "ladder_not_above_ledger": true,
  "bands_disjoint": true,
  "bands": {
   "256": [
    0.0010005015633695047,
    0.042241306392280964
   ],
   "512": [
    0.0002000149676829599,
    0.0009997602683604612
   ],
   "1024": [
    5.001772913693081e-05,
    0.0001999066741343869
   ],
   "2048": [
    1.0011069237148007e-05,
    4.997538260165246e-05
   ],
   "4096": [
    2.128252705624334e-06,
    9.92187980053405e-06
   ],
   "8192": [
    3.1451419846284523e-07,
    1.8489371962360224e-06
   ],
   "16384": [
    4.207420201129963e-08,
    2.3425369155560816e-07
   ]
  }
 },
 "w5": {
  "changed": [
   [
    "001110010110000100",
    1.474065092210708e-09,
    1
   ]
  ],
  "one_sided": true,
  "old_vs_reference": 1.4740645370991956e-09,
  "verified_vs_reference": 1.6653345369377348e-15,
  "shared_is_verified": true
 },
 "p1": {
  "density_counts": {
   "256": 821,
   "512": 3425,
   "1024": 3709,
   "2048": 1115,
   "4096": 163,
   "8192": 39,
   "16384": 6
  },
  "d_width": 3.111507638930571e-61,
  "text_says_d_width": "O(1e-63)"
 },
 "p2": {
  "root_reconstruction_pass": true,
  "base_path_depth_40": true,
  "base_axis_trace_40": true,
  "base_override_zero": true,
  "leaf_count_9278": true,
  "all_leaves_pass": true,
  "no_inconclusive": true,
  "no_membership_failures": true,
  "min_exact_margin_positive": true,
  "publication_scope_false": true,
  "global_claim_false": true
 },
 "drill": {
  "plants": 18,
  "plants_caught_by_named_checks": 18,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 175,
  "must_stay_green_held": 175,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-doc-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-root-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-bulk-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-density",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-t7-interval",
    "kind": "mutation",
    "expected": [
     "P1",
     "W1"
    ],
    "tripped": [
     "P1",
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-root-claim",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-base-trace",
    "kind": "mutation",
    "expected": [
     "P1",
     "W2"
    ],
    "tripped": [
     "P1",
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-base-distance",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-topology-bit",
    "kind": "mutation",
    "expected": [
     "P1",
     "W3"
    ],
    "tripped": [
     "P1",
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-axis-bit",
    "kind": "mutation",
    "expected": [
     "P1",
     "W3"
    ],
    "tripped": [
     "P1",
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-witness-distance",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-leaf-margin",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-leaf-density",
    "kind": "mutation",
    "expected": [
     "P1",
     "W4"
    ],
    "tripped": [
     "P1",
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-migration-claim",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-reference-slack",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-kernel-claim",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-bulk-counts",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-crystal",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-validation-digest",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-validation-check",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}