{
 "run": "RUN-021",
 "subject": "Round 18: the production shard emitter, Rice-coded overrides and replay economics",
 "document": "main.zip!/AMRAL_LUC_FC_Round_18_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_18_Production_Shard_Emitter_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": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "decoded": {
   "certificate_official": {
    "nodes": 12350,
    "internal": 6171,
    "leaves": 6179,
    "overrides": 0,
    "SYM": 109,
    "CERT": 3304,
    "PENDING": 2766,
    "rice_bits": 0
   },
   "certificate_tail_window": {
    "nodes": 10086,
    "internal": 5039,
    "leaves": 5047,
    "overrides": 573,
    "SYM": 106,
    "CERT": 2893,
    "PENDING": 2048,
    "rice_bits": 3823
   }
  },
  "other_conventions_fail": {
   "LSB first": true,
   "higher child first": true,
   "zeros then a one": true
  }
 },
 "w2": {
  "certificate_official": {
   "cert_leaves": 3304,
   "worst_sampled_slack": 6.150283528572054e-06,
   "worst_exact_slack": 0.002385735922715626
  },
  "certificate_tail_window": {
   "cert_leaves": 2893,
   "worst_sampled_slack": 1.1443224037344102e-05,
   "worst_exact_slack": 0.002385735922715626
  }
 },
 "w3": {
  "r17_rule_overrides": 536,
  "r17_rule_nodes": 9990,
  "tail_alternates": 7552
 },
 "w4": {
  "recomputed": {
   "node_reduction_fraction": 0.18331983805668017,
   "pending_reduction_fraction": 0.25958062183658714,
   "raw_binary_stream_reduction_fraction": 0.026826115061409177,
   "full_zip_reduction_fraction": 0.11108005589938111,
   "zlib_concatenated_binary_change_fraction": 0.0734939759036144,
   "emitter_slowdown_factor": 2.4824136358256452,
   "replay_speedup_fraction": 0.14058501300228604,
   "replay_only_break_even_count": 31.79428351500538,
   "pending_continuation_break_even_seconds_per_saved_pending_leaf_at_R0": 0.014405580431754885,
   "override_fraction_of_tail_internal_nodes": 0.11371303830125025,
   "rice_sparse_axis_bits_fraction_of_explicit_3bit_axes": 0.2528940927432692
  },
  "streams": {
   "certificate_official": 3094,
   "certificate_tail_window": 3011
  },
  "zlib9": {
   "certificate_official": 1660,
   "certificate_tail_window": 1782
  },
  "zip": {
   "certificate_official": 25045,
   "certificate_tail_window": 22263
  },
  "evaluations": [
   12350,
   30229
  ],
  "redundant_parent_evaluations": 5039,
  "evaluation_ratio_with_and_without": [
   2.4477,
   2.0397
  ]
 },
 "w5": {
  "reads_pending_files": false,
  "compares_manifest_counts": false,
  "geometry_transcribed_from_pilot": true,
  "own_hull": true,
  "lookahead_ignores_sym": true,
  "gate_re_evaluates_parent": true
 },
 "drill": {
  "plants": 17,
  "plants_caught_by_named_checks": 17,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 170,
  "must_stay_green_held": 170,
  "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-certificate-files-reordered",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-format-spec-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-official-nodes",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-pending-path",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-manifest-count",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-other-conventions-decode",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-exact-slack",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-verifier-slack",
    "kind": "mutation",
    "expected": [
     "P1",
     "W2"
    ],
    "tripped": [
     "P1",
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-r17-rule-reproduces",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-evaluation-accounting",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-text-internal-right",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-cost-timing",
    "kind": "mutation",
    "expected": [
     "P1",
     "W4"
    ],
    "tripped": [
     "P1",
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-zip-size",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-redundant-evaluations",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-verifier-reads-pending",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-lookahead-counts-sym",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-emitter-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
   }
  ]
 }
}