{
  "inputs": {
    "C": 1.0,
    "D": 1.0,
    "K": 1.0,
    "J": 1.0,
    "dilution": 10.0,
    "rho": 1.0,
    "ceiling": "100",
    "error": "1/10000"
  },
  "certificates": {
    "main": {
      "low_sign": true,
      "high_margin": true,
      "coefficients": {
        "9": [
          "549739/2500",
          "6249899/2500",
          "23318059/2500",
          "554219/2500"
        ],
        "11": [
          "601099/2500",
          "25425377/7500",
          "34047819/2500",
          "26119179/2500"
        ]
      },
      "meaning": "Sufficient exact certificate; a failed coefficient is inconclusive"
    },
    "smaller_guard": {
      "low_sign": true,
      "high_margin": true,
      "coefficients": {
        "9": [
          "142047/2500",
          "7251831/2500",
          "9789651/500",
          "108194519/2500"
        ],
        "11": [
          "447/2500",
          "26997893/7500",
          "2477943/100",
          "141811479/2500"
        ]
      },
      "meaning": "Sufficient exact certificate; a failed coefficient is inconclusive"
    },
    "range_1000": {
      "low_sign": true,
      "high_margin": true,
      "coefficients": {
        "9": [
          "3321809/2500",
          "163930579/2500",
          "4820411849/2500",
          "2207865619/2500"
        ],
        "11": [
          "4019969/2500",
          "620561017/7500",
          "6102058209/2500",
          "5924733579/2500"
        ]
      },
      "meaning": "Sufficient exact certificate; a failed coefficient is inconclusive"
    },
    "range_10000": {
      "low_sign": true,
      "high_margin": true,
      "coefficients": {
        "9": [
          "1839109/1250",
          "351625757/500",
          "126741925313/625",
          "273117405619/2500"
        ],
        "11": [
          "2229769/1250",
          "1325600471/1500",
          "158810410533/625",
          "656586393579/2500"
        ]
      },
      "meaning": "Sufficient exact certificate; a failed coefficient is inconclusive"
    },
    "availability_drift": {
      "low_sign": true,
      "high_margin": true,
      "coefficients": {
        "60/7": [
          "623964/1225",
          "4183164/1225",
          "310236/25",
          "14863164/1225"
        ],
        "220/19": [
          "5851116/9025",
          "45832716/9025",
          "177683116/9025",
          "262778316/9025"
        ]
      },
      "meaning": "Sufficient exact certificate; a failed coefficient is inconclusive"
    },
    "transient": {
      "low_sign": true,
      "high_margin": true,
      "coefficients": {
        "9": [
          "649209/2500",
          "6619929/2500",
          "25577049/2500",
          "19120569/2500"
        ],
        "11": [
          "731469/2500",
          "8829389/2500",
          "35892909/2500",
          "43522029/2500"
        ]
      },
      "meaning": "Sufficient exact certificate; a failed coefficient is inconclusive"
    },
    "relative_error": {
      "low_sign": true,
      "high_margin": true,
      "coefficients": {
        "9": [
          "96648177/257500",
          "791044737/257500",
          "2981865297/257500",
          "2713909857/257500"
        ],
        "11": [
          "111738657/257500",
          "1042884017/257500",
          "4121605377/257500",
          "5392702737/257500"
        ]
      },
      "meaning": "Sufficient exact certificate; a failed coefficient is inconclusive"
    },
    "high_capacity": {
      "low_sign": true,
      "high_margin": true,
      "coefficients": {
        "9": [
          "20859839879/10000",
          "243201899759/10000",
          "1576750559639/10000",
          "1105505819519/10000"
        ],
        "11": [
          "24898486239/10000",
          "312191285319/10000",
          "2078225484399/10000",
          "2407001083479/10000"
        ]
      },
      "meaning": "Sufficient exact certificate; a failed coefficient is inconclusive"
    },
    "capacity_guard": {
      "low_sign": true,
      "high_margin": true,
      "coefficients": {
        "9": [
          "189467991/1000",
          "160028623863/10000",
          "243938250477/1250",
          "4130450819769/10000"
        ],
        "11": [
          "59176431/1000",
          "200486296783/10000",
          "308422184157/1250",
          "5555389293729/10000"
        ]
      },
      "meaning": "Sufficient exact certificate; a failed coefficient is inconclusive"
    },
    "unequal_capacity": {
      "low_sign": true,
      "high_margin": true,
      "coefficients": {
        "9": [
          "41918049839/2500",
          "197023156399/2500",
          "620461062959/2500",
          "288231769519/2500"
        ],
        "11": [
          "54016762599/2500",
          "793546058677/7500",
          "2637195429557/7500",
          "873666133479/2500"
        ]
      },
      "meaning": "Sufficient exact certificate; a failed coefficient is inconclusive"
    }
  },
  "conditional_enclosures": {
    "blank": {
      "status": "LOW_CONDITIONAL",
      "intervals": [
        [
          "0",
          "125/16384"
        ]
      ],
      "depth": 14,
      "requested_depth": 14,
      "ceiling": "100",
      "meaning": "Outer relaxation; retained states need not be feasible"
    },
    "high_50": {
      "status": "HIGH_CONDITIONAL",
      "intervals": [
        [
          "76625/2048",
          "100"
        ]
      ],
      "depth": 14,
      "requested_depth": 14,
      "ceiling": "100",
      "meaning": "Outer relaxation; retained states need not be feasible"
    },
    "guard_1": {
      "status": "UNRESOLVED",
      "intervals": [
        [
          "0",
          "41125/16384"
        ]
      ],
      "depth": 14,
      "requested_depth": 14,
      "ceiling": "100",
      "meaning": "Outer relaxation; retained states need not be feasible"
    },
    "collision_low": {
      "status": "UNRESOLVED",
      "intervals": [
        [
          "0",
          "1375/8192"
        ]
      ],
      "depth": 14,
      "requested_depth": 14,
      "ceiling": "100",
      "meaning": "Outer relaxation; retained states need not be feasible"
    },
    "collision_high": {
      "status": "HIGH_CONDITIONAL",
      "intervals": [
        [
          "153175/4096",
          "100"
        ]
      ],
      "depth": 14,
      "requested_depth": 14,
      "ceiling": "100",
      "meaning": "Outer relaxation; retained states need not be feasible"
    },
    "neat_only": {
      "status": "UNRESOLVED",
      "intervals": [
        [
          "0",
          "1375/8192"
        ],
        [
          "153175/4096",
          "100"
        ]
      ],
      "depth": 14,
      "requested_depth": 14,
      "ceiling": "100",
      "meaning": "Outer relaxation; retained states need not be feasible"
    },
    "negative": {
      "status": "MODEL_OR_MEASUREMENT_INCOMPATIBLE",
      "intervals": [],
      "depth": 14,
      "requested_depth": 14,
      "ceiling": "100",
      "meaning": "Outer relaxation; retained states need not be feasible"
    },
    "censored_dilution": {
      "status": "LOW_CONDITIONAL",
      "intervals": [
        [
          "0",
          "125/16384"
        ]
      ],
      "depth": 14,
      "requested_depth": 14,
      "ceiling": "100",
      "meaning": "Outer relaxation; retained states need not be feasible"
    },
    "blank_without_ceiling": {
      "status": "UNRESOLVED",
      "intervals": [
        [
          "0",
          "unbounded"
        ]
      ],
      "reason": "Finite ceiling and established calibration required"
    }
  },
  "configured_record": {
    "status": "UNRESOLVED",
    "intervals": [
      [
        "0",
        "unbounded"
      ]
    ],
    "reason": "Finite ceiling and established calibration required"
  },
  "peak": 2.0,
  "collision": {
    "neat": "49/2550",
    "accessible_low": "200/2499",
    "accessible_high": "2499/50"
  },
  "kinetic_max_full_reduced_gap": 3.90087961932295e-11,
  "near_unit_box_sufficient_seconds": 1666.6666666666665,
  "precision_allowance": 0.006614067536687622,
  "wash_limit": "1/900",
  "blank_tail_from": "133100",
  "uniform_tail_margin_constant": "7371/8000",
  "masking_worlds": [
    {
      "x": "1/10",
      "rho": "1"
    },
    {
      "x": "100",
      "rho": "1/1000"
    }
  ],
  "scope": "Fresh exact rational certificates and conservative inference; numerical source/ODE; Lean not rerun"
}