{
  "schema": "inverse-cycle-regularization-exact-checks/v1",
  "normalization": [
    [
      "0",
      "0",
      "0",
      "1",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "1",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "1",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "-1"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "-1",
      "0"
    ]
  ],
  "source_projection": [
    [
      "1",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "1",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ]
  ],
  "grading": [
    [
      "1",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "1",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "-1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "-1",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "-1",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "1"
    ]
  ],
  "regulator": [
    [
      "2",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "3",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "3",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "2",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "4",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "4"
    ]
  ],
  "compact_inverse": [
    [
      "1/2",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "1/3",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "1/3",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "1/2",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "1/4",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "1/4"
    ]
  ],
  "operator": [
    [
      "0",
      "0",
      "0",
      "2",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "3",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "3",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "2",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "-4"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "-4",
      "0"
    ]
  ],
  "square": [
    [
      "4",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "9",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "9",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "4",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "16",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "16"
    ]
  ],
  "arrow_action": [
    [
      "1",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "-1",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "1",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "1",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "-1"
    ]
  ],
  "localized_arrow_error": [
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "-6",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "-6",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ]
  ],
  "off_diagonal_removal": [
    [
      "0",
      "0",
      "0",
      "2",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "2",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ]
  ],
  "essential_operator": [
    [
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "3"
    ],
    [
      "0",
      "3",
      "0"
    ]
  ],
  "source_tests": [
    {
      "source_scalar": "1",
      "exact_covariance": true,
      "exact_scaled_commutator": true,
      "all_source_products": true
    },
    {
      "source_scalar": "2",
      "exact_covariance": true,
      "exact_scaled_commutator": true,
      "all_source_products": true
    },
    {
      "source_scalar": "-3",
      "exact_covariance": true,
      "exact_scaled_commutator": true,
      "all_source_products": true
    },
    {
      "source_scalar": "0",
      "exact_covariance": true,
      "exact_scaled_commutator": true,
      "all_source_products": true
    }
  ],
  "exact_unitary_normalization": true,
  "exact_oddness": true,
  "exact_square": true,
  "exact_arrow_formula": true,
  "exact_off_diagonal_removal": true,
  "whole_operator_kernel_dimension": 0,
  "whole_scalar_unit_index": 0,
  "essential_even_kernel_dimension": 1,
  "essential_odd_kernel_dimension": 0,
  "essential_source_index": 1,
  "full_B_source_representation_nondegenerate": false,
  "relative_unitization_representation_nondegenerate": true,
  "equivariant_scalar_unit_cycle_asserted": false,
  "finite_removal_proves_infinite_removal": false,
  "normal_regulator_derivative_proved": false,
  "all_fraction_checks": true,
  "canvas": [
    2450,
    1700
  ],
  "text_canvas_overflows": []
}