{
  "C9": "PASS",
  "detail": {
    "residual_graph_complete": "YES",
    "components": {
      "I": 1,
      "II": 1
    },
    "beta_1": {
      "I": 0,
      "II": 2
    },
    "fundamental_cycle_products": {
      "I": [],
      "II": [
        "1",
        "1"
      ]
    },
    "residual_monodromy": "trivial"
  },
  "representations_agree": true,
  "controls": {
    "tree_accepted": true,
    "genuine_cycle_product_1_accepted": true,
    "same_cycle_product_not_1_rejected": true,
    "bad_product": "6/5",
    "agrees": true
  },
  "not_claimed": [
    "C10: a canonical flat section or an exact anchor - trivial holonomy leaves the K^x-torsor of (20.2)",
    "v_11(q) (L, q_D, outside-certificate)",
    "the numerical value of C_pi (an edge label, not holonomy)"
  ],
  "agrees": true
}