{
  "id": "PN2-SD-C3.8N-v0.1",
  "status": "CANDIDATE_MATHEMATICAL_EXTENSION_NOT_YET_CANONICAL",
  "setup": {
    "branches": [
      "L",
      "R"
    ],
    "observation_distributions": "P_L^u, P_R^u on measurable Y",
    "tau": "TV(P_L^u,P_R^u)",
    "risks": {
      "R_S": "max_b E_b |s_hat(Y)-s_b|",
      "R_D": "max_b E_b |d_hat(Y)-d_b|",
      "R_R": "max_b E_b ||r_hat(Y)-r_b||"
    }
  },
  "bounds": {
    "R_S": "R_S >= (Delta_S/2)*(1-tau)",
    "R_D": "R_D >= (Delta_D/2)*(1-tau)",
    "R_R": "R_R >= (||K||/2)*(1-tau)",
    "product_S_D": "R_S*R_D >= (Delta_S*Delta_D/4)*(1-tau)^2",
    "product_R_D": "R_R*R_D >= (||K||*Delta_D/4)*(1-tau)^2"
  },
  "proof_key": "integrate triangle inequality over the common submeasure P_L ∧ P_R, whose mass equals 1-TV",
  "limits": {
    "tau_0": "recovers deterministic 1/2 and 1/4 coefficients",
    "tau_1": "bound vanishes because branch is perfectly distinguishable from accessible data"
  },
  "status_effect": "does not close physical PO-6 until a concrete observation kernel and experimental loss mapping are specified"
}