{
  "schema": "actual-normal-carrier-checks/v1",
  "field": "Q",
  "source_products": [
    {
      "left": 0,
      "right": 0,
      "exact_product": true
    },
    {
      "left": 0,
      "right": 1,
      "exact_product": true
    },
    {
      "left": 0,
      "right": 2,
      "exact_product": true
    },
    {
      "left": 0,
      "right": 3,
      "exact_product": true
    },
    {
      "left": 1,
      "right": 0,
      "exact_product": true
    },
    {
      "left": 1,
      "right": 1,
      "exact_product": true
    },
    {
      "left": 1,
      "right": 2,
      "exact_product": true
    },
    {
      "left": 1,
      "right": 3,
      "exact_product": true
    },
    {
      "left": 2,
      "right": 0,
      "exact_product": true
    },
    {
      "left": 2,
      "right": 1,
      "exact_product": true
    },
    {
      "left": 2,
      "right": 2,
      "exact_product": true
    },
    {
      "left": 2,
      "right": 3,
      "exact_product": true
    },
    {
      "left": 3,
      "right": 0,
      "exact_product": true
    },
    {
      "left": 3,
      "right": 1,
      "exact_product": true
    },
    {
      "left": 3,
      "right": 2,
      "exact_product": true
    },
    {
      "left": 3,
      "right": 3,
      "exact_product": true
    }
  ],
  "source_covariances": [
    {
      "sample": 0,
      "exact_covariance": true
    },
    {
      "sample": 1,
      "exact_covariance": true
    },
    {
      "sample": 2,
      "exact_covariance": true
    },
    {
      "sample": 3,
      "exact_covariance": true
    }
  ],
  "graded_source_tests": [
    {
      "sample": 0,
      "degree": 0,
      "exact_graded_commutator_zero": true
    },
    {
      "sample": 1,
      "degree": 1,
      "exact_graded_commutator_zero": true
    },
    {
      "sample": 2,
      "degree": 1,
      "exact_graded_commutator_zero": true
    },
    {
      "sample": 3,
      "degree": 0,
      "exact_graded_commutator_zero": true
    }
  ],
  "unbounded_source_tests": [
    {
      "sample": 0,
      "exact_unbounded_source_formula": true
    },
    {
      "sample": 1,
      "exact_unbounded_source_formula": true
    },
    {
      "sample": 2,
      "exact_unbounded_source_formula": true
    },
    {
      "sample": 3,
      "exact_unbounded_source_formula": true
    }
  ],
  "transported_covariances": [
    {
      "sample": 0,
      "exact_transported_covariance": true
    },
    {
      "sample": 1,
      "exact_transported_covariance": true
    },
    {
      "sample": 2,
      "exact_transported_covariance": true
    },
    {
      "sample": 3,
      "exact_transported_covariance": true
    }
  ],
  "grading": [
    [
      "1",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "-1",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "1",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "-1",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "-1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "1",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "-1",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "1"
    ]
  ],
  "correct_degenerate_phase": [
    [
      "0",
      "0",
      "0",
      "0",
      "1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "-1",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "1",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "-1"
    ],
    [
      "1",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "-1",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "1",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "-1",
      "0",
      "0",
      "0",
      "0"
    ]
  ],
  "plain_wrong_phase": [
    [
      "0",
      "0",
      "0",
      "0",
      "1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "1",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "1",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "1"
    ],
    [
      "1",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "1",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "1",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "1",
      "0",
      "0",
      "0",
      "0"
    ]
  ],
  "wrong_odd_source_error": [
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "2",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "-2"
    ],
    [
      "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",
      "-2",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ]
  ],
  "wrong_error_squared_projection": [
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "1",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "1",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "1",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "1"
    ]
  ],
  "wrong_odd_source_error_norm": "2",
  "source_identity": [
    [
      "1",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "1",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "1",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "1",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "1",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "1",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "1"
    ]
  ],
  "reference": [
    [
      "2",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "3",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "2",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "3",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "2",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "3",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "2",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "3"
    ]
  ],
  "unbounded_operator": [
    [
      "0",
      "0",
      "0",
      "0",
      "2",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "-3",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "2",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "-3"
    ],
    [
      "2",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "-3",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "2",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "-3",
      "0",
      "0",
      "0",
      "0"
    ]
  ],
  "finite_even_reordering": [
    [
      "1",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "1",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "1",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "1"
    ],
    [
      "0",
      "1",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "1",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "1",
      "0"
    ]
  ],
  "finite_transported_operator": [
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "2",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "2"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "-3",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "-3",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "-3",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "-3",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "2",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "2",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ]
  ],
  "exact_unitary_odd_degenerate_phase": true,
  "exact_arrow_invariance": true,
  "finite_source_everywhere_nondegenerate": true,
  "actual_entire_class_retained_by_proof": true,
  "actual_completed_metric_normal_connection_proved": true,
  "ordinary_standard_absorption_proved_in_lesson": true,
  "finite_model_proves_infinite_absorption": false,
  "full_source_operator_arrow_normal_derivatives_proved": false,
  "completed_joint_normal_operator_domain_proved": false,
  "original_physical_graph_sum_proved": false,
  "original_Bott_comparison_proved": false,
  "all_fraction_checks": true,
  "canvas": [
    2450,
    1780
  ],
  "text_canvas_overflows": []
}