{
  "status": "PASS",
  "kind": "High-precision implementation diagnostics, not a compiled quantum circuit or formal interval proof",
  "decimal_precision": 110,
  "own_dilog_series_bits": 250,
  "diagnostics": [
    "Dilog range reduction against independent polylog",
    "CDF density and survival bound",
    "Twelve inverse-CDF bracket controls",
    "Retained capped-tail atom",
    "Half-temperature Fourier convention"
  ],
  "large_frequency_register_controls": [
    {
      "onsite_bound_power_of_two": 0,
      "grid_nodes": "262144",
      "grid_register_qubits": 18,
      "quantiles_checked": 4,
      "time_precision_bits_upper": 16
    },
    {
      "onsite_bound_power_of_two": 20,
      "grid_nodes": "137438953472",
      "grid_register_qubits": 37,
      "quantiles_checked": 4,
      "time_precision_bits_upper": 36
    },
    {
      "onsite_bound_power_of_two": 80,
      "grid_nodes": "158456325028528675187087900672",
      "grid_register_qubits": 97,
      "quantiles_checked": 4,
      "time_precision_bits_upper": 96
    }
  ],
  "negative_control": "Enumerated quadrature requires the displayed Q nodes; coherent uniform register uses only n qubits and reversible quantile evaluation.",
  "scope": "One interacting QBP coefficient encoding; full original Gibbs implementation remains open."
}
