{
  "status": "PASS_EXACT_CONDITIONAL_GRAM_WITNESS",
  "physical_promotion": 0,
  "contract_sha256": "f14e29fed517db49a49b0844e5fd4b39c26038b3516846280d94ecfd46cfdc28",
  "base_certificate_sha256": "ea8c1d9b72859ddb562528f65c1ab4a896ff92a90e49d48ce5f6b342f987c110",
  "mode_count": 100,
  "lambda_lower": {
    "fraction": "2096338252522969173189944508066938736013303562943300624225024069677400742412594238045666763036232184032911047448075403290447691419377001221502527834174399839442629768173980390528232333863516950143489266772973608900560785317864317902028245525356103599150149751907785945312685068381833398932059187676746171397196200910132001830189535556968771901428629585560398530614270775118452660307002820094620042604347728828089066275578994498000490449300849817564565732119855383065381434934598605927036739869041090713895713366002731750953000614771360835484051700/2303953268104396912686372755730090482079358179140876056622080016513381777967577498904028730231160120753369476446457883376833762226019783648325022510648451002787418586486519676880399453953922268700722323150983046605275536131748573922221576384037369271763728811831101478216405641579528277747691866840878705945351322985901541002541001928701991867728746823187637407908078400444695411893369816732992181270392567147000601454508082829348775032470770011228369391760230171173382015660401866476021656538542827970146967863791446169625835201398253858354840517",
    "approximation": 0.9098874884071563
  },
  "chosen_lambda_floor": "9/10",
  "chosen_norm_factor": "211/20",
  "tail_upper_V": {
    "fraction": "793/800000",
    "approximation": 0.00099125
  },
  "full_state_error_upper_V": {
    "fraction": "7099678453867513541/819200000000000000000",
    "approximation": 0.008666599675131241
  },
  "phase_upper_rad": {
    "fraction": "7099678453867513541/405504000000000000000",
    "approximation": 0.017508282171982307
  },
  "positive": {
    "status": "PASS_CONDITIONAL",
    "reason": "joint lambda and tail sufficient gates",
    "lambda_lower": "2096338252522969173189944508066938736013303562943300624225024069677400742412594238045666763036232184032911047448075403290447691419377001221502527834174399839442629768173980390528232333863516950143489266772973608900560785317864317902028245525356103599150149751907785945312685068381833398932059187676746171397196200910132001830189535556968771901428629585560398530614270775118452660307002820094620042604347728828089066275578994498000490449300849817564565732119855383065381434934598605927036739869041090713895713366002731750953000614771360835484051700/2303953268104396912686372755730090482079358179140876056622080016513381777967577498904028730231160120753369476446457883376833762226019783648325022510648451002787418586486519676880399453953922268700722323150983046605275536131748573922221576384037369271763728811831101478216405641579528277747691866840878705945351322985901541002541001928701991867728746823187637407908078400444695411893369816732992181270392567147000601454508082829348775032470770011228369391760230171173382015660401866476021656538542827970146967863791446169625835201398253858354840517",
    "tail_upper_V": "793/800000"
  },
  "controls": [
    {
      "case": "nominal_orthogonality",
      "pass": true
    },
    {
      "case": "prior_60uV",
      "pass": true
    },
    {
      "case": "50mHz",
      "pass": true
    },
    {
      "case": "500mHz_collision",
      "pass": true
    },
    {
      "case": "outside_300uV",
      "pass": true
    }
  ],
  "negative_details": {
    "prior60uV": {
      "status": "HOLD",
      "reason": "tail ceiling",
      "lambda_lower": "2096338252522969173189944508066938736013303562943300624225024069677400742412594238045666763036232184032911047448075403290447691419377001221502527834174399839442629768173980390528232333863516950143489266772973608900560785317864317902028245525356103599150149751907785945312685068381833398932059187676746171397196200910132001830189535556968771901428629585560398530614270775118452660307002820094620042604347728828089066275578994498000490449300849817564565732119855383065381434934598605927036739869041090713895713366002731750953000614771360835484051700/2303953268104396912686372755730090482079358179140876056622080016513381777967577498904028730231160120753369476446457883376833762226019783648325022510648451002787418586486519676880399453953922268700722323150983046605275536131748573922221576384037369271763728811831101478216405641579528277747691866840878705945351322985901541002541001928701991867728746823187637407908078400444695411893369816732992181270392567147000601454508082829348775032470770011228369391760230171173382015660401866476021656538542827970146967863791446169625835201398253858354840517",
      "tail_upper_V": "261/250000"
    },
    "50mHz": {
      "status": "HOLD",
      "reason": "selected lambda floor not certified",
      "lambda_lower": "203718876370825055687782091795597482229412130188267713465922007567185857866476157164315179632922936651454175718870772260527412864314596195944152781436680197276717580546930633688306091735719552401571544436913100802973447769970833844617733222646398385485512404876151819493690277669278380661588143603212104991787590570281964974812960180874056439876228341489781570429352341500184278171018941996030974131105249986363138854326550218595915719634199225728134482056851690326416029869550031965442713569900/3039850505387764585922705710242009638151797085064688948308856818681178294527882167479996662312378443495906587683637686565121837821820467677077813003751406740259027954715198002559926870353637505546430741608211434230342128425810160683817809808020222513948842447550305074038423189836954519207587083968133543121050075016052386946388280279033746053174729296843026154298946801305584004441633276280352500302306738058974749106373911445218702752427908865488867494366355962256333285374523859031294427135699"
    },
    "500mHz": {
      "status": "HOLD",
      "reason": "frequency uncertainty permits pair collision"
    },
    "outside300uV": {
      "status": "HOLD",
      "reason": "tail ceiling",
      "lambda_lower": "2096338252522969173189944508066938736013303562943300624225024069677400742412594238045666763036232184032911047448075403290447691419377001221502527834174399839442629768173980390528232333863516950143489266772973608900560785317864317902028245525356103599150149751907785945312685068381833398932059187676746171397196200910132001830189535556968771901428629585560398530614270775118452660307002820094620042604347728828089066275578994498000490449300849817564565732119855383065381434934598605927036739869041090713895713366002731750953000614771360835484051700/2303953268104396912686372755730090482079358179140876056622080016513381777967577498904028730231160120753369476446457883376833762226019783648325022510648451002787418586486519676880399453953922268700722323150983046605275536131748573922221576384037369271763728811831101478216405641579528277747691866840878705945351322985901541002541001928701991867728746823187637407908078400444695411893369816732992181270392567147000601454508082829348775032470770011228369391760230171173382015660401866476021656538542827970146967863791446169625835201398253858354840517",
      "tail_upper_V": "873/800000"
    }
  },
  "near_collision": {
    "distinct_frequency_separation_Hz": "1/1000000",
    "coefficient_magnitudes": [
      "1",
      "1"
    ],
    "actual_tail_TV_V": "2",
    "normalized_complex_RMS_upper_V": "11/3500000",
    "scope": "Centered one-second interval; two distinct tones with opposite coefficients. This is an actual source counterexample, not a failed sufficient bound."
  },
  "limitations": "Bounds on frequency, duration, monitor L2 error, completeness and outside-mode variation remain unmeasured; no empirical admission."
}