"""Execute all 20 bounded mathematical examples and write results/checkpoints."""
from pathlib import Path
import json
from models import collect
ROOT=Path(__file__).resolve().parents[1]
def main():
    r=collect()
    assert len(r['results'])==20 and all(v['status']=='PASS' for v in r['results'])
    out={'status':'PASS','groups':20,'assertions':sum(v['assertions'] for v in r['results']),'results':r['results'],'scope':'Finite declared models and numerical identities; no new neural training or benchmark measurements.'}
    (ROOT/'analysis/example-results.json').write_text(json.dumps(out,ensure_ascii=False,indent=2,allow_nan=False)+'\n',encoding='utf-8')
    (ROOT/'analysis/checkpoints.json').write_text(json.dumps(r['points'],indent=2,allow_nan=False)+'\n',encoding='utf-8')
    print(json.dumps({'groups':20,'assertions':out['assertions'],'status':'PASS'}))
if __name__=='__main__':main()