{
  "status": "PASS",
  "verification": "integer Faddeev-LeVerrier characteristic polynomial and exact Fraction elimination; fresh construction from simplex deletion rule",
  "review": "constructor verification only",
  "physical_promotion": 0,
  "source": "Paper I review v1.1.1 \u00a7\u00a74.3, 6.3, 6.5",
  "cases": [
    {
      "carrier": "filled tetrahedron",
      "maximal_simplices": [
        [
          0,
          1,
          2,
          3
        ]
      ],
      "f_vector": [
        4,
        6,
        4,
        1
      ],
      "dimension": 15,
      "boundary_squared_zero": true,
      "skew_adjoint": true,
      "characteristic_polynomial": "lambda*(lambda^2+4)^7",
      "rank": 14,
      "single_cell_square_identity": true
    },
    {
      "carrier": "K-minus",
      "maximal_simplices": [
        [
          0,
          1,
          2,
          3
        ],
        [
          0,
          1,
          2,
          4
        ]
      ],
      "f_vector": [
        5,
        9,
        7,
        2
      ],
      "dimension": 23,
      "boundary_squared_zero": true,
      "skew_adjoint": true,
      "characteristic_polynomial": "lambda*(lambda^2+3)^4*(lambda^2+5)^7",
      "rank": 22
    },
    {
      "carrier": "K-plus",
      "maximal_simplices": [
        [
          0,
          1,
          3,
          4
        ],
        [
          0,
          2,
          3,
          4
        ],
        [
          1,
          2,
          3,
          4
        ]
      ],
      "f_vector": [
        5,
        10,
        9,
        3
      ],
      "dimension": 27,
      "boundary_squared_zero": true,
      "skew_adjoint": true,
      "characteristic_polynomial": "lambda*(lambda^2+2)^2*(lambda^2+5)^11",
      "rank": 26
    }
  ],
  "ambient_dimension": 30,
  "ambient_difference_rank": 18,
  "ambient_difference_kernel_dimension": 12,
  "limitations": "Does not verify every assertion in all four papers, native event selection, physical units or experimental correspondence."
}