{
  "status": "PASS_EXACT_CONDITIONAL_SAMPLED_MONITOR",
  "physical_promotion": 0,
  "contract_sha256": "ae0d3f00fabb008253bb0228a5c0734765de6417074212be9f537e9df9985966",
  "base_certificate_sha256": "ea8c1d9b72859ddb562528f65c1ab4a896ff92a90e49d48ce5f6b342f987c110",
  "sampled_gram_lower": {
    "fraction": "16257276543785314234967476170904887554450672888908458305756864841897832508720266749231698614231507889792258138152891651551480941911796105915774129095110369069253893510493951172702987354462517844510118169984574724425885478685308975355953063545751535934324251203582676804392753584883639475732816017660346844142567337673610430009032817801865679825610729678502963735618120844862338037026034812689572131105372783075647332028729516169583303891238410343849224748405778169971146903868149156607935617947655252276958686620051352371337604718757058538749980620213658133178235823854026953624385541248438568030126645082922900971748039537812511331672289309371146091043258682779520643725426388795884436147677331293281305483497088591886473584863525254788980362812096889253671782486151984948998473247816828400541492033721622496791830382561456946241002087616793403259659914636623606425511548156387636308340713926844568149469851904258162361692206713252782402722453072690508905130123823815165660784319606890311261816021955095081623778746998301306787422513014597045161464675357246911436047252566273473741162704776132804265955324174350092284395120423408705838045657083810140012442923515983276143986303007289891270938320764556424911040764515964396838953275182315815779768790586354319866498047799613236083302110634304062055008130622936831322834021810212175476571251689286525719816410226865076549254868544287494812759284880489653488616127104889101856767110784755440268100989973980971796614408781664429350587594318946355822368361751987615290473240534095287140478689860630474682302803552975627476156965357095608299529544190127760481563607466591859387977297808458075381913668188121852220505033339868880822803783897633702107650854470121250003000050533072033715562790122015602171181770317492923263641672501070294434670918752480335799629322879263731003643578596445201931400401906167085824318182147903773720476814854948477139/17871209219629713751669592286807790989312626730023132322462884589887666759467419631147725529165064292126393126702364869698391718792840534117272146803014533386601025929617865205268306861334082297395878218624530721909876561968448007619348746321594997267863943891475434998921593090079229712917162555788028349777352093938194928096177641787877777641932759612074218436118867735777613213247075106065010988919841040593799587696438173644526152243190843782592586780375857144117041572688125145842224625623783000772156217915197322527077126325341959754690707018770367934824674671319964825517575675363173376221393556616081095265890955596623183478247996906248270149118803852100619279370977851898188284172700584737849230757068312835762116302627747903834372549184686116341776089925673293316991332234876250593744507877627508484406896423595941071014602457670212422966672159551725727929414178322399502505924189977424435352281648042878148077603642418596414433287215625982552997484303815231167422913977908430116527556403162489727995173190782673799050029744311312578207587773908285056880303450441207564260451623529713683779582127125101889557314323890045655397114355632897953123857108400984312879557484968001834864641332844790422362967234455312765831983050864079241802249589168308303919159497751255496637267968223898840673101988043731825122681796856058739461375962807809314107394313623926092179727443977361073116984161614736805083109326651172697390073228545149268537961991186452437724585798345942247885667514334288513265806902317326549186510736989393177045020280536222797646871394053481911710883469800472238981762847695716878777469184567314467510180697393367611009658995525330005291744564467017649453180957593939828830068767731760905143622839235727377147455778901185037770603481330797416435202214512336433217988891678457746278079310946260670762390102474140566996209349087172780991271252744443285590997572107500000000",
    "approximation": 0.9096909080963779
  },
  "chosen_floor": "9/10",
  "calibration_allocation_V": {
    "acquisition_quantization": "1/100000",
    "quadrature_matrix": "1/200000",
    "baseline": "3/1000000",
    "numerical": "1/500000"
  },
  "sample_error_total_V": "1/50000",
  "outside_TV_V": "1/100000",
  "design_tail_upper_V": {
    "fraction": "3627/4000000",
    "approximation": 0.00090675
  },
  "full_state_error_upper_V": {
    "fraction": "34270913785021362649/4096000000000000000000",
    "approximation": 0.008366922310796231
  },
  "phase_upper_rad": {
    "fraction": "34270913785021362649/2027520000000000000000",
    "approximation": 0.016902873355143903
  },
  "digital_fixture": {
    "status": "PASS_DIGITAL_FIXTURE",
    "sha256": "241809d5c3fdd94987bd890c58c69252ad15635609b01d045d5184c4e940177b",
    "exact_mean_squared_norm_V2": "31445121165697726900154926651014773367/22835963083295358096932575511191922182123945984",
    "rms_upper_V": {
      "fraction": "37107951/1000000000000",
      "approximation": 3.7107951e-05
    },
    "scope": "Serialized synthetic binary64 values only; not empirical acquisition or calibration evidence"
  },
  "negative_controls": [
    {
      "case": "large_sample",
      "status": "HOLD"
    },
    {
      "case": "wrong_length",
      "status": "HOLD"
    },
    {
      "case": "nonfinite",
      "status": "HOLD"
    },
    {
      "case": "malformed",
      "status": "HOLD"
    },
    {
      "case": "not_fixture",
      "status": "HOLD"
    }
  ],
  "other_controls": {
    "64_samples": "HOLD_ALIAS_RANK",
    "100us_jitter_lambda": {
      "fraction": "-1186353362533024017224206028381948203250078070502344809607788441087844469126088931859799197366146014189107579883083024418240977284082434023304994417041331965917099453706845126662726458793693581401268032164785806356729479254598778107267717099849099157687752753341813366212105963695834230601688937792445266240092289498955229951285693382548068148024459767119857965526761554133598564422025542448354342849459261827566709928279771164921903414704472403126592001496748306394818813646664854306268590734355221964721407143773118666361433659835629346791372173290474273158497388785129900356872285645926930979948404408674293109155305622010513130370722145772496176351740075341440601316184762095235952517672050224934157964686767060264188377504329141846973405574655683640777378243608334127232645885132281412702625848449729593427763764788458104427634591097181739698093530350946761086688597443827186256857296221313768137100834198213867015755418553359844992326690820429707237190802995547554015792660209382673438801577698583224252636068389554533739790894209308413067446764061450989070799827954023110102259235601378240038102682739954121364056964707490675182202876493155362979036268083059199850733018152646963810447407246757130250861762850615094625338340209894682275675773986891470571967783165474885029729077360351516107912844828175508757734719269129134072105405129840329999967776110445428273866857997650618429271414768150614865048795292049580923978150833493890934956505910638709343571266648527699119769797272331273844937735013478263096240588189185001437705785281320496370340240854097898636938719089488712496721711066286653381678249994516554435926397751465720991062472227437050561344164438389083162518933126711217844624423979651272354148356219984099816279479992070408706914005446522228542401141253252969624926854207320865921531296546873698995927656683102243311969310273739418251557733409055283142732585463656970151623869715423819004150170201249574060854721141553836671296621273510973183415747842279311169248687336727264669991907621829473112174681811389633484107685660029116135822447985190633717744417244757239534141473087754398463523411095263843206219578779108908465877032920393875888668280595622299691200783566915519365283148476290670210534803557976703913148470121508071412437542712108980503111882527175702658049570583130815084537691679597793020798659896824605634709272470422488766151996174420666337248136737474120666772799344860697587746573524648662236506845283065561491624522463562698947695540772316749457264580728210063836584253167527459774301498942772850167677645707538524909381286072693836906547549437036050320238460957082148673567663250708128836408087329075358306066501609656135126035423193960694639773035883609058794453935231529828213281142022620238567460877075665797430100634885384921875615438459445405173642685897571638927904516328674342282037718834055022972634880097102258775967942151864930756136860565380006715866160945670665997849058621741004194791058387635984638007401251534146221351417038745026255586583283455948529528657600774805868271059613006037847891161495134869577454299721675824336184903270376646279715228856242138596174196518802247326112701559972282780683242953444286935332755016712307373767424078746136373931413743021797385849508294768707971225840990765476702848736606418785145263970968193666261161223741468815072134428497518376181292864751245694365253619473150068637040449704044731831561893775530421663557999457330344401139407313793965142746385994855190695776662196544346627295239390492285351554450597014408286772114478580254588459699457285168420992660242459055388496191328281800850080785347410311893403799175640977917694581402380757271825185898933122452779035936348313186770708601660742639481999019107939384757/548205036726421992780634227191480537984690117750018079754193128592335873014690445327408779346004317193905694059623072045788563560151503739736899537543903661501136832520554237224243321404618295494214194679806753601671976891876621970736325975304275216988085448083229819114827739195622830916992378013266408407651745833274679315235261183823270383475617515284640839998464187475849288070147368280222326693506396388958821107440142488991520558198763909977181972511283475466403456203700634223323039344865544461219390113334641760891803083647158199307612770966699720089279180949984476443329851595138383282834750458411984386152082938952328755623685498198534260249525929938504862225872046349999860136845737725173963988641185537736993092873380464904627906634566788552796497808686178980800778465213968345013789159228164753582622952211105849815269472766488288329570120632295692228668038003438708567331975429450118822102466268123376226406073572989340310464040850908161456169247943898059605445300488857535521754956591579330800909758860293699195146631625425532027772639049069171150364159400365537994549483857593097255100188827811036623455613245199754605552585811670850177875589367050029644718276904117550072116512838143949881893150938335943004064978263191819263486237940878632766298677080030918533390839298136586751430059462505067414506883017638293178268984534338152478670222914602258313108225687522722444738774250603450720875805297350028246436663899796275983797778602396187413319811616673479977508049272763359700523809858750946852671517638531493668794218003989631674494416056540756389419744461184061018453935428867774499234554347865068854418477524431456226868495177754367906458382530806671180142885524297244754562947495055595288584565694166570284447190152595921991156371249698345979816338891811454990722270319995299453656885214494418339901085656129803120579427586328760662219593357745942542970782310856102979711913854335143252021229025127701950778887086020485168568358021447944133591974823237210170406199336945376709834059977226365829377332628283729921185262961434065755623809920499093584560538983785083338680236873761348388764277158329392896670252647157700600326200924301075391536512908813538232630287309138240047999937585222592583512897876802101120138074245309690042647531543504482743176301231558021724575038321473828072394815807059876265667503211008993231278871363581105583194233978089498602194568523092248343365669448659686951486916035579115334814145082520157828965300665691505352688488183501160264936152005782994432083917555287116308801006339006935289059297109565144602055621469628116541090315268521330539869519692197323176282153768209267672059894845021535961462328536760059710021369246614571607189205713280618126356184652242153592858117788305849877520645805338236685229748359845839258839767288951068984903789338748848059467122011077914652943209566346893831700337768199733292554132230702953669717880567867534943210745024169442437973501014211482243271911871224495889379712386065333810327334565021091325834553414899021992194423329985916145246292707002350660350882196099145488381791999778354153860797369274519785384952473090400188353277209569730514338984589565356127515149417486267010293452276789052709765363290739861291676508572301119553873093944644716466289197962556619791136842731715822030248616683762133153048315318570112861666210587503428827896786344046466957600397774442598158319057633442586374252266512433602137650217029113210878132385691277613749810142473426365438711875171795444556029526323067868717212104277655529871510918221783096646245756355406283267853198845412744571352505555149005125580384952517848358133449921670337626108815591627314868473032338339067710555408168241364971060996086749399059138862263175722750000",
      "approximation": -2.1640687025009324
    },
    "old200uV_outside_bound_V": {
      "fraction": "2481/800000",
      "approximation": 0.00310125
    },
    "nominal100_and1124_alias": "EXACT_IDENTITY"
  },
  "limits": "Source, monitor/IQ/clock/transfer and outside-TV evidence remain unverified. No continuous-time interpolation assumption; no proof of physical independence from a digital fixture."
}