{
 "run": "RUN-037",
 "subject": "Round 34: replayable rational-hull certificates, and two more publication candidates",
 "document": "main.zip!/AMRAL_LUC_FC_Round_34_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_34_RHCERT_Publication_Candidates_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": {
  "47": {
   "header": [
    "L34RHC01",
    1,
    18,
    1,
    9228
   ],
   "consumed": true,
   "index": [
    "L34RHIDX",
    1,
    true,
    true,
    true
   ],
   "order": true,
   "densities_equal": 9228,
   "vertices": [
    9228,
    2163069
   ],
   "tags": [
    0,
    1,
    2,
    3
   ]
  },
  "48": {
   "header": [
    "L34RHC01",
    1,
    18,
    1,
    9285
   ],
   "consumed": true,
   "index": [
    "L34RHIDX",
    1,
    true,
    true,
    true
   ],
   "order": true,
   "densities_equal": 9285,
   "vertices": [
    9285,
    2109700
   ],
   "tags": [
    0,
    1,
    2,
    3
   ]
  },
  "spec": [
   "<8sHBBI",
   "L34RHC01",
   1,
   18,
   1,
   "L34RHIDX",
   true
  ]
 },
 "w2": {
  "47": {
   "pass": 9228,
   "convex": 9228,
   "refused": 0,
   "least": [
    4820,
    "10001101101111110111",
    6.75024723062513e-09
   ],
   "is_summary": [
    true,
    true
   ],
   "to_ledger": 2.6e-17
  },
  "48": {
   "pass": 9285,
   "convex": 9285,
   "refused": 0,
   "least": [
    6986,
    "110101101001101011111010",
    1.0316417842561089e-07
   ],
   "is_summary": [
    true,
    true
   ],
   "to_ledger": 2.7e-17
  }
 },
 "w3": {
  "47": {
   "raw": [
    36506484,
    16.8772,
    34.82
   ],
   "package": [
    8411289,
    true,
    3.8886,
    8.02
   ],
   "economics": [
    true,
    true,
    true,
    true,
    true
   ]
  },
  "48": {
   "raw": [
    35657092,
    16.9015,
    34.01
   ],
   "package": [
    7909374,
    true,
    3.7491,
    7.54
   ],
   "economics": [
    true,
    true,
    true,
    true,
    true
   ]
  }
 },
 "w4": {
  "leaves": 9255,
  "decided": 9255,
  "density_counts": {
   "256": 820,
   "512": 3429,
   "1024": 3632,
   "2048": 1140,
   "4096": 181,
   "8192": 46,
   "16384": 7
  },
  "least": [
   "00111011001001010000010",
   16384,
   2.2329210691926833e-08
  ],
  "to_summary": [
   true,
   2.6e-17
  ]
 },
 "w5": {
  "record": [
   true,
   true,
   true,
   true,
   true
  ],
  "every_constraint": [
   0.8348955547544915,
   1317,
   22748,
   22749
  ],
  "is_replay": true,
  "float_reduced": [
   0.8348955547544915,
   1284,
   22014,
   22015
  ],
  "is_round29": true,
  "mine": [
   128,
   9.961572239094077e-05,
   0.0001612202817038444
  ],
  "shard_margin": true
 },
 "w6": {
  "cells": [
   [
    47,
    48,
    69,
    70
   ],
   [
    47,
    48,
    68,
    69,
    70
   ]
  ],
  "counts": [
   true,
   true,
   true,
   true,
   true,
   true,
   true
  ],
  "geometry": [
   66,
   11,
   51
  ],
  "conditions": {
   "47": {
    "bytes_replayed_here": true,
    "mpfr_marker": "PASS",
    "mpfr_dominance": "PASS"
   },
   "48": {
    "bytes_replayed_here": true,
    "mpfr_marker": "PASS",
    "mpfr_dominance": "PASS"
   }
  }
 },
 "w7": {
  "emit": {
   "grid": true,
   "rounds_binary64": true,
   "starts_at_ledger_density": true,
   "dps": 90,
   "reads_unshipped": [
    "leaves_reference.json",
    "r26_full77_results"
   ]
  },
  "assemble": {
   "chunk_index": true,
   "global_index": true
  },
  "verify": {
   "dps": 80,
   "grid40": true,
   "outward": true,
   "strict_convexity": true,
   "root_round28": true,
   "decimal_into_interval": true
  },
  "lines": {
   "r34_assemble_rhcert.py": 27,
   "r34_emit_chunk.py": 146,
   "r34_verify_chunk.py": 101
  }
 },
 "p1": {
  "cells": {
   "47": "1b4e9a63dd9643c5",
   "48": "8b719201084a1527"
  }
 },
 "p2": {
  "cell47_replay_pass": true,
  "cell48_replay_pass": true,
  "cell47_dominance_pass": true,
  "cell48_dominance_pass": true,
  "cell47_pub": true,
  "cell48_pub": true,
  "cell68_lower_9255": true,
  "cell68_marker_a1": true,
  "cell68_marker_mpfr": true,
  "pub_count_4": true,
  "no_global_claim": true
 },
 "drill": {
  "plants": 16,
  "plants_caught_by_named_checks": 16,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 201,
  "must_stay_green_held": 201,
  "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-economics-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-dashboard-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-header-exponent",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-index-offset",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-replay-refused",
    "kind": "mutation",
    "expected": [
     "W2",
     "W6"
    ],
    "tripped": [
     "W2",
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-replay-least",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-zip-size",
    "kind": "mutation",
    "expected": [
     "P1",
     "W3"
    ],
    "tripped": [
     "P1",
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-economics",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-cell68-summary",
    "kind": "mutation",
    "expected": [
     "P1",
     "W4"
    ],
    "tripped": [
     "P1",
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-marker68",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-dashboard",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-code-claim",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-summary-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
   }
  ]
 }
}