{
  "status": "PASS_EXACT_RATIONAL_CONDITIONAL_BUDGET",
  "physical_promotion": 0,
  "contract_sha256": "bb4978e1ea2648e98131562cf8db372e0e3dffe2dd218bb3117a25c22c7c66a8",
  "kernel_sha256": "5beebe40fa2bfe744a0a64ee57401e77334b925bf0a23c0d2f24cafcd60ff254",
  "precision_bits": 160,
  "coefficient_interpretation": "IEEE754 binary64 values decoded exactly; no refit",
  "D0_upper": {
    "fraction": "339525457793576649323550135614159/365375409332725729550921208179070754913983135744",
    "approximation": 9.292509816510146e-16
  },
  "D1_upper_per_Hz": {
    "fraction": "5505978013617034491861610476330806257619/1461501637330902918203684832716283019655932542976",
    "approximation": 3.767343034710819e-09
  },
  "H0_l1_upper": {
    "fraction": "3384849428795714025235461393535535655/1329227995784915872903807060280344576",
    "approximation": 2.5464776844373813
  },
  "H2_upper_s2": {
    "fraction": "210937952831326637698833793877/2305843009213693952000000000000000000",
    "approximation": 9.147975468774768e-08
  },
  "baseline_leak_upper": {
    "fraction": "16338485654126397991/1329227995784915872903807060280344576",
    "approximation": 1.2291710455946603e-17
  },
  "continuous_band_error_upper": {
    "fraction": "417297592993560436428945746871823893154404998561672897159082323060104162238667652254569172311089990744475328278825502696940889357545863450560689735260749634215710588549442899418520639647793401443607312464041390248972328227324446417964416850753400292428771242332729046347671784860839102503531253468487960122735369289663229132457759154235083037384726699512210561058514735746801671159670336751708271916587400480087202951674459834453113561405022627517815714730267905565107986385562181051898324243439175898090738877873613880333548958983075633122655343901636867382608969995340303037495914902208133649/92434270370735459598002979918762927413154068862711758866672462776057981290780212715710715934860997098537084313670276640000927907240224358895362983227014441417872182081534974029263663057503308421339028434505549759578242399150201291239083236288314337101245851238109538246308035544840667065670198799658901005360072221694165063835765786472583096553583313587794369727244439191882708081523184456203029620013911227260905434377491474151611328125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "approximation": 0.004514533314536512
  },
  "input_error_output_upper_V": {
    "fraction": "676969885759142805047092278707107131/531691198313966349161522824112137830400",
    "approximation": 0.0012732388422186907
  },
  "floating_error_bound_V": {
    "fraction": "293121324684518758567394528667573607042998048950312634518500455614327454444391563820745821925329852688981221835613831787909127356804965670458868182713980937345447367336526899451113562867980293078610534146932103198795639863177184572258891601346900510404895081548087721004262461290534626316466477888942001199515649/50600563326804632880415506146635968347789620493040634371538759593310506252230574582194753958268098644419668650997498283263711154034583190451984553756466637206293088414088462440265005099315107632312257341690013806704950484804901338982768357259531136087483879440030460813308808820989272388863585318492213588006964433069801472",
    "approximation": 5.792847063606575e-12
  },
  "floating_allowance_V": {
    "fraction": "1/1073741824",
    "approximation": 9.313225746154785e-10
  },
  "total_error_upper_V": {
    "fraction": "534988582467851154996456444069297068926283942427452445773396474171652988677036357361149745980810486683504441693981836180104560494256028612520532787957637348341290435307534189023342160089238215552071361779910109922379615110834507985425886108459550885721044409416439652954604909102465037476516708027164386950164246623798663914043867889201114753989211568701776695583744371714053644294967017875547831914017439587127962613663273434634305430218176525722783816319003952049263952441513618410019120643300570398155350257861540863642847693053656027595582198988917140820108969995340303037495914902208133649/92434270370735459598002979918762927413154068862711758866672462776057981290780212715710715934860997098537084313670276640000927907240224358895362983227014441417872182081534974029263663057503308421339028434505549759578242399150201291239083236288314337101245851238109538246308035544840667065670198799658901005360072221694165063835765786472583096553583313587794369727244439191882708081523184456203029620013911227260905434377491474151611328125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "approximation": 0.005787773088077814
  },
  "phase_upper_rad": {
    "fraction": "534988582467851154996456444069297068926283942427452445773396474171652988677036357361149745980810486683504441693981836180104560494256028612520532787957637348341290435307534189023342160089238215552071361779910109922379615110834507985425886108459550885721044409416439652954604909102465037476516708027164386950164246623798663914043867889201114753989211568701776695583744371714053644294967017875547831914017439587127962613663273434634305430218176525722783816319003952049263952441513618410019120643300570398155350257861540863642847693053656027595582198988917140820108969995340303037495914902208133649/45754963833514052501011475059787649069511264087042320639002869074148700738936205294276804387756193563775856735266786936800459314083911057653204676697372148501846730130359812144485513213464137668562819075080247130991229987579349639163346201962715596865116696362864221431922477594696130197506748405831155997653235749738611706598704064303928632794023740225958213014985997399981940500353976305820499661906886057494148190016858279705047607421875000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "approximation": 0.011692470885005685
  },
  "availability_delay_s": {
    "fraction": "1024/1953125",
    "approximation": 0.000524288
  },
  "negative_controls": {
    "600Hz_actual_unit_tone_error_lower": {
      "fraction": "84247090174693268118223355176552170797408294905/365375409332725729550921208179070754913983135744",
      "approximation": 0.23057679313600013
    },
    "epsilon_1over100_sufficient_budget": {
      "fraction": "2771115746842979422632555771891616855558019595896701240390992553929869237861461240037317023485859264675557459327243646811421911033984613966919159811437680024201908557292246251947368188257727299059811062384732915978383031299860610970980070523592937269376592919243068655193422404990036022175262863134685063480532822858271380263795839026477141203243556550421581761530821832081662835185913847094227192313932283166373320948360245285932856875691659266479371228282400490259114371519817991086242349532029152296986645640761435983236728158967227270304295015227320461132608969995340303037495914902208133649/92434270370735459598002979918762927413154068862711758866672462776057981290780212715710715934860997098537084313670276640000927907240224358895362983227014441417872182081534974029263663057503308421339028434505549759578242399150201291239083236288314337101245851238109538246308035544840667065670198799658901005360072221694165063835765786472583096553583313587794369727244439191882708081523184456203029620013911227260905434377491474151611328125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "approximation": 0.029979311090232937
    },
    "delay_cap_1over2000_fails": true
  },
  "source_requirements": "50Hz compact envelope spectrum, TV<=1V, phase center magnitude>=1/2V, input error<=1/2000V, baseline constant<=3V. Not empirically established.",
  "limits": "Source class only; conditional serial floating bound, not all-platform runtime certification; no empirical rerun, promotion or action estimate."
}