{
  "R0": "PASS",
  "why": "every arrow actual, every junction typed and compatible, every scalar identity lifted by a named theorem, both endpoints realised, the partner slot separate",
  "not_claimed": [
    "the values of eta_pdR, kappa_det, G_b, Pi_i (C5/C6/C7)",
    "any leading-coefficient extraction in t (PC-001 (2))"
  ],
  "refinement_of_RUN_096": "C1.10: Attack 09's Eichler-Shimura frame IS omega_f, which is canonical; so RUN-096's v is not free and G_b = u/v is the b_f+ -> omega_f ratio, exactly the b_f+-dependence of c_f(k) that C_pi = c_lead/q_f removes",
  "consequence_for_C5": "COMPARISON_ROUTE_EXISTS can be set from this gate's log next round; C5 re-runs",
  "agrees": true
}