{
  "status": "PASS",
  "checks": 5898,
  "groups": {
    "sample matrix/algorithm agreement": 883,
    "Pick uniqueness/rank": 203,
    "reconstructed all sample values": 812,
    "Pick Schur complement identity": 446,
    "Pick output congruence": 446,
    "unique Pick Blaschke degree": 380,
    "negative Pick witness": 680,
    "terminal three-point obstruction": 1,
    "all pairs still feasible": 3,
    "two-zero exact radius": 1,
    "distinct positive Pick solutions": 1,
    "minimum norm attaining function": 1,
    "complex coordinate migration": 3,
    "near-boundary exact classification": 2,
    "half-plane node migration": 1,
    "half-plane rational and derivative": 1,
    "coefficient matrix/algorithm agreement": 556,
    "coefficient uniqueness/rank": 107,
    "reconstructed all coefficients": 321,
    "finite Toeplitz congruence": 275,
    "unique coefficient Blaschke degree": 84,
    "negative coefficient witness": 449,
    "strict rational endpoint": 1,
    "unique rational endpoint": 1,
    "truncation failure and true extension": 1,
    "Blaschke exact degree": 4,
    "exact circle modulus": 104,
    "positive boundary phase derivative": 104,
    "specified zeros": 8,
    "twofold explicit circle image": 1,
    "twofold phase endpoint speeds": 1,
    "product versus composition degree": 1,
    "critical derivative vanishes": 1,
    "actual critical value B(c)+c squared": 1,
    "actual double preimage discriminant": 1,
    "complex coefficient rotation": 3,
    "invalid or infeasible input rejection": 10
  },
  "sample_endpoints": {
    "1/3": {
      "matrix": [
        [
          {
            "re": "4/3",
            "im": "0"
          },
          {
            "re": "1",
            "im": "0"
          },
          {
            "re": "4/5",
            "im": "0"
          }
        ],
        [
          {
            "re": "1",
            "im": "0"
          },
          {
            "re": "1",
            "im": "0"
          },
          {
            "re": "1",
            "im": "0"
          }
        ],
        [
          {
            "re": "4/5",
            "im": "0"
          },
          {
            "re": "1",
            "im": "0"
          },
          {
            "re": "32/27",
            "im": "0"
          }
        ]
      ],
      "decision": "FREE",
      "psd": {
        "psd": true,
        "rank": 3,
        "pivots": [
          {
            "re": "4/3",
            "im": "0"
          },
          {
            "re": "1/4",
            "im": "0"
          },
          {
            "re": "44/675",
            "im": "0"
          }
        ]
      }
    },
    "2/5": {
      "matrix": [
        [
          {
            "re": "4/3",
            "im": "0"
          },
          {
            "re": "1",
            "im": "0"
          },
          {
            "re": "4/5",
            "im": "0"
          }
        ],
        [
          {
            "re": "1",
            "im": "0"
          },
          {
            "re": "1",
            "im": "0"
          },
          {
            "re": "1",
            "im": "0"
          }
        ],
        [
          {
            "re": "4/5",
            "im": "0"
          },
          {
            "re": "1",
            "im": "0"
          },
          {
            "re": "28/25",
            "im": "0"
          }
        ]
      ],
      "decision": "UNIQUE",
      "psd": {
        "psd": true,
        "rank": 2,
        "pivots": [
          {
            "re": "4/3",
            "im": "0"
          },
          {
            "re": "1/4",
            "im": "0"
          }
        ]
      }
    },
    "9/20": {
      "matrix": [
        [
          {
            "re": "4/3",
            "im": "0"
          },
          {
            "re": "1",
            "im": "0"
          },
          {
            "re": "4/5",
            "im": "0"
          }
        ],
        [
          {
            "re": "1",
            "im": "0"
          },
          {
            "re": "1",
            "im": "0"
          },
          {
            "re": "1",
            "im": "0"
          }
        ],
        [
          {
            "re": "4/5",
            "im": "0"
          },
          {
            "re": "1",
            "im": "0"
          },
          {
            "re": "319/300",
            "im": "0"
          }
        ]
      ],
      "decision": "INFEASIBLE",
      "psd": {
        "psd": false,
        "witness": [
          {
            "re": "3/5",
            "im": "0"
          },
          {
            "re": "-8/5",
            "im": "0"
          },
          {
            "re": "1",
            "im": "0"
          }
        ],
        "value": {
          "re": "-17/300",
          "im": "0"
        }
      }
    }
  },
  "coefficient_endpoints": {
    "3/32": {
      "decision": "FREE",
      "psd": {
        "psd": true,
        "rank": 3,
        "pivots": [
          {
            "re": "3/4",
            "im": "0"
          },
          {
            "re": "9/16",
            "im": "0"
          },
          {
            "re": "1/2",
            "im": "0"
          }
        ]
      }
    },
    "15/32": {
      "decision": "UNIQUE",
      "psd": {
        "psd": true,
        "rank": 2,
        "pivots": [
          {
            "re": "3/4",
            "im": "0"
          },
          {
            "re": "9/16",
            "im": "0"
          }
        ]
      }
    },
    "1/2": {
      "decision": "INFEASIBLE",
      "psd": {
        "psd": false,
        "witness": [
          {
            "re": "19/36",
            "im": "0"
          },
          {
            "re": "7/9",
            "im": "0"
          },
          {
            "re": "1",
            "im": "0"
          }
        ],
        "value": {
          "re": "-37/576",
          "im": "0"
        }
      }
    }
  },
  "strict_function": [
    [
      {
        "re": "1/2",
        "im": "0"
      },
      {
        "re": "7/12",
        "im": "0"
      },
      {
        "re": "1/3",
        "im": "0"
      }
    ],
    [
      {
        "re": "1",
        "im": "0"
      },
      {
        "re": "5/12",
        "im": "0"
      },
      {
        "re": "1/6",
        "im": "0"
      }
    ]
  ],
  "unique_function": [
    [
      {
        "re": "1/2",
        "im": "0"
      },
      {
        "re": "3/4",
        "im": "0"
      },
      {
        "re": "1",
        "im": "0"
      }
    ],
    [
      {
        "re": "1",
        "im": "0"
      },
      {
        "re": "3/4",
        "im": "0"
      },
      {
        "re": "1/2",
        "im": "0"
      }
    ]
  ],
  "negative_pick_vector": [
    {
      "re": "3/5",
      "im": "0"
    },
    {
      "re": "-8/5",
      "im": "0"
    },
    {
      "re": "1",
      "im": "0"
    }
  ],
  "scope": "Exact finite checks and explicit reconstructions; the general analytic proof is in the articles, not inferred from sampled values"
}