files / problems / covering / compute / qm44_build_manifest.json

1.4 KB · on GitHub

{
  "construction": "QM_4^4, arXiv:2511.02542 Theorem 9.1",
  "covering_radius": 4,
  "density_denominator": 1073741824,
  "density_numerator": 4681481123,
  "distinct_nonzero_columns": 689,
  "field_modulus_hex": "0x25",
  "format": "covering-qm44-build-manifest-v1",
  "improvement": 1,
  "indicators_decimal": [
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10,
    11,
    12,
    13,
    14,
    15,
    16,
    17,
    18,
    19
  ],
  "length": 689,
  "matrix": "compute/H_R4_r31_n689.txt",
  "minimum_distance": 3,
  "ok2_columns_decimal_lsb_first": [
    1,
    2,
    4,
    8,
    16,
    32,
    64,
    128,
    256,
    512,
    1024,
    697,
    1143,
    768,
    776,
    1436,
    366,
    1012,
    1711
  ],
  "ok2_cumulative_covered_weights_1_to_4": [
    20,
    183,
    981,
    2048
  ],
  "ok2_dependent_triple_one_based": [
    9,
    10,
    14
  ],
  "ok2_matrix_hex_msb_first": [
    "0x4EA",
    "0x771",
    "0x006",
    "0x086",
    "0x1CD",
    "0x3B4",
    "0x17E",
    "0x7AB"
  ],
  "published_length_arxiv_2511_02542": 690,
  "radius2_covered_at_most_2": 1024,
  "radius2_input": "compute/H_r10_n50.txt",
  "rank": 31,
  "redundancy": 31,
  "top_certificate": "compute/qm44_top_certificate.txt",
  "top_certificate_weight_histogram": {
    "1": 19,
    "2": 163,
    "3": 799,
    "4": 1067
  },
  "warning": "Builder checks are not the certificate; run run_qm44_checks.sh."
}