{
 "run": "RUN-035",
 "subject": "Round 32: the first bulk migration wave, and three more closures",
 "document": "main.zip!/AMRAL_LUC_FC_Round_32_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_32_Bulk_Migration_Wave_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": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "closing": {
   "7": 45,
   "27": 43,
   "31": 42
  },
  "checkpoint": {
   "7": 46,
   "27": 44,
   "31": 42
  },
  "cell7": [
   9.435e-10,
   1.342e-10,
   1.93e-12,
   0
  ],
  "open_at_40": true,
  "lower_bounds": {
   "42": 64,
   "44": 65,
   "46": 66
  },
  "nodes": {
   "7": 248823,
   "27": 199375,
   "31": 158811
  }
 },
 "w2": {
  "69": {
   "nodes": [
    15711,
    15711,
    15711
   ],
   "leaves": [
    7856,
    7856,
    7856
   ],
   "internal": [
    7855,
    7855
   ],
   "leaf_paths_equal": true,
   "depth": [
    30,
    30
   ],
   "axes_high_first": true,
   "base_axes": true,
   "digests": [
    true,
    true
   ],
   "least_slack": [
    "011000100000100101100",
    4.406770393e-09,
    4e-16
   ]
  },
  "47": {
   "nodes": [
    18455,
    18455,
    18455
   ],
   "leaves": [
    9228,
    9228,
    9228
   ],
   "internal": [
    9227,
    9227
   ],
   "leaf_paths_equal": true,
   "depth": [
    30,
    30
   ],
   "axes_high_first": true,
   "base_axes": true,
   "digests": [
    true,
    true
   ],
   "least_slack": [
    "10001101101111110111",
    1.529023796e-08,
    6e-16
   ]
  }
 },
 "w3": {
  "69": {
   "pass": 7856,
   "refused": 0,
   "hull_equal": 7856,
   "margin_difference": 2.2e-16,
   "least": [
    "011000100000100101100",
    32768,
    1.6525434080154873e-09
   ],
   "bands": [
    7855,
    7856
   ],
   "least_here": {
    "None": 1,
    "256": 6698,
    "512": 851,
    "1024": 228,
    "2048": 64,
    "4096": 10,
    "8192": 4
   }
  },
  "47": {
   "pass": 9228,
   "refused": 0,
   "hull_equal": 9228,
   "margin_difference": 2.6e-16,
   "least": [
    "10001101101111110111",
    16384,
    6.750247223280388e-09
   ],
   "bands": [
    9228,
    9228
   ],
   "least_here": {
    "256": 7635,
    "512": 1254,
    "1024": 223,
    "2048": 89,
    "4096": 16,
    "8192": 7,
    "16384": 4
   }
  }
 },
 "w4": {
  "first_equal": 7856,
  "hull_equal": 7856,
  "gap": [
   1.573e-12,
   1.67e-12
  ],
  "refused": 0,
  "density_counts": {
   "512": 3805,
   "1024": 3832,
   "2048": 175,
   "4096": 32,
   "8192": 8,
   "16384": 3,
   "65536": 1
  },
  "escalated": [
   4427,
   [
    [
     512,
     -0.0002646
    ],
    [
     1024,
     -7.134e-06
    ],
    [
     2048,
     -1.938e-06
    ],
    [
     4096,
     -4.917e-07
    ],
    [
     8192,
     -1.127e-07
    ],
    [
     16384,
     -2.887e-08
    ],
    [
     32768,
     -3.071e-09
    ],
    [
     65536,
     2.535e-09
    ]
   ]
  ]
 },
 "w5": {
  "records": [
   true,
   true
  ],
  "mine": {
   "69": [
    128,
    5.070240264558226e-06,
    6.738115081084128e-05
   ],
   "47": [
    256,
    1.4996147563446147e-06,
    1.856783932985273e-05
   ]
  },
  "polygon69": [
   [
    0.8349723974082344,
    2611,
    42639,
    42639
   ],
   true,
   true
  ],
  "audit47": true,
  "a1_69_shipped": false
 },
 "w6": {
  "complete": [
   66,
   66
  ],
  "residual": [
   true,
   11,
   11
  ],
  "common36": [
   51,
   51
  ],
  "lower_bounds": [
   {
    "38": 57,
    "40": 63,
    "42": 64,
    "44": 65,
    "46": 66
   },
   true
  ],
  "records_matched": 11,
  "pipeline": [
   [
    69,
    70
   ],
   [
    47,
    69,
    70
   ],
   true,
   true,
   true,
   true,
   true,
   true
  ]
 },
 "w7": {
  "r32_generate_shard.py": {
   "lines": 60,
   "absolute_path": true,
   "opens": [
    "AMRAL_LUC_FC_Round_19_reference/continuation_probe.py",
    "AMRAL_LUC_FC_Round_19_reference/official_exact_kernel_minimal.py",
    "AMRAL_LUC_FC_Round_29_reference/marker_{cell:02d}.json",
    "AMRAL_LUC_FC_Round_32_cell{cell:02d}",
    "r26_full77_results/cell_{cell:02d}.json"
   ],
   "not_in_archive": [
    "AMRAL_LUC_FC_Round_32_cell{cell:02d}",
    "r26_full77_results/cell_{cell:02d}.json"
   ],
   "kernel_error_falls_back": true,
   "pad": true
  },
  "r32_mpfr_lower_chunk.py": {
   "lines": 149,
   "absolute_path": true,
   "opens": [
    "AMRAL_LUC_FC_Round_29_reference/marker_{cell:02d}.json",
    "AMRAL_LUC_FC_Round_31_MPFR_ROOT_REPLAY.json",
    "AMRAL_LUC_FC_Round_32_cell{cell:02d}"
   ],
   "not_in_archive": [
    "AMRAL_LUC_FC_Round_32_cell{cell:02d}"
   ]
  },
  "r32_mpfr_lower_chunk_hi.py": {
   "lines": 149,
   "absolute_path": true,
   "opens": [
    "AMRAL_LUC_FC_Round_29_reference/marker_{cell:02d}.json",
    "AMRAL_LUC_FC_Round_31_MPFR_ROOT_REPLAY.json",
    "AMRAL_LUC_FC_Round_32_cell{cell:02d}"
   ],
   "not_in_archive": [
    "AMRAL_LUC_FC_Round_32_cell{cell:02d}"
   ],
   "differs_from_lower_only_in": [
    "DENS"
   ],
   "ladder": [
    512,
    1024,
    2048,
    4096,
    8192,
    16384,
    32768,
    65536,
    131072
   ]
  },
  "r32_mpfr_marker.py": {
   "lines": 102,
   "absolute_path": true,
   "opens": [
    "marker_{cell:02d}.json",
    "mpfr_marker.json"
   ],
   "not_in_archive": [
    "mpfr_marker.json"
   ]
  },
  "r32_mpmath_emitter_chunk.py": {
   "lines": 121,
   "absolute_path": true,
   "opens": [
    "AMRAL_LUC_FC_Round_28_ROOT_RECONSTRUCTION.json",
    "AMRAL_LUC_FC_Round_29_reference/marker_{cell:02d}.json",
    "AMRAL_LUC_FC_Round_32_cell{cell:02d}",
    "r25_incremental_wave.py",
    "r26_full77_results/cell_{cell:02d}.json"
   ],
   "not_in_archive": [
    "AMRAL_LUC_FC_Round_32_cell{cell:02d}",
    "r26_full77_results/cell_{cell:02d}.json"
   ],
   "dps": 100,
   "start_band": true,
   "rationalize_17": true,
   "decimal_into_interval": true
  }
 },
 "p1": {
  "escalation": [
   4427,
   "011000100000100101100"
  ],
  "residual_records": 11
 },
 "p2": {
  "geometry_complete_66": true,
  "geometry_residual_11": true,
  "cell69_mpmath_7856": true,
  "cell69_mpfr_7856": true,
  "cell69_selective_65536": true,
  "cell69_marker_mpfr_pass": true,
  "cell69_publication_candidate": true,
  "cell47_mpmath_9228": true,
  "cell47_not_publication_candidate": true,
  "publication_candidate_count_2": true,
  "no_global_claim": true
 },
 "drill": {
  "plants": 18,
  "plants_caught_by_named_checks": 18,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 220,
  "must_stay_green_held": 220,
  "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-dashboard-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-shard69-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-margin",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-geometry-claim",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2b-geometry-open",
    "kind": "mutation",
    "expected": [
     "W1",
     "W6"
    ],
    "tripped": [
     "W1",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-topology-bit",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-axis-stream",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-emitter-margin",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-certificate",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-mpfr-density",
    "kind": "mutation",
    "expected": [
     "P1",
     "W4"
    ],
    "tripped": [
     "P1",
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-marker-area",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-dashboard-count",
    "kind": "mutation",
    "expected": [
     "P2",
     "W6"
    ],
    "tripped": [
     "P2",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9b-dashboard-bound",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-residual-record",
    "kind": "mutation",
    "expected": [
     "P1",
     "W6"
    ],
    "tripped": [
     "P1",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-code-claim",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-shard-ledger-digest",
    "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
   }
  ]
 }
}