{
  "status": "PASS_EXACT_CONDITIONAL_DESIGN",
  "U_V": "1000251/1000000",
  "linear_residual_V": "51/50000000",
  "image_V": "1000251/1000000000000",
  "nonlinear_by_degree_V": {
    "2": "1000502063001/1000000000000000000",
    "3": "1000753189018813251/1000000000000000000000000"
  },
  "remainder_V": "1/500000",
  "outside_upper_V": "6021506252019813251/1000000000000000000000000",
  "outside_margin_V": "3978493747980186749/1000000000000000000000000",
  "sample_RMS_upper_V": "52796506252019813251/1000000000000000000000000",
  "RMS_margin_V": "2203493747980186749/1000000000000000000000000",
  "direct_source_model_tail_V": "261021506252019813251/1000000000000000000000000",
  "approximation": {
    "outside_upper_V": 6.021506252019813e-06,
    "sample_RMS_upper_V": 5.279650625201981e-05,
    "direct_source_model_tail_V": 0.0002610215062520198
  },
  "physical_promotion": 0,
  "empirical_admission": false,
  "constructor_verification": "PASS",
  "independent_review": "PENDING",
  "source_witness": "NOT_SUPPLIED",
  "calibration_witness": "NOT_SUPPLIED",
  "sampled_gram_certificate_sha256": "9fd008e62a8b75e5d07c3615d769a98b581eb6d30fe8c48ab17464782035669a",
  "sampled_gram_upper_from_inherited_row_bound": "19485141895474113268371708402710694424174580571137806339168904337877501010214572513063752444098620694460528115251838087845302495673884962318770164510918697703948158348741779237833626368205646750281638267264486719393867645251587039882744429097438458601403636579368193193450432595274819950101509093915709855412136850202779426183322465773889875458254789545645473136619614626692888389468115399440449846734309298111951843364146831119469000595143277221335948812345936118262936241508101135076513633299910749267353749210343292682816647931926860970631433417327077736471113518785902697410765809477908184412660468149239289560033871655433855624823704503125394207194349021421717915016529315000492132197723838182417156030639537079637759020391970552879764735557275343429880397365194601684984191221935672786947523721533394472021962464630425195788202827723631442673684404466827849433316808488411368703507666028004302555093444181498133793515078123940046463851978179274597089838483806647169185043636209969921793296784369884374366567634567046291312636975608028111253710872459323202324559648316141654779740542283294563293208930075853686830233527356682604956183054181985766235271293285985349615128666928713778458344344925024419814893704394661134825012826545842667824730387750262287971820947702897757191233825813493619291195845464526818922529571901905303446180673926332102494972217020987107810200019410434651421209038348983956677602526197456292923379346305543096807822992398923903652557187910220066420747434349630670709245442882665483082548233444691066949561871211815120611439984553988195945609974243848869663996151201305997073374761668037075632384096978277146637404322862538158362984095594166418083558131290245955552486680993400560284245627938382720579348767680354473370025192344101909606762756523602572001306864604435156756529299013257610521136626351835932061018296268178476158224323340982797461518329360051522861/17871209219629713751669592286807790989312626730023132322462884589887666759467419631147725529165064292126393126702364869698391718792840534117272146803014533386601025929617865205268306861334082297395878218624530721909876561968448007619348746321594997267863943891475434998921593090079229712917162555788028349777352093938194928096177641787877777641932759612074218436118867735777613213247075106065010988919841040593799587696438173644526152243190843782592586780375857144117041572688125145842224625623783000772156217915197322527077126325341959754690707018770367934824674671319964825517575675363173376221393556616081095265890955596623183478247996906248270149118803852100619279370977851898188284172700584737849230757068312835762116302627747903834372549184686116341776089925673293316991332234876250593744507877627508484406896423595941071014602457670212422966672159551725727929414178322399502505924189977424435352281648042878148077603642418596414433287215625982552997484303815231167422913977908430116527556403162489727995173190782673799050029744311312578207587773908285056880303450441207564260451623529713683779582127125101889557314323890045655397114355632897953123857108400984312879557484968001834864641332844790422362967234455312765831983050864079241802249589168308303919159497751255496637267968223898840673101988043731825122681796856058739461375962807809314107394313623926092179727443977361073116984161614736805083109326651172697390073228545149268537961991186452437724585798345942247885667514334288513265806902317326549186510736989393177045020280536222797646871394053481911710883469800472238981762847695716878777469184567314467510180697393367611009658995525330005291744564467017649453180957593939828830068767731760905143622839235727377147455778901185037770603481330797416435202214512336433217988891678457746278079310946260670762390102474140566996209349087172780991271252744443285590997572107500000000",
  "controls": [
    {
      "case": "frozen_conditional_design",
      "status": "PASS_EXACT_CONDITIONAL_DESIGN",
      "U_V": "1000251/1000000",
      "linear_residual_V": "51/50000000",
      "image_V": "1000251/1000000000000",
      "nonlinear_by_degree_V": {
        "2": "1000502063001/1000000000000000000",
        "3": "1000753189018813251/1000000000000000000000000"
      },
      "remainder_V": "1/500000",
      "outside_upper_V": "6021506252019813251/1000000000000000000000000",
      "outside_margin_V": "3978493747980186749/1000000000000000000000000",
      "sample_RMS_upper_V": "52796506252019813251/1000000000000000000000000",
      "RMS_margin_V": "2203493747980186749/1000000000000000000000000",
      "direct_source_model_tail_V": "261021506252019813251/1000000000000000000000000",
      "approximation": {
        "outside_upper_V": 6.021506252019813e-06,
        "sample_RMS_upper_V": 5.279650625201981e-05,
        "direct_source_model_tail_V": 0.0002610215062520198
      },
      "physical_promotion": 0,
      "empirical_admission": false
    },
    {
      "case": "source_impurity_100uV",
      "status": "HOLD",
      "reasons": [
        "outside TV target exceeded"
      ],
      "physical_promotion": 0,
      "empirical_admission": false
    },
    {
      "case": "image100ppm",
      "status": "HOLD",
      "reasons": [
        "outside TV target exceeded"
      ],
      "physical_promotion": 0,
      "empirical_admission": false
    },
    {
      "case": "quadratic_beta1e_minus3",
      "status": "HOLD",
      "reasons": [
        "outside TV target exceeded"
      ],
      "physical_promotion": 0,
      "empirical_admission": false
    },
    {
      "case": "unbounded_remainder_scope",
      "status": "HOLD",
      "reasons": [
        "incomplete remainder scope"
      ],
      "physical_promotion": 0,
      "empirical_admission": false
    },
    {
      "case": "RMS_not_TV",
      "status": "HOLD",
      "reasons": [
        "not spectral TV"
      ],
      "physical_promotion": 0,
      "empirical_admission": false
    },
    {
      "case": "single_coefficient_not_sum",
      "status": "HOLD",
      "reasons": [
        "coefficient aggregation"
      ],
      "physical_promotion": 0,
      "empirical_admission": false
    },
    {
      "case": "omit_primary",
      "status": "HOLD",
      "reasons": [
        "primary signal omitted"
      ],
      "physical_promotion": 0,
      "empirical_admission": false
    },
    {
      "case": "excess_primary",
      "status": "HOLD",
      "reasons": [
        "outside TV target exceeded"
      ],
      "physical_promotion": 0,
      "empirical_admission": false
    },
    {
      "case": "excess_sample_error",
      "status": "HOLD",
      "reasons": [
        "digital RMS sufficient target exceeded"
      ],
      "physical_promotion": 0,
      "empirical_admission": false
    },
    {
      "case": "invalid_sqrt_bound",
      "status": "HOLD",
      "reasons": [
        "Gram norm factor"
      ],
      "physical_promotion": 0,
      "empirical_admission": false
    },
    {
      "case": "negative_degree_bound",
      "status": "HOLD",
      "reasons": [
        "nonlinear coefficients"
      ],
      "physical_promotion": 0,
      "empirical_admission": false
    },
    {
      "case": "zero_voltage_reference",
      "status": "HOLD",
      "reasons": [
        "nonnegative bounds and positive voltage reference"
      ],
      "physical_promotion": 0,
      "empirical_admission": false
    },
    {
      "case": "missing_transient_allocation",
      "status": "HOLD",
      "reasons": [
        "remainder allocations"
      ],
      "physical_promotion": 0,
      "empirical_admission": false
    },
    {
      "case": "primary_mixed_term_required",
      "status": "PASS_EXACT_ALGEBRA",
      "full_quadratic_TV_V": "16008001/16000000000000",
      "incorrect_tail_only_V": "1/16000000000000"
    },
    {
      "case": "unrestricted_sample_TV_inference_impossible",
      "status": "PASS_EXACT_ALIAS_IDENTITY",
      "source_TV_V": "2",
      "nominal_samples": "all zero"
    }
  ],
  "control_count": 16,
  "conditional_only": true
}