{
  "round": "RUN-096",
  "gate": "src98",
  "C5": {
    "verdict": "UNMEASURED",
    "why": "the auxiliary->arithmetic comparison route as an actual map (C7's object, RUN-090: 'none exists'); without it Round 030 section 18 cannot be placed in case (18.1) or (18.2)",
    "inventory_size": 23,
    "unclassified_slots": 0,
    "duplicates": [],
    "bins": {
      "eta_D": [
        "C_pi",
        "eta_pdR",
        "kappa_det",
        "id(LR class, PC-001 projected class)",
        "id(Kato class, modular symbol)"
      ],
      "a_D": [
        "c_lead",
        "q_f",
        "G_b",
        "j",
        "log11_gamma",
        "Gauss(chi_8)"
      ],
      "q_D": [
        "S5",
        "16 = e11/theta",
        "416 = 16*26",
        "plus_index_2 (19.a1)",
        "index (389.a1, plus)",
        "index (389.a1, minus)",
        "E_adj_i / L-part"
      ],
      "removed partner factors": [
        "lambda_i(0)",
        "E_adj_i / P-part",
        "Pi_i",
        "kappa_E",
        "ell_0"
      ]
    },
    "delta_other_E_enumerated": [
      "C_pi",
      "id(LR class, PC-001 projected class)",
      "id(Kato class, modular symbol)"
    ],
    "gauge_law": {
      "Col": [
        1,
        0
      ],
      "c_f": [
        1,
        0
      ],
      "c_lead": [
        1,
        0
      ],
      "q_f": [
        1,
        0
      ],
      "C_pi": [
        0,
        0
      ],
      "B_hat_i": [
        0,
        0
      ],
      "R_i_lead": [
        1,
        0
      ],
      "c_aux": [
        0,
        1
      ],
      "delta": [
        1,
        -1
      ],
      "delta_if_c_aux_in_bf_frame": [
        0,
        0
      ]
    },
    "gauge_entry": {
      "name": "G_b",
      "value": "u/v",
      "weights": [
        1,
        -1
      ]
    },
    "tag_corrections_to_RUN_090": {
      "c_lead": [
        "E",
        "G"
      ],
      "q_f": [
        "E",
        "G"
      ]
    },
    "completeness": [
      "each arrow is between lines, so it carries exactly one scalar",
      "every frame change has a named G (c_lead, q_f, G_b, j, log11_gamma, Gauss)",
      "every finite correction has a named L (S5, 16, 416, the three indices, E_i's L-part)",
      "every partner slot has a named P (lambda_i, E_i's P-part, Pi_i, kappa_E, ell_0)",
      "an unnamed automorphism can arise only from two routes between the same lines - the slot Round 030 (18.2) names kappa_det"
    ],
    "stops_at": "the auxiliary->arithmetic comparison route as an actual map (C7's object, RUN-090: 'none exists'); without it Round 030 section 18 cannot be placed in case (18.1) or (18.2)",
    "dependency_finding": "C5's ledger can be certified only once C7's OBJECT (the comparison route) exists, while RUN-090's graph lists C7 downstream of C5: the graph conflates 'the map exists' with 'the criterion is resolved'. RUN-095's frontier {C5, C8} was computed from that graph.",
    "outside_D": {
      "c_ES/Kum": "the scalar from [Theta_aux] to kappa(eps): between two candidate anchors, not inside D, because D is measured from Theta_aux in the ES frame (Round 025's native anchor)",
      "BF-COORD": "no computed representative of the BF class: a value gap, not a factor",
      "Pi_E/Pi_0 value": "the value of a P-factor already in the ledger",
      "Selmer-complex lengths (Rounds 033-034)": "post-normalisation objects, outside C1-C10"
    }
  },
  "C8": {
    "verdict": "PASS",
    "target_normalisation_index": {
      "plus": 2,
      "minus": 2
    },
    "index_factorisation": {
      "plus": {
        "2": 1
      },
      "minus": {
        "2": 1
      }
    },
    "saturations": {
      "plus": {
        "index": 2,
        "v_11": 0,
        "prime_to_11_part": 2,
        "primes": [
          2
        ],
        "eleven_adic_saturated": true,
        "prime_to_11_saturated": false,
        "globally_primitive": true
      },
      "minus": {
        "index": 2,
        "v_11": 0,
        "prime_to_11_part": 2,
        "primes": [
          2
        ],
        "eleven_adic_saturated": true,
        "prime_to_11_saturated": false,
        "globally_primitive": true
      }
    },
    "primitive_content": {
      "plus": 1,
      "minus": 1
    },
    "first_nonzero": {
      "plus": 5,
      "minus": 3
    },
    "cross_checks": {
      "plus_vs_src70_mod11_all_390": true,
      "minus_vs_src79_mod11_all_390": true
    },
    "level_389_space": {
      "dimension": 65,
      "2g+1": 65,
      "eigenspace_dims": {
        "2": 2,
        "3": 2,
        "5": 2,
        "7": 2
      }
    },
    "lengths_used_as": "valuation",
    "outside_C8": "the Selmer-complex / cone Euler lengths of Rounds 033-034 are post-normalisation objects"
  },
  "claim_labels": {
    "COMPUTED_HERE": [
      "the gauge law on exact instances from declared primitive dependences",
      "the inventory and its derived tags",
      "the level-389 rational lines, their Z-primitive vectors, contents, indices, and the two cross-checks"
    ],
    "CITED_THEOREM": [
      "Round 030 sections 15-18 (the factorization), section 9/13-15 (lines)",
      "LR C1.9, section A8.3, the Coleman map's definition",
      "Kato [Kat04]"
    ],
    "DERIVED_FROM_VERIFIED_INPUTS": [
      "RUN-090's fifteen tags",
      "RUN-094/095's dictionary and C_pi provenance",
      "RUN-080's calibrator indices"
    ],
    "UNMEASURED": [
      "the comparison route (C7's map)",
      "the values of eta_pdR, kappa_det, G_b, Pi_i, kappa_E, ell_0"
    ],
    "FAILED": []
  },
  "status": {
    "C1-C4": "PASS (RUN-095)",
    "C5": "UNMEASURED",
    "C6": "UNMEASURED",
    "C7": "UNMEASURED",
    "C8": "PASS",
    "C9": "UNMEASURED",
    "C10": "UNMEASURED",
    "normalization": "NORMALIZATION-UNMEASURED",
    "BSD": "OPEN"
  }
}