{
 "run": "RUN-017",
 "subject": "Round 14: semantic rebase, claim dominance and hot/cold compaction",
 "document": "main.zip!/AMRAL_LUC_FC_Round_14_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_14_Semantic_Rebase_Compaction_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": {
  "capacities_at_2e-8": {
   "claim-shard-A-v1": 0.8350003769877956,
   "claim-shard-C-v1": 0.8350003445377508,
   "claim-shard-B-v2-corrected": 0.835000947494935
  },
  "scenarios": {
   "baseline": {
    "theorem_ready": true,
    "pending": []
   },
   "semantic_rebase_success": {
    "theorem_ready": true,
    "pending": []
   },
   "semantic_rebase_failure": {
    "theorem_ready": false,
    "pending": [
     "00",
     "10",
     "11"
    ]
   },
   "catalog_extension_only": {
    "theorem_ready": true,
    "pending": []
   }
  }
 },
 "w2": {
  "baseline": {
   "frontier_capacity": 0.8350003545377508,
   "reported": 0.8350003545377508,
   "target": 0.835
  },
  "semantic_rebase_success": {
   "frontier_capacity": 0.8350003445377508,
   "reported": 0.8350003445377508,
   "target": 0.8350001
  },
  "semantic_rebase_failure": {
   "frontier_capacity": 0.8350003445377508,
   "reported": 0.835000947494935,
   "target": 0.8350004
  },
  "catalog_extension_only": {
   "frontier_capacity": 0.8350003545377508,
   "reported": 0.8350003545377508,
   "target": 0.835
  }
 },
 "w4": {
  "claims_without_A1_evidence": [
   "claim-shard-A-v1",
   "claim-shard-B-v2-corrected",
   "claim-shard-C-v1"
  ],
  "B_v2_slack_is_B_v1_audit": true,
  "FAIL_against_active_bytes_in_source": true,
  "hot_tombstones": []
 },
 "p1": {
  "hot_core_rules_not_in_sec32": [
   "DOMAIN_ANCESTOR_COVERAGE_V0.1",
   "SCALAR_ERROR_BUDGET_MIGRATION_V0.1",
   "TARGET_MARGIN_CREDIT_V0.1",
   "WITNESS_CATALOG_EXTENSION_V0.1"
  ],
  "sec32_rules_named_in_protocol": []
 },
 "drill": {
  "plants": 9,
  "plants_caught_by_named_checks": 9,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 106,
  "must_stay_green_held": 106,
  "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-capacity-rearranged",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-claims-reordered",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-capacity-digit",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-capacity-without-old-budget",
    "kind": "mutation",
    "expected": [
     "W1",
     "W2"
    ],
    "tripped": [
     "W1",
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-text-ready-flipped",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-capacity-field-assumed-right",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-snapshot-edited",
    "kind": "mutation",
    "expected": [
     "W3",
     "W5"
    ],
    "tripped": [
     "W3",
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-hot-core-assumed-complete",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-rules-assumed-registered",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-hot-core-digest",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}