{
 "run": "RUN-038",
 "subject": "Round 35: the certificate format in production, and the frontier that was not kept",
 "document": "main.zip!/AMRAL_LUC_FC_Round_35_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_35_RHCERT_Mass_Production_Durable_Frontiers_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": {
  "header": [
   "L34RHC01",
   1,
   18,
   1,
   9255
  ],
  "consumed": true,
  "index": [
   "L34RHIDX",
   1,
   true,
   true,
   true
  ],
  "my_leaves": true,
  "densities_equal": 9255,
  "hull_counts_equal": 9255,
  "vertices": 2126336
 },
 "w2": {
  "pass": 9255,
  "convex": 9255,
  "refused": 0,
  "least": [
   2126,
   "00111011001001010000010",
   2.232921067369829e-08
  ],
  "is_record": [
   true,
   [
    true,
    true,
    true,
    true
   ]
  ],
  "to_mine": 2.6e-16
 },
 "w3": {
  "75": {
   "paths": true,
   "pass": 10948,
   "refused": 0,
   "hull_equal": 10948,
   "margin_difference": 2.6e-16,
   "bands": [
    10948,
    10948
   ],
   "least": [
    "11010110100110111101000001111",
    16384,
    6.251776139778169e-08
   ],
   "density_counts": {
    "256": 848,
    "512": 3609,
    "1024": 4609,
    "2048": 1545,
    "4096": 293,
    "8192": 36,
    "16384": 8
   }
  },
  "76": {
   "paths": true,
   "pass": 10932,
   "refused": 0,
   "hull_equal": 10932,
   "margin_difference": 2.2e-16,
   "bands": [
    10932,
    10932
   ],
   "least": [
    "11010110110100101111001110011",
    16384,
    2.047726726055077e-08
   ],
   "density_counts": {
    "256": 853,
    "512": 3568,
    "1024": 4700,
    "2048": 1474,
    "4096": 287,
    "8192": 44,
    "16384": 6
   }
  }
 },
 "w4": {
  "75": {
   "record": [
    true,
    true,
    true,
    true
   ],
   "every_constraint": [
    0.8349344874879304,
    1312,
    22932,
    22932
   ],
   "is_replay": true,
   "is_round29": true,
   "mine": [
    128,
    7.618893728138815e-05,
    0.00013790529424184683
   ],
   "status_margin": true
  },
  "76": {
   "record": [
    true,
    true,
    true,
    true
   ],
   "every_constraint": [
    0.8349600023952688,
    2593,
    42978,
    42979
   ],
   "is_replay": true,
   "is_round29": true,
   "mine": [
    128,
    1.7451451239390935e-05,
    7.873645672273888e-05
   ],
   "status_margin": true
  }
 },
 "w5": {
  "68": [
   1565,
   1565,
   9255,
   9255,
   "PASS",
   0
  ],
  "75": [
   1690,
   1690,
   10948,
   10948,
   "PASS",
   0
  ],
  "76": [
   1688,
   1688,
   10932,
   10932,
   "PASS",
   0
  ]
 },
 "w6": {
  "cells": [
   [
    47,
    48,
    68,
    69,
    70
   ],
   [
    47,
    48,
    68,
    69,
    70,
    75,
    76
   ],
   [
    75,
    76
   ]
  ],
  "counts": [
   true,
   true,
   true,
   true,
   true,
   true,
   true
  ],
  "geometry": [
   66,
   11,
   0,
   51
  ],
  "residual_records_round27s": true,
  "dfront": [
   "[(k_phi,m_phi),(k_x,m_x),(k_y,m_y)]",
   "[m/2^k,(m+1)/2^k] relative to witness-root coordinate interval",
   true,
   9
  ],
  "recovery": [
   "GEOMETRY-FRONTIER-RECOVERY-REQUIRED",
   "Do not infer pending boxes from counts/volumes; carry geometry coverage unchanged."
  ]
 },
 "p1": {
  "package": [
   8041559,
   "52a2e16d67603ad28752ffba97ab76179789253f541b22597f8af0f91684a752"
  ],
  "chunks": 4
 },
 "p2": {
  "cell68_rhcert_9255": true,
  "cell68_replay_pass": true,
  "cell68_dominance_pass": true,
  "cell68_promoted": true,
  "cell75_all_pass": true,
  "cell76_all_pass": true,
  "cell75_upper_dom": true,
  "cell76_upper_dom": true,
  "publication_count_5": true,
  "arith_count_7": true,
  "geometry_66": true,
  "no_global_claim": true
 },
 "drill": {
  "plants": 15,
  "plants_caught_by_named_checks": 15,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 173,
  "must_stay_green_held": 173,
  "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-shard-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-states",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-index-offset",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-replay-refused",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-record-chunk",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-ledger-margin",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-ledger-density",
    "kind": "mutation",
    "expected": [
     "P1",
     "W3"
    ],
    "tripped": [
     "P1",
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-marker-row",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-audit-states",
    "kind": "mutation",
    "expected": [
     "P1",
     "W5"
    ],
    "tripped": [
     "P1",
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-dashboard-count",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-recovery-record",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-shard-bytes",
    "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
   }
  ]
 }
}