{
  "schema": "covariant-inverse-carrier-checks/v1",
  "field": "Q",
  "cutoff": [
    [
      "1",
      "0"
    ],
    [
      "0",
      "0"
    ]
  ],
  "original_arrow": [
    [
      "0",
      "1"
    ],
    [
      "1",
      "0"
    ]
  ],
  "regular_arrow": [
    [
      "0",
      "0",
      "1",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "1"
    ],
    [
      "1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "1",
      "0",
      "0"
    ]
  ],
  "embedding": [
    [
      "1",
      "0"
    ],
    [
      "0",
      "0"
    ],
    [
      "0",
      "1"
    ],
    [
      "0",
      "0"
    ]
  ],
  "projection": [
    [
      "1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "1",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0"
    ]
  ],
  "exact_cutoff_partition": true,
  "exact_isometry": true,
  "exact_equivariance": true,
  "exact_invariant_projection": true,
  "reflection_tests": [
    {
      "x": "-1",
      "original": [
        "-1",
        "1"
      ],
      "reflected": [
        "1",
        "1"
      ],
      "derivative": [
        "-2",
        "-1"
      ],
      "exact_covariance": true
    },
    {
      "x": "-1/2",
      "original": [
        "-1/2",
        "1/4"
      ],
      "reflected": [
        "1/4",
        "1/2"
      ],
      "derivative": [
        "-1",
        "-1"
      ],
      "exact_covariance": true
    },
    {
      "x": "0",
      "original": [
        "0",
        "0"
      ],
      "reflected": [
        "0",
        "0"
      ],
      "derivative": [
        "0",
        "-1"
      ],
      "exact_covariance": true
    },
    {
      "x": "1/2",
      "original": [
        "1/2",
        "1/4"
      ],
      "reflected": [
        "1/4",
        "-1/2"
      ],
      "derivative": [
        "1",
        "-1"
      ],
      "exact_covariance": true
    },
    {
      "x": "1",
      "original": [
        "1",
        "1"
      ],
      "reflected": [
        "1",
        "-1"
      ],
      "derivative": [
        "2",
        "-1"
      ],
      "exact_covariance": true
    }
  ],
  "copy_shift_tests": [
    {
      "old_K": 0,
      "new_K": 1,
      "inverse_K": 0,
      "N_unchanged": 0
    },
    {
      "old_K": 1,
      "new_K": 2,
      "inverse_K": 1,
      "N_unchanged": 1
    },
    {
      "old_K": 2,
      "new_K": 3,
      "inverse_K": 2,
      "N_unchanged": 2
    },
    {
      "old_K": 3,
      "new_K": 4,
      "inverse_K": 3,
      "N_unchanged": 3
    },
    {
      "old_K": 4,
      "new_K": 5,
      "inverse_K": 4,
      "N_unchanged": 4
    },
    {
      "old_K": 5,
      "new_K": 6,
      "inverse_K": 5,
      "N_unchanged": 5
    }
  ],
  "extra_K_destination": 0,
  "wrong_reflection_derivative_at_zero": [
    "0",
    "1"
  ],
  "correct_reflection_derivative_at_zero": [
    "0",
    "-1"
  ],
  "normal_transport_sign": "-1",
  "all_fraction_checks": true,
  "infinite_shift_onto_proved_in_lesson": true,
  "actual_entire_B_source_class_retained_by_proof": true,
  "covariant_vector_connection_closure_proved_in_lesson": true,
  "joint_graph_completeness_proved_in_lesson": true,
  "joint_graph_arrow_invariance_proved_in_lesson": true,
  "finite_model_proves_infinite_absorption": false,
  "joint_graph_density_proved": false,
  "full_B_source_operator_normal_derivatives_proved": false,
  "original_physical_graph_sum_proved": false,
  "original_Bott_comparison_proved": false,
  "canvas": [
    2450,
    1780
  ],
  "text_canvas_overflows": []
}