#!/usr/bin/env python3
"""Portable exact research verifier. Standard library only."""
from pathlib import Path
import argparse, hashlib, json, runpy

ROOT=Path(__file__).resolve().parent.parent
def sha(p):return hashlib.sha256(p.read_bytes()).hexdigest()
def load(name):return json.loads((ROOT/'sources'/name).read_text())
def main(out):
    manifest=json.loads((ROOT/'SOURCE_MANIFEST.json').read_text())
    source_checks=[]
    for name,item in manifest.items():
        p=ROOT/'sources'/name
        assert p.stat().st_size==item['bytes'] and sha(p)==item['sha256'],name
        source_checks.append('frozen input '+name)
    prev=load('PREVIOUS_CERTIFICATE.json')
    for field,name in [('results_sha256','PREVIOUS_RESULTS.json'),('checkpoint_sha256','PREVIOUS_CHECKPOINT.md')]:
        assert prev[field]==manifest[name]['sha256'],field
        source_checks.append('predecessor binding '+name)
    checks=[]
    def check(name,condition):
        assert condition,name
        assert name not in checks,name
        checks.append(name)
    data=runpy.run_path(str(ROOT/'evidence/CALCULATION.py'))['run'](load,check)
    meta=json.loads((ROOT/'STEP.json').read_text())
    results={'step':'C'+str(meta['number']),'status':'passed','assertions_passed':len(checks),
       'checks':checks,'source_checks_passed':len(source_checks),'source_checks':source_checks,
       'canonical_or_graph_edits':False,'new_independent_agent_review':False}
    out.mkdir(parents=True,exist_ok=True)
    for name,obj in [('DATA.json',data),('RESULTS.json',results)]:
        (out/name).write_text(json.dumps(obj,ensure_ascii=False,indent=2)+'\n')
    print(json.dumps({'step':meta['number'],'status':'passed','checks':len(checks),'source_checks':len(source_checks)}))
if __name__=='__main__':
    p=argparse.ArgumentParser();p.add_argument('--out',type=Path,required=True);main(p.parse_args().out)