{
  "schema": "quantum-positive-shift-exact-checks/v1",
  "paired_block_tests": [
    {
      "n": 1,
      "a": "1/2",
      "w": "1",
      "operator": [
        [
          "0",
          "0",
          "0",
          "1",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "1",
          "0",
          "1",
          "0"
        ],
        [
          "0",
          "1",
          "0",
          "0",
          "0",
          "-1"
        ],
        [
          "1",
          "0",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "1",
          "0",
          "0",
          "0",
          "1"
        ],
        [
          "0",
          "0",
          "-1",
          "0",
          "1",
          "0"
        ]
      ],
      "square": [
        [
          "1",
          "0",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "2",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "2",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "1",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0",
          "2",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0",
          "0",
          "2"
        ]
      ],
      "exact_square": true,
      "exact_oddness": true,
      "positive_pair_gap": true
    },
    {
      "n": 2,
      "a": "1/3",
      "w": "2",
      "operator": [
        [
          "0",
          "0",
          "0",
          "2",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "2/3",
          "0",
          "2",
          "0"
        ],
        [
          "0",
          "2/3",
          "0",
          "0",
          "0",
          "-2"
        ],
        [
          "2",
          "0",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "2",
          "0",
          "0",
          "0",
          "2/3"
        ],
        [
          "0",
          "0",
          "-2",
          "0",
          "2/3",
          "0"
        ]
      ],
      "square": [
        [
          "4",
          "0",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "40/9",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "40/9",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "4",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0",
          "40/9",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0",
          "0",
          "40/9"
        ]
      ],
      "exact_square": true,
      "exact_oddness": true,
      "positive_pair_gap": true
    },
    {
      "n": 3,
      "a": "1/4",
      "w": "3",
      "operator": [
        [
          "0",
          "0",
          "0",
          "3",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "1/2",
          "0",
          "3",
          "0"
        ],
        [
          "0",
          "1/2",
          "0",
          "0",
          "0",
          "-3"
        ],
        [
          "3",
          "0",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "3",
          "0",
          "0",
          "0",
          "1/2"
        ],
        [
          "0",
          "0",
          "-3",
          "0",
          "1/2",
          "0"
        ]
      ],
      "square": [
        [
          "9",
          "0",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "37/4",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "37/4",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "9",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0",
          "37/4",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0",
          "0",
          "37/4"
        ]
      ],
      "exact_square": true,
      "exact_oddness": true,
      "positive_pair_gap": true
    },
    {
      "n": 4,
      "a": "1/5",
      "w": "4",
      "operator": [
        [
          "0",
          "0",
          "0",
          "4",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "2/5",
          "0",
          "4",
          "0"
        ],
        [
          "0",
          "2/5",
          "0",
          "0",
          "0",
          "-4"
        ],
        [
          "4",
          "0",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "4",
          "0",
          "0",
          "0",
          "2/5"
        ],
        [
          "0",
          "0",
          "-4",
          "0",
          "2/5",
          "0"
        ]
      ],
      "square": [
        [
          "16",
          "0",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "404/25",
          "0",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "404/25",
          "0",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "16",
          "0",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0",
          "404/25",
          "0"
        ],
        [
          "0",
          "0",
          "0",
          "0",
          "0",
          "404/25"
        ]
      ],
      "exact_square": true,
      "exact_oddness": true,
      "positive_pair_gap": true
    }
  ],
  "square_boundary_tests": [
    {
      "square_rows": 2,
      "dimension": 12,
      "rank": 10,
      "even_vacuum_index": 0,
      "odd_terminal_vacuum_index": 9,
      "finite_index": 0,
      "exact_rank_and_grading": true
    },
    {
      "square_rows": 3,
      "dimension": 18,
      "rank": 16,
      "even_vacuum_index": 0,
      "odd_terminal_vacuum_index": 15,
      "finite_index": 0,
      "exact_rank_and_grading": true
    },
    {
      "square_rows": 4,
      "dimension": 24,
      "rank": 22,
      "even_vacuum_index": 0,
      "odd_terminal_vacuum_index": 21,
      "finite_index": 0,
      "exact_rank_and_grading": true
    },
    {
      "square_rows": 5,
      "dimension": 30,
      "rank": 28,
      "even_vacuum_index": 0,
      "odd_terminal_vacuum_index": 27,
      "finite_index": 0,
      "exact_rank_and_grading": true
    }
  ],
  "unequal_scales_have_nonzero_cross_terms": true,
  "module_norm_example": {
    "norm_of_sum": 1,
    "sum_of_separate_norm_squares": 2
  },
  "all_fraction_checks": true,
  "finite_square_index": 0,
  "infinite_calibration_from_lesson": 1,
  "proper_anchor_identified_with_proper_action": false,
  "unlocalized_arrow_difference_asserted_bounded": false,
  "transported_normal_connection_identified_with_original": false,
  "source_E_relabelled_B": false,
  "normal_lift_module_domains_proved": false,
  "canvas": [
    2450,
    1720
  ],
  "text_canvas_overflows": []
}