{
  "scope": "Exact finite-dimensional examples; first two panels are explicitly real coordinate slices of C2",
  "vector_state": {
    "finite_domain_projection": [
      [
        1,
        0
      ],
      [
        0,
        1
      ]
    ],
    "right_bounded_vectors": "C e1",
    "rho_identity": 1
  },
  "finite_corner_weight": {
    "finite_domain_projection": [
      [
        1,
        0
      ],
      [
        0,
        0
      ]
    ],
    "right_multiplier_unrestricted": "eta_1 I",
    "unrestricted_kernel": "C e2",
    "supported_vectors": "C e1",
    "t_trace": 1,
    "rho_t_trace": 1,
    "trace_at_e": 1,
    "trace_norm": 2
  }
}
