{
  "meta": {
    "title": "Endpoint Trace / Schur Visualizer",
    "generatedBy": "build_visual_data.py",
    "dps": 50,
    "jetOrder": 9,
    "quadratureOrder": 35,
    "rmax": 12.0,
    "center": 0.5,
    "sStar": 0.5530736,
    "e8Zero": 0.1646167
  },
  "jet": {
    "matrix": [
      [
        0.10127420238370796,
        -0.01707828172685852,
        -0.019221925970629404,
        0.005497617215399931,
        0.002740893513376455,
        -0.0016409755453841279,
        -4.383176705852952e-05,
        0.0002653553014633775,
        -5.374412836770639e-05
      ],
      [
        -0.01707828172685852,
        0.02786592565900481,
        -0.00042978596709482986,
        -0.011518500395467141,
        0.0032640037519199704,
        0.0022812532432400583,
        -0.0013449521263022121,
        -0.00016524430965342526,
        0.0002962602681267546
      ],
      [
        -0.019221925970629404,
        -0.00042978596709482986,
        0.014545484337476142,
        -0.0015589605223815782,
        -0.006445537172568215,
        0.002176882878009747,
        0.001443965564357307,
        -0.0009025912167203113,
        -0.00015781188160903358
      ],
      [
        0.005497617215399931,
        -0.011518500395467141,
        -0.0015589605223815782,
        0.008668279349892316,
        -0.0011387598907075841,
        -0.0036343937369433467,
        0.0012934511071331927,
        0.0008780414081884565,
        -0.0005505075833100321
      ],
      [
        0.002740893513376455,
        0.0032640037519199704,
        -0.006445537172568215,
        -0.0011387598907075841,
        0.004805183985008743,
        -0.0006506386090325296,
        -0.001981648794039572,
        0.0007035441294306246,
        0.0005124054002293581
      ],
      [
        -0.0016409755453841279,
        0.0022812532432400583,
        0.002176882878009747,
        -0.0036343937369433467,
        -0.0006506386090325296,
        0.0025497001329261885,
        -0.0003378386109939219,
        -0.001047978191711409,
        0.0003623002667845274
      ],
      [
        -4.383176705852952e-05,
        -0.0013449521263022121,
        0.001443965564357307,
        0.0012934511071331927,
        -0.001981648794039572,
        -0.0003378386109939219,
        0.0013117637256138334,
        -0.00016674791962133448,
        -0.0005402563575407392
      ],
      [
        0.0002653553014633775,
        -0.00016524430965342526,
        -0.0009025912167203113,
        0.0008780414081884565,
        0.0007035441294306246,
        -0.001047978191711409,
        -0.00016674791962133448,
        0.0006598092824248767,
        -7.98642646711901e-05
      ],
      [
        -5.374412836770639e-05,
        0.0002962602681267546,
        -0.00015781188160903358,
        -0.0005505075833100321,
        0.0005124054002293581,
        0.0003623002667845274,
        -0.0005402563575407392,
        -7.98642646711901e-05,
        0.00032613925411932067
      ]
    ],
    "eigenvalues": [
      -6.046524729523763e-06,
      9.497543642121325e-06,
      0.00012631169989176256,
      0.0004974517634125398,
      0.001683801508464962,
      0.004744028258573758,
      0.014080367992745034,
      0.031312160122475306,
      0.10955891574569823
    ],
    "lowestEigenvector": [
      -0.007828755916521163,
      0.0580696584753601,
      -0.10575676436409438,
      0.18062225773622817,
      -0.3123453535342665,
      0.3067428424297474,
      -0.6050164488238541,
      0.22698170610254237,
      -0.586123999370342
    ]
  },
  "defectFamily": [
    {
      "s": 0.02,
      "lambda0": -0.001156394863013897,
      "lambda1": 1.3063916908516198e-05,
      "negCount": 1,
      "coeffs": [
        -0.05713071053203296,
        0.34062915901732066,
        -0.40137857468916033,
        0.5203178701666386,
        -0.491271847954283,
        0.3828146041667825,
        -0.22350104334436147,
        0.03669396854580449,
        0.09837783412722585
      ],
      "pivot": 3
    },
    {
      "s": 0.095,
      "lambda0": -0.0006635829882883592,
      "lambda1": 1.1817352076018917e-05,
      "negCount": 1,
      "coeffs": [
        -0.04466207055623109,
        0.28008768682671964,
        -0.35249746777193974,
        0.48827794448591255,
        -0.5010481654541985,
        0.438559179627561,
        -0.3064374039003864,
        0.12399469787407745,
        0.06499527316628946
      ],
      "pivot": 4
    },
    {
      "s": 0.17,
      "lambda0": -0.0003595984395204604,
      "lambda1": 1.072662263127016e-05,
      "negCount": 1,
      "coeffs": [
        -0.033967759552552906,
        0.2218550186762473,
        -0.29937168528850633,
        0.4402636562959827,
        -0.48911001940791393,
        0.48017882860902794,
        -0.38077754906315725,
        0.22657649983412306,
        -0.006502177664339961
      ],
      "pivot": 4
    },
    {
      "s": 0.245,
      "lambda0": -0.0001840115347962668,
      "lambda1": 9.807034846626091e-06,
      "negCount": 1,
      "coeffs": [
        -0.025009829089521905,
        0.16998987973680604,
        -0.24436897557112705,
        0.38436298783114925,
        -0.4522640237813949,
        0.5030224921489602,
        -0.4356755719754842,
        0.3198759978416418,
        -0.11540629867459
      ],
      "pivot": 5
    },
    {
      "s": 0.32,
      "lambda0": -8.818412673418857e-05,
      "lambda1": 9.094745693549157e-06,
      "negCount": 1,
      "coeffs": [
        -0.017766329128777035,
        0.12825586603234573,
        -0.19191984277336996,
        0.33027203561606333,
        -0.3977821148570983,
        0.5037158889036697,
        -0.4711563963033343,
        0.37744707655719645,
        -0.24679342334051207
      ],
      "pivot": 5
    },
    {
      "s": 0.395,
      "lambda0": -3.772733260535314e-05,
      "lambda1": 8.695763779899878e-06,
      "negCount": 1,
      "coeffs": [
        -0.012294048473308988,
        0.096624742194975,
        -0.14748415030085224,
        0.27971444421812963,
        -0.3438063174467397,
        0.47445974036121474,
        -0.5033156971818601,
        0.3816993708939222,
        -0.38494784161399265
      ],
      "pivot": 6
    },
    {
      "s": 0.47,
      "lambda0": -1.19845762895817e-05,
      "lambda1": 8.973472198242296e-06,
      "negCount": 1,
      "coeffs": [
        -0.008705998585368375,
        0.06991950478139641,
        -0.11516643591786059,
        0.2178431875698306,
        -0.31347006477199213,
        0.3820475784577224,
        -0.5649933431461897,
        0.30177198344018513,
        -0.5289696254083508
      ],
      "pivot": 6
    },
    {
      "s": 0.545,
      "lambda0": -6.11293894185649e-07,
      "lambda1": 1.1024224384432343e-05,
      "negCount": 1,
      "coeffs": [
        -0.006992387835321861,
        0.03732602258798243,
        -0.09345735007234655,
        0.10561334633206618,
        -0.315812860782015,
        0.14196199076738011,
        -0.6624862528024579,
        0.06146397272232303,
        -0.645067899054905
      ],
      "pivot": 6
    }
  ],
  "quotient": {
    "endpointB": {
      "label": "Endpoint B stress model",
      "domain": "[0,2]",
      "basis": 16,
      "constraints": 8,
      "kMin": -1.7980435e-13,
      "kerMin": 1.8483932e-10,
      "crossNorm": 2.3951005e-05,
      "rangeResidual": 0.0,
      "gamma2Max": 6.9003097e-08,
      "schurDefectMax": 1.8209307e-13,
      "repairedMin": 9.8314105e-19
    },
    "tilde3": {
      "label": "Full tilde3 reduced kernel",
      "domain": "[0,8]",
      "basis": 12,
      "constraints": 6,
      "kMin": 9.3829204e-07,
      "kerMin": 2.5040653e-05,
      "crossNorm": 0.092643019,
      "rangeResidual": 0.0,
      "gamma2Max": 0.058883244,
      "schurDefectMax": -2.0143861e-06,
      "repairedMin": 9.3829204e-07
    }
  },
  "douglasScan": [
    {
      "basis": 10,
      "constraints": 5,
      "kMin": 2.3022135e-12,
      "kerMin": 2.6504592e-06,
      "rangeResidual": 0.0,
      "gamma2Max": 1.3580683e-06,
      "repairedMin": 2.3022145e-12
    },
    {
      "basis": 12,
      "constraints": 6,
      "kMin": -1.7246722e-13,
      "kerMin": 7.9617137e-08,
      "rangeResidual": 0.0,
      "gamma2Max": 5.2114947e-07,
      "repairedMin": 9.9964651e-19
    },
    {
      "basis": 14,
      "constraints": 7,
      "kMin": -1.7952118e-13,
      "kerMin": 6.8426087e-09,
      "rangeResidual": 0.0,
      "gamma2Max": 3.0884044e-07,
      "repairedMin": 9.9929372e-19
    },
    {
      "basis": 16,
      "constraints": 8,
      "kMin": -1.7980435e-13,
      "kerMin": 1.8483932e-10,
      "rangeResidual": 0.0,
      "gamma2Max": 6.9003097e-08,
      "repairedMin": 9.8314105e-19
    }
  ],
  "explain": {
    "jetMatrix": "A jet matrix records all derivatives of a kernel at one point. The entry (i,j) is partial_s^i partial_t^j K(s0,s0)/(i!j!). If the kernel were positive, every such matrix would be positive semidefinite.",
    "lambda": "The lowest eigenvector of the 9-jet matrix gives a local linear test Lambda_a(f)=sum e_k(a) f^(k)(a)/k!.  The active endpoint obstruction is the moving family of these tests.",
    "schur": "R collects the Lambda_a traces.  Splitting functions into ker R and its orthogonal complement turns the proof into a Schur/Douglas range problem."
  },
  "endpointCrossing": {
    "interval": [
      0.15125,
      0.19180848051171184
    ],
    "zeroBracket": [
      0.164595,
      0.164598
    ],
    "degree": 40,
    "diskCount": 8,
    "disks": [
      {
        "center": 0.15125,
        "realCell": [
          0.14795,
          0.15455
        ],
        "solutionRadius": 2.4049748715984064e-20,
        "q0CauchyRadius": 2.4049748715984064e-20,
        "q8CauchyRadius": 343337.2728329041
      },
      {
        "center": 0.15704406864453027,
        "realCell": [
          0.15374406864453027,
          0.16034406864453027
        ],
        "solutionRadius": 4.269058813490742e-21,
        "q0CauchyRadius": 4.269058813490742e-21,
        "q8CauchyRadius": 60945.62682948226
      },
      {
        "center": 0.16283813728906052,
        "realCell": [
          0.15953813728906052,
          0.16613813728906052
        ],
        "solutionRadius": 9.14093709508037e-22,
        "q0CauchyRadius": 9.14093709508037e-22,
        "q8CauchyRadius": 13049.718109013536
      },
      {
        "center": 0.1686322059335908,
        "realCell": [
          0.1653322059335908,
          0.1719322059335908
        ],
        "solutionRadius": 2.2843104740582195e-22,
        "q0CauchyRadius": 2.2843104740582195e-22,
        "q8CauchyRadius": 3261.110699030004
      },
      {
        "center": 0.17442627457812104,
        "realCell": [
          0.17112627457812105,
          0.17772627457812104
        ],
        "solutionRadius": 6.498057239005235e-23,
        "q0CauchyRadius": 6.498057239005235e-23,
        "q8CauchyRadius": 927.6709197669799
      },
      {
        "center": 0.18022034322265132,
        "realCell": [
          0.17692034322265132,
          0.18352034322265132
        ],
        "solutionRadius": 2.063832247524723e-23,
        "q0CauchyRadius": 2.063832247524723e-23,
        "q8CauchyRadius": 294.6353177398459
      },
      {
        "center": 0.1860144118671816,
        "realCell": [
          0.1827144118671816,
          0.1893144118671816
        ],
        "solutionRadius": 7.257099428675345e-24,
        "q0CauchyRadius": 7.257099428675345e-24,
        "q8CauchyRadius": 103.60327485927611
      },
      {
        "center": 0.19180848051171184,
        "realCell": [
          0.18850848051171185,
          0.19510848051171184
        ],
        "solutionRadius": 2.7769053871873363e-24,
        "q0CauchyRadius": 2.7769053871873363e-24,
        "q8CauchyRadius": 39.64345464941329
      }
    ],
    "scaledConstants": {
      "BInfNorm": 120.0,
      "bInfNorm": 140.0,
      "qCandidateSup": 0.19800063732114354,
      "graphNodalRadius": 7.142857142857142e-63,
      "crossingHalfLengthFromRoot": 0.02721348051171184,
      "alphaInterval": [
        "-3.44193287122236326770174356732373046874999999999999999999999999999999999999998727E-5",
        "-2.64333488206231961460101457867626953124999999999999999999999999999999999999998723E-5"
      ],
      "alphaAbsLower": 2.6433348820623196e-05,
      "pLower": 7.274171471595764,
      "exactUndividedResidualUpper": 3.000250996637842e-06
    },
    "radiiPolynomial": {
      "eta": 0.015603494324270264,
      "kappa": 0.6563411236401312,
      "nu": 1.04751098775071,
      "discriminant": 0.052722096293011805,
      "selectedRadius": 0.10887327253846917,
      "contractionBound": 0.8844330221529794,
      "invariantBall": true
    },
    "coverClosed": true,
    "continuousInclusionClosed": true,
    "crossingPromotionClosed": true,
    "globalEndpointClosed": false,
    "remainingScope": "Exact regular-piece propagation and transport into the restricted active endpoint minor remain separate."
  }
}