{
  "checks": [
    {
      "name": "one_literal_data_assignment",
      "passed": true
    },
    {
      "name": "verifier_bytes_match_paper_and_wrapper_checksum",
      "passed": true
    },
    {
      "name": "six_blocks_with_expected_dimensions",
      "passed": true
    },
    {
      "name": "block_0_literal_contract",
      "passed": true
    },
    {
      "name": "block_0_positive_and_exact_reconstruction",
      "passed": true
    },
    {
      "name": "block_0_paper_order_pivots_above_40000",
      "passed": true
    },
    {
      "name": "block_0_negative_diagonal_refused",
      "passed": true
    },
    {
      "name": "block_1_literal_contract",
      "passed": true
    },
    {
      "name": "block_1_positive_and_exact_reconstruction",
      "passed": true
    },
    {
      "name": "block_1_paper_order_pivots_above_40000",
      "passed": true
    },
    {
      "name": "block_1_negative_diagonal_refused",
      "passed": true
    },
    {
      "name": "block_2_literal_contract",
      "passed": true
    },
    {
      "name": "block_2_positive_and_exact_reconstruction",
      "passed": true
    },
    {
      "name": "block_2_paper_order_pivots_above_40000",
      "passed": true
    },
    {
      "name": "block_2_negative_diagonal_refused",
      "passed": true
    },
    {
      "name": "block_3_literal_contract",
      "passed": true
    },
    {
      "name": "block_3_positive_and_exact_reconstruction",
      "passed": true
    },
    {
      "name": "block_3_paper_order_pivots_above_40000",
      "passed": true
    },
    {
      "name": "block_3_negative_diagonal_refused",
      "passed": true
    },
    {
      "name": "block_4_literal_contract",
      "passed": true
    },
    {
      "name": "block_4_positive_and_exact_reconstruction",
      "passed": true
    },
    {
      "name": "block_4_paper_order_pivots_above_40000",
      "passed": true
    },
    {
      "name": "block_4_negative_diagonal_refused",
      "passed": true
    },
    {
      "name": "block_5_literal_contract",
      "passed": true
    },
    {
      "name": "block_5_positive_and_exact_reconstruction",
      "passed": true
    },
    {
      "name": "block_5_paper_order_pivots_above_40000",
      "passed": true
    },
    {
      "name": "block_5_negative_diagonal_refused",
      "passed": true
    },
    {
      "name": "ldl_control_identity",
      "passed": true
    },
    {
      "name": "ldl_control_positive_fraction",
      "passed": true
    },
    {
      "name": "ldl_control_singular",
      "passed": true
    },
    {
      "name": "ldl_control_indefinite",
      "passed": true
    },
    {
      "name": "ldl_control_zero",
      "passed": true
    },
    {
      "name": "asymmetric_matrix_refused",
      "passed": true
    },
    {
      "name": "paper_stage_arithmetic",
      "passed": true
    },
    {
      "name": "displayed_negative_bound_arithmetic",
      "passed": true
    }
  ],
  "passed": 35,
  "scope": "Exact checks establish positive definiteness of the six literal integer Gram matrices and arithmetic consistency of stated numbers. They do not establish the expanded moment identities, the seven-basis contradiction, the five-basis theorem, or the stronger exactly-three result."
}