{
  "certificate_defect_per_input_flux": "503/20402",
  "positive_equilibrium_exists": false,
  "reason": "a balance forces a=1; b balance is -b times a strictly positive release loss when any stage leaks. This example demonstrates why a conditional leakage error bound is not an existence proof."
}