{
  "p0_projection": true,
  "p1_projection": true,
  "q_formula": true,
  "U_unitary": true,
  "P_projection": true,
  "transport_projection": true,
  "transport_spectrum": [
    -3.314332929845983e-17,
    -2.2367821932798e-17,
    0.9999999999999998,
    0.9999999999999999
  ],
  "off_diagonal_spectrum": [
    -0.35355339059327373,
    0.35355339059327373
  ],
  "ranks": {
    "P": 2,
    "ambient_complex_dimension": 16,
    "cyclic_complex_dimension": 8,
    "support_corner_complex_dimension": 4
  },
  "sample_norm_estimate": true,
  "scope": "Numerical checks of the exact caption formulas, not proofs of the general theorems"
}