{
 "run": "RUN-016",
 "subject": "Round 13: the proof-state scheduler and the worker / merger protocol",
 "document": "main.zip!/AMRAL_LUC_FC_Round_13_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_13_Autonomous_Scheduler_v0.1.md",
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "W1": {
   "pass": true,
   "failures": []
  },
  "W2": {
   "pass": true,
   "failures": []
  },
  "W3": {
   "pass": true,
   "failures": []
  },
  "W4": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w2": {
  "decisions": [
   [
    "proposal-expand-01-v1",
    "ACCEPT-EXPAND"
   ],
   [
    "proposal-certify-01-late-v1",
    "ACCEPT-CERTIFY-ANCESTOR-CONTRACTION"
   ],
   [
    "proposal-expand-01-too-late",
    "OBSOLETE-COVERED-BY-CERTIFICATE"
   ]
  ],
  "frontiers": [
   [
    "00",
    "01",
    "10",
    "11"
   ],
   [
    "00",
    "010",
    "011",
    "10",
    "11"
   ],
   [
    "00",
    "01",
    "10",
    "11"
   ],
   [
    "00",
    "01",
    "10",
    "11"
   ]
  ],
  "theorem_ready": [
   false,
   false,
   true,
   true
  ]
 },
 "w4": {
  "stored_aggregate_contradicts_ledger": [
   "start",
   "after_expand",
   "after_late_certify",
   "after_obsolete_expand"
  ],
  "late_certificate_is_rejected_bytes": true,
  "those_bytes_replayed_clean_in_RUN_013": true,
  "legal_duplicate_blocks_readiness": true
 },
 "p1": {
  "journal_fields_missing": [
   "base_checkpoint_id",
   "current_checkpoint_id_at_merge",
   "reason",
   "result_checkpoint_id"
  ],
  "late_expansion_labels_in_text": [
   "OBSOLETE-COVERED-BY-CERTIFICATE",
   "OBSOLETE-COVERED-BY-CERTIFIED-ANCESTOR"
  ]
 },
 "drill": {
  "plants": 10,
  "plants_caught_by_named_checks": 10,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 100,
  "must_stay_green_held": 100,
  "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-contraction-as-filter",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-jobs-reordered",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-race-row",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-contraction-keeps-a-descendant",
    "kind": "mutation",
    "expected": [
     "W1",
     "W2"
    ],
    "tripped": [
     "W1",
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-text-table",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-race-summary",
    "kind": "mutation",
    "expected": [
     "P2",
     "W2"
    ],
    "tripped": [
     "P2",
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-start-not-v4",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-aggregates-assumed-right",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6b-duplicates-assumed-harmless",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-journal-assumed-complete",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-merger-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
   }
  ]
 }
}