{
 "run": "RUN-040",
 "subject": "Round 37: the first depth-32 publication wave, and cell 33's frontier carried to depth 42",
 "document": "r37.zip!/AMRAL_Lebesgue_Finite_Closure_Round_37_Depth32_DFRONT_Shards_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": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "49": {
   "header": [
    "L34RHC01",
    18,
    9986
   ],
   "consumed": true,
   "index": [
    true,
    true,
    true
   ],
   "mine": [
    9986,
    9986,
    2441597
   ],
   "replay": [
    9986,
    9986,
    0
   ],
   "least": [
    3257,
    "01000100100100101111101",
    3.153126719767511e-08
   ],
   "is_record": [
    true,
    true
   ],
   "to_mine": 2.3e-16,
   "density_counts": {
    "256": 811,
    "512": 3139,
    "1024": 4127,
    "2048": 1592,
    "4096": 259,
    "8192": 47,
    "16384": 11
   },
   "manifest": [
    true,
    true,
    true
   ]
  },
  "64": {
   "header": [
    "L34RHC01",
    18,
    10539
   ],
   "consumed": true,
   "index": [
    true,
    true,
    true
   ],
   "mine": [
    10539,
    10539,
    2624186
   ],
   "replay": [
    10539,
    10539,
    0
   ],
   "least": [
    3073,
    "00111011001001010111010000111",
    1.506934987941895e-08
   ],
   "is_record": [
    true,
    true
   ],
   "to_mine": 1.9e-16,
   "density_counts": {
    "256": 835,
    "512": 3390,
    "1024": 4383,
    "2048": 1516,
    "4096": 340,
    "8192": 61,
    "16384": 14
   },
   "manifest": [
    true,
    true,
    true
   ]
  },
  "66": {
   "header": [
    "L34RHC01",
    18,
    10636
   ],
   "consumed": true,
   "index": [
    true,
    true,
    true
   ],
   "mine": [
    10636,
    10636,
    2646674
   ],
   "replay": [
    10636,
    10636,
    0
   ],
   "least": [
    9173,
    "1101011011010010110101010110",
    6.860894579634212e-09
   ],
   "is_record": [
    true,
    true
   ],
   "to_mine": 1.6e-16,
   "density_counts": {
    "256": 828,
    "512": 3448,
    "1024": 4406,
    "2048": 1550,
    "4096": 325,
    "8192": 66,
    "16384": 13
   },
   "manifest": [
    true,
    true,
    true
   ]
  }
 },
 "w2": {
  "49": {
   "record": [
    true
   ],
   "every_constraint": [
    0.8349813779061498,
    5156,
    79813,
    79814
   ],
   "full_is_file": true,
   "is_round29": true,
   "mine": [
    256,
    2.4825925315990006e-05,
    4.181835201322315e-05
   ]
  },
  "64": {
   "record": [
    true
   ],
   "every_constraint": [
    0.8349716675759491,
    2597,
    42915,
    42915
   ],
   "full_is_file": true,
   "is_round29": true,
   "mine": [
    128,
    4.629620107005173e-06,
    6.552849864416288e-05
   ]
  },
  "66": {
   "record": [
    true
   ],
   "every_constraint": [
    0.8348951300993619,
    1312,
    22918,
    22918
   ],
   "full_is_file": true,
   "is_round29": true,
   "mine": [
    128,
    0.00010979458897914895,
    0.00017084801269917627
   ]
  }
 },
 "w3": {
  "49": [
   1659,
   1659,
   "PASS",
   0
  ],
  "64": [
   1702,
   1702,
   "PASS",
   0
  ],
  "66": [
   1710,
   1710,
   "PASS",
   0
  ]
 },
 "w4": {
  "36": {
   "boxes_equal": true,
   "bytes_equal": true,
   "pending": [
    14027,
    14027,
    14027,
    14027
   ],
   "volume": [
    true,
    true,
    true
   ],
   "digest": true,
   "bytes": true,
   "parent": [
    true,
    true
   ]
  },
  "38": {
   "boxes_equal": true,
   "bytes_equal": true,
   "pending": [
    27042,
    27042,
    27042,
    27042
   ],
   "volume": [
    true,
    true,
    true
   ],
   "digest": true,
   "bytes": true,
   "parent": [
    true,
    true
   ],
   "counts": [
    63980,
    18975
   ],
   "manifest": [
    true,
    true
   ],
   "ratio": [
    true,
    true
   ],
   "least_new_slack": [
    2.604509941e-10,
    2e-16
   ]
  },
  "40": {
   "boxes_equal": true,
   "bytes_equal": true,
   "pending": [
    40934,
    40934,
    40934,
    40934
   ],
   "volume": [
    true,
    true,
    true
   ],
   "digest": true,
   "bytes": true,
   "parent": [
    true,
    true
   ],
   "counts": [
    118666,
    45441
   ],
   "manifest": [
    true,
    true
   ],
   "ratio": [
    true,
    true
   ],
   "least_new_slack": [
    2.743697491e-10,
    7e-16
   ]
  },
  "42": {
   "boxes_equal": true,
   "bytes_equal": true,
   "pending": [
    78507,
    78507,
    78507,
    78507
   ],
   "volume": [
    true,
    true,
    true
   ],
   "digest": true,
   "bytes": true,
   "parent": [
    true,
    true
   ],
   "counts": [
    205928,
    65391
   ],
   "manifest": [
    true,
    true
   ],
   "ratio": [
    true,
    true
   ],
   "least_new_slack": [
    1.131750249e-11,
    1e-15
   ]
  },
  "ratio_42_36": true,
  "open_at_42": 78507
 },
 "w5": {
  "38": {
   "segments": 29,
   "parents": [
    14027,
    14027
   ],
   "sizes": [
    500,
    27
   ],
   "each": {
    "bytes_equal": 29,
    "counts": 29,
    "depth": 29,
    "empty": 3,
    "pending": 29,
    "tiled": 29,
    "volume": 29
   },
   "merged": true,
   "in_slice": [
    27042,
    27042
   ]
  },
  "40": {
   "segments": 55,
   "parents": [
    27042,
    27042
   ],
   "sizes": [
    500,
    42
   ],
   "each": {
    "bytes_equal": 55,
    "counts": 55,
    "depth": 55,
    "empty": 9,
    "pending": 55,
    "tiled": 55,
    "volume": 55
   },
   "merged": true,
   "in_slice": [
    40934,
    40934
   ]
  },
  "42": {
   "segments": 82,
   "parents": [
    40934,
    40934
   ],
   "sizes": [
    500,
    434
   ],
   "each": {
    "bytes_equal": 82,
    "counts": 82,
    "depth": 82,
    "empty": 8,
    "pending": 82,
    "tiled": 82,
    "volume": 82
   },
   "merged": true,
   "in_slice": [
    78507,
    78507
   ]
  },
  "requirements_example": {
   "requirements": true,
   "union_disjoint": false,
   "contained": false
  }
 },
 "w6": {
  "49": {
   "counts": [
    19971,
    9986,
    19971,
    9986,
    19971
   ],
   "digests": [
    true,
    true
   ],
   "slack": 3e-16
  },
  "64": {
   "counts": [
    21077,
    10539,
    21077,
    10539,
    21077
   ],
   "digests": [
    true,
    true
   ],
   "slack": 0.0
  },
  "66": {
   "counts": [
    21271,
    10636,
    21271,
    10636,
    21271
   ],
   "digests": [
    true,
    true
   ],
   "slack": 1e-15
  },
  "12": {
   "counts": [
    21789,
    10895,
    21789,
    10895,
    21789
   ],
   "digests": [
    true,
    true
   ],
   "slack": 3e-16
  },
  "59": {
   "counts": [
    22009,
    11005,
    22009,
    11005,
    22009
   ],
   "digests": [
    true,
    true
   ],
   "slack": 1e-15
  },
  "57": {
   "counts": [
    22261,
    11131,
    22261,
    11131,
    22261
   ],
   "digests": [
    true,
    true
   ],
   "slack": 3e-16
  }
 },
 "w7": {
  "cells": [
   47,
   48,
   49,
   64,
   66,
   68,
   69,
   70,
   75,
   76
  ],
  "counts": [
   true,
   true,
   true,
   true
  ],
  "wave": [
   [
    49,
    64,
    66
   ],
   [
    12,
    57,
    59
   ],
   [
    45,
    46,
    58,
    60,
    65,
    67
   ]
  ],
  "batch": [
   [
    49,
    64,
    66
   ],
   [
    12,
    57,
    59
   ],
   12
  ],
  "geometry": [
   66,
   11,
   0,
   "PARTIAL",
   [
    36,
    38,
    40,
    42
   ]
  ]
 },
 "w8": {
  "lines": {
   "r37_enclosure_dominance.py": 108,
   "r37_marker_a1_verify.py": 92,
   "r37_merge_dfront_hashed_segments.py": 36,
   "r37_mpfr_marker.py": 104,
   "r37_mpmath_emitter_chunk.py": 121,
   "r37_refine_dfront_from_checkpoint.py": 37,
   "r37_refine_dfront_segment.py": 41,
   "r37_rhcert_assemble.py": 27,
   "r37_rhcert_emit_chunk.py": 146,
   "r37_rhcert_verify_chunk.py": 101
  },
  "copies": {
   "r37_merge_dfront_hashed_segments.py": [
    2,
    1
   ]
  },
  "rhcert": {
   "start_bands": true,
   "ladders": [
    "256,512,1024,2048,4096,8192,16384,32768",
    "256,512,1024,2048,4096,8192,16384,32768,65536"
   ],
   "byte_emitter_starts_at_ledger": true,
   "index_counts_offsets": true,
   "verifier": [
    [
     "40"
    ],
    true,
    true
   ],
   "nearest_decimal": true
  },
  "dominance_state": true,
  "markers": {
   "full_hulls": true,
   "grids": [
    "26",
    "9",
    [
     "26",
     "9"
    ]
   ],
   "sectors_met": true,
   "round29_density": true
  },
  "refine": {
   "from_codes": true,
   "lower": true,
   "segment_disjoint": true,
   "slice_text": true
  },
  "merge": {
   "checks": [
    true,
    true,
    true,
    true,
    true
   ],
   "reads_slice_hash": false,
   "parent_boxes_read": 1,
   "bundle": true,
   "volume_from_manifests": true,
   "writes_fields_of": [
    false,
    false,
    true
   ]
  },
  "absent": [
   "cell49_mpmath_leaf_ledger.json",
   "cell64_mpmath_leaf_ledger.json",
   "cell66_mpmath_leaf_ledger.json",
   "leaves_reference.json",
   "cell49_topology.bin",
   "cell64_topology.bin",
   "cell66_topology.bin",
   "mpfr_marker.json",
   "Round_37_MARKER_A1_AUDIT.json",
   "CROSS_BACKEND_DOMINANCE_CELL49.json",
   "CROSS_BACKEND_DOMINANCE_CELL64.json",
   "CROSS_BACKEND_DOMINANCE_CELL66.json"
  ]
 },
 "p1": {
  "segments": 166,
  "slice_hashes": {
   "38": [
    29,
    29,
    true
   ],
   "40": [
    55,
    55,
    true
   ],
   "42": [
    82,
    82,
    true
   ]
  },
  "depth36_is_round36": true,
  "cell49_copy_in_main": true
 },
 "p2": {
  "pub_count_10": true,
  "geometry_complete_66": true,
  "no_global_claim": true,
  "candidate49": true,
  "candidate64": true,
  "candidate66": true,
  "rhc49_all": true,
  "rhc64_all": true,
  "rhc66_all": true,
  "marker_a1_all": true,
  "d38_contract": true,
  "d40_contract": true,
  "d42_contract": true,
  "d42_segment_hashes": true,
  "next12_match": true,
  "next59_match": true,
  "next57_match": true
 },
 "drill": {
  "plants": 17,
  "plants_caught_by_named_checks": 17,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 231,
  "must_stay_green_held": 231,
  "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-chain-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-batch-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-pending",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-replay-refused",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-index-offset",
    "kind": "mutation",
    "expected": [
     "P1",
     "W1"
    ],
    "tripped": [
     "P1",
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-marker-margin",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-audit-states",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-dfront-box",
    "kind": "mutation",
    "expected": [
     "P1",
     "W4",
     "W5"
    ],
    "tripped": [
     "P1",
     "W4",
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-chain-volume",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-segment-volume",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-segment-box",
    "kind": "mutation",
    "expected": [
     "P1",
     "W5"
    ],
    "tripped": [
     "P1",
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-next-digest",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-dashboard",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-code-claim",
    "kind": "mutation",
    "expected": [
     "W8"
    ],
    "tripped": [
     "W8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-merge-count",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-crystal",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-validation-digest",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-validation-check",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}