{
 "run": "RUN-015",
 "subject": "Round 12: the checkpoint crystal and the multi-AI audit protocol",
 "document": "main.zip!/AMRAL_LUC_FC_Round_12_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_12_Checkpoint_Crystal_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": {
  "fingerprints": {
   "v1_baseline": "a07225d3a5927814e1042459dbe9a67563dd61d6243fe0158ac4b61079213f7a",
   "v2_performance_only": "a07225d3a5927814e1042459dbe9a67563dd61d6243fe0158ac4b61079213f7a",
   "v3_proof_critical_change": "57ba49127cf02b028e04bac9f6b81e03358d6bbcac62bcc7242148fa66b70104",
   "v4_rejected_B": "a07225d3a5927814e1042459dbe9a67563dd61d6243fe0158ac4b61079213f7a",
   "v5_corrected_B": "a07225d3a5927814e1042459dbe9a67563dd61d6243fe0158ac4b61079213f7a"
  },
  "merge_summary_hash_is_of": "file bytes, not the canonical form",
  "arithmetic_policy_preimage": {
   "mode": "REFERENCE_DRY_RUN",
   "fp_pad": [
    1e-08,
    2e-08
   ]
  },
  "other_preimages": "not in the package"
 },
 "w2": {
  "v1_baseline": {
   "theorem_ready": true,
   "accepted": [
    "claim-shard-A-v1",
    "claim-shard-B-v1",
    "claim-shard-C-v1"
   ],
   "pending": []
  },
  "v2_performance_only": {
   "theorem_ready": true,
   "accepted": [
    "claim-shard-A-v1",
    "claim-shard-B-v1",
    "claim-shard-C-v1"
   ],
   "pending": []
  },
  "v3_proof_critical_change": {
   "theorem_ready": false,
   "accepted": [],
   "pending": [
    "00",
    "01",
    "10",
    "11"
   ]
  },
  "v4_rejected_B": {
   "theorem_ready": false,
   "accepted": [
    "claim-shard-A-v1",
    "claim-shard-C-v1"
   ],
   "pending": [
    "01"
   ]
  },
  "v5_corrected_B": {
   "theorem_ready": true,
   "accepted": [
    "claim-shard-A-v1",
    "claim-shard-B-v2-corrected",
    "claim-shard-C-v1"
   ],
   "pending": []
  }
 },
 "w4": {
  "stored_aggregate_contradicts_ledger": [
   "v3_proof_critical_change",
   "v4_rejected_B",
   "v5_corrected_B"
  ],
  "rejected_bytes_readmitted": [
   "v5_corrected_B"
  ],
  "A1_passes_without_replay_metrics": [
   "v5_corrected_B: audit-shard-B-corrected-canonical"
  ]
 },
 "p1": {
  "schema_failures": [],
  "protocol_states_outside_text": [
   "REJECTED-PENDING-REVIEW",
   "STALE-AGGREGATE"
  ],
  "protocol_gate_missing": [
   "source and certificate hashes"
  ]
 },
 "drill": {
  "plants": 11,
  "plants_caught_by_named_checks": 11,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 123,
  "must_stay_green_held": 123,
  "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-digest-ascii",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-digest-of-reversed-keys",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-table",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-digest-unsorted",
    "kind": "mutation",
    "expected": [
     "W1",
     "W5"
    ],
    "tripped": [
     "W1",
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2b-pad-misread",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-validator-ignores-staleness",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-text-table",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-scope-global",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-stored-aggregates-assumed-right",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-readmission-assumed-absent",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-protocol-states-assumed-in-text",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-validation-results",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}