{
  "_public_export": {
    "status": "RIEMANN HYPOTHESIS OPEN",
    "record_type": "SANITIZED_HISTORICAL_SOURCE_SNAPSHOT",
    "source_path": "research/prime_complex/experiments/results.json",
    "source_sha256": "00192d117c9e1b7048037e5ce997089d9cea3d6ba49ce273b2a72b7789e1a778",
    "exported_on": "2026-09-30",
    "public_credit": "@ykbballer91",
    "license": "CC-BY-4.0",
    "ai_assisted": true,
    "original_fields_are_historical": true,
    "checks_rerun_in_public_export": false,
    "scope": "Historical claims and verification records retain their original scope. Priority 1 cyclicity is even L2 only; full-ground capture and RH remain open.",
    "references": {}
  },
  "rh_status": "OPEN",
  "purpose": "exact finite structural falsification; no growth fitting",
  "arithmetic_table": [
    {
      "X": 2,
      "squarefree_faces_including_empty": 2,
      "toggle2_pairs": 1,
      "unmatched": 0,
      "unmatched_mu_plus": 0,
      "unmatched_mu_minus": 0,
      "M": 0,
      "min_unmatched_location": null,
      "max_unmatched_location": null,
      "large_prime_singletons_X_over_2": 1,
      "any_face_matching_unmatched_lower_bound": 0,
      "maximum_incidence_matching_unmatched": 0,
      "maximum_matching_is_acyclic": true
    },
    {
      "X": 3,
      "squarefree_faces_including_empty": 3,
      "toggle2_pairs": 1,
      "unmatched": 1,
      "unmatched_mu_plus": 0,
      "unmatched_mu_minus": 1,
      "M": -1,
      "min_unmatched_location": 3,
      "max_unmatched_location": 3,
      "large_prime_singletons_X_over_2": 2,
      "any_face_matching_unmatched_lower_bound": 1,
      "maximum_incidence_matching_unmatched": 1,
      "maximum_matching_is_acyclic": true
    },
    {
      "X": 5,
      "squarefree_faces_including_empty": 4,
      "toggle2_pairs": 1,
      "unmatched": 2,
      "unmatched_mu_plus": 0,
      "unmatched_mu_minus": 2,
      "M": -2,
      "min_unmatched_location": 3,
      "max_unmatched_location": 5,
      "large_prime_singletons_X_over_2": 2,
      "any_face_matching_unmatched_lower_bound": 1,
      "maximum_incidence_matching_unmatched": 2,
      "maximum_matching_is_acyclic": true
    },
    {
      "X": 10,
      "squarefree_faces_including_empty": 7,
      "toggle2_pairs": 3,
      "unmatched": 1,
      "unmatched_mu_plus": 0,
      "unmatched_mu_minus": 1,
      "M": -1,
      "min_unmatched_location": 7,
      "max_unmatched_location": 7,
      "large_prime_singletons_X_over_2": 1,
      "any_face_matching_unmatched_lower_bound": 0,
      "maximum_incidence_matching_unmatched": 1,
      "maximum_matching_is_acyclic": true
    },
    {
      "X": 15,
      "squarefree_faces_including_empty": 11,
      "toggle2_pairs": 4,
      "unmatched": 3,
      "unmatched_mu_plus": 1,
      "unmatched_mu_minus": 2,
      "M": -1,
      "min_unmatched_location": 11,
      "max_unmatched_location": 15,
      "large_prime_singletons_X_over_2": 2,
      "any_face_matching_unmatched_lower_bound": 1,
      "maximum_incidence_matching_unmatched": 1,
      "maximum_matching_is_acyclic": false
    },
    {
      "X": 30,
      "squarefree_faces_including_empty": 19,
      "toggle2_pairs": 7,
      "unmatched": 5,
      "unmatched_mu_plus": 1,
      "unmatched_mu_minus": 4,
      "M": -3,
      "min_unmatched_location": 17,
      "max_unmatched_location": 29,
      "large_prime_singletons_X_over_2": 4,
      "any_face_matching_unmatched_lower_bound": 3,
      "maximum_incidence_matching_unmatched": 3,
      "maximum_matching_is_acyclic": false
    },
    {
      "X": 60,
      "squarefree_faces_including_empty": 37,
      "toggle2_pairs": 12,
      "unmatched": 13,
      "unmatched_mu_plus": 6,
      "unmatched_mu_minus": 7,
      "M": -1,
      "min_unmatched_location": 31,
      "max_unmatched_location": 59,
      "large_prime_singletons_X_over_2": 7,
      "any_face_matching_unmatched_lower_bound": 6,
      "maximum_incidence_matching_unmatched": 11,
      "maximum_matching_is_acyclic": false
    },
    {
      "X": 100,
      "squarefree_faces_including_empty": 61,
      "toggle2_pairs": 20,
      "unmatched": 21,
      "unmatched_mu_plus": 11,
      "unmatched_mu_minus": 10,
      "M": 1,
      "min_unmatched_location": 51,
      "max_unmatched_location": 97,
      "large_prime_singletons_X_over_2": 10,
      "any_face_matching_unmatched_lower_bound": 9,
      "maximum_incidence_matching_unmatched": 19,
      "maximum_matching_is_acyclic": false
    },
    {
      "X": 210,
      "squarefree_faces_including_empty": 129,
      "toggle2_pairs": 44,
      "unmatched": 41,
      "unmatched_mu_plus": 20,
      "unmatched_mu_minus": 21,
      "M": -1,
      "min_unmatched_location": 107,
      "max_unmatched_location": 209,
      "large_prime_singletons_X_over_2": 19,
      "any_face_matching_unmatched_lower_bound": 18,
      "maximum_incidence_matching_unmatched": 35,
      "maximum_matching_is_acyclic": false
    },
    {
      "X": 1000,
      "squarefree_faces_including_empty": 608,
      "toggle2_pairs": 204,
      "unmatched": 200,
      "unmatched_mu_plus": 101,
      "unmatched_mu_minus": 99,
      "M": 2,
      "min_unmatched_location": 501,
      "max_unmatched_location": 997,
      "large_prime_singletons_X_over_2": 73,
      "any_face_matching_unmatched_lower_bound": 72
    },
    {
      "X": 5000,
      "squarefree_faces_including_empty": 3042,
      "toggle2_pairs": 1015,
      "unmatched": 1012,
      "unmatched_mu_plus": 507,
      "unmatched_mu_minus": 505,
      "M": 2,
      "min_unmatched_location": 2501,
      "max_unmatched_location": 4999,
      "large_prime_singletons_X_over_2": 302,
      "any_face_matching_unmatched_lower_bound": 301
    },
    {
      "X": 10000,
      "squarefree_faces_including_empty": 6083,
      "toggle2_pairs": 2027,
      "unmatched": 2029,
      "unmatched_mu_plus": 1003,
      "unmatched_mu_minus": 1026,
      "M": -23,
      "min_unmatched_location": 5001,
      "max_unmatched_location": 9997,
      "large_prime_singletons_X_over_2": 560,
      "any_face_matching_unmatched_lower_bound": 559
    }
  ],
  "rational_homology_and_hodge_checks": [
    {
      "X": 1,
      "betti_by_augmented_degree": {
        "-1": 1
      },
      "hodge_kernel_by_degree": {
        "-1": 1
      },
      "total_reduced_betti": 1
    },
    {
      "X": 2,
      "betti_by_augmented_degree": {
        "-1": 0,
        "0": 0
      },
      "hodge_kernel_by_degree": {
        "-1": 0,
        "0": 0
      },
      "total_reduced_betti": 0
    },
    {
      "X": 3,
      "betti_by_augmented_degree": {
        "-1": 0,
        "0": 1
      },
      "hodge_kernel_by_degree": {
        "-1": 0,
        "0": 1
      },
      "total_reduced_betti": 1
    },
    {
      "X": 5,
      "betti_by_augmented_degree": {
        "-1": 0,
        "0": 2
      },
      "hodge_kernel_by_degree": {
        "-1": 0,
        "0": 2
      },
      "total_reduced_betti": 2
    },
    {
      "X": 10,
      "betti_by_augmented_degree": {
        "-1": 0,
        "0": 1,
        "1": 0
      },
      "hodge_kernel_by_degree": {
        "-1": 0,
        "0": 1,
        "1": 0
      },
      "total_reduced_betti": 1
    },
    {
      "X": 15,
      "betti_by_augmented_degree": {
        "-1": 0,
        "0": 2,
        "1": 1
      },
      "hodge_kernel_by_degree": {
        "-1": 0,
        "0": 2,
        "1": 1
      },
      "total_reduced_betti": 3
    },
    {
      "X": 30,
      "betti_by_augmented_degree": {
        "-1": 0,
        "0": 4,
        "1": 1,
        "2": 0
      },
      "hodge_kernel_by_degree": {
        "-1": 0,
        "0": 4,
        "1": 1,
        "2": 0
      },
      "total_reduced_betti": 5
    },
    {
      "X": 60,
      "betti_by_augmented_degree": {
        "-1": 0,
        "0": 7,
        "1": 6,
        "2": 0
      },
      "hodge_kernel_by_degree": {
        "-1": 0,
        "0": 7,
        "1": 6,
        "2": 0
      },
      "total_reduced_betti": 13
    },
    {
      "X": 100,
      "betti_by_augmented_degree": {
        "-1": 0,
        "0": 10,
        "1": 11,
        "2": 0
      },
      "hodge_kernel_by_degree": null,
      "total_reduced_betti": 21
    },
    {
      "X": 210,
      "betti_by_augmented_degree": {
        "-1": 0,
        "0": 19,
        "1": 20,
        "2": 2,
        "3": 0
      },
      "hodge_kernel_by_degree": null,
      "total_reduced_betti": 41
    }
  ],
  "persistence": {
    "cap": 1000,
    "finite_intervals": [
      [
        1,
        2,
        -1
      ],
      [
        3,
        6,
        0
      ],
      [
        5,
        10,
        0
      ],
      [
        7,
        14,
        0
      ],
      [
        11,
        22,
        0
      ],
      [
        13,
        26,
        0
      ],
      [
        15,
        30,
        1
      ],
      [
        17,
        34,
        0
      ],
      [
        19,
        38,
        0
      ],
      [
        21,
        42,
        1
      ],
      [
        23,
        46,
        0
      ],
      [
        29,
        58,
        0
      ],
      [
        31,
        62,
        0
      ],
      [
        33,
        66,
        1
      ],
      [
        35,
        70,
        1
      ],
      [
        37,
        74,
        0
      ],
      [
        39,
        78,
        1
      ],
      [
        41,
        82,
        0
      ],
      [
        43,
        86,
        0
      ],
      [
        47,
        94,
        0
      ],
      [
        51,
        102,
        1
      ],
      [
        53,
        106,
        0
      ],
      [
        55,
        110,
        1
      ],
      [
        57,
        114,
        1
      ],
      [
        59,
        118,
        0
      ],
      [
        61,
        122,
        0
      ],
      [
        65,
        130,
        1
      ],
      [
        67,
        134,
        0
      ],
      [
        69,
        138,
        1
      ],
      [
        71,
        142,
        0
      ],
      [
        73,
        146,
        0
      ],
      [
        77,
        154,
        1
      ],
      [
        79,
        158,
        0
      ],
      [
        83,
        166,
        0
      ],
      [
        85,
        170,
        1
      ],
      [
        87,
        174,
        1
      ],
      [
        89,
        178,
        0
      ],
      [
        91,
        182,
        1
      ],
      [
        93,
        186,
        1
      ],
      [
        95,
        190,
        1
      ],
      [
        97,
        194,
        0
      ],
      [
        101,
        202,
        0
      ],
      [
        103,
        206,
        0
      ],
      [
        105,
        210,
        2
      ],
      [
        107,
        214,
        0
      ],
      [
        109,
        218,
        0
      ],
      [
        111,
        222,
        1
      ],
      [
        113,
        226,
        0
      ],
      [
        115,
        230,
        1
      ],
      [
        119,
        238,
        1
      ],
      [
        123,
        246,
        1
      ],
      [
        127,
        254,
        0
      ],
      [
        129,
        258,
        1
      ],
      [
        131,
        262,
        0
      ],
      [
        133,
        266,
        1
      ],
      [
        137,
        274,
        0
      ],
      [
        139,
        278,
        0
      ],
      [
        141,
        282,
        1
      ],
      [
        143,
        286,
        1
      ],
      [
        145,
        290,
        1
      ],
      [
        149,
        298,
        0
      ],
      [
        151,
        302,
        0
      ],
      [
        155,
        310,
        1
      ],
      [
        157,
        314,
        0
      ],
      [
        159,
        318,
        1
      ],
      [
        161,
        322,
        1
      ],
      [
        163,
        326,
        0
      ],
      [
        165,
        330,
        2
      ],
      [
        167,
        334,
        0
      ],
      [
        173,
        346,
        0
      ],
      [
        177,
        354,
        1
      ],
      [
        179,
        358,
        0
      ],
      [
        181,
        362,
        0
      ],
      [
        183,
        366,
        1
      ],
      [
        185,
        370,
        1
      ],
      [
        187,
        374,
        1
      ],
      [
        191,
        382,
        0
      ],
      [
        193,
        386,
        0
      ],
      [
        195,
        390,
        2
      ],
      [
        197,
        394,
        0
      ],
      [
        199,
        398,
        0
      ],
      [
        201,
        402,
        1
      ],
      [
        203,
        406,
        1
      ],
      [
        205,
        410,
        1
      ],
      [
        209,
        418,
        1
      ],
      [
        211,
        422,
        0
      ],
      [
        213,
        426,
        1
      ],
      [
        215,
        430,
        1
      ],
      [
        217,
        434,
        1
      ],
      [
        219,
        438,
        1
      ],
      [
        221,
        442,
        1
      ],
      [
        223,
        446,
        0
      ],
      [
        227,
        454,
        0
      ],
      [
        229,
        458,
        0
      ],
      [
        231,
        462,
        2
      ],
      [
        233,
        466,
        0
      ],
      [
        235,
        470,
        1
      ],
      [
        237,
        474,
        1
      ],
      [
        239,
        478,
        0
      ],
      [
        241,
        482,
        0
      ],
      [
        247,
        494,
        1
      ],
      [
        249,
        498,
        1
      ],
      [
        251,
        502,
        0
      ],
      [
        253,
        506,
        1
      ],
      [
        255,
        510,
        2
      ],
      [
        257,
        514,
        0
      ],
      [
        259,
        518,
        1
      ],
      [
        263,
        526,
        0
      ],
      [
        265,
        530,
        1
      ],
      [
        267,
        534,
        1
      ],
      [
        269,
        538,
        0
      ],
      [
        271,
        542,
        0
      ],
      [
        273,
        546,
        2
      ],
      [
        277,
        554,
        0
      ],
      [
        281,
        562,
        0
      ],
      [
        283,
        566,
        0
      ],
      [
        285,
        570,
        2
      ],
      [
        287,
        574,
        1
      ],
      [
        291,
        582,
        1
      ],
      [
        293,
        586,
        0
      ],
      [
        295,
        590,
        1
      ],
      [
        299,
        598,
        1
      ],
      [
        301,
        602,
        1
      ],
      [
        303,
        606,
        1
      ],
      [
        305,
        610,
        1
      ],
      [
        307,
        614,
        0
      ],
      [
        309,
        618,
        1
      ],
      [
        311,
        622,
        0
      ],
      [
        313,
        626,
        0
      ],
      [
        317,
        634,
        0
      ],
      [
        319,
        638,
        1
      ],
      [
        321,
        642,
        1
      ],
      [
        323,
        646,
        1
      ],
      [
        327,
        654,
        1
      ],
      [
        329,
        658,
        1
      ],
      [
        331,
        662,
        0
      ],
      [
        335,
        670,
        1
      ],
      [
        337,
        674,
        0
      ],
      [
        339,
        678,
        1
      ],
      [
        341,
        682,
        1
      ],
      [
        345,
        690,
        2
      ],
      [
        347,
        694,
        0
      ],
      [
        349,
        698,
        0
      ],
      [
        353,
        706,
        0
      ],
      [
        355,
        710,
        1
      ],
      [
        357,
        714,
        2
      ],
      [
        359,
        718,
        0
      ],
      [
        365,
        730,
        1
      ],
      [
        367,
        734,
        0
      ],
      [
        371,
        742,
        1
      ],
      [
        373,
        746,
        0
      ],
      [
        377,
        754,
        1
      ],
      [
        379,
        758,
        0
      ],
      [
        381,
        762,
        1
      ],
      [
        383,
        766,
        0
      ],
      [
        385,
        770,
        2
      ],
      [
        389,
        778,
        0
      ],
      [
        391,
        782,
        1
      ],
      [
        393,
        786,
        1
      ],
      [
        395,
        790,
        1
      ],
      [
        397,
        794,
        0
      ],
      [
        399,
        798,
        2
      ],
      [
        401,
        802,
        0
      ],
      [
        403,
        806,
        1
      ],
      [
        407,
        814,
        1
      ],
      [
        409,
        818,
        0
      ],
      [
        411,
        822,
        1
      ],
      [
        413,
        826,
        1
      ],
      [
        415,
        830,
        1
      ],
      [
        417,
        834,
        1
      ],
      [
        419,
        838,
        0
      ],
      [
        421,
        842,
        0
      ],
      [
        427,
        854,
        1
      ],
      [
        429,
        858,
        2
      ],
      [
        431,
        862,
        0
      ],
      [
        433,
        866,
        0
      ],
      [
        435,
        870,
        2
      ],
      [
        437,
        874,
        1
      ],
      [
        439,
        878,
        0
      ],
      [
        443,
        886,
        0
      ],
      [
        445,
        890,
        1
      ],
      [
        447,
        894,
        1
      ],
      [
        449,
        898,
        0
      ],
      [
        451,
        902,
        1
      ],
      [
        453,
        906,
        1
      ],
      [
        455,
        910,
        2
      ],
      [
        457,
        914,
        0
      ],
      [
        461,
        922,
        0
      ],
      [
        463,
        926,
        0
      ],
      [
        465,
        930,
        2
      ],
      [
        467,
        934,
        0
      ],
      [
        469,
        938,
        1
      ],
      [
        471,
        942,
        1
      ],
      [
        473,
        946,
        1
      ],
      [
        479,
        958,
        0
      ],
      [
        481,
        962,
        1
      ],
      [
        483,
        966,
        2
      ],
      [
        485,
        970,
        1
      ],
      [
        487,
        974,
        0
      ],
      [
        489,
        978,
        1
      ],
      [
        491,
        982,
        0
      ],
      [
        493,
        986,
        1
      ],
      [
        497,
        994,
        1
      ],
      [
        499,
        998,
        0
      ]
    ],
    "alive_at_cap": [
      501,
      503,
      505,
      509,
      511,
      515,
      517,
      519,
      521,
      523,
      527,
      533,
      535,
      537,
      541,
      543,
      545,
      547,
      551,
      553,
      555,
      557,
      559,
      561,
      563,
      565,
      569,
      571,
      573,
      577,
      579,
      581,
      583,
      587,
      589,
      591,
      593,
      595,
      597,
      599,
      601,
      607,
      609,
      611,
      613,
      615,
      617,
      619,
      623,
      627,
      629,
      631,
      633,
      635,
      641,
      643,
      645,
      647,
      649,
      651,
      653,
      655,
      659,
      661,
      663,
      665,
      667,
      669,
      671,
      673,
      677,
      679,
      681,
      683,
      685,
      687,
      689,
      691,
      695,
      697,
      699,
      701,
      703,
      705,
      707,
      709,
      713,
      715,
      717,
      719,
      721,
      723,
      727,
      731,
      733,
      737,
      739,
      741,
      743,
      745,
      749,
      751,
      753,
      755,
      757,
      759,
      761,
      763,
      767,
      769,
      771,
      773,
      777,
      779,
      781,
      785,
      787,
      789,
      791,
      793,
      795,
      797,
      799,
      803,
      805,
      807,
      809,
      811,
      813,
      815,
      817,
      821,
      823,
      827,
      829,
      831,
      835,
      839,
      843,
      849,
      851,
      853,
      857,
      859,
      861,
      863,
      865,
      869,
      871,
      877,
      879,
      881,
      883,
      885,
      887,
      889,
      893,
      895,
      897,
      899,
      901,
      903,
      905,
      907,
      911,
      913,
      915,
      917,
      919,
      921,
      923,
      929,
      933,
      935,
      937,
      939,
      941,
      943,
      947,
      949,
      951,
      953,
      955,
      957,
      959,
      965,
      967,
      969,
      971,
      973,
      977,
      979,
      983,
      985,
      987,
      989,
      991,
      993,
      995,
      997
    ],
    "all_intervals_match_birth_n_death_2n": true
  },
  "critical_records_X100": [
    {
      "n": 51,
      "primes": [
        3,
        17
      ],
      "mu": 1,
      "homology_degree": 1,
      "largest_prime": 17,
      "birth": 51,
      "death": 102
    },
    {
      "n": 53,
      "primes": [
        53
      ],
      "mu": -1,
      "homology_degree": 0,
      "largest_prime": 53,
      "birth": 53,
      "death": 106
    },
    {
      "n": 55,
      "primes": [
        5,
        11
      ],
      "mu": 1,
      "homology_degree": 1,
      "largest_prime": 11,
      "birth": 55,
      "death": 110
    },
    {
      "n": 57,
      "primes": [
        3,
        19
      ],
      "mu": 1,
      "homology_degree": 1,
      "largest_prime": 19,
      "birth": 57,
      "death": 114
    },
    {
      "n": 59,
      "primes": [
        59
      ],
      "mu": -1,
      "homology_degree": 0,
      "largest_prime": 59,
      "birth": 59,
      "death": 118
    },
    {
      "n": 61,
      "primes": [
        61
      ],
      "mu": -1,
      "homology_degree": 0,
      "largest_prime": 61,
      "birth": 61,
      "death": 122
    },
    {
      "n": 65,
      "primes": [
        5,
        13
      ],
      "mu": 1,
      "homology_degree": 1,
      "largest_prime": 13,
      "birth": 65,
      "death": 130
    },
    {
      "n": 67,
      "primes": [
        67
      ],
      "mu": -1,
      "homology_degree": 0,
      "largest_prime": 67,
      "birth": 67,
      "death": 134
    },
    {
      "n": 69,
      "primes": [
        3,
        23
      ],
      "mu": 1,
      "homology_degree": 1,
      "largest_prime": 23,
      "birth": 69,
      "death": 138
    },
    {
      "n": 71,
      "primes": [
        71
      ],
      "mu": -1,
      "homology_degree": 0,
      "largest_prime": 71,
      "birth": 71,
      "death": 142
    },
    {
      "n": 73,
      "primes": [
        73
      ],
      "mu": -1,
      "homology_degree": 0,
      "largest_prime": 73,
      "birth": 73,
      "death": 146
    },
    {
      "n": 77,
      "primes": [
        7,
        11
      ],
      "mu": 1,
      "homology_degree": 1,
      "largest_prime": 11,
      "birth": 77,
      "death": 154
    },
    {
      "n": 79,
      "primes": [
        79
      ],
      "mu": -1,
      "homology_degree": 0,
      "largest_prime": 79,
      "birth": 79,
      "death": 158
    },
    {
      "n": 83,
      "primes": [
        83
      ],
      "mu": -1,
      "homology_degree": 0,
      "largest_prime": 83,
      "birth": 83,
      "death": 166
    },
    {
      "n": 85,
      "primes": [
        5,
        17
      ],
      "mu": 1,
      "homology_degree": 1,
      "largest_prime": 17,
      "birth": 85,
      "death": 170
    },
    {
      "n": 87,
      "primes": [
        3,
        29
      ],
      "mu": 1,
      "homology_degree": 1,
      "largest_prime": 29,
      "birth": 87,
      "death": 174
    },
    {
      "n": 89,
      "primes": [
        89
      ],
      "mu": -1,
      "homology_degree": 0,
      "largest_prime": 89,
      "birth": 89,
      "death": 178
    },
    {
      "n": 91,
      "primes": [
        7,
        13
      ],
      "mu": 1,
      "homology_degree": 1,
      "largest_prime": 13,
      "birth": 91,
      "death": 182
    },
    {
      "n": 93,
      "primes": [
        3,
        31
      ],
      "mu": 1,
      "homology_degree": 1,
      "largest_prime": 31,
      "birth": 93,
      "death": 186
    },
    {
      "n": 95,
      "primes": [
        5,
        19
      ],
      "mu": 1,
      "homology_degree": 1,
      "largest_prime": 19,
      "birth": 95,
      "death": 190
    },
    {
      "n": 97,
      "primes": [
        97
      ],
      "mu": -1,
      "homology_degree": 0,
      "largest_prime": 97,
      "birth": 97,
      "death": 194
    }
  ],
  "naive_smallest_admissible_toggle_failure": {
    "X": 5,
    "face": 3,
    "first": 1,
    "second": 2
  },
  "weighted_synthetic_models": [
    {
      "weights": [
        2,
        3,
        5,
        7
      ],
      "X": 5,
      "face_count": 4,
      "pairs": 1,
      "residual_count": 2,
      "signed_residual": -2
    },
    {
      "weights": [
        2,
        3,
        5,
        7
      ],
      "X": 15,
      "face_count": 9,
      "pairs": 4,
      "residual_count": 1,
      "signed_residual": 1
    },
    {
      "weights": [
        2,
        3,
        5,
        7
      ],
      "X": 30,
      "face_count": 11,
      "pairs": 5,
      "residual_count": 1,
      "signed_residual": 1
    },
    {
      "weights": [
        2,
        3,
        5,
        7
      ],
      "X": 210,
      "face_count": 16,
      "pairs": 8,
      "residual_count": 0,
      "signed_residual": 0
    },
    {
      "weights": [
        4,
        4,
        4,
        4,
        4,
        4,
        4,
        4
      ],
      "X": 4,
      "face_count": 9,
      "pairs": 1,
      "residual_count": 7,
      "signed_residual": -7
    },
    {
      "weights": [
        2,
        4,
        8,
        16
      ],
      "X": 20,
      "face_count": 7,
      "pairs": 3,
      "residual_count": 1,
      "signed_residual": -1
    },
    {
      "weights": [
        3,
        7,
        11,
        19
      ],
      "X": 100,
      "face_count": 9,
      "pairs": 4,
      "residual_count": 1,
      "signed_residual": 1
    },
    {
      "weights": [
        8,
        10,
        12,
        21,
        44
      ],
      "X": 300,
      "face_count": 12,
      "pairs": 4,
      "residual_count": 4,
      "signed_residual": 2,
      "kind": "seeded prime-weight perturbation, not actual prime arithmetic",
      "seed": 20260930
    },
    {
      "weights": [
        2,
        3,
        15,
        28,
        44
      ],
      "X": 300,
      "face_count": 16,
      "pairs": 8,
      "residual_count": 0,
      "signed_residual": 0,
      "kind": "seeded prime-weight perturbation, not actual prime arithmetic",
      "seed": 20260930
    },
    {
      "weights": [
        2,
        3,
        7,
        20,
        22
      ],
      "X": 300,
      "face_count": 19,
      "pairs": 9,
      "residual_count": 1,
      "signed_residual": 1,
      "kind": "seeded prime-weight perturbation, not actual prime arithmetic",
      "seed": 20260930
    }
  ],
  "all_integers_collision": {
    "distinct_integers": [
      2,
      4
    ],
    "same_prime_set": [
      2
    ],
    "mu_values": [
      -1,
      0
    ]
  },
  "flag_completion_counterexample": {
    "X": 15,
    "vertices": [
      2,
      3,
      5
    ],
    "edge_products": [
      6,
      10,
      15
    ],
    "triple_product": 30
  },
  "all_checks_passed": true,
  "limitations": [
    "Rational ranks and integer checks are exact; no finite data proves an asymptotic bound.",
    "Persistence computation uses F_2; the separate filtered Z-chain proof supplies coefficient-independent intervals.",
    "Maximum incidence matchings are diagnostics and need not be acyclic.",
    "Synthetic weighted models do not preserve actual prime arithmetic and are not RH counterexamples."
  ]
}