{
  "schema": "matrix-suspension-exact-checks/v1",
  "mathematical_locators": [
    "MGS.1",
    "MGS.2",
    "MGS.3",
    "MGS.4",
    "MGS.5",
    "MGS.6",
    "MGS.7",
    "MGS.8",
    "MGS.9",
    "MGS.10",
    "MGS.11",
    "MGS.12",
    "MGS.13",
    "MGS.14",
    "MGS.15",
    "MGS.16"
  ],
  "figure_dimensions": [
    1800,
    1310
  ],
  "bounded_text_overflow": [],
  "exact_commutator_samples": [
    {
      "input": -6,
      "positive_commutator": {
        "-5": -1
      },
      "negative_commutator": {
        "-5": -1
      },
      "positive_image": {
        "-6": 6
      },
      "negative_image": {
        "-6": 6
      }
    },
    {
      "input": -5,
      "positive_commutator": {
        "-4": -1
      },
      "negative_commutator": {
        "-4": -1
      },
      "positive_image": {
        "-5": 5
      },
      "negative_image": {
        "-5": 5
      }
    },
    {
      "input": -4,
      "positive_commutator": {
        "-3": -1
      },
      "negative_commutator": {
        "-3": -1
      },
      "positive_image": {
        "-4": 4
      },
      "negative_image": {
        "-4": 4
      }
    },
    {
      "input": -3,
      "positive_commutator": {
        "-2": -1
      },
      "negative_commutator": {
        "-2": -1
      },
      "positive_image": {
        "-3": 3
      },
      "negative_image": {
        "-3": 3
      }
    },
    {
      "input": -2,
      "positive_commutator": {
        "-1": -1
      },
      "negative_commutator": {
        "-1": -1
      },
      "positive_image": {
        "-2": 2
      },
      "negative_image": {
        "-2": 2
      }
    },
    {
      "input": -1,
      "positive_commutator": {
        "0": -1
      },
      "negative_commutator": {
        "0": -1,
        "1": 1
      },
      "positive_image": {
        "-1": 1
      },
      "negative_image": {
        "-1": 1
      }
    },
    {
      "input": 0,
      "positive_commutator": {
        "0": 1
      },
      "negative_commutator": {
        "2": 1
      },
      "positive_image": {},
      "negative_image": {
        "1": 1
      }
    },
    {
      "input": 1,
      "positive_commutator": {
        "1": 1
      },
      "negative_commutator": {
        "3": 1
      },
      "positive_image": {
        "0": 1
      },
      "negative_image": {
        "2": 2
      }
    },
    {
      "input": 2,
      "positive_commutator": {
        "2": 1
      },
      "negative_commutator": {
        "4": 1
      },
      "positive_image": {
        "1": 2
      },
      "negative_image": {
        "3": 3
      }
    },
    {
      "input": 3,
      "positive_commutator": {
        "3": 1
      },
      "negative_commutator": {
        "5": 1
      },
      "positive_image": {
        "2": 3
      },
      "negative_image": {
        "4": 4
      }
    },
    {
      "input": 4,
      "positive_commutator": {
        "4": 1
      },
      "negative_commutator": {
        "6": 1
      },
      "positive_image": {
        "3": 4
      },
      "negative_image": {
        "5": 5
      }
    },
    {
      "input": 5,
      "positive_commutator": {
        "5": 1
      },
      "negative_commutator": {
        "7": 1
      },
      "positive_image": {
        "4": 5
      },
      "negative_image": {
        "6": 6
      }
    },
    {
      "input": 6,
      "positive_commutator": {
        "6": 1
      },
      "negative_commutator": {
        "8": 1
      },
      "positive_image": {
        "5": 6
      },
      "negative_image": {
        "7": 7
      }
    }
  ],
  "exceptional_positive_gram": [
    [
      1,
      -1
    ],
    [
      -1,
      1
    ]
  ],
  "exceptional_gram_trace": 2,
  "exceptional_gram_determinant": 0,
  "exceptional_negative_column_norm_squared": 2,
  "commutator_norm_squared": 2,
  "auxiliary_kernel_positive": [
    "e0"
  ],
  "auxiliary_kernel_negative": [],
  "scalar_index": 1,
  "finite_checks_prove_infinite_selfadjointness": false,
  "finite_checks_prove_irrational_germ_faithfulness": false,
  "finite_checks_prove_general_holonomy": false,
  "complete_proof": "K-theory of the leaf space, Section 11BI and Exercises 282–283",
  "sphere_geometry": "Schematic of the rotation action; no numerical Dirac spectrum claimed",
  "original_expression_license": "CC0-1.0",
  "font_notice": "Exact retained DejaVu notice from the shared reproduction resources"
}