{
 "run": "RUN-036",
 "subject": "Round 33: cross-backend enclosure dominance, and the depth-30 batch",
 "document": "main.zip!/AMRAL_LUC_FC_Round_33_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_33_Cross_Backend_Dominance_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": {
  "premises": [
   true,
   true
  ],
  "proof": [
   true,
   true
  ],
  "states": {
   "47": [
    1564,
    1564,
    9228,
    9228
   ],
   "48": [
    1574,
    1574,
    9285,
    9285
   ]
  },
  "ratio": [
   5.9,
   5.9
  ],
  "results": {
   "47": [
    "PASS",
    0,
    2.1500046539032408e-64
   ],
   "48": [
    "PASS",
    0,
    2.1500046539032408e-64
   ]
  }
 },
 "w2": {
  "48": {
   "counts": [
    18569,
    9285,
    9284,
    18569,
    9285,
    9284,
    18569,
    9285
   ],
   "leaf_paths_equal": true,
   "depth": [
    30,
    30
   ],
   "axes_high_first": true,
   "base": [
    true,
    true
   ],
   "digests": [
    true,
    true
   ],
   "least_slack": [
    "110101101001101011111010",
    1.160243198e-07,
    2e-16
   ]
  },
  "68": {
   "counts": [
    18509,
    9255,
    9254,
    18509,
    9255,
    9254,
    18509,
    9255
   ],
   "leaf_paths_equal": true,
   "depth": [
    30,
    30
   ],
   "axes_high_first": true,
   "base": [
    true,
    true
   ],
   "digests": [
    true,
    true
   ],
   "least_slack": [
    "00111011001001010000010",
    3.260004866e-08,
    0.0
   ]
  },
  "75": {
   "counts": [
    21895,
    10948,
    10947,
    21895,
    10948,
    10947,
    21895,
    10948
   ],
   "leaf_paths_equal": true,
   "depth": [
    30,
    30
   ],
   "axes_high_first": true,
   "base": [
    true,
    true
   ],
   "digests": [
    true,
    true
   ],
   "least_slack": [
    "11010110100110111101000001111",
    7.800966129e-08,
    1e-16
   ]
  },
  "76": {
   "counts": [
    21863,
    10932,
    10931,
    21863,
    10932,
    10931,
    21863,
    10932
   ],
   "leaf_paths_equal": true,
   "depth": [
    30,
    30
   ],
   "axes_high_first": true,
   "base": [
    true,
    true
   ],
   "digests": [
    true,
    true
   ],
   "least_slack": [
    "11010110110100101111001110011",
    3.630034273e-08,
    0.0
   ]
  },
  "47": {
   "round32_bytes": [
    true,
    true,
    true
   ]
  }
 },
 "w3": {
  "pass": 9285,
  "refused": 0,
  "hull_equal": 9285,
  "margin_difference": 2.3e-16,
  "least": [
   "110101101001101011111010",
   16384,
   1.0316417843733946e-07
  ],
  "bands": [
   9285,
   9285
  ],
  "density_counts": {
   "256": 824,
   "512": 3438,
   "1024": 3725,
   "2048": 1065,
   "4096": 183,
   "8192": 43,
   "16384": 7
  }
 },
 "w4": {
  "record": [
   true,
   true,
   true,
   true,
   true
  ],
  "every_constraint": [
   0.8349325735415322,
   2601,
   42878,
   42879
  ],
  "is_replay": true,
  "float_reduced": [
   0.8349325735415322,
   2560,
   41557,
   41557
  ],
  "is_round29": true,
  "mine": [
   128,
   4.028306961197044e-05,
   0.00010222745468868588
  ],
  "status_margins": [
   true
  ]
 },
 "w5": {
  "47": {
   "fields": [
    "density",
    "index",
    "margin_decimal",
    "path",
    "status",
    "vertices"
   ],
   "vertices": 2163069,
   "raw_mb": 34.6,
   "regenerated": [
    9228,
    2.6e-16
   ]
  },
  "48": {
   "fields": [
    "density",
    "index",
    "margin_decimal",
    "path",
    "status",
    "vertices"
   ],
   "vertices": 2109700,
   "raw_mb": 33.8,
   "regenerated": [
    9285,
    2.3e-16
   ]
  }
 },
 "w6": {
  "cells": [
   [
    69,
    70
   ],
   [
    47,
    48,
    69,
    70
   ],
   [
    47,
    48
   ],
   [
    68,
    75,
    76
   ]
  ],
  "counts": [
   true,
   true,
   true,
   true,
   true
  ],
  "geometry": [
   66,
   11,
   51
  ],
  "batch": {
   "47": [
    "CROSS-BACKEND-ENCLOSURE-AUDITED-PROTOTYPE",
    9228
   ],
   "48": [
    "CROSS-BACKEND-ENCLOSURE-AUDITED-PROTOTYPE",
    9285
   ],
   "68": [
    "SHARDIZED-ARITHMETIC-PENDING",
    9255
   ],
   "69": [
    "PUBLICATION-CANDIDATE-SHARD",
    null
   ],
   "70": [
    "PUBLICATION-CANDIDATE-SHARD",
    null
   ],
   "75": [
    "SHARDIZED-ARITHMETIC-PENDING",
    10948
   ],
   "76": [
    "SHARDIZED-ARITHMETIC-PENDING",
    10932
   ]
  },
  "batch_leaves": true,
  "batch_slack": true,
  "batch_counts": [
   2,
   2,
   3,
   true,
   true
  ]
 },
 "w7": {
  "lines": 108,
  "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_31_MPFR_ROOT_REPLAY.json",
   "AMRAL_LUC_FC_Round_32_cell{cell:02d}",
   "AMRAL_LUC_FC_Round_33_CROSS_BACKEND_DOMINANCE_CELL{cell}.json",
   "axis_stream_2bit.bin",
   "manifest.json",
   "topology.bin"
  ],
  "not_in_archive": [
   "AMRAL_LUC_FC_Round_32_cell{cell:02d}"
  ],
  "key_is_rotation_and_halfwidths": true,
  "translation_per_leaf": true,
  "a_by_decimal_strings": true,
  "b_by_round31_wrapper": true,
  "gain_is_min_over_states": true
 },
 "p1": {
  "audits": {
   "47": "PASS",
   "48": "PASS"
  }
 },
 "p2": {
  "cell47_lower_9228": true,
  "cell47_dominance_pass": true,
  "cell48_lower_9285": true,
  "cell48_all_lower_pass": true,
  "cell48_marker_A1_pass": true,
  "cell48_marker_MPFR_pass": true,
  "cell48_dominance_pass": true,
  "batch68_shardized": true,
  "batch75_shardized": true,
  "batch76_shardized": true,
  "publication_candidates_still_2": true,
  "no_global_claim": true
 },
 "drill": {
  "plants": 16,
  "plants_caught_by_named_checks": 16,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 202,
  "must_stay_green_held": 202,
  "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-spec-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-states",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-state-count",
    "kind": "mutation",
    "expected": [
     "P1",
     "W1"
    ],
    "tripped": [
     "P1",
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-topology-bit",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-manifest-slack",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-ledger-margin",
    "kind": "mutation",
    "expected": [
     "W3",
     "W5"
    ],
    "tripped": [
     "W3",
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-certificate",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-marker-area",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-ledger-vertices",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-dashboard-count",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-batch-slack",
    "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-status-margin",
    "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
   }
  ]
 }
}