{
  "C5": "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)",
  "delivered": {
    "inventory": 23,
    "unclassified": 0,
    "duplicates": 0,
    "delta_other_E": [
      "C_pi",
      "id(LR class, PC-001 projected class)",
      "id(Kato class, modular symbol)"
    ],
    "gauge": {
      "name": "G_b",
      "value": "u/v",
      "weights": [
        1,
        -1
      ]
    },
    "tag_corrections": {
      "c_lead": [
        "E",
        "G"
      ],
      "q_f": [
        "E",
        "G"
      ]
    }
  },
  "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.",
  "agrees": true
}