{
  "status": "PASS",
  "arithmetic": "exact rational/radical SymPy",
  "q": "1/3",
  "gain_t": "1/2",
  "eta": "6/5",
  "whitened_witness": "Matrix([[3/80, 0, -3/16, 0], [0, 3/80, 0, 3/16], [-3/16, 0, 15/16, 0], [0, 3/16, 0, 15/16]])",
  "rank_two_cross_identity": true,
  "KKT_plus_sign": true,
  "double_covariance_factor": true,
  "scope": "Supplementary finite algebra controls; universal theorem relies on proof and imported source affine extremality."
}
