{
 "run": "RUN-062",
 "subject": "BCODR: bidirectional circular overlap decomposition and recomposition",
 "document": "main.zip!/BCODR/BCODR_v0.1_Package.zip!/BCODR_Bidirectional_Circular_Overlap_Decomposition_and_Recomposition_v0.1.md",
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "W1": {
   "pass": true,
   "failures": []
  },
  "W2": {
   "pass": true,
   "failures": []
  },
  "W3": {
   "pass": true,
   "failures": []
  },
  "W4": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "triples": 20000,
  "triangle": [
   true,
   true
  ],
  "J_in_unit": true,
  "scaling": true
 },
 "w2": {
  "random": [
   36,
   true,
   22
  ],
  "bound": true,
  "pairwise": true,
  "largest": [
   12,
   134,
   134
  ],
  "venn": [
   8,
   8
  ]
 },
 "w3": {
  "weights": [
   0.1,
   0.3,
   0.5,
   0.7,
   0.9,
   1.0
  ],
  "grades": [
   "SEARCH_EVIDENCE",
   "RESEARCH_CERTIFICATE",
   "INDEPENDENTLY_REPLAYED",
   "INTERVAL_CERTIFIED",
   "FORMAL_KERNEL"
  ],
  "uesfcm_stages": [
   "Expand",
   "LinkBack",
   "FiniteClose",
   "Recenter"
  ]
 },
 "w4": {
  "ledger_195": [
   195,
   0.146
  ],
  "lower_branch": false,
  "paper09c_archived": false
 },
 "p1": {
  "digest": true,
  "manifest": true,
  "utf8": true,
  "delimiters": [
   "PASS",
   []
  ],
  "code": "BCODR-v0.1",
  "cycle": [
   "Generate",
   "Overlap",
   "Measure",
   "Cut",
   "Separate",
   "Recompose",
   "Close"
  ],
  "rules": [
   "connected overlap graph",
   "pairwise overlap"
  ]
 },
 "drill": {
  "plants": 11,
  "plants_caught_by_named_checks": 11,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 87,
  "must_stay_green_held": 87,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-validation-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-complexity",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-jaccard-triangle",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-pairwise-cells",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-signatures",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-uesfcm-stage",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-handoff-grade",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-ledger-share",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-09c-archived",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-validation-cycle",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}