{
  "status": "feasible",
  "witness": {
    "A": "1/4",
    "B0": "187/1024",
    "C0": "265/2048",
    "B1": "187/1024",
    "C1": "265/2048",
    "B2": "187/1024",
    "C2": "265/2048"
  },
  "margin": "1/32768",
  "method": "full-system QF_NRA plus exact downward rational reconstruction",
  "scope": "One common state for every independent ratio realization, using exact worst-case band endpoints. This is not one separately chosen state per realization."
}