{
  "classification": "synthetic diagnostic controls; not interval certificates",
  "controls_pass": true,
  "gaussian_positive_pass": true,
  "pole_free_non_pd_pass": true,
  "controls": [
    {
      "name": "gaussian_positive",
      "classification": "diagnostic; not an interval certificate",
      "stencil": [
        "0",
        "1/4",
        "1/2",
        "3/4",
        "1",
        "5/4"
      ],
      "witness_rule": "128-bit minimum eigenvector; maxabs=1; first max positive; nearest dyadic 2^-32, ties to even",
      "witness_numerators": [
        -602192445,
        2403504351,
        -4294967296,
        4294967296,
        -2403504351,
        602192445
      ],
      "witness_denominator": 4294967296,
      "runs": [
        {
          "bits": 128,
          "values": [
            "1.0",
            "0.93941306281347578611971082462230508452576504689955",
            "0.77880078307140486824517026697832064729566519573845",
            "0.56978282473092300976662968982912281588318788955473",
            "0.36787944117144232159552377016146086744624053273017",
            "0.20961138715109782252411012797204388489230920960163"
          ],
          "matrix": [
            [
              "1.0",
              "0.93941306281347578611971082462230508452576504689955",
              "0.77880078307140486824517026697832064729566519573845",
              "0.56978282473092300976662968982912281588318788955473",
              "0.36787944117144232159552377016146086744624053273017",
              "0.20961138715109782252411012797204388489230920960163"
            ],
            [
              "0.93941306281347578611971082462230508452576504689955",
              "1.0",
              "0.93941306281347578611971082462230508452576504689955",
              "0.77880078307140486824517026697832064729566519573845",
              "0.56978282473092300976662968982912281588318788955473",
              "0.36787944117144232159552377016146086744624053273017"
            ],
            [
              "0.77880078307140486824517026697832064729566519573845",
              "0.93941306281347578611971082462230508452576504689955",
              "1.0",
              "0.93941306281347578611971082462230508452576504689955",
              "0.77880078307140486824517026697832064729566519573845",
              "0.56978282473092300976662968982912281588318788955473"
            ],
            [
              "0.56978282473092300976662968982912281588318788955473",
              "0.77880078307140486824517026697832064729566519573845",
              "0.93941306281347578611971082462230508452576504689955",
              "1.0",
              "0.93941306281347578611971082462230508452576504689955",
              "0.77880078307140486824517026697832064729566519573845"
            ],
            [
              "0.36787944117144232159552377016146086744624053273017",
              "0.56978282473092300976662968982912281588318788955473",
              "0.77880078307140486824517026697832064729566519573845",
              "0.93941306281347578611971082462230508452576504689955",
              "1.0",
              "0.93941306281347578611971082462230508452576504689955"
            ],
            [
              "0.20961138715109782252411012797204388489230920960163",
              "0.36787944117144232159552377016146086744624053273017",
              "0.56978282473092300976662968982912281588318788955473",
              "0.77880078307140486824517026697832064729566519573845",
              "0.93941306281347578611971082462230508452576504689955",
              "1.0"
            ]
          ],
          "eigenvalues_diagnostic": [
            "0.000012953787166716327564624414496919073904379144696958",
            "0.0006332491606070923557087086826826004642676003352046",
            "0.014078938330370534849918472206586504580627302551128",
            "0.17757172504489260399842128329815342341129732182682",
            "1.2671008331869661304120662609554447910121502927861",
            "4.5406023004899969220563206504426357614710381302626"
          ],
          "minimum_eigenvalue_diagnostic": "0.000012953787166716327564624414496919073904379144696958",
          "fixed_witness_quadratic_form_diagnostic": "0.00003453016628878175849602524722146710258093156058234",
          "fixed_witness_norm_squared": "2.6656425525891075608859309697962203244969714432955",
          "negative_margin_required": "0.0000000000024243877784002575580288348372016301477715127869446",
          "normalized_quadratic_form_diagnostic": "0.000012953787166716336442248357318649321581334990298327",
          "negative_beyond_margin": false,
          "minimum_eigenvalue_positive_beyond_margin": true
        },
        {
          "bits": 256,
          "values": [
            "1.0",
            "0.93941306281347578611971082462230508452468089054944182200949266205354072224236632269391165",
            "0.77880078307140486824517026697832064729677229042614147424131736626824561205351830038453754",
            "0.56978282473092300976662968982912281588463847432799597729100851569571436445223416977660608",
            "0.36787944117144232159552377016146086744581113103176783450783680169746149574489813716237773",
            "0.20961138715109782252411012797204388489255116085610179569658746602232871809688733184838786"
          ],
          "matrix": [
            [
              "1.0",
              "0.93941306281347578611971082462230508452468089054944182200949266205354072224236632269391165",
              "0.77880078307140486824517026697832064729677229042614147424131736626824561205351830038453754",
              "0.56978282473092300976662968982912281588463847432799597729100851569571436445223416977660608",
              "0.36787944117144232159552377016146086744581113103176783450783680169746149574489813716237773",
              "0.20961138715109782252411012797204388489255116085610179569658746602232871809688733184838786"
            ],
            [
              "0.93941306281347578611971082462230508452468089054944182200949266205354072224236632269391165",
              "1.0",
              "0.93941306281347578611971082462230508452468089054944182200949266205354072224236632269391165",
              "0.77880078307140486824517026697832064729677229042614147424131736626824561205351830038453754",
              "0.56978282473092300976662968982912281588463847432799597729100851569571436445223416977660608",
              "0.36787944117144232159552377016146086744581113103176783450783680169746149574489813716237773"
            ],
            [
              "0.77880078307140486824517026697832064729677229042614147424131736626824561205351830038453754",
              "0.93941306281347578611971082462230508452468089054944182200949266205354072224236632269391165",
              "1.0",
              "0.93941306281347578611971082462230508452468089054944182200949266205354072224236632269391165",
              "0.77880078307140486824517026697832064729677229042614147424131736626824561205351830038453754",
              "0.56978282473092300976662968982912281588463847432799597729100851569571436445223416977660608"
            ],
            [
              "0.56978282473092300976662968982912281588463847432799597729100851569571436445223416977660608",
              "0.77880078307140486824517026697832064729677229042614147424131736626824561205351830038453754",
              "0.93941306281347578611971082462230508452468089054944182200949266205354072224236632269391165",
              "1.0",
              "0.93941306281347578611971082462230508452468089054944182200949266205354072224236632269391165",
              "0.77880078307140486824517026697832064729677229042614147424131736626824561205351830038453754"
            ],
            [
              "0.36787944117144232159552377016146086744581113103176783450783680169746149574489813716237773",
              "0.56978282473092300976662968982912281588463847432799597729100851569571436445223416977660608",
              "0.77880078307140486824517026697832064729677229042614147424131736626824561205351830038453754",
              "0.93941306281347578611971082462230508452468089054944182200949266205354072224236632269391165",
              "1.0",
              "0.93941306281347578611971082462230508452468089054944182200949266205354072224236632269391165"
            ],
            [
              "0.20961138715109782252411012797204388489255116085610179569658746602232871809688733184838786",
              "0.36787944117144232159552377016146086744581113103176783450783680169746149574489813716237773",
              "0.56978282473092300976662968982912281588463847432799597729100851569571436445223416977660608",
              "0.77880078307140486824517026697832064729677229042614147424131736626824561205351830038453754",
              "0.93941306281347578611971082462230508452468089054944182200949266205354072224236632269391165",
              "1.0"
            ]
          ],
          "eigenvalues_diagnostic": [
            "0.000012953787166716327564624414496919083044893188575880344981694789351462536101051684220448298",
            "0.00063324916060709235570870868268260046926719200010524285716097671043895364243121110847595191",
            "0.014078938330370534849918472206586504582803799027060273651031763500580284162004505347625964",
            "0.17757172504489260399842128329815342340437143537957578660293682555532944690083767549520299",
            "1.2671008331869661304120662609554447910322807820508242510068978979384844485104267690063967",
            "4.5406023004899969220563206504426357614282318983538585655369908415058154042480734806848851"
          ],
          "minimum_eigenvalue_diagnostic": "0.000012953787166716327564624414496919083044893188575880344981694789351462536101051684220448298",
          "fixed_witness_quadratic_form_diagnostic": "0.000034530166288781758496025247221467108748989582164708373274765328023641080930028847420479554",
          "fixed_witness_norm_squared": "2.66564255258910756088593096979622032449697144329547882080078125",
          "negative_margin_required": "0.0000000000024243877784002575580288348372016301477715127869446212760529135721299098804593086242675781",
          "normalized_quadratic_form_diagnostic": "0.000012953787166716336442248357318649323895259176148020855781209303696895138820753398606870754",
          "negative_beyond_margin": false,
          "minimum_eigenvalue_positive_beyond_margin": true
        }
      ],
      "agreement_tolerance": "2^-40",
      "agreement_rule": "max_j abs(k128_j-k256_j) <= 2^-40*max(abs(k128_0),abs(k256_0)); abs(q128/(k128_0*norm2)-q256/(k256_0*norm2)) <= 2^-40",
      "negative_rule": "The identical fixed rational vector must have q < -2^-40*k(0)*norm2 at both precisions",
      "mpmath_version": "1.3.0",
      "normalized_value_discrepancies": [
        "0.0",
        "1.0841563501081779905073379464592777576314331270783621856718500681604662226611049234151127e-39",
        "1.1070946876914742413173662682456120535157566254423387668536318241659408983500605145971858e-39",
        "1.4505847732659772910085156957143644522354997889471728798498292362122009943204786123369638e-39",
        "4.2940169840216549216319830253850425510305803728553361278558714497267305001420465081533804e-40",
        "2.4195125447179569658746602232871809688799570719514927624434722553388967892401131730040146e-40"
      ],
      "normalized_form_discrepancy": "2.3139241858496938557812093036968951388207534125061440812233827527145168918161337053468037e-39",
      "agreement_pass": true,
      "negative_diagnostic_candidate": false,
      "status": "inconclusive; no admitted negative diagnostic witness"
    },
    {
      "name": "pole_free_non_pd",
      "classification": "diagnostic; not an interval certificate",
      "stencil": [
        "0",
        "1/4",
        "1/2",
        "3/4",
        "1",
        "5/4"
      ],
      "witness_rule": "128-bit minimum eigenvector; maxabs=1; first max positive; nearest dyadic 2^-32, ties to even",
      "witness_numerators": [
        4294967296,
        237361438,
        -4017960188,
        -4017960188,
        237361438,
        4294967296
      ],
      "witness_denominator": 4294967296,
      "runs": [
        {
          "bits": 128,
          "values": [
            "1.0",
            "0.99812637923931802275219275116119915230880903332309",
            "0.9735009788392560853064628337229008091188468107038",
            "0.89028566364206720276035889035800439981656272246768",
            "0.73575888234288464319104754032292173489248106546035",
            "0.5371291795746881702180322029283624550369096915888"
          ],
          "matrix": [
            [
              "1.0",
              "0.99812637923931802275219275116119915230880903332309",
              "0.9735009788392560853064628337229008091188468107038",
              "0.89028566364206720276035889035800439981656272246768",
              "0.73575888234288464319104754032292173489248106546035",
              "0.5371291795746881702180322029283624550369096915888"
            ],
            [
              "0.99812637923931802275219275116119915230880903332309",
              "1.0",
              "0.99812637923931802275219275116119915230880903332309",
              "0.9735009788392560853064628337229008091188468107038",
              "0.89028566364206720276035889035800439981656272246768",
              "0.73575888234288464319104754032292173489248106546035"
            ],
            [
              "0.9735009788392560853064628337229008091188468107038",
              "0.99812637923931802275219275116119915230880903332309",
              "1.0",
              "0.99812637923931802275219275116119915230880903332309",
              "0.9735009788392560853064628337229008091188468107038",
              "0.89028566364206720276035889035800439981656272246768"
            ],
            [
              "0.89028566364206720276035889035800439981656272246768",
              "0.9735009788392560853064628337229008091188468107038",
              "0.99812637923931802275219275116119915230880903332309",
              "1.0",
              "0.99812637923931802275219275116119915230880903332309",
              "0.9735009788392560853064628337229008091188468107038"
            ],
            [
              "0.73575888234288464319104754032292173489248106546035",
              "0.89028566364206720276035889035800439981656272246768",
              "0.9735009788392560853064628337229008091188468107038",
              "0.99812637923931802275219275116119915230880903332309",
              "1.0",
              "0.99812637923931802275219275116119915230880903332309"
            ],
            [
              "0.5371291795746881702180322029283624550369096915888",
              "0.73575888234288464319104754032292173489248106546035",
              "0.89028566364206720276035889035800439981656272246768",
              "0.9735009788392560853064628337229008091188468107038",
              "0.99812637923931802275219275116119915230880903332309",
              "1.0"
            ]
          ],
          "eigenvalues_diagnostic": [
            "-0.11062796037784216589201662904214649986741094991549",
            "-0.039858403998268455369364872470088947172091290801237",
            "-0.00016198832271094875268438278686277164695991148322758",
            "-0.000042040113685264861140177235657228516143416558001152",
            "0.61435922165588032449992120525818016852621997752418",
            "5.5363311711566265103752848562765752786853121090801"
          ],
          "minimum_eigenvalue_diagnostic": "-0.11062796037784216589201662904214649986741094991549",
          "fixed_witness_quadratic_form_diagnostic": "-0.41556783455616718450670681245552565431947176815849",
          "fixed_witness_norm_squared": "3.7564448728587593756035600822684727972955442965031",
          "negative_margin_required": "0.0000000000034164667093671226899492104005443914477796572978178",
          "normalized_quadratic_form_diagnostic": "-0.11062796037784216584886319859605430217753053098453",
          "negative_beyond_margin": true,
          "minimum_eigenvalue_positive_beyond_margin": false
        },
        {
          "bits": 256,
          "values": [
            "1.0",
            "0.99812637923931802275219275116119915230747344620878193588508595343188701738251205882014235",
            "0.9735009788392560853064628337229008091209653630326768428016467078353070150669000345228107",
            "0.89028566364206720276035889035800439981974761613749371451720080577455369445661535051541231",
            "0.73575888234288464319104754032292173489162226206353566901567360339492299148979627432475546",
            "0.53712917957468817021803220292836245503716234969376085147250538168221734012327608184376634"
          ],
          "matrix": [
            [
              "1.0",
              "0.99812637923931802275219275116119915230747344620878193588508595343188701738251205882014235",
              "0.9735009788392560853064628337229008091209653630326768428016467078353070150669000345228107",
              "0.89028566364206720276035889035800439981974761613749371451720080577455369445661535051541231",
              "0.73575888234288464319104754032292173489162226206353566901567360339492299148979627432475546",
              "0.53712917957468817021803220292836245503716234969376085147250538168221734012327608184376634"
            ],
            [
              "0.99812637923931802275219275116119915230747344620878193588508595343188701738251205882014235",
              "1.0",
              "0.99812637923931802275219275116119915230747344620878193588508595343188701738251205882014235",
              "0.9735009788392560853064628337229008091209653630326768428016467078353070150669000345228107",
              "0.89028566364206720276035889035800439981974761613749371451720080577455369445661535051541231",
              "0.73575888234288464319104754032292173489162226206353566901567360339492299148979627432475546"
            ],
            [
              "0.9735009788392560853064628337229008091209653630326768428016467078353070150669000345228107",
              "0.99812637923931802275219275116119915230747344620878193588508595343188701738251205882014235",
              "1.0",
              "0.99812637923931802275219275116119915230747344620878193588508595343188701738251205882014235",
              "0.9735009788392560853064628337229008091209653630326768428016467078353070150669000345228107",
              "0.89028566364206720276035889035800439981974761613749371451720080577455369445661535051541231"
            ],
            [
              "0.89028566364206720276035889035800439981974761613749371451720080577455369445661535051541231",
              "0.9735009788392560853064628337229008091209653630326768428016467078353070150669000345228107",
              "0.99812637923931802275219275116119915230747344620878193588508595343188701738251205882014235",
              "1.0",
              "0.99812637923931802275219275116119915230747344620878193588508595343188701738251205882014235",
              "0.9735009788392560853064628337229008091209653630326768428016467078353070150669000345228107"
            ],
            [
              "0.73575888234288464319104754032292173489162226206353566901567360339492299148979627432475546",
              "0.89028566364206720276035889035800439981974761613749371451720080577455369445661535051541231",
              "0.9735009788392560853064628337229008091209653630326768428016467078353070150669000345228107",
              "0.99812637923931802275219275116119915230747344620878193588508595343188701738251205882014235",
              "1.0",
              "0.99812637923931802275219275116119915230747344620878193588508595343188701738251205882014235"
            ],
            [
              "0.53712917957468817021803220292836245503716234969376085147250538168221734012327608184376634",
              "0.73575888234288464319104754032292173489162226206353566901567360339492299148979627432475546",
              "0.89028566364206720276035889035800439981974761613749371451720080577455369445661535051541231",
              "0.9735009788392560853064628337229008091209653630326768428016467078353070150669000345228107",
              "0.99812637923931802275219275116119915230747344620878193588508595343188701738251205882014235",
              "1.0"
            ]
          ],
          "eigenvalues_diagnostic": [
            "-0.11062796037784216589201662904214649985848263078701360457680875355676216890907401070144601",
            "-0.039858403998268455369364872470088947183071544565106091468032288879765576470566155149316925",
            "-0.00016198832271094875268438278686277164007920662212065595806048712829763604088602481529154549",
            "-0.000042040113685264861140177235657228517338711822564464864775175176967625339819374992455814226",
            "0.61435922165588032449992120525818016853602684434763405445801532316807514984805524767473881",
            "5.5363311711566265103752848562765752786629452494491707624096613815737178569122508769857164"
          ],
          "minimum_eigenvalue_diagnostic": "-0.11062796037784216589201662904214649985848263078701360457680875355676216890907401070144601",
          "fixed_witness_quadratic_form_diagnostic": "-0.41556783455616718450670681245552565434138669542917690791567730059779525364623634271656378",
          "fixed_witness_norm_squared": "3.7564448728587593756035600822684727972955442965030670166015625",
          "negative_margin_required": "0.0000000000034164667093671226899492104005443914477796572978177819246425883648043964058160781860351563",
          "normalized_quadratic_form_diagnostic": "-0.11062796037784216584886319859605430218330136800030919051126621092040665639412691864037426",
          "negative_beyond_margin": true,
          "minimum_eigenvalue_positive_beyond_margin": false
        }
      ],
      "agreement_tolerance": "2^-40",
      "agreement_rule": "max_j abs(k128_j-k256_j) <= 2^-40*max(abs(k128_0),abs(k256_0)); abs(q128/(k128_0*norm2)-q256/(k256_0*norm2)) <= 2^-40",
      "negative_rule": "The identical fixed rational vector must have q < -2^-40*k(0)*norm2 at both precisions",
      "mpmath_version": "1.3.0",
      "normalized_value_discrepancies": [
        "0.0",
        "1.3355871143080641149140465681129826174843387876032797040770906705404399393902283001456547e-39",
        "2.1185523288768428016467078353070150669013694866378962801433595652148893202696203154518128e-39",
        "3.1848936698137145172008057745536944566181911770133762502758148765394541110250408746799134e-39",
        "8.5880339681433098432639660507700851020536577220494754235420098538336131384036090558484422e-40",
        "2.5265810496085147250538168221734012327383650887005832882780731268380442093504503028917849e-40"
      ],
      "normalized_form_discrepancy": "5.7708370157791905112662109204066563941266552626065295498877081168299263848991518210910048e-39",
      "agreement_pass": true,
      "negative_diagnostic_candidate": true,
      "status": "negative rational diagnostic witness; complete Arb validation required"
    }
  ],
  "scope": "Same stencil, eigensolve, dyadic witness, replay, and decision rule. Does not validate theta quadrature or prove original quotient PD."
}