{
  "schema": "public-distance-certificate-definitive-audit-v2",
  "publication_root": "/Users/kasaikenta/Dropbox/Projects/QC_CSS_590_240_12_Source_Package/output/public_distance_certificate_audit_20260805/publication_v3",
  "code_count": 69,
  "all_rows_passed": true,
  "failed_row_count": 0,
  "bundle_verifier_failures": [],
  "rows": [
    {
      "code": [
        110,
        48,
        6
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "6c36b9b6d693c00aa7b42d284c27590f3e892bd90580ea1a2e2a27a5872b343f",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 6,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 6,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "1f367c923f6c188619ccc324d02be4b8bf8c53aef880c8206465c1f320d234d9",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "387578316f6620c737227da095c04812f3aa531e1df1dc3c02ab7d611062340c",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "33ea0a45ccad2bf5162b134ff616f3012cd358ad271c9c015d54ec61144d4c63",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          110,
          48,
          6
        ],
        "fixed_input_sha256": "6c36b9b6d693c00aa7b42d284c27590f3e892bd90580ea1a2e2a27a5872b343f",
        "computed_ranks": {
          "HX": 31,
          "HZ": 31
        },
        "computed_dimension": 48,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l10_p11_small_frontier_s18"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "387578316f6620c737227da095c04812f3aa531e1df1dc3c02ab7d611062340c"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 6 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_110_48_6/verification_index.json",
        "certificate_bundle": "qc_110_48_6/certificate_bundle.tar.gz",
        "sha256_sums": "qc_110_48_6/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        1112,
        282,
        20
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_1112_282_20_g8.cpm",
        "sha256": "25cdb203a322bac5e8ad79dee39f8c4980123e7d003a91ca7eb6723dee2374a8",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 20,
        "certificate_payload_count": 16,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 20,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "9468cad0fa2abc2599f9c6434296ae2221b1dd2fd7c774467373fc661c31ca34",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "28ce5e5ef79f3e8ab6cf9161a5dba967cbcd7238e845854380848e45ca510942",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "33279c6b28c69ce36ed0ab99579032fe157adb02c5c3e92fff399a756cc74c79",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          1112,
          282,
          20
        ],
        "fixed_input_sha256": "25cdb203a322bac5e8ad79dee39f8c4980123e7d003a91ca7eb6723dee2374a8",
        "computed_ranks": {
          "HX": 415,
          "HZ": 415
        },
        "computed_dimension": 282,
        "lower_certificate_payloads_verified": 16,
        "lower_certificate_records_verified": 16,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 1,
        "coordinate_equivalence_contexts": [
          "j3_l8_p139_m14_l5"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 21,
        "bundle_sha256": "28ce5e5ef79f3e8ab6cf9161a5dba967cbcd7238e845854380848e45ca510942"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_1112_282_20_g8.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 20 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_1112_282_20/verification_index.json",
        "certificate_bundle": "qc_1112_282_20/certificate_bundle.tar.gz",
        "sha256_sums": "qc_1112_282_20/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        132,
        50,
        8
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "720cfce0826e62a69be116a1bb34c83c8fc420fede9d8105daf985c224f0b012",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 8,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 8,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "347ad3c3b065eaa45bec1c468e4a98dde013ba327036b061eed7a50944b9f1c3",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "9ba7ac419f43dc568143de81c0815d94fa4460493fcb13e91db620e3b577a08a",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "a399f712911034ce78cf0ec991e52eec9b9b09428744c163fab907e4aadcc3d8",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          132,
          50,
          8
        ],
        "fixed_input_sha256": "720cfce0826e62a69be116a1bb34c83c8fc420fede9d8105daf985c224f0b012",
        "computed_ranks": {
          "HX": 41,
          "HZ": 41
        },
        "computed_dimension": 50,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l12_p11_small_frontier_s4"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "9ba7ac419f43dc568143de81c0815d94fa4460493fcb13e91db620e3b577a08a"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 8 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_132_50_8/verification_index.json",
        "certificate_bundle": "qc_132_50_8/certificate_bundle.tar.gz",
        "sha256_sums": "qc_132_50_8/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        1336,
        338,
        22
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_1336_338_22_g8.cpm",
        "sha256": "e5091e70584e2d77f6bfd89d7802e3de2902ef8da312cefb840765f54a8c921a",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 22,
        "certificate_payload_count": 16,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 22,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "d8e29cdf45f6cfbf291ac1a776eb6abb06424acbbc363e1cfd9aee076bd4d138",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "f927911e5523197966f66ee9b58e3ef16490858d578416445226001412293cce",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "aad64dc3fb198faa8d920e1ffeeb36b8d9644f9d58b08465ccaeb6f0fff5c429",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          1336,
          338,
          22
        ],
        "fixed_input_sha256": "e5091e70584e2d77f6bfd89d7802e3de2902ef8da312cefb840765f54a8c921a",
        "computed_ranks": {
          "HX": 499,
          "HZ": 499
        },
        "computed_dimension": 338,
        "lower_certificate_payloads_verified": 16,
        "lower_certificate_records_verified": 16,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 1,
        "coordinate_equivalence_contexts": [
          "j3_l8_p167_m7_l4"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 21,
        "bundle_sha256": "f927911e5523197966f66ee9b58e3ef16490858d578416445226001412293cce"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_1336_338_22_g8.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 22 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_1336_338_22/verification_index.json",
        "certificate_bundle": "qc_1336_338_22/certificate_bundle.tar.gz",
        "sha256_sums": "qc_1336_338_22/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        1356,
        682,
        14
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_1356_682_d14to24.cpm",
        "sha256": "837b2b4f188adea43bfebb404c1b67176cc3b0ce9dadda563375a2668cff8888",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 14,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 14,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "63a9c7db76050cae04304435e5872d431e959630cff862d874d9a97476155e17",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "674507349612c99fb42828b050518f1f6262c0e6b32ec9638c61706dc87c3562",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "87bc28c29a40f94aa97d41e409eea38aa19300d6a9b156309f4af2ea97afbd33",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          1356,
          682,
          14
        ],
        "fixed_input_sha256": "837b2b4f188adea43bfebb404c1b67176cc3b0ce9dadda563375a2668cff8888",
        "computed_ranks": {
          "HX": 337,
          "HZ": 337
        },
        "computed_dimension": 682,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 1,
        "coordinate_equivalence_contexts": [
          "j3_l12_p113_sm0_label197"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 8,
        "bundle_sha256": "674507349612c99fb42828b050518f1f6262c0e6b32ec9638c61706dc87c3562"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_1356_682_d14to24.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 14 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_1356_682_14/verification_index.json",
        "certificate_bundle": "qc_1356_682_14/certificate_bundle.tar.gz",
        "sha256_sums": "qc_1356_682_14/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        1390,
        560,
        18
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_1390_560_18.cpm",
        "sha256": "6a071382e7f1a11ca2711afa04d9fe2317413cd3cd481b5007912dff01466786",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 18,
        "certificate_payload_count": 4,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 18,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "792f475c9fae4e728054dd390943c6a2584c4b179e14213a07b3707f1049806e",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "e5a4dd8f06190705ceebdbfc3898fe874d6ea14bd76f1f76e4c3ccc7301aa14c",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "d9d98bb0bd0c115ddd15e271618ee5a1ae2c7e5c871f9df06ccfa171740483c0",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          1390,
          560,
          18
        ],
        "fixed_input_sha256": "6a071382e7f1a11ca2711afa04d9fe2317413cd3cd481b5007912dff01466786",
        "computed_ranks": {
          "HX": 415,
          "HZ": 415
        },
        "computed_dimension": 560,
        "lower_certificate_payloads_verified": 4,
        "lower_certificate_records_verified": 4,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l10_p139_m122_l17"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "e5a4dd8f06190705ceebdbfc3898fe874d6ea14bd76f1f76e4c3ccc7301aa14c"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_1390_560_18.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 18 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_1390_560_18/verification_index.json",
        "certificate_bundle": "qc_1390_560_18/certificate_bundle.tar.gz",
        "sha256_sums": "qc_1390_560_18/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        1414,
        812,
        12
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "7b552d68358b8242d009ab41b404c455f58b45fd9c4acf1253149d02f9a3f270",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 12,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 12,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "446d03476fffbbf8c6f214d3db80a0c1d881433eb28fa61c92a13ba1c1c5e808",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "de5cba45fcbd8b004afe7fb8c5c30296fe52654b1a21f2e32ffdc9b8499b209c",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "426442132d0388dc09ca5010f11ae733048a9e5d20440c4fc4aa34b5e8767eb7",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          1414,
          812,
          12
        ],
        "fixed_input_sha256": "7b552d68358b8242d009ab41b404c455f58b45fd9c4acf1253149d02f9a3f270",
        "computed_ranks": {
          "HX": 301,
          "HZ": 301
        },
        "computed_dimension": 812,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l14_p101_small_frontier_s68"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 11,
        "bundle_sha256": "de5cba45fcbd8b004afe7fb8c5c30296fe52654b1a21f2e32ffdc9b8499b209c"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 12 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_1414_812_12/verification_index.json",
        "certificate_bundle": "qc_1414_812_12/certificate_bundle.tar.gz",
        "sha256_sums": "qc_1414_812_12/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        1490,
        600,
        18
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_1490_600_18.cpm",
        "sha256": "efc7a1ff6c5276d5a0e82a780b6665e20d7d9fdd04ec9f6b0a74a67f55861e56",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 18,
        "certificate_payload_count": 4,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 18,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "30a4023afba4292bf86ccd18c901653fbc8f7fa6a30d26d139fdeb896a43ef44",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "3e36add2472ff8aa930e9074125d2c21f32a6cec5891325e8513b86cc743a120",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "00228011ef804c94ae517b84e198f489e545208e0ce69a58e1a6083c5c20af83",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          1490,
          600,
          18
        ],
        "fixed_input_sha256": "efc7a1ff6c5276d5a0e82a780b6665e20d7d9fdd04ec9f6b0a74a67f55861e56",
        "computed_ranks": {
          "HX": 445,
          "HZ": 445
        },
        "computed_dimension": 600,
        "lower_certificate_payloads_verified": 4,
        "lower_certificate_records_verified": 4,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l10_p149_m87_l10"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "3e36add2472ff8aa930e9074125d2c21f32a6cec5891325e8513b86cc743a120"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_1490_600_18.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 18 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_1490_600_18/verification_index.json",
        "certificate_bundle": "qc_1490_600_18/certificate_bundle.tar.gz",
        "sha256_sums": "qc_1490_600_18/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        1524,
        766,
        14
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_1524_766_14.cpm",
        "sha256": "438e60013dd7194b0f15918c690c4aca5d3bfdd1d79bf34391feb126fabce045",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 14,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 14,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "fc62260273851da1b7b10fad7d5657b730690d049c2d1909be424e2a31ac1c0a",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "3763d0a9ae92db14ab220dd7635612ab732a6c8959bc9cb536348f560ed95544",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "61ebdb246da2b47e4a1a5a4a999253158ecbf77f4ffffd8b19f1f2aab532d87f",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          1524,
          766,
          14
        ],
        "fixed_input_sha256": "438e60013dd7194b0f15918c690c4aca5d3bfdd1d79bf34391feb126fabce045",
        "computed_ranks": {
          "HX": 379,
          "HZ": 379
        },
        "computed_dimension": 766,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "qc_1524_766_14"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 8,
        "bundle_sha256": "3763d0a9ae92db14ab220dd7635612ab732a6c8959bc9cb536348f560ed95544"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_1524_766_14.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 14 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_1524_766_14/verification_index.json",
        "certificate_bundle": "qc_1524_766_14/certificate_bundle.tar.gz",
        "sha256_sums": "qc_1524_766_14/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        1630,
        656,
        20
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_1630_656_20_g8.cpm",
        "sha256": "fc5e7cd5f400b9163dad1ad6f6990ca850974e920f8df62e305b8cf3d8fca78c",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 20,
        "certificate_payload_count": 176,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 20,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "441cf54074fb0b8fcf0c28ccd63e9b0c3ec49fd4c98443065b2997377c2ce07a",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "99298e19491536200c6bfd952ed8d6b141e8e418f1da2262a2b80d10c466b25f",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "de1232f378c31bc9201c0387ee598dc539b42b64955845f0cad80952ea5a8769",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          1630,
          656,
          20
        ],
        "fixed_input_sha256": "fc5e7cd5f400b9163dad1ad6f6990ca850974e920f8df62e305b8cf3d8fca78c",
        "computed_ranks": {
          "HX": 487,
          "HZ": 487
        },
        "computed_dimension": 656,
        "lower_certificate_payloads_verified": 176,
        "lower_certificate_records_verified": 176,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l10_p163_m42_l13"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 182,
        "bundle_sha256": "99298e19491536200c6bfd952ed8d6b141e8e418f1da2262a2b80d10c466b25f"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_1630_656_20_g8.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 20 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_1630_656_20/verification_index.json",
        "certificate_bundle": "qc_1630_656_20/certificate_bundle.tar.gz",
        "sha256_sums": "qc_1630_656_20/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        16,
        8,
        2
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "46fa71b8eea0e0acf119fd17ee09db3efc70b6827cf553a95a7ed6cb5f30e4cf",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 2,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 2,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "949b0d3bc6c17d85a05b233c1dd7b01409621ac3299dbf06b4b1de286eca0ceb",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "18165a5d54a7429ac57f12afdb0fcc7fef02a06ce5713fdb5f13b8377a7082a5",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "bc92bf399b372f2f9832f3e2b07cf2998dd0d15ce00c7c84212fa029cc940958",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          16,
          8,
          2
        ],
        "fixed_input_sha256": "46fa71b8eea0e0acf119fd17ee09db3efc70b6827cf553a95a7ed6cb5f30e4cf",
        "computed_ranks": {
          "HX": 4,
          "HZ": 4
        },
        "computed_dimension": 8,
        "lower_certificate_payloads_verified": 1,
        "lower_certificate_records_verified": 0,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l8_p2_small_frontier_s0"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 9,
        "bundle_sha256": "18165a5d54a7429ac57f12afdb0fcc7fef02a06ce5713fdb5f13b8377a7082a5"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 2 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_16_8_2/verification_index.json",
        "certificate_bundle": "qc_16_8_2/certificate_bundle.tar.gz",
        "sha256_sums": "qc_16_8_2/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        176,
        94,
        6
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "7ba49a079fca49836ef67eb6d46aa6f52be0bc9bcbe979dde2d5926b4442c575",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 6,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 6,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "67cf714ff66bf2a0278f78411120facc007dbbd239832df87825278f397fe610",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "62704215581784f6309efb4c76ef7e375c62e94513f5bb48ec07ce6f29136ee1",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "0fbc87b462aa2d08bc162611f88fe41a3ccb0c4a58342ac2f7ed8c36a044d525",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          176,
          94,
          6
        ],
        "fixed_input_sha256": "7ba49a079fca49836ef67eb6d46aa6f52be0bc9bcbe979dde2d5926b4442c575",
        "computed_ranks": {
          "HX": 41,
          "HZ": 41
        },
        "computed_dimension": 94,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l16_p11_small_frontier_s0"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "62704215581784f6309efb4c76ef7e375c62e94513f5bb48ec07ce6f29136ee1"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 6 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_176_94_6/verification_index.json",
        "certificate_bundle": "qc_176_94_6/certificate_bundle.tar.gz",
        "sha256_sums": "qc_176_94_6/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        1784,
        450,
        24
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_1784_450_24_g8.cpm",
        "sha256": "a0bf83fee82b0c96b1c9351bc1212954185c30d32ce43e43fa55bec1f9d9c063",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 24,
        "certificate_payload_count": 8,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 24,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "fb458a3e9394f4d7591ae8461d892842f71482c3c20cd5d702c315fe6dff13b2",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": true,
        "proofs": [
          "artifacts/equivalence/verification.json",
          "artifacts/equivalence/xz_affine_isomorphism_recheck.json"
        ]
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "025609bc1734c79dde8c7b512d233b2fc04f2ab10030cd76b4c8205910f2bc13",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "002ed0debe024c518df63c70543ed5eb9d97f38386c50f8b553b9efd14836bb3",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          1784,
          450,
          24
        ],
        "fixed_input_sha256": "a0bf83fee82b0c96b1c9351bc1212954185c30d32ce43e43fa55bec1f9d9c063",
        "computed_ranks": {
          "HX": 667,
          "HZ": 667
        },
        "computed_dimension": 450,
        "lower_certificate_payloads_verified": 8,
        "lower_certificate_records_verified": 8,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l8_p223_m2_l2"
        ],
        "xz_transfer_contexts": [
          "j3_l8_p223_m2_l2"
        ],
        "artifact_count": 16,
        "bundle_sha256": "025609bc1734c79dde8c7b512d233b2fc04f2ab10030cd76b4c8205910f2bc13"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_1784_450_24_g8.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 24 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_1784_450_24/verification_index.json",
        "certificate_bundle": "qc_1784_450_24/certificate_bundle.tar.gz",
        "sha256_sums": "qc_1784_450_24/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        182,
        84,
        8
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "84b08c9aee4f262c102b5580f96905a74c5b25780ec53cd2d58dee09a101547b",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 8,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 8,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "e775aecfae9ebef862a2f1faf33d744a064b619484c3043aa467119892489dac",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "ddada4e9341d3cc0277bf69cfb5cb877f9a1721238462bcb3785a657e7560eb4",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "3b4e36e0673cebbd12762fdef56693856384b143e1e8904390acf93bd776e7d5",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          182,
          84,
          8
        ],
        "fixed_input_sha256": "84b08c9aee4f262c102b5580f96905a74c5b25780ec53cd2d58dee09a101547b",
        "computed_ranks": {
          "HX": 49,
          "HZ": 49
        },
        "computed_dimension": 84,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l14_p13_small_frontier_s19"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "ddada4e9341d3cc0277bf69cfb5cb877f9a1721238462bcb3785a657e7560eb4"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 8 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_182_84_8/verification_index.json",
        "certificate_bundle": "qc_182_84_8/certificate_bundle.tar.gz",
        "sha256_sums": "qc_182_84_8/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        2004,
        1006,
        16
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_2004_1006_16.cpm",
        "sha256": "fa092cd9eb27420e5ccc3d849f74dc8be27cb6f32affe4ddf35190d6dc83c17e",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 16,
        "certificate_payload_count": 4,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 16,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "2451a846dbcddc9161a602f3e4782eef5d6df3afe65a9ac1d5e57d67036db2e2",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "b7d4754acee41a1b9154fbfbb7972fcbeef79a02b9097ab48aec4af0ce9977b9",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "2e677ae5420df1205d0b7ad96a4e7dfbb0a851820c96ab9ee5ff183971843248",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          2004,
          1006,
          16
        ],
        "fixed_input_sha256": "fa092cd9eb27420e5ccc3d849f74dc8be27cb6f32affe4ddf35190d6dc83c17e",
        "computed_ranks": {
          "HX": 499,
          "HZ": 499
        },
        "computed_dimension": 1006,
        "lower_certificate_payloads_verified": 4,
        "lower_certificate_records_verified": 4,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l12_p167_feedback_37"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 11,
        "bundle_sha256": "b7d4754acee41a1b9154fbfbb7972fcbeef79a02b9097ab48aec4af0ce9977b9"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_2004_1006_16.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 16 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_2004_1006_16/verification_index.json",
        "certificate_bundle": "qc_2004_1006_16/certificate_bundle.tar.gz",
        "sha256_sums": "qc_2004_1006_16/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        204,
        74,
        10
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "2f4d8167b980ed78faf4d8e8685e5db960177d04587bbfe3929dcb0eefcad529",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 10,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 10,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "475240fdfd00c194aa7eee86e71815b17237b4d9f24cce74ae9fd631dc73af3d",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "b55d2447472171f871efdd6079fbd6b4baccdee84f8a0b9bda383c4b0a094df2",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "a4cad187dfc561bbf77ce8684aa521b2f77610e05c71310f1047e92b7ea40346",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          204,
          74,
          10
        ],
        "fixed_input_sha256": "2f4d8167b980ed78faf4d8e8685e5db960177d04587bbfe3929dcb0eefcad529",
        "computed_ranks": {
          "HX": 65,
          "HZ": 65
        },
        "computed_dimension": 74,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l12_p17_small_frontier_s1"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "b55d2447472171f871efdd6079fbd6b4baccdee84f8a0b9bda383c4b0a094df2"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 10 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_204_74_10/verification_index.json",
        "certificate_bundle": "qc_204_74_10/certificate_bundle.tar.gz",
        "sha256_sums": "qc_204_74_10/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        208,
        110,
        8
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "d61483c5b0be0723e5c4e844c33f544b6dc1002a1d5693fae27a5e1092e55396",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 8,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 8,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "626dc5276e8fb81cdc0624b18cd44f2caf70d3d219790da0610015b97af7c716",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "d8e6eefaf905b45635f34216f9777c7c2945184fea60eb229238df77467f1811",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "fd6ce459b25654f206ec0ada6b02ec3b1a0e70d64ec4aa419201268817c1166c",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          208,
          110,
          8
        ],
        "fixed_input_sha256": "d61483c5b0be0723e5c4e844c33f544b6dc1002a1d5693fae27a5e1092e55396",
        "computed_ranks": {
          "HX": 49,
          "HZ": 49
        },
        "computed_dimension": 110,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l16_p13_small_frontier_s13"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "d8e6eefaf905b45635f34216f9777c7c2945184fea60eb229238df77467f1811"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 8 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_208_110_8/verification_index.json",
        "certificate_bundle": "qc_208_110_8/certificate_bundle.tar.gz",
        "sha256_sums": "qc_208_110_8/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        20,
        12,
        2
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "e7a74a29207b79f4d006c185ec8fe24a7bca06e6a5793f50df83ef8628659a8e",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 2,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 2,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "c6693fcf47a12dfae979b5b4a53120d8350701120a4c36006ca11dc613cef95e",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "b3b00b2531282053f0a472c6dcdea8e48e1f30bda85d3a0e076e8ca1d01d1576",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "4503bbcb71c0b36b27418b458d45a1bc50f91b098638e3c38041602bc5bd9492",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          20,
          12,
          2
        ],
        "fixed_input_sha256": "e7a74a29207b79f4d006c185ec8fe24a7bca06e6a5793f50df83ef8628659a8e",
        "computed_ranks": {
          "HX": 4,
          "HZ": 4
        },
        "computed_dimension": 12,
        "lower_certificate_payloads_verified": 1,
        "lower_certificate_records_verified": 0,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l10_p2_small_frontier_s0"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 9,
        "bundle_sha256": "b3b00b2531282053f0a472c6dcdea8e48e1f30bda85d3a0e076e8ca1d01d1576"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 2 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_20_12_2/verification_index.json",
        "certificate_bundle": "qc_20_12_2/certificate_bundle.tar.gz",
        "sha256_sums": "qc_20_12_2/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        2110,
        848,
        22
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_2110_848_ge22.cpm",
        "sha256": "820f0f1b3570e53b712658b0a7479e7e943176673f489b766804ef4232fb9080",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 22,
        "certificate_payload_count": 1,
        "complete_payload_available": true,
        "coverage_or_retry_results": [
          "artifacts/lower_bound/archive_verification_X.json",
          "artifacts/lower_bound/coverage_X.json"
        ]
      },
      "upper_bound": {
        "claimed": 22,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "7b9fedf05357f71330b636acb39e0d0c6e9e9661e559873ebfd6747d4525c234",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": true,
        "proofs": [
          "artifacts/equivalence/xz_affine_isomorphism_recheck.json",
          "artifacts/equivalence/xz_swap_automorphism.json"
        ]
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "4e9e8f07624efdfdbcd3d6e6a1a08e83ef42b31406fffa8522dffd605c482f4d",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "8501c1b7ae07dc7a5e9b827c4aefc4b05b32c2d2a24f2741fe447b6dee927198",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          2110,
          848,
          22
        ],
        "fixed_input_sha256": "820f0f1b3570e53b712658b0a7479e7e943176673f489b766804ef4232fb9080",
        "computed_ranks": {
          "HX": 631,
          "HZ": 631
        },
        "computed_dimension": 848,
        "lower_certificate_payloads_verified": 1,
        "lower_certificate_records_verified": 90,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l10_p211_m184_l3"
        ],
        "xz_transfer_contexts": [
          "j3_l10_p211_m184_l3"
        ],
        "artifact_count": 13,
        "bundle_sha256": "4e9e8f07624efdfdbcd3d6e6a1a08e83ef42b31406fffa8522dffd605c482f4d"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_2110_848_ge22.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 22 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_2110_848_22/verification_index.json",
        "certificate_bundle": "qc_2110_848_22/certificate_bundle.tar.gz",
        "sha256_sums": "qc_2110_848_22/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        2230,
        896,
        24
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_2230_896_24_g8.cpm",
        "sha256": "bf406a9296945e21a14bee6096b8c925ea13fcc5daa17c8b739535ab8a66d427",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 24,
        "certificate_payload_count": 1,
        "complete_payload_available": true,
        "coverage_or_retry_results": [
          "artifacts/lower_bound/coverage_X.json",
          "artifacts/lower_bound/index.json"
        ]
      },
      "upper_bound": {
        "claimed": 24,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "b080099c9f09165612af74373d18fc743479f38365eaf2a6557ac72c07709838",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": true,
        "proofs": [
          "artifacts/equivalence/xz_affine_isomorphism.json",
          "artifacts/equivalence/xz_affine_isomorphism_recheck.json"
        ]
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "037519d8ca0633f248d8d2d086a12cab5d10f4dc21f12722845f2133842e9efd",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "35f2c9df61e7004978ba476ab74486834895af3bbcf128dd8fe2159145ada92c",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          2230,
          896,
          24
        ],
        "fixed_input_sha256": "bf406a9296945e21a14bee6096b8c925ea13fcc5daa17c8b739535ab8a66d427",
        "computed_ranks": {
          "HX": 667,
          "HZ": 667
        },
        "computed_dimension": 896,
        "lower_certificate_payloads_verified": 1,
        "lower_certificate_records_verified": 7159,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l10_p223_m157_l17"
        ],
        "xz_transfer_contexts": [
          "j3_l10_p223_m157_l17"
        ],
        "artifact_count": 13,
        "bundle_sha256": "037519d8ca0633f248d8d2d086a12cab5d10f4dc21f12722845f2133842e9efd"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_2230_896_24_g8.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 24 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_2230_896_24/verification_index.json",
        "certificate_bundle": "qc_2230_896_24/certificate_bundle.tar.gz",
        "sha256_sums": "qc_2230_896_24/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        228,
        118,
        6
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "3f788bf8e5fb3983cf6cb3ff6d9325d14aeb60c31ff09a041ebb0aec3863cebe",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 6,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 6,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "9830e9b9b1453650e5ea38a9e900eef7cc0defc3466507fedc35c9ca989157dd",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "1e598ca50c575a7b452f54c620ea3f9d631af330ba5ffd0af3dd6e8b5bac14bd",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "c8c186bfab5daa4e9213cbbf5fff96719180ced4e7c94b983cc69790e0435a34",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          228,
          118,
          6
        ],
        "fixed_input_sha256": "3f788bf8e5fb3983cf6cb3ff6d9325d14aeb60c31ff09a041ebb0aec3863cebe",
        "computed_ranks": {
          "HX": 55,
          "HZ": 55
        },
        "computed_dimension": 118,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l12_p19_small_frontier_s1"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "1e598ca50c575a7b452f54c620ea3f9d631af330ba5ffd0af3dd6e8b5bac14bd"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 6 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_228_118_6/verification_index.json",
        "certificate_bundle": "qc_228_118_6/certificate_bundle.tar.gz",
        "sha256_sums": "qc_228_118_6/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        230,
        96,
        8
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "64faea95bba29b7449dc91934ebf5778ad6fd530e6bf401de92ccfb0ddeb28f9",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 8,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 8,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "b05b4d7b553acdf3b92ffb22f828909a82e2a55a5410e13382bbd2cc4eb69b6f",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "bb99d556202bc97a3b212687e655fb4f24f8e111f8c03554d52b5158feadfb1e",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "cab6a9b929421a7cd053acd15f2706e6ac2beef97a4e192906647e6ad658a796",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          230,
          96,
          8
        ],
        "fixed_input_sha256": "64faea95bba29b7449dc91934ebf5778ad6fd530e6bf401de92ccfb0ddeb28f9",
        "computed_ranks": {
          "HX": 67,
          "HZ": 67
        },
        "computed_dimension": 96,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l10_p23_small_frontier_s50"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "bb99d556202bc97a3b212687e655fb4f24f8e111f8c03554d52b5158feadfb1e"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 8 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_230_96_8/verification_index.json",
        "certificate_bundle": "qc_230_96_8/certificate_bundle.tar.gz",
        "sha256_sums": "qc_230_96_8/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        232,
        62,
        12
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/pp_232_62_12_cw8_P29.npz",
        "sha256": "260d1e15c179bd136560e557a6786bb240a4cfa8a5477347859b4b99c966dd6a",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 12,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 12,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "755cccccad723cea91314a5738b46d5f071dde58a84c0d1e80dc5806c10937d4",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "b5cac30ba31880a53f352004e05fddee728f8ebcb0b0dfc3b7a6fe839325c5ad",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "c03e54a0e08b75142edde0af1b9665d70ab26440aa6a28e94186f426dd261fb6",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          232,
          62,
          12
        ],
        "fixed_input_sha256": "260d1e15c179bd136560e557a6786bb240a4cfa8a5477347859b4b99c966dd6a",
        "computed_ranks": {
          "HX": 85,
          "HZ": 85
        },
        "computed_dimension": 62,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "qc_232_62_12"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 10,
        "bundle_sha256": "b5cac30ba31880a53f352004e05fddee728f8ebcb0b0dfc3b7a6fe839325c5ad"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/pp_232_62_12_cw8_P29.npz --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 12 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_232_62_12/verification_index.json",
        "certificate_bundle": "qc_232_62_12/certificate_bundle.tar.gz",
        "sha256_sums": "qc_232_62_12/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        238,
        108,
        10
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "07180f11e88fa07a7e09a147757702e4a47ba6c7cb77f2dd0737617794b6a58b",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 10,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 10,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "10889968acb8f214d597c66099a329226ede7f7a80586a48ab0dbf3ea87ec2e4",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "2edbf65b9e09ee8ca4aecb65e3147416b51f20ce5021e901cfa89e17881a3450",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "2eb26260e02aa4b2e3df1ac24c06032dc764d1936236887d74c01c222e112126",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          238,
          108,
          10
        ],
        "fixed_input_sha256": "07180f11e88fa07a7e09a147757702e4a47ba6c7cb77f2dd0737617794b6a58b",
        "computed_ranks": {
          "HX": 65,
          "HZ": 65
        },
        "computed_dimension": 108,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l14_p17_small_frontier_s18"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "2edbf65b9e09ee8ca4aecb65e3147416b51f20ce5021e901cfa89e17881a3450"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 10 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_238_108_10/verification_index.json",
        "certificate_bundle": "qc_238_108_10/certificate_bundle.tar.gz",
        "sha256_sums": "qc_238_108_10/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        248,
        66,
        12
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/pp_248_66_12_cw8_P31.npz",
        "sha256": "5a08a30914596b6b1584a7a3d3e936b60bf8a08c962a1c19f39f966caec3701b",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 12,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 12,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "bfb6832e0161ae88756f8658293ec590b208ac681a8c4595685e4f04c480f834",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "91a108ea43c3f30fcee190f8816e704383fb8c0b9eb7a78e1dd6c9144465f40c",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "8bcfbc5f40f1b736ab548a73d509e6d32c38dc6735b99ec1071cf8a9f0911cb4",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          248,
          66,
          12
        ],
        "fixed_input_sha256": "5a08a30914596b6b1584a7a3d3e936b60bf8a08c962a1c19f39f966caec3701b",
        "computed_ranks": {
          "HX": 91,
          "HZ": 91
        },
        "computed_dimension": 66,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "qc_248_66_12"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 10,
        "bundle_sha256": "91a108ea43c3f30fcee190f8816e704383fb8c0b9eb7a78e1dd6c9144465f40c"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/pp_248_66_12_cw8_P31.npz --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 12 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_248_66_12/verification_index.json",
        "certificate_bundle": "qc_248_66_12/certificate_bundle.tar.gz",
        "sha256_sums": "qc_248_66_12/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        24,
        14,
        2
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "127e145e8c9b4ee5d0d4d2c54c2a5892884a7382a611b635b6f760a91eafb4ba",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 2,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 2,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "e39a2211d0023dc711fa2d82989fde72f21a3b9eabb692a3221450e4ecef6a97",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "caa12a7ffd2a3dd07be1d1930b378fe0c14877414876d2473106bd6812d1d258",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "435c4bc126f724cd18470c9d289a56ad3f8ba57736e8ad14cc44a7860785bb61",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          24,
          14,
          2
        ],
        "fixed_input_sha256": "127e145e8c9b4ee5d0d4d2c54c2a5892884a7382a611b635b6f760a91eafb4ba",
        "computed_ranks": {
          "HX": 5,
          "HZ": 5
        },
        "computed_dimension": 14,
        "lower_certificate_payloads_verified": 1,
        "lower_certificate_records_verified": 0,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l12_p2_small_frontier_s0"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 9,
        "bundle_sha256": "caa12a7ffd2a3dd07be1d1930b378fe0c14877414876d2473106bd6812d1d258"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 2 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_24_14_2/verification_index.json",
        "certificate_bundle": "qc_24_14_2/certificate_bundle.tar.gz",
        "sha256_sums": "qc_24_14_2/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        24,
        16,
        2
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "02a491d2c1cc1b5a155367b6977a980b3a29f4b411a36a0e2fa57be35d8d60de",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 2,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 2,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "b78a70e6d5614d10b0392293c233201b3b1e7e89d03028c1c4005fe76eceff3c",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "1e6cc36d48ea7e38ced4a053a44785a4a18e4ea5590c4245410e2a61600b996c",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "e66d3303f13d4879d2a2769c02ce031ae4edc5906b3e64adb33e9a229d1d2305",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          24,
          16,
          2
        ],
        "fixed_input_sha256": "02a491d2c1cc1b5a155367b6977a980b3a29f4b411a36a0e2fa57be35d8d60de",
        "computed_ranks": {
          "HX": 4,
          "HZ": 4
        },
        "computed_dimension": 16,
        "lower_certificate_payloads_verified": 1,
        "lower_certificate_records_verified": 0,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l12_p2_small_frontier_s0"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 9,
        "bundle_sha256": "1e6cc36d48ea7e38ced4a053a44785a4a18e4ea5590c4245410e2a61600b996c"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 2 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_24_16_2/verification_index.json",
        "certificate_bundle": "qc_24_16_2/certificate_bundle.tar.gz",
        "sha256_sums": "qc_24_16_2/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        2676,
        1342,
        18
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_2676_1342_18.cpm",
        "sha256": "b4948cf503b75ababc76b3f8d617fc333a68c76a947a0a54afc6b8243d556789",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 18,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": [
          "artifacts/lower_bound/archive_verification_X.json",
          "artifacts/lower_bound/archive_verification_Z.json",
          "artifacts/lower_bound/coverage_X.json",
          "artifacts/lower_bound/coverage_Z.json"
        ]
      },
      "upper_bound": {
        "claimed": 18,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "f5e79ff86009b2d4493d9f06fc2a162873165ac89e5de40818413a87b4b27274",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "06b82fe3338c05fb76b8998b18cdc416581ded59839745f4cee428acbbb3b5a9",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "bb7c4eda34f57f5906762aa0958141a39e65cfb98cbbfa6b0b76fba7658a26c4",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          2676,
          1342,
          18
        ],
        "fixed_input_sha256": "b4948cf503b75ababc76b3f8d617fc333a68c76a947a0a54afc6b8243d556789",
        "computed_ranks": {
          "HX": 667,
          "HZ": 667
        },
        "computed_dimension": 1342,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 31536,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 1,
        "coordinate_equivalence_contexts": [
          "j3_l12_p223_feedback_41"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 15,
        "bundle_sha256": "06b82fe3338c05fb76b8998b18cdc416581ded59839745f4cee428acbbb3b5a9"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_2676_1342_18.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 18 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_2676_1342_18/verification_index.json",
        "certificate_bundle": "qc_2676_1342_18/certificate_bundle.tar.gz",
        "sha256_sums": "qc_2676_1342_18/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        276,
        98,
        14
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_276_98_14_randomized_equivalent.cpm",
        "sha256": "42259b4327b3efa74dfa4369838a2ac114c09a0aa1d58ac4bd55ee7437c273bc",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 14,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 14,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "7af79c8100c34432b579094321cfbf6fd3662ea254df503c5b511398b0e81285",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": true,
        "proofs": [
          "artifacts/equivalence/equivalence_verification.json"
        ]
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "4649a736cda83e06a60511d3da7caff83b1cf4e47714ca010019ffec65e4c381",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "0bd5baef47789abb9b1410b7b8dc20c8d443968a046af6d7e409446bf36fb004",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          276,
          98,
          14
        ],
        "fixed_input_sha256": "42259b4327b3efa74dfa4369838a2ac114c09a0aa1d58ac4bd55ee7437c273bc",
        "computed_ranks": {
          "HX": 89,
          "HZ": 89
        },
        "computed_dimension": 98,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 8,
        "coordinate_equivalence_contexts": [
          "qc_276_98_14",
          "qc_276_98_14_randomized_equivalent"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 14,
        "bundle_sha256": "4649a736cda83e06a60511d3da7caff83b1cf4e47714ca010019ffec65e4c381"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_276_98_14_randomized_equivalent.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 14 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_276_98_14/verification_index.json",
        "certificate_bundle": "qc_276_98_14/certificate_bundle.tar.gz",
        "sha256_sums": "qc_276_98_14/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        28,
        18,
        2
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "fc008631d0b964a27f0fb4078be3056cd54ff0884cdd4efa9ecae81f8a200a62",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 2,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 2,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "43c14f88e5faf60b9452394b3fd41181c79efe2fd3ec49ab2df733da11372d55",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "c7d2c9b66775da8e18771a3c9f4f8e3e59e8e5bb2e65549f2388d3de3bb875c2",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "f13562186b96a89e098b67cf323ef041ae1ebd514fdeb2b93f5c50df37c74f6f",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          28,
          18,
          2
        ],
        "fixed_input_sha256": "fc008631d0b964a27f0fb4078be3056cd54ff0884cdd4efa9ecae81f8a200a62",
        "computed_ranks": {
          "HX": 5,
          "HZ": 5
        },
        "computed_dimension": 18,
        "lower_certificate_payloads_verified": 1,
        "lower_certificate_records_verified": 0,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l14_p2_small_frontier_s0"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 11,
        "bundle_sha256": "c7d2c9b66775da8e18771a3c9f4f8e3e59e8e5bb2e65549f2388d3de3bb875c2"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 2 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_28_18_2/verification_index.json",
        "certificate_bundle": "qc_28_18_2/certificate_bundle.tar.gz",
        "sha256_sums": "qc_28_18_2/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        28,
        20,
        2
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "7327876060789f7a999952ef68797524e94dc5981f4c7350bf04ae35d8d79131",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 2,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 2,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "2604c56b8c3689044b03b428760f436c45de649e7ab74c016c318b96b0356703",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "423f9935b60015a519cc520e5431b8220fef2566d3c66e2c6d8555852d95c606",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "bb5705a06997bb5d989b7415d8877f45b1faef2e6828c4b7f22a1cb480a23a5d",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          28,
          20,
          2
        ],
        "fixed_input_sha256": "7327876060789f7a999952ef68797524e94dc5981f4c7350bf04ae35d8d79131",
        "computed_ranks": {
          "HX": 4,
          "HZ": 4
        },
        "computed_dimension": 20,
        "lower_certificate_payloads_verified": 1,
        "lower_certificate_records_verified": 0,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l14_p2_small_frontier_s0"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 11,
        "bundle_sha256": "423f9935b60015a519cc520e5431b8220fef2566d3c66e2c6d8555852d95c606"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 2 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_28_20_2/verification_index.json",
        "certificate_bundle": "qc_28_20_2/certificate_bundle.tar.gz",
        "sha256_sums": "qc_28_20_2/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        296,
        78,
        12
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/pp_296_78_12_cw8_P37.npz",
        "sha256": "8ad380ffc65f1b4f3703606aa1aea04c45d3d3bff45aeddc42d38f45573fd401",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 12,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 12,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "5b03a5d1479ed33f45b1f80cd083708d75f9de05d6920234a0b4450f41a6adf9",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "0367c1acb4451699e11f164eeb64d63b772ce21d7920ddf674389689b40f59ed",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "61e3b631f18197f89b1ce53e89b3da7367ea4f76f1cb0715c204abe6174e634c",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          296,
          78,
          12
        ],
        "fixed_input_sha256": "8ad380ffc65f1b4f3703606aa1aea04c45d3d3bff45aeddc42d38f45573fd401",
        "computed_ranks": {
          "HX": 109,
          "HZ": 109
        },
        "computed_dimension": 78,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "qc_296_78_12"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 10,
        "bundle_sha256": "0367c1acb4451699e11f164eeb64d63b772ce21d7920ddf674389689b40f59ed"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/pp_296_78_12_cw8_P37.npz --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 12 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_296_78_12/verification_index.json",
        "certificate_bundle": "qc_296_78_12/certificate_bundle.tar.gz",
        "sha256_sums": "qc_296_78_12/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        3122,
        1788,
        16
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_3122_1788_16.cpm",
        "sha256": "25bdc3f90165b42948bc8839e09ced8615d610a8794db8b6a408e57039b65c12",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 16,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 16,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "059b48e0777e01d82aa0fc4657dca165d9be1d854a6e9692bf09fa1b1774292d",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "777c5813143a6f28741b2974e9fea1f7bf670706c2bd529578efeb11e978a7f4",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "e96cc50a8b4b2f45d7be08d32ee681670c0c513f48038e29c6b1234640dc4c64",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          3122,
          1788,
          16
        ],
        "fixed_input_sha256": "25bdc3f90165b42948bc8839e09ced8615d610a8794db8b6a408e57039b65c12",
        "computed_ranks": {
          "HX": 667,
          "HZ": 667
        },
        "computed_dimension": 1788,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "qc_3122_1788_16"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 8,
        "bundle_sha256": "777c5813143a6f28741b2974e9fea1f7bf670706c2bd529578efeb11e978a7f4"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_3122_1788_16.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 16 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_3122_1788_16/verification_index.json",
        "certificate_bundle": "qc_3122_1788_16/certificate_bundle.tar.gz",
        "sha256_sums": "qc_3122_1788_16/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        322,
        188,
        6
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "e973d8bfa478dfe8e1d319319cf34ca0d3961f9c563ad388fc32096958ec9643",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 6,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 6,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "d774d00b83e10313cc1e5c8c4eeb385a7eb9ae8f723a93bb0e1908d856d08443",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "ba70b7b77818fadb8a2b8ae9fe74aeb4643ad3c0147243f679df6d63f157dfe4",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "f22f07ff0c2841448628280c570a8c025aa632e1ff4bb195df8d630bb078c213",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          322,
          188,
          6
        ],
        "fixed_input_sha256": "e973d8bfa478dfe8e1d319319cf34ca0d3961f9c563ad388fc32096958ec9643",
        "computed_ranks": {
          "HX": 67,
          "HZ": 67
        },
        "computed_dimension": 188,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l14_p23_small_frontier_s23"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "ba70b7b77818fadb8a2b8ae9fe74aeb4643ad3c0147243f679df6d63f157dfe4"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 6 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_322_188_6/verification_index.json",
        "certificate_bundle": "qc_322_188_6/certificate_bundle.tar.gz",
        "sha256_sums": "qc_322_188_6/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        32,
        22,
        2
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "c020ea3e511762c869b103ea18e2e3e8aa5b555d33259091a25478d07b97d4ce",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 2,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 2,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "eddf97380664409ca1755582296b0dd18d65b513d68860dbd626f9df99994ab7",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "16c930a8de41c18e02ba980adb97f8118661a35a68d7eca51c90ee8bfc4f30f9",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "3cd9cf48315e511f0ea70f0d93d8493cf127330ba2e8ed209569650cc9d361d6",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          32,
          22,
          2
        ],
        "fixed_input_sha256": "c020ea3e511762c869b103ea18e2e3e8aa5b555d33259091a25478d07b97d4ce",
        "computed_ranks": {
          "HX": 5,
          "HZ": 5
        },
        "computed_dimension": 22,
        "lower_certificate_payloads_verified": 1,
        "lower_certificate_records_verified": 0,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l16_p2_small_frontier_s0"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 11,
        "bundle_sha256": "16c930a8de41c18e02ba980adb97f8118661a35a68d7eca51c90ee8bfc4f30f9"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 2 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_32_22_2/verification_index.json",
        "certificate_bundle": "qc_32_22_2/certificate_bundle.tar.gz",
        "sha256_sums": "qc_32_22_2/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        368,
        190,
        10
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "0564a0cc944d13ae57344ec9a07a8fec37b57f318fc8a6c06a8ae7d9880b540f",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 10,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 10,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "d0a33d7c883fd9f525f95c8f3b3b83dec0a3cde2f8fe4bfc9168f07cb602afce",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "2be296ea3f1decae532ec976ed50f12e12e4d41fa405aaa89f777ebe6a20bc91",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "334bda1bd7ebccf2cb8f08fd4301dd7b9167cab203929ddce3b0e7b2ff325bca",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          368,
          190,
          10
        ],
        "fixed_input_sha256": "0564a0cc944d13ae57344ec9a07a8fec37b57f318fc8a6c06a8ae7d9880b540f",
        "computed_ranks": {
          "HX": 89,
          "HZ": 89
        },
        "computed_dimension": 190,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l16_p23_small_frontier_s0"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "2be296ea3f1decae532ec976ed50f12e12e4d41fa405aaa89f777ebe6a20bc91"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 10 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_368_190_10/verification_index.json",
        "certificate_bundle": "qc_368_190_10/certificate_bundle.tar.gz",
        "sha256_sums": "qc_368_190_10/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        372,
        130,
        16
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_372_130_16.cpm",
        "sha256": "bedad4da7491ebbdc87991d93ca13d899950fb30a674fe82800aa3cc2c2076d4",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 16,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 16,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "9e7608cc262318ac93b195bdd17b12dd014b25bab2b131234d9f0ae2edeb1cfe",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": true,
        "proofs": [
          "artifacts/equivalence/xz_affine_isomorphism.json"
        ]
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "6c2b3789fbd1307fd1eeeb5248bc17bd142c55cd3588937339526c4cc7a23c35",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "a825f74f1f2a9c671b39cbf9282e9198c9b0ba3767ea1bb92bf035caef93123f",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          372,
          130,
          16
        ],
        "fixed_input_sha256": "bedad4da7491ebbdc87991d93ca13d899950fb30a674fe82800aa3cc2c2076d4",
        "computed_ranks": {
          "HX": 121,
          "HZ": 121
        },
        "computed_dimension": 130,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 1,
        "coordinate_equivalence_contexts": [
          "qc_372_130_16"
        ],
        "xz_transfer_contexts": [
          "qc_372_130_16"
        ],
        "artifact_count": 10,
        "bundle_sha256": "6c2b3789fbd1307fd1eeeb5248bc17bd142c55cd3588937339526c4cc7a23c35"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_372_130_16.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 16 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_372_130_16/verification_index.json",
        "certificate_bundle": "qc_372_130_16/certificate_bundle.tar.gz",
        "sha256_sums": "qc_372_130_16/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        40,
        14,
        4
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "b640a5f284faab18f498ea0c39c4a3c5ef4ac7023eeec660ff8053e76b65cf5e",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 4,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 4,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "e71ffdf7da2129a58aecca3775db3c29135c009ce9a635989f4c887d66a40dda",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "c31e00d916f81191284ac4e950081c3783b2885181f122d6a567ce6b412bfc9e",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "843d42ee482cbe792f21fb7b10337d68caa34e47cb509a5281e5947719d40337",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          40,
          14,
          4
        ],
        "fixed_input_sha256": "b640a5f284faab18f498ea0c39c4a3c5ef4ac7023eeec660ff8053e76b65cf5e",
        "computed_ranks": {
          "HX": 13,
          "HZ": 13
        },
        "computed_dimension": 14,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l8_p5_small_frontier_s3"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "c31e00d916f81191284ac4e950081c3783b2885181f122d6a567ce6b412bfc9e"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 4 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_40_14_4/verification_index.json",
        "certificate_bundle": "qc_40_14_4/certificate_bundle.tar.gz",
        "sha256_sums": "qc_40_14_4/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        444,
        154,
        18
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_444_154_ge18.cpm",
        "sha256": "26046970eb0f70e53a0d9da51d92768a4d34869606ead3a321399b37f2d126b7",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 18,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": [
          "artifacts/lower_bound/archive_verification_X.json",
          "artifacts/lower_bound/archive_verification_Z.json",
          "artifacts/lower_bound/coverage_X.json",
          "artifacts/lower_bound/coverage_Z.json"
        ]
      },
      "upper_bound": {
        "claimed": 18,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "5a525bfa80d3647c92e42663dc8cec1aaa6519f13a9f2fdd6a13b9f9dd6f4d01",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "bb6885be29e3d1bdbe5cbd2ca8fbdf8e8dec994e77868aac6ae737dde4b4f243",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "2c7c2721c2511e176cb67c3e0798918c864330b6b2fe34d2af0ee0f50e5cbd2e",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          444,
          154,
          18
        ],
        "fixed_input_sha256": "26046970eb0f70e53a0d9da51d92768a4d34869606ead3a321399b37f2d126b7",
        "computed_ranks": {
          "HX": 145,
          "HZ": 145
        },
        "computed_dimension": 154,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 252,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 4,
        "coordinate_equivalence_contexts": [
          "qc_444_l12_p37_d18_candidate_0001"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 13,
        "bundle_sha256": "bb6885be29e3d1bdbe5cbd2ca8fbdf8e8dec994e77868aac6ae737dde4b4f243"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_444_154_ge18.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 18 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_444_154_18/verification_index.json",
        "certificate_bundle": "qc_444_154_18/certificate_bundle.tar.gz",
        "sha256_sums": "qc_444_154_18/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        444,
        226,
        8
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "74101e549e8f8b5d27604892fa8c94da38135869f02bbf8c83b8b839d9dd9ce3",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 8,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 8,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "b9739df560ba664eef37075a31e61b839ab3cfbfc9fee15f4fbe0449db53fed5",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "c0afa7eb4d2aea4abd74fdc197d31f0536b9eea45b55acc718df7dbd4c2f0628",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "d8f08d7ef8bccd67b075297512286d696a53a624e5b62f08a9bd867e29f0baa8",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          444,
          226,
          8
        ],
        "fixed_input_sha256": "74101e549e8f8b5d27604892fa8c94da38135869f02bbf8c83b8b839d9dd9ce3",
        "computed_ranks": {
          "HX": 109,
          "HZ": 109
        },
        "computed_dimension": 226,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l12_p37_small_frontier_s90"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 11,
        "bundle_sha256": "c0afa7eb4d2aea4abd74fdc197d31f0536b9eea45b55acc718df7dbd4c2f0628"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 8 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_444_226_8/verification_index.json",
        "certificate_bundle": "qc_444_226_8/certificate_bundle.tar.gz",
        "sha256_sums": "qc_444_226_8/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        470,
        192,
        12
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_470_192_d12to22.cpm",
        "sha256": "00e39744b3e413f83b6a5f031dc563636260de3a63f05a7b9440e30992297a76",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 12,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 12,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "94bdd26f913b08133edeee1485b82b026db76893942d1c86392300f03609fb97",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "9365afad3b3c21d9014a95e773365facf92b4bcf5b9c65d668fdc05e579c8b82",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "4b27b2733f0e1ad4d4cbb72a5bb1cedf9f6c2f1656bbb142ea9b97f6249170d8",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          470,
          192,
          12
        ],
        "fixed_input_sha256": "00e39744b3e413f83b6a5f031dc563636260de3a63f05a7b9440e30992297a76",
        "computed_ranks": {
          "HX": 139,
          "HZ": 139
        },
        "computed_dimension": 192,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 1,
        "coordinate_equivalence_contexts": [
          "j3_l10_p47_sample928"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 8,
        "bundle_sha256": "9365afad3b3c21d9014a95e773365facf92b4bcf5b9c65d668fdc05e579c8b82"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_470_192_d12to22.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 12 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_470_192_12/verification_index.json",
        "certificate_bundle": "qc_470_192_12/certificate_bundle.tar.gz",
        "sha256_sums": "qc_470_192_12/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        472,
        122,
        14
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_472_122_14.cpm",
        "sha256": "2109e29707809790ffd5c0586a33b48208e19f3f9d4b9e4aafa865005e39f73d",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 14,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 14,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "bed109d3e3c189b7050e54ba2c6edfd14d679d82c46a9f1b319c7a71e79b561f",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "f364e610bfbde87d38e24cbaef1a18569104efc85205adb2347099b747ba2a31",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "8f28c7fa6c32d6582fd756ead611bd52c1d980f77af85c2f71286f04915b312f",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          472,
          122,
          14
        ],
        "fixed_input_sha256": "2109e29707809790ffd5c0586a33b48208e19f3f9d4b9e4aafa865005e39f73d",
        "computed_ranks": {
          "HX": 175,
          "HZ": 175
        },
        "computed_dimension": 122,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "qc_472_122_14"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 8,
        "bundle_sha256": "f364e610bfbde87d38e24cbaef1a18569104efc85205adb2347099b747ba2a31"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_472_122_14.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 14 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_472_122_14/verification_index.json",
        "certificate_bundle": "qc_472_122_14/certificate_bundle.tar.gz",
        "sha256_sums": "qc_472_122_14/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        472,
        122,
        16
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_472_122_16_g8.cpm",
        "sha256": "e923251e5f882817d4e2cab08d5effc5bf9dcfbf7e1ce2a5abff20fbec4886b5",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 16,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 16,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "d3f516fb1521516d526bbd58af94a8357bae2607b9d390bbb433378321dbf1bb",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "a280c1510817e5aba202d1b5b16b6675f0d0f093a3b1be9a4b140be4ed141bae",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "f2f878ac30c6fb52252773c84149cc997445de20803074fdb937dc56731d31f0",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          472,
          122,
          16
        ],
        "fixed_input_sha256": "e923251e5f882817d4e2cab08d5effc5bf9dcfbf7e1ce2a5abff20fbec4886b5",
        "computed_ranks": {
          "HX": 175,
          "HZ": 175
        },
        "computed_dimension": 122,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "qc_472_122_16_g8"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 8,
        "bundle_sha256": "a280c1510817e5aba202d1b5b16b6675f0d0f093a3b1be9a4b140be4ed141bae"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_472_122_16_g8.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 16 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_472_122_16/verification_index.json",
        "certificate_bundle": "qc_472_122_16/certificate_bundle.tar.gz",
        "sha256_sums": "qc_472_122_16/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        488,
        126,
        14
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_488_126_14.cpm",
        "sha256": "f618dcf0000d0b4a7ba00092e3a9f7eb4cf98565c837a7a65b8e55a76e565f32",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 14,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 14,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "04f4ed522aacb840ece73ab4841b3dc3c20af066d8c2d95e8cc5d2cf96147d6c",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "8c20e886cc31343f703e07d41a2491770d3712add4b013a889526e1f1546a05f",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "7c3d3b99317948330ea9d490f1b66932f9a034dff7ffdea7d32769ed9892deb4",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          488,
          126,
          14
        ],
        "fixed_input_sha256": "f618dcf0000d0b4a7ba00092e3a9f7eb4cf98565c837a7a65b8e55a76e565f32",
        "computed_ranks": {
          "HX": 181,
          "HZ": 181
        },
        "computed_dimension": 126,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "qc_488_126_14"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 8,
        "bundle_sha256": "8c20e886cc31343f703e07d41a2491770d3712add4b013a889526e1f1546a05f"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_488_126_14.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 14 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_488_126_14/verification_index.json",
        "certificate_bundle": "qc_488_126_14/certificate_bundle.tar.gz",
        "sha256_sums": "qc_488_126_14/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        492,
        170,
        20
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_492_170_20.cpm",
        "sha256": "d97aa4522704a91f27c6aa12b8dfa5919d3f226aaf2e11c9cd1b25096bb1f0c8",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 20,
        "certificate_payload_count": 1,
        "complete_payload_available": true,
        "coverage_or_retry_results": [
          "artifacts/lower_bound/coverage_X.json",
          "artifacts/lower_bound/exact_distance_summary.json",
          "artifacts/lower_bound/hybrid_coverage_verification.json"
        ]
      },
      "upper_bound": {
        "claimed": 20,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "54327e77b08ed20a881f47faeb9304a51d3e6082037f645c9ddbcbe89217ab07",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": true,
        "proofs": [
          "artifacts/equivalence/xz_affine_isomorphism_recheck.json",
          "artifacts/equivalence/xz_involution_verification.json"
        ]
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "fb12fe12093b6c6e9973dbf3a701ed9157bebdcaadb7ac19357dac056bbd9572",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "9b13372802d61d8908c11be148106c9f1ef3ecdb0cae6377ce8eb3fe74f87ef7",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          492,
          170,
          20
        ],
        "fixed_input_sha256": "d97aa4522704a91f27c6aa12b8dfa5919d3f226aaf2e11c9cd1b25096bb1f0c8",
        "computed_ranks": {
          "HX": 161,
          "HZ": 161
        },
        "computed_dimension": 170,
        "lower_certificate_payloads_verified": 1,
        "lower_certificate_records_verified": 1362,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l12_p41_d20_seeded_a328"
        ],
        "xz_transfer_contexts": [
          "j4_l12_p41_d20_seeded_a328"
        ],
        "artifact_count": 16,
        "bundle_sha256": "fb12fe12093b6c6e9973dbf3a701ed9157bebdcaadb7ac19357dac056bbd9572"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_492_170_20.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 20 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_492_170_20/verification_index.json",
        "certificate_bundle": "qc_492_170_20/certificate_bundle.tar.gz",
        "sha256_sums": "qc_492_170_20/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        50,
        24,
        4
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "464eb997b11f1afa9ffe38b5be286c513738e3ac71fba4612fa5a5c46192ac62",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 4,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 4,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "0b60a6b7ef201efb58bb3270be8a308b3c6514d0b3b86656f74f1b0350b4f861",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "5d93538d656aa896aa9f960bbebbe152c274c5bd42ba6aebbe36a15127be1fff",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "50bbe4ec8860e3e88733320584fcd012aaeb698f29df373fb59dcb68f4df322c",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          50,
          24,
          4
        ],
        "fixed_input_sha256": "464eb997b11f1afa9ffe38b5be286c513738e3ac71fba4612fa5a5c46192ac62",
        "computed_ranks": {
          "HX": 13,
          "HZ": 13
        },
        "computed_dimension": 24,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l10_p5_small_frontier_s1"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "5d93538d656aa896aa9f960bbebbe152c274c5bd42ba6aebbe36a15127be1fff"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 4 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_50_24_4/verification_index.json",
        "certificate_bundle": "qc_50_24_4/certificate_bundle.tar.gz",
        "sha256_sums": "qc_50_24_4/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        516,
        178,
        20
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_516_178_20.cpm",
        "sha256": "c0b699ac4da6b607903b0e2791b6ba556a937585251ad4b15ce626f5718f727d",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 20,
        "certificate_payload_count": 1,
        "complete_payload_available": true,
        "coverage_or_retry_results": [
          "artifacts/lower_bound/coverage_X.json",
          "artifacts/lower_bound/distance_X_lower_through18.json"
        ]
      },
      "upper_bound": {
        "claimed": 20,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "3f3fe5b5d574b3208154dda125c487d2a2f733f77f6931d2d9b05d31d220dc99",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": true,
        "proofs": [
          "artifacts/equivalence/xz_affine_isomorphism.json",
          "artifacts/equivalence/xz_affine_isomorphism_recheck.json"
        ]
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "d88dc7be9f78ed1943ac068f4630e5960a9526596c980e0d754a7d5de28b17e5",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "b97ece9ed19cc526a631d575439ae58a6219eecbf9bced08301943398e0232ca",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          516,
          178,
          20
        ],
        "fixed_input_sha256": "c0b699ac4da6b607903b0e2791b6ba556a937585251ad4b15ce626f5718f727d",
        "computed_ranks": {
          "HX": 169,
          "HZ": 169
        },
        "computed_dimension": 178,
        "lower_certificate_payloads_verified": 1,
        "lower_certificate_records_verified": 14148,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 1,
        "coordinate_equivalence_contexts": [
          "j4_l12_p43_d22_seeded_a75"
        ],
        "xz_transfer_contexts": [
          "j4_l12_p43_d22_seeded_a75"
        ],
        "artifact_count": 12,
        "bundle_sha256": "d88dc7be9f78ed1943ac068f4630e5960a9526596c980e0d754a7d5de28b17e5"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_516_178_20.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 20 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_516_178_20/verification_index.json",
        "certificate_bundle": "qc_516_178_20/certificate_bundle.tar.gz",
        "sha256_sums": "qc_516_178_20/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        518,
        228,
        12
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "165b83bbfa946d8f60150e9ed10d9ea0adcb245756425965cc6a216618f57771",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 12,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 12,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "bb0e4f17b1d8156aec85f9ff1afa2eef2a6dfbacf22d4432d2f2dd212f983c09",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "1c2ef6d4290395decc7eb7a4396ca09eea3703443c761f89e018512d93378d04",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "fa0a11ff7ee30ebfdcc08dab078edad31a1c465bcdd46bf8b077af528582b591",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          518,
          228,
          12
        ],
        "fixed_input_sha256": "165b83bbfa946d8f60150e9ed10d9ea0adcb245756425965cc6a216618f57771",
        "computed_ranks": {
          "HX": 145,
          "HZ": 145
        },
        "computed_dimension": 228,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l14_p37_small_frontier_s7"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "1c2ef6d4290395decc7eb7a4396ca09eea3703443c761f89e018512d93378d04"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 12 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_518_228_12/verification_index.json",
        "certificate_bundle": "qc_518_228_12/certificate_bundle.tar.gz",
        "sha256_sums": "qc_518_228_12/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        518,
        228,
        16
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_518_228_16.cpm",
        "sha256": "794e83f7bbc9f22d2720e741e4c7c91ff452c189d5b3099cb04f63622f3335e1",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 16,
        "certificate_payload_count": 1,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 16,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "6c032be30b6d7abe89fc893490b6d6258a8e3fb0171fbd8afe8bfa82be73dc94",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": true,
        "proofs": [
          "artifacts/equivalence/xz_affine_isomorphism.json"
        ]
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "4fac8315db9673a83c34649cb166fa23aaf437d558f80e30cac814c16fea2fe4",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "f292aa844fca6d390bdbd2fda67c654de3f34f8e1c9d3d6c2bc8ca2afca3625a",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          518,
          228,
          16
        ],
        "fixed_input_sha256": "794e83f7bbc9f22d2720e741e4c7c91ff452c189d5b3099cb04f63622f3335e1",
        "computed_ranks": {
          "HX": 145,
          "HZ": 145
        },
        "computed_dimension": 228,
        "lower_certificate_payloads_verified": 1,
        "lower_certificate_records_verified": 1,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 1,
        "coordinate_equivalence_contexts": [
          "qc_518_228_16"
        ],
        "xz_transfer_contexts": [
          "qc_518_228_16"
        ],
        "artifact_count": 21,
        "bundle_sha256": "4fac8315db9673a83c34649cb166fa23aaf437d558f80e30cac814c16fea2fe4"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_518_228_16.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 16 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_518_228_16/verification_index.json",
        "certificate_bundle": "qc_518_228_16/certificate_bundle.tar.gz",
        "sha256_sums": "qc_518_228_16/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        518,
        300,
        8
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "ffcfaeb3d61e45e727042cb51bcbf25930837e1b95b5473df8e4a3f0d7d3cd01",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 8,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 8,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "086a77ec68c0eb365f4598dcaa8045ec2020ec0a5a8f8e77c6f599463f47584d",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "24e2301d62f3c39031cfd4b50ddec4b0a9af94f645fe78a92572a71ddffab1a0",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "4b90e51c4070c2df2b2b224f19214b2581263350c680b52d55f579d6d24d1561",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          518,
          300,
          8
        ],
        "fixed_input_sha256": "ffcfaeb3d61e45e727042cb51bcbf25930837e1b95b5473df8e4a3f0d7d3cd01",
        "computed_ranks": {
          "HX": 109,
          "HZ": 109
        },
        "computed_dimension": 300,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l14_p37_small_frontier_s78"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 11,
        "bundle_sha256": "24e2301d62f3c39031cfd4b50ddec4b0a9af94f645fe78a92572a71ddffab1a0"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 8 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_518_300_8/verification_index.json",
        "certificate_bundle": "qc_518_300_8/certificate_bundle.tar.gz",
        "sha256_sums": "qc_518_300_8/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        530,
        216,
        12
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_530_216_12.cpm",
        "sha256": "90ce5de5f7e84e6b4ea8762b8b92e9a5b18e07378ccb4e7b46a68aa7a48e7b2c",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 12,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 12,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "ac661437bd44dd9b25f1eca2ad3adfff27429daec1e2d20b62890aa536d7baaa",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "ea11c93db7fd16194588dda6bf3ab7500c6571d12e3fc9313858f7a9acd5d49c",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "43b364cbdc687e1dea80b75fe1ce4adfcf77f6e37464787a2ee54f243037b0df",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          530,
          216,
          12
        ],
        "fixed_input_sha256": "90ce5de5f7e84e6b4ea8762b8b92e9a5b18e07378ccb4e7b46a68aa7a48e7b2c",
        "computed_ranks": {
          "HX": 157,
          "HZ": 157
        },
        "computed_dimension": 216,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "qc_530_216_12"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 8,
        "bundle_sha256": "ea11c93db7fd16194588dda6bf3ab7500c6571d12e3fc9313858f7a9acd5d49c"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_530_216_12.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 12 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_530_216_12/verification_index.json",
        "certificate_bundle": "qc_530_216_12/certificate_bundle.tar.gz",
        "sha256_sums": "qc_530_216_12/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        574,
        252,
        18
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_574_252_18_randomized_equivalent.cpm",
        "sha256": "5918d941ba0216b27071b0a338bf52ff178f47bb98bbe52b2ea0221eba1c2c55",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 18,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 18,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "b803a10adeb9ff95ca7d3018a4a0716e1aa85e9503a5d74ecf2c403c5ac9940f",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": true,
        "proofs": [
          "artifacts/equivalence/css_swap_audit.json",
          "artifacts/equivalence/xz_affine_isomorphism_recheck.json"
        ]
      },
      "coordinate_equivalence": {
        "used": true,
        "proofs": [
          "artifacts/equivalence/equivalence_verification.json"
        ]
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "facdb9dbe2ca851e865169db743f6e5efcd187ea7017f73fe0de98c9646d4791",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "fab568d913057fcd135aab6b278821115e91df05c8f98975d53fa3d1a16d8ebf",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          574,
          252,
          18
        ],
        "fixed_input_sha256": "5918d941ba0216b27071b0a338bf52ff178f47bb98bbe52b2ea0221eba1c2c55",
        "computed_ranks": {
          "HX": 161,
          "HZ": 161
        },
        "computed_dimension": 252,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 1,
        "coordinate_equivalence_contexts": [
          "qc_574_252_18",
          "qc_574_252_18_randomized_equivalent"
        ],
        "xz_transfer_contexts": [
          "qc_574_252_18"
        ],
        "artifact_count": 16,
        "bundle_sha256": "facdb9dbe2ca851e865169db743f6e5efcd187ea7017f73fe0de98c9646d4791"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_574_252_18_randomized_equivalent.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 18 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_574_252_18/verification_index.json",
        "certificate_bundle": "qc_574_252_18/certificate_bundle.tar.gz",
        "sha256_sums": "qc_574_252_18/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        584,
        150,
        18
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_584_150_18_g8.cpm",
        "sha256": "1ba2e14746852f6491aaf7ee1696ab30d157ad61bd7745725ffd5b29fc7b05a0",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 18,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 18,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "6abfc2965041d96dbb550c34e7b495c8ec5186724dfe0b9e2d5390a41c2aadc3",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "09d486e5f75a5d1f11abd890c08b7c3b97f2f119ce89576031234a7aed1680d9",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "345a4753e53143e7cbb4a454febda8d0db2cd59ad9e53ec33cae1a58e0bf9303",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          584,
          150,
          18
        ],
        "fixed_input_sha256": "1ba2e14746852f6491aaf7ee1696ab30d157ad61bd7745725ffd5b29fc7b05a0",
        "computed_ranks": {
          "HX": 217,
          "HZ": 217
        },
        "computed_dimension": 150,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l8_p73_m6_l65"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 8,
        "bundle_sha256": "09d486e5f75a5d1f11abd890c08b7c3b97f2f119ce89576031234a7aed1680d9"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_584_150_18_g8.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 18 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_584_150_18/verification_index.json",
        "certificate_bundle": "qc_584_150_18/certificate_bundle.tar.gz",
        "sha256_sums": "qc_584_150_18/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        590,
        240,
        12
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_590_240_12.cpm",
        "sha256": "d63788250e1bb9816429652e26c2c5f6f79aa469163a9667c0417bf0840369f4",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 12,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 12,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "bbcd9597ecc739ef7c2187f7dc48cbaaa405c5a7448afc86478e8c2630460d8f",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "d532ce4c1500134806abf2de736d5079d15826c870d51c9d9592105d8f84b042",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "c859ab25e81863a2f0416a04df0fbcf11c2cc52c7fade126cbe3d03f2ef8a5e9",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          590,
          240,
          12
        ],
        "fixed_input_sha256": "d63788250e1bb9816429652e26c2c5f6f79aa469163a9667c0417bf0840369f4",
        "computed_ranks": {
          "HX": 175,
          "HZ": 175
        },
        "computed_dimension": 240,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "qc_590_240_12"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 8,
        "bundle_sha256": "d532ce4c1500134806abf2de736d5079d15826c870d51c9d9592105d8f84b042"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_590_240_12.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 12 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_590_240_12/verification_index.json",
        "certificate_bundle": "qc_590_240_12/certificate_bundle.tar.gz",
        "sha256_sums": "qc_590_240_12/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        60,
        26,
        4
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "680e93b88a9efb6e9437335b93aaed96bca399633845e7b9e385c324899a6e87",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 4,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 4,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "339628ec3095c301d158e71eb519ca89b5f5e5c17b6aa60b16ef491debb8259d",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "9e4cc0febbc0e18507b466df71ac51347a9c4e3c441c02d49270e73dc108886a",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "b1ab6e1d92229d906b1805e255c184181bfeaaf73967db83a5e0c0f31b2f0f8d",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          60,
          26,
          4
        ],
        "fixed_input_sha256": "680e93b88a9efb6e9437335b93aaed96bca399633845e7b9e385c324899a6e87",
        "computed_ranks": {
          "HX": 17,
          "HZ": 17
        },
        "computed_dimension": 26,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l12_p5_small_frontier_s0"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "9e4cc0febbc0e18507b466df71ac51347a9c4e3c441c02d49270e73dc108886a"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 4 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_60_26_4/verification_index.json",
        "certificate_bundle": "qc_60_26_4/certificate_bundle.tar.gz",
        "sha256_sums": "qc_60_26_4/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        70,
        36,
        4
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "3555b946a0812f7941f1e951508f34f11d4d292f52186b7abcb97fc470c8833c",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 4,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 4,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "f849c07933094adff828b0f95f460ab4e2dbb2548b71ea7b1fa746f5fe4c85dc",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "82e23190b9fc36bc7a1a50cd826d4bc9622d70dbef3d63d3f9d5e03c097a1586",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "4d8d8c8f4ad82d373dcc9dba6fefa80da7ed3c73d64fd1e037bb55d5aa0aeee8",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          70,
          36,
          4
        ],
        "fixed_input_sha256": "3555b946a0812f7941f1e951508f34f11d4d292f52186b7abcb97fc470c8833c",
        "computed_ranks": {
          "HX": 17,
          "HZ": 17
        },
        "computed_dimension": 36,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l14_p5_small_frontier_s2"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "82e23190b9fc36bc7a1a50cd826d4bc9622d70dbef3d63d3f9d5e03c097a1586"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 4 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_70_36_4/verification_index.json",
        "certificate_bundle": "qc_70_36_4/certificate_bundle.tar.gz",
        "sha256_sums": "qc_70_36_4/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        70,
        44,
        4
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "7d7ba2bd2e6b304b13590bf62ec42eb13492feee8b693cc2d90a1d82b80eb70e",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 4,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 4,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "20efec3cd83aec1aef2a1e1495fbb77ddbf11afc11ec7faa7b1bcce19b0d171a",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "04f6138bcefe5974b0a8565fc3af59962b3e8118f052f96b08c420347fbdea95",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "82fc80fa3073b00cd8dfb5edcac5b2848288d64f40fde10e6e62580c7bc60f58",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          70,
          44,
          4
        ],
        "fixed_input_sha256": "7d7ba2bd2e6b304b13590bf62ec42eb13492feee8b693cc2d90a1d82b80eb70e",
        "computed_ranks": {
          "HX": 13,
          "HZ": 13
        },
        "computed_dimension": 44,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l14_p5_small_frontier_s11"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "04f6138bcefe5974b0a8565fc3af59962b3e8118f052f96b08c420347fbdea95"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 4 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_70_44_4/verification_index.json",
        "certificate_bundle": "qc_70_44_4/certificate_bundle.tar.gz",
        "sha256_sums": "qc_70_44_4/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        710,
        288,
        14
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_710_288_14.cpm",
        "sha256": "ed6bbfc83a0126b3f7f366153ea82a82f6082e7c1a1964bc744a58557cc9174e",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 14,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 14,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "fc467d97804fc156123cc0f8dd4f3317108001e38c2090e634425f412c0d4b4f",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "eb4f032f030d6db7f1b2abe407c322843099651eb6393032f5cbd4bd41affa38",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "83331d4613376619d1f363195cc56b8541a6c4a8eb5193e136080599473e0c59",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          710,
          288,
          14
        ],
        "fixed_input_sha256": "ed6bbfc83a0126b3f7f366153ea82a82f6082e7c1a1964bc744a58557cc9174e",
        "computed_ranks": {
          "HX": 211,
          "HZ": 211
        },
        "computed_dimension": 288,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l10_p71_m21_l1"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 8,
        "bundle_sha256": "eb4f032f030d6db7f1b2abe407c322843099651eb6393032f5cbd4bd41affa38"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_710_288_14.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 14 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_710_288_14/verification_index.json",
        "certificate_bundle": "qc_710_288_14/certificate_bundle.tar.gz",
        "sha256_sums": "qc_710_288_14/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        752,
        382,
        12
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "19cc13e5ccc024da3b76c60b36da904988971892ce43602e4ccac052ccd74830",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 12,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 12,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "40ce24a8f55f8b2bf7f99accac0d47037f64fc6f3ccae6446ae3317f7f9cc5f8",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "4cc3bfb23185e591257713264b76bd1740e0238aab6d2373c1ee6297130dc76c",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "71016c8c24316a06782b727c5520a4e25172789f1deea8607287a9f253648904",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          752,
          382,
          12
        ],
        "fixed_input_sha256": "19cc13e5ccc024da3b76c60b36da904988971892ce43602e4ccac052ccd74830",
        "computed_ranks": {
          "HX": 185,
          "HZ": 185
        },
        "computed_dimension": 382,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l16_p47_small_frontier_s38"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "4cc3bfb23185e591257713264b76bd1740e0238aab6d2373c1ee6297130dc76c"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 12 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_752_382_12/verification_index.json",
        "certificate_bundle": "qc_752_382_12/certificate_bundle.tar.gz",
        "sha256_sums": "qc_752_382_12/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        804,
        406,
        10
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "53581241971bbfc2e6c0dbc9f5de968ad7ddb6d57d5b653d8c60cb81ff6dfc7a",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 10,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 10,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "fa7746a9004c380e6eb16ce02e8538077e6f92e134e2aba99c987f54b2345d53",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "e6731539de4b8c80faffdcf33170521159d152960c773b381caa9f35a6655ccc",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "4032fc3a99aa6b6892db782f1824625a8600a4641221b08ba7f45fbbe659da47",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          804,
          406,
          10
        ],
        "fixed_input_sha256": "53581241971bbfc2e6c0dbc9f5de968ad7ddb6d57d5b653d8c60cb81ff6dfc7a",
        "computed_ranks": {
          "HX": 199,
          "HZ": 199
        },
        "computed_dimension": 406,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l12_p67_small_frontier_s13"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 11,
        "bundle_sha256": "e6731539de4b8c80faffdcf33170521159d152960c773b381caa9f35a6655ccc"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 10 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_804_406_10/verification_index.json",
        "certificate_bundle": "qc_804_406_10/certificate_bundle.tar.gz",
        "sha256_sums": "qc_804_406_10/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        80,
        46,
        4
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "cf2a9faaaabb74e2607b1ce31f2e472154e344fae6deb42001cd08a771820dac",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 4,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 4,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "516f893c8736e84b82c94249df4489ff99bff02b472e14a171acefd15f1fcf0b",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "bc41307643e8ed5373983ffe9bb6cc3f956e922b815584ad404e4f3ecc7569b7",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "0249fbb1de06a332132043f47dea2a5383c9c471632874b821f2502f2069f20a",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          80,
          46,
          4
        ],
        "fixed_input_sha256": "cf2a9faaaabb74e2607b1ce31f2e472154e344fae6deb42001cd08a771820dac",
        "computed_ranks": {
          "HX": 17,
          "HZ": 17
        },
        "computed_dimension": 46,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l16_p5_small_frontier_s6"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "bc41307643e8ed5373983ffe9bb6cc3f956e922b815584ad404e4f3ecc7569b7"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 4 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_80_46_4/verification_index.json",
        "certificate_bundle": "qc_80_46_4/certificate_bundle.tar.gz",
        "sha256_sums": "qc_80_46_4/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        848,
        430,
        18
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_848_430_18_certified.cpm",
        "sha256": "9138065f1296d2fc8e2ab6fc388c7682821a67c1406b902b64e5fcff7175e2ce",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 18,
        "certificate_payload_count": 256,
        "complete_payload_available": true,
        "coverage_or_retry_results": [
          "artifacts/lower_bound/distance_through16.json",
          "artifacts/lower_bound/retry_manifest.json"
        ]
      },
      "upper_bound": {
        "claimed": 18,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "fb0692ce2fd76216cf54d155359cd7b0c2f61e899a4071f13a7cfc8ad3852b02",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": true,
        "proofs": [
          "artifacts/equivalence/cpm_conversion.json"
        ]
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "c8fbee2134bcba2dd8905904184c3ef9a4d13b18c475a9071cb3bc3e9a3b19fe",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "4b6b31013acf394ef70adba301b45845b951110ce203c538a1c1b1ef6e4d0065",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          848,
          430,
          18
        ],
        "fixed_input_sha256": "9138065f1296d2fc8e2ab6fc388c7682821a67c1406b902b64e5fcff7175e2ce",
        "computed_ranks": {
          "HX": 209,
          "HZ": 209
        },
        "computed_dimension": 430,
        "lower_certificate_payloads_verified": 256,
        "lower_certificate_records_verified": 0,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 1,
        "coordinate_equivalence_contexts": [
          "qc_848_430_18_certified"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 269,
        "bundle_sha256": "c8fbee2134bcba2dd8905904184c3ef9a4d13b18c475a9071cb3bc3e9a3b19fe"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_848_430_18_certified.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 18 --output upper_logical_verification.reproduced.json",
        "python3 scripts/verify_legacy_cyclic_segmented_bundle.py --array artifacts/construction/array.json --fixed-cpm artifacts/fixed_input/qc_848_430_18_certified.cpm --hx-rows artifacts/fixed_input/Hx_rows.json --hz-rows artifacts/fixed_input/Hz_rows.json --shards artifacts/lower_bound --witness artifacts/supplemental/distance_witness_weight18.json --aggregate artifacts/lower_bound/distance_through16.json --expected-distance 18 --branch-shards 8 --output legacy_bundle_verification.reproduced.json --retry-output retry_manifest.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_848_430_18/verification_index.json",
        "certificate_bundle": "qc_848_430_18/certificate_bundle.tar.gz",
        "sha256_sums": "qc_848_430_18/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        84,
        34,
        6
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "abb5eeef2c2d99f4be5395fafad4aa3d4c8fb309980a28fd4fda6630d86a781d",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 6,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 6,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "89808eeb5e20a8ac0eebf1f404fac180062a93306ebfc7af183593052b25a5dd",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "1514ba948a5f31d20dc12f60674e97a749b41444e08a2730e88739a1c639cf6c",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "7d79686bb9ee3b8991fd942c8c32e35daa606969f678241a5ff3afc5341ca73a",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          84,
          34,
          6
        ],
        "fixed_input_sha256": "abb5eeef2c2d99f4be5395fafad4aa3d4c8fb309980a28fd4fda6630d86a781d",
        "computed_ranks": {
          "HX": 25,
          "HZ": 25
        },
        "computed_dimension": 34,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l12_p7_small_frontier_s5"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "1514ba948a5f31d20dc12f60674e97a749b41444e08a2730e88739a1c639cf6c"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 6 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_84_34_6/verification_index.json",
        "certificate_bundle": "qc_84_34_6/certificate_bundle.tar.gz",
        "sha256_sums": "qc_84_34_6/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        84,
        46,
        4
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "9811d5f56722823221b7408cd631e872500bc8db5a6857ad83486460f9824bc8",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 4,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 4,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "150a81fc4ac19fa252e278f24999d4fd5194084b39dd4bb76bd55c613cfc996b",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "ce3f7c4437a4139905e2698add5fea4bd42b5cf99b40df5f701b313d79901bee",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "ae1259782a18f81eb22cf7d043b6abb0ab96181437048eec59385252fa134696",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          84,
          46,
          4
        ],
        "fixed_input_sha256": "9811d5f56722823221b7408cd631e872500bc8db5a6857ad83486460f9824bc8",
        "computed_ranks": {
          "HX": 19,
          "HZ": 19
        },
        "computed_dimension": 46,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l12_p7_small_frontier_s2"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "ce3f7c4437a4139905e2698add5fea4bd42b5cf99b40df5f701b313d79901bee"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 4 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_84_46_4/verification_index.json",
        "certificate_bundle": "qc_84_46_4/certificate_bundle.tar.gz",
        "sha256_sums": "qc_84_46_4/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        88,
        26,
        6
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "5bd24004d8fb9d348109841faae61ad7e563ee2fc98f5c746fcea76142eac6b5",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 6,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 6,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "5fbd86526602e264c1e84dea59103cd1019c46de17ee401ceb2389660c259904",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "f1d4748652ee1062181d522b9c08faed74316fdf4a1f7f766b2c2ab0c9fdaa4c",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "92fc7d0518c0a51169926a0ddad7503c8190df0c5b5e75160231c63e5f39cca6",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          88,
          26,
          6
        ],
        "fixed_input_sha256": "5bd24004d8fb9d348109841faae61ad7e563ee2fc98f5c746fcea76142eac6b5",
        "computed_ranks": {
          "HX": 31,
          "HZ": 31
        },
        "computed_dimension": 26,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l8_p11_small_frontier_s4"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "f1d4748652ee1062181d522b9c08faed74316fdf4a1f7f766b2c2ab0c9fdaa4c"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 6 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_88_26_6/verification_index.json",
        "certificate_bundle": "qc_88_26_6/certificate_bundle.tar.gz",
        "sha256_sums": "qc_88_26_6/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        938,
        540,
        10
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "332f2f4684361a4964f64c7a3f2102eee81a370f5bff9cf87b5c8ef3b904a1ed",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 10,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 10,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "9bf37bbb7e192cc8934953802caa32d1ce5feed9195fac370ae36a2d7843d713",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "1b02334a52db955d4fbc9197ce7c7444329cd7888911a77969fc9c3ed36c0817",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "ab2c41d86c284cc90857af4f0c6c9a998fd1d4662c2b270b6ce2b50b6e24c17a",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          938,
          540,
          10
        ],
        "fixed_input_sha256": "332f2f4684361a4964f64c7a3f2102eee81a370f5bff9cf87b5c8ef3b904a1ed",
        "computed_ranks": {
          "HX": 199,
          "HZ": 199
        },
        "computed_dimension": 540,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l14_p67_small_frontier_s32"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 11,
        "bundle_sha256": "1b02334a52db955d4fbc9197ce7c7444329cd7888911a77969fc9c3ed36c0817"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 10 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_938_540_10/verification_index.json",
        "certificate_bundle": "qc_938_540_10/certificate_bundle.tar.gz",
        "sha256_sums": "qc_938_540_10/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        944,
        478,
        20
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_944_478_ge20_randomized_equivalent.cpm",
        "sha256": "3e5763eed587f8da8565b7911a366af870295878a67994a95cab952416c7a534",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 20,
        "certificate_payload_count": 1,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 20,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "7fe2eeac1063ccc33c540f2d17d16fedb5f1c5d1c1197fef2d8840e4f67d44bc",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": true,
        "proofs": [
          "artifacts/equivalence/css_swap_audit.json",
          "artifacts/equivalence/xz_affine_isomorphism_recheck.json"
        ]
      },
      "coordinate_equivalence": {
        "used": true,
        "proofs": [
          "artifacts/equivalence/equivalence_verification.json"
        ]
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "8161b63c77d33c3bb146403207ac9e9f0cbf9e2b4726dd0d312a31e091ac85b6",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "8dfd4475ab0caa5eb9af68ac986f19e5cc5e0e6f33e0c7935afc8f6c186f1ac4",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          944,
          478,
          20
        ],
        "fixed_input_sha256": "3e5763eed587f8da8565b7911a366af870295878a67994a95cab952416c7a534",
        "computed_ranks": {
          "HX": 233,
          "HZ": 233
        },
        "computed_dimension": 478,
        "lower_certificate_payloads_verified": 1,
        "lower_certificate_records_verified": 1,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "qc_944_478_ge20",
          "qc_944_478_ge20_randomized_equivalent"
        ],
        "xz_transfer_contexts": [
          "qc_944_478_ge20"
        ],
        "artifact_count": 18,
        "bundle_sha256": "8161b63c77d33c3bb146403207ac9e9f0cbf9e2b4726dd0d312a31e091ac85b6"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_944_478_ge20_randomized_equivalent.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 20 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_944_478_20/verification_index.json",
        "certificate_bundle": "qc_944_478_20/certificate_bundle.tar.gz",
        "sha256_sums": "qc_944_478_20/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        970,
        392,
        16
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/qc_970_392_16.cpm",
        "sha256": "46b83f5ac5747f922511d506fe88bcde9f49143a2f1927e284b6225b1af4a2bf",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 16,
        "certificate_payload_count": 2,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 16,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "d10489e4b3889ab298e940e599af709b00e3f0306c822aadeb9ca77dbdca105b",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "f484946b29fd3e4b7a864e89143cf7698a5ebad535ee136f4992c6f709e181bd",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "7ef52175590abe0b67c7e29bc7fd2490e710908849bbce771e64d44ce3c02290",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          970,
          392,
          16
        ],
        "fixed_input_sha256": "46b83f5ac5747f922511d506fe88bcde9f49143a2f1927e284b6225b1af4a2bf",
        "computed_ranks": {
          "HX": 289,
          "HZ": 289
        },
        "computed_dimension": 392,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j3_l10_p97_m506_l19"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 8,
        "bundle_sha256": "f484946b29fd3e4b7a864e89143cf7698a5ebad535ee136f4992c6f709e181bd"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/qc_970_392_16.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 16 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_970_392_16/verification_index.json",
        "certificate_bundle": "qc_970_392_16/certificate_bundle.tar.gz",
        "sha256_sums": "qc_970_392_16/SHA256SUMS"
      },
      "row_audit_passed": true
    },
    {
      "code": [
        98,
        48,
        6
      ],
      "status": "exact_distance_machine_verified",
      "fixed_input": {
        "path": "artifacts/fixed_input/candidate.cpm",
        "sha256": "1a98a9f8df22e400fd2c226f74a915f09e0965d138a015f580403d19f84a0bb5",
        "hash_recomputed_match": true
      },
      "lower_bound": {
        "claimed": 6,
        "certificate_payload_count": 3,
        "complete_payload_available": true,
        "coverage_or_retry_results": []
      },
      "upper_bound": {
        "claimed": 6,
        "logical_vectors": "artifacts/upper_bound/upper_logical_vectors.json",
        "logical_vectors_sha256": "6f8e6ac677272f846d2f9684c4ce0df985e2930583e05d88506cda97498309c1",
        "independent_verification_passed": true,
        "zero_syndrome_and_outside_stabilizer": true
      },
      "xz_transfer": {
        "used": false,
        "proofs": []
      },
      "coordinate_equivalence": {
        "used": false,
        "proofs": []
      },
      "certificate_bundle": {
        "path": "certificate_bundle.tar.gz",
        "sha256": "39d3f1aae4527c1e332a19f9f13b3c5d697f0925fd566d787d121c5f06269ca0",
        "hash_recomputed_match": true
      },
      "verification_index_sha256": "d19d7f026b04e62f98ccbdad896b5eb40d7628f4063b7e4a913e85da8b3c666e",
      "independent_verifier_result_available": true,
      "bundle_verifier_passed": true,
      "independent_reverification": {
        "verification_passed": true,
        "code": [
          98,
          48,
          6
        ],
        "fixed_input_sha256": "1a98a9f8df22e400fd2c226f74a915f09e0965d138a015f580403d19f84a0bb5",
        "computed_ranks": {
          "HX": 25,
          "HZ": 25
        },
        "computed_dimension": 48,
        "lower_certificate_payloads_verified": 2,
        "lower_certificate_records_verified": 2,
        "certified_lower_sides": [
          "X",
          "Z"
        ],
        "upper_logical_vectors_verified": 2,
        "coordinate_equivalence_contexts": [
          "j4_l14_p7_small_frontier_s6"
        ],
        "xz_transfer_contexts": [],
        "artifact_count": 12,
        "bundle_sha256": "39d3f1aae4527c1e332a19f9f13b3c5d697f0925fd566d787d121c5f06269ca0"
      },
      "verifier_commands": [
        "python3 scripts/verify_public_certificate_bundle.py --index verification_index.json",
        "python3 scripts/verify_css_logical_vectors.py --input artifacts/fixed_input/candidate.cpm --vectors artifacts/upper_bound/upper_logical_vectors.json --expected-weight 6 --output upper_logical_verification.reproduced.json"
      ],
      "publication_links": {
        "verification_index": "qc_98_48_6/verification_index.json",
        "certificate_bundle": "qc_98_48_6/certificate_bundle.tar.gz",
        "sha256_sums": "qc_98_48_6/SHA256SUMS"
      },
      "row_audit_passed": true
    }
  ]
}