{
 "run": "RUN-039",
 "subject": "Round 36: the depth-30 batch complete, and the first frontier kept as a proof object",
 "document": "main.zip!/AMRAL_LUC_FC_Round_36_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_36_Depth30_DFRONT_Recovery_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": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "75": {
   "header": [
    "L34RHC01",
    18,
    10948
   ],
   "consumed": true,
   "index": [
    true,
    true,
    true
   ],
   "ledger": [
    10948,
    10948,
    2627357
   ],
   "replay": [
    10948,
    10948,
    0
   ],
   "least": [
    8258,
    "11010110100110111101000001111",
    6.251776141237558e-08
   ],
   "is_record": [
    true,
    true
   ],
   "to_ledger": 2.6e-17
  },
  "76": {
   "header": [
    "L34RHC01",
    18,
    10932
   ],
   "consumed": true,
   "index": [
    true,
    true,
    true
   ],
   "ledger": [
    10932,
    10932,
    2617252
   ],
   "replay": [
    10932,
    10932,
    0
   ],
   "least": [
    9570,
    "11010110110100101111001110011",
    2.0477267269918978e-08
   ],
   "is_record": [
    true,
    true
   ],
   "to_ledger": 2.7e-17
  }
 },
 "w2": {
  "test": {
   "header": [
    "DFRONT01",
    1,
    31,
    40,
    2
   ],
   "consumed": true,
   "canonical": true,
   "ranges": true,
   "disjoint": true,
   "volume": "1/2",
   "parent_zero": false
  },
  "cell33": {
   "header": [
    "DFRONT01",
    1,
    33,
    40,
    14027
   ],
   "consumed": true,
   "canonical": true,
   "ranges": true,
   "disjoint": true,
   "volume": "14027/68719476736",
   "parent_zero": true
  },
  "mine": {
   "boxes_equal": true,
   "bytes_equal": true,
   "counts": [
    129401,
    50674,
    14027
   ],
   "manifest": [
    true,
    true,
    true
   ],
   "volume": [
    true,
    true
   ],
   "least_slack": 3.362067513e-09,
   "slack_difference": 6e-16,
   "payload_ulps": [
    5,
    6,
    4
   ],
   "payload": [
    true,
    true,
    true
   ]
  }
 },
 "w3": {
  "counts": [
   19971,
   9985,
   9986,
   19971,
   9985,
   9986,
   19971
  ],
  "digests": [
   true,
   true
  ],
  "base_ulps": [
   5,
   6
  ],
  "base": [
   true,
   true
  ],
  "depth": [
   31,
   32
  ],
  "least_slack": [
   "01000100100100101111101",
   4.494058015e-08,
   3e-16
  ]
 },
 "w4": {
  "cells": true,
  "count": [
   12,
   12
  ],
  "rows": 12,
  "order": true,
  "first": [
   49,
   64,
   66,
   12,
   59,
   57
  ],
  "margin_source": true
 },
 "w5": {
  "cells": [
   47,
   48,
   68,
   69,
   70,
   75,
   76
  ],
  "counts": [
   true,
   true,
   true,
   true,
   true,
   true
  ],
  "batch": [
   [
    47,
    48,
    68,
    69,
    70,
    75,
    76
   ],
   "DEPTH30-BATCH-PUBLICATION-CANDIDATE-COMPLETE",
   true,
   true
  ],
  "geometry": [
   66,
   11,
   51,
   0,
   [
    33
   ]
  ],
  "audit": [
   "RECOVERY-PASS-FOR-CELL33 / OTHER-RESIDUAL-FRONTS-STILL-NEED-RECOVERY",
   "COMPUTE-DEFERRED-NO-STATE-CHANGE",
   "NONE",
   "PASS"
  ]
 },
 "w6": {
  "lines": {
   "r36_dfront_codec.py": 101,
   "r36_generate_shard_from_ledger.py": 57,
   "r36_rebuild_dfront_cell33.py": 31
  },
  "digests_pinned": {
   "codec": true,
   "kernel": true,
   "scheduler": true
  },
  "dependency_hash": true,
  "codec": {
   "header": true,
   "canonical": true,
   "checked": true,
   "self_test": [
    [
     "70",
     "40"
    ]
   ]
  },
  "rebuild": {
   "end": [
    "36"
   ],
   "pad": [
    "1e-10"
   ],
   "fallback": true,
   "hash": true
  },
  "generator": {
   "float_halving": true,
   "stops_open": true,
   "lower_first": true
  }
 },
 "p1": {
  "batch_entries": 7
 },
 "p2": {
  "cell75_publication_candidate": true,
  "cell76_publication_candidate": true,
  "cell75_bytes_replay_all": true,
  "cell76_bytes_replay_all": true,
  "depth30_batch_all_7": true,
  "publication_candidate_count_7": true,
  "geometry_unchanged_66": true,
  "dfront_validation_pass": true,
  "cell33_three_invariants": true,
  "cell33_node_match": true,
  "cell33_pending_match": true,
  "cell33_volume_exact": true,
  "cell49_node_count_match": true,
  "no_global_claim": true
 },
 "drill": {
  "plants": 16,
  "plants_caught_by_named_checks": 16,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 181,
  "must_stay_green_held": 181,
  "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-queue-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-count",
    "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-ledger-density",
    "kind": "mutation",
    "expected": [
     "P1",
     "W1"
    ],
    "tripped": [
     "P1",
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-dfront-box",
    "kind": "mutation",
    "expected": [
     "P1",
     "W2"
    ],
    "tripped": [
     "P1",
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-lift-open",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-manifest49",
    "kind": "mutation",
    "expected": [
     "P1",
     "W3"
    ],
    "tripped": [
     "P1",
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-queue-order",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-queue-nodes",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-dashboard",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-code-claim",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10b-payload-kernel",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-batch-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-crystal",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-validation-digest",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-validation-check",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}