{
  "R0.5": "C",
  "why": "localization at explicit divisors: L_p(Ad g) (inverted), L_p(g_E x psi), X^n, log^{[r+1]}; the composite's residual is exactly the named extractions",
  "divisors": [
    "L_p(Ad g) (inverted)",
    "L_p(g_E x psi)",
    "X^n",
    "log^{[r+1]}"
  ],
  "positive_control": {
    "input": {
      "scalar_status": "unit",
      "module": "free rank 1",
      "expected": "isomorphism, inverse over the base ring"
    },
    "classified": {
      "injective": true,
      "surjective": true,
      "cokernel": "0",
      "inverse": "over the base ring",
      "status": "unit"
    },
    "accepted": true
  },
  "correction_to_RUN_097": "'R0 PASS over H_Gamma-lines' -> 'R0 PASS over H_Gamma-lines localized at X^n and at the divisor of L_p^g, the composite's residual log^{[r+1]}/X^n being the two named extractions'",
  "C5": {
    "divisors_accounted": {
      "L_p(g x psi)": true,
      "L_p(g x tau)": true,
      "L_p(Ad g)": true,
      "C_d": true,
      "log^{[r+1]}": true,
      "X^n": "the weight-jet order m = n of Round 030 (14.1), not a delta-factor"
    },
    "new_L_factors": [],
    "verdict": "PASS kept"
  },
  "agrees": true
}