{
  "schema": "parallel-normal-inverse-checks/v1",
  "field": "Q",
  "normalized_phase": [
    [
      "0",
      "3/5",
      "4/5",
      "0"
    ],
    [
      "3/5",
      "0",
      "0",
      "4/5"
    ],
    [
      "4/5",
      "0",
      "0",
      "-3/5"
    ],
    [
      "0",
      "4/5",
      "-3/5",
      "0"
    ]
  ],
  "normalization_unitary": [
    [
      "1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "1"
    ],
    [
      "0",
      "3/5",
      "4/5",
      "0"
    ],
    [
      "0",
      "4/5",
      "-3/5",
      "0"
    ]
  ],
  "flattened_phase": [
    [
      "0",
      "0",
      "1",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "1"
    ],
    [
      "1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "1",
      "0",
      "0"
    ]
  ],
  "transformed_source_identity": [
    [
      "1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "9/25",
      "12/25"
    ],
    [
      "0",
      "0",
      "12/25",
      "16/25"
    ]
  ],
  "source_identity_rank": 2,
  "total_dimension": 4,
  "zero_source_subspace_retained": true,
  "exact_normalization_and_grading": true,
  "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
    }
  ],
  "normal_resolvent_tests": [
    {
      "x": "-1",
      "lambda_value": 1,
      "exact_left_and_right_inverse": true,
      "exact_derivative_order": true,
      "determinant": "63/16384"
    },
    {
      "x": "-1",
      "lambda_value": 2,
      "exact_left_and_right_inverse": true,
      "exact_derivative_order": true,
      "determinant": "63/16384"
    },
    {
      "x": "-1",
      "lambda_value": 4,
      "exact_left_and_right_inverse": true,
      "exact_derivative_order": true,
      "determinant": "63/16384"
    },
    {
      "x": "-1/2",
      "lambda_value": 1,
      "exact_left_and_right_inverse": true,
      "exact_derivative_order": true,
      "determinant": "335/65536"
    },
    {
      "x": "-1/2",
      "lambda_value": 2,
      "exact_left_and_right_inverse": true,
      "exact_derivative_order": true,
      "determinant": "335/65536"
    },
    {
      "x": "-1/2",
      "lambda_value": 4,
      "exact_left_and_right_inverse": true,
      "exact_derivative_order": true,
      "determinant": "335/65536"
    },
    {
      "x": "0",
      "lambda_value": 1,
      "exact_left_and_right_inverse": true,
      "exact_derivative_order": true,
      "determinant": "3/512"
    },
    {
      "x": "0",
      "lambda_value": 2,
      "exact_left_and_right_inverse": true,
      "exact_derivative_order": true,
      "determinant": "3/512"
    },
    {
      "x": "0",
      "lambda_value": 4,
      "exact_left_and_right_inverse": true,
      "exact_derivative_order": true,
      "determinant": "3/512"
    },
    {
      "x": "1/2",
      "lambda_value": 1,
      "exact_left_and_right_inverse": true,
      "exact_derivative_order": true,
      "determinant": "399/65536"
    },
    {
      "x": "1/2",
      "lambda_value": 2,
      "exact_left_and_right_inverse": true,
      "exact_derivative_order": true,
      "determinant": "399/65536"
    },
    {
      "x": "1/2",
      "lambda_value": 4,
      "exact_left_and_right_inverse": true,
      "exact_derivative_order": true,
      "determinant": "399/65536"
    },
    {
      "x": "1",
      "lambda_value": 1,
      "exact_left_and_right_inverse": true,
      "exact_derivative_order": true,
      "determinant": "95/16384"
    },
    {
      "x": "1",
      "lambda_value": 2,
      "exact_left_and_right_inverse": true,
      "exact_derivative_order": true,
      "determinant": "95/16384"
    },
    {
      "x": "1",
      "lambda_value": 4,
      "exact_left_and_right_inverse": true,
      "exact_derivative_order": true,
      "determinant": "95/16384"
    }
  ],
  "noncommuting_h_derivative": [
    {
      "x": "-1",
      "commutator": [
        [
          "0",
          "-1/4096"
        ],
        [
          "1/4096",
          "0"
        ]
      ]
    },
    {
      "x": "-1/2",
      "commutator": [
        [
          "0",
          "-1/4096"
        ],
        [
          "1/4096",
          "0"
        ]
      ]
    },
    {
      "x": "0",
      "commutator": [
        [
          "0",
          "-1/4096"
        ],
        [
          "1/4096",
          "0"
        ]
      ]
    },
    {
      "x": "1/2",
      "commutator": [
        [
          "0",
          "-1/4096"
        ],
        [
          "1/4096",
          "0"
        ]
      ]
    },
    {
      "x": "1",
      "commutator": [
        [
          "0",
          "-1/4096"
        ],
        [
          "1/4096",
          "0"
        ]
      ]
    }
  ],
  "all_fraction_checks": true,
  "actual_entire_B_source_class_retained_by_proof": true,
  "actual_invariant_phase_parallel_connection_proved": true,
  "actual_completed_normal_resolvent_preservation_proved": true,
  "dense_normal_compatible_full_operator_core_proved": true,
  "joint_domain_dense_proved": true,
  "source_nondegeneracy_restored": false,
  "full_joint_graph_core_proved": true,
  "normalized_full_joint_graph_core_proved": true,
  "weighted_normal_derivative_convergence_proved": true,
  "source_essential_full_joint_graph_core_proved": false,
  "full_unbounded_B_source_commutators_proved": false,
  "full_unbounded_arrow_domain_preservation_proved": false,
  "source_essential_normal_compression_proved": false,
  "original_physical_graph_sum_proved": false,
  "original_Bott_comparison_proved": false,
  "finite_model_proves_original_inverse": false,
  "canvas": [
    2450,
    2150
  ],
  "text_canvas_overflows": []
}