{
  "source_algebra": "M2 direct_sum M2",
  "source_complex_dimension": 8,
  "hilbert_dimensions": {
    "essential": 4,
    "silent": 3,
    "total": 7
  },
  "representation": "pi(a,b)=(a tensor I2) direct_sum zero3",
  "surviving_central_projection": "z=(I2,0)",
  "kernel": "0 direct_sum M2",
  "pi_image_dimension": 4,
  "commutant": "(I2 tensor M2) direct_sum M3",
  "commutant_dimension_exact": 13,
  "bicommutant": "(M2 tensor I2) direct_sum C I3",
  "bicommutant_dimension_exact": 5,
  "h1_diagonal": [
    0,
    2
  ],
  "h2_diagonal": [
    0,
    5
  ],
  "source_derivation_norm": 5,
  "represented_derivation_norm": 2,
  "centered_implementer_diagonal": [
    "-1",
    "-1",
    "1",
    "1",
    "0",
    "0",
    "0"
  ],
  "centered_implementer_norm": 1,
  "least_positive_implementer_diagonal": [
    "0",
    "0",
    "2",
    "2",
    "0",
    "0",
    "0"
  ],
  "least_positive_implementer_norm": 2,
  "silent_projection_diagonal": [
    "0",
    "0",
    "0",
    "0",
    "1",
    "1",
    "1"
  ],
  "norm_witness": "e21 in each M2: [h1,e21]=2e21, [h2,e21]=5e21",
  "dual_module_product": "c phi_T e = phi_(c1 T e1)",
  "dual_derivation": "d* phi_T = phi_(i[T,h1])",
  "zero_representation_on_C7": {
    "commutant": "M7",
    "bicommutant": "C I7",
    "normal_extension_image": "0",
    "represented_derivation": "0"
  },
  "all_exact_assertions_pass": true
}