"""Local stand-in for the TfP harness: builds /input-like tree, runs checker.py, prints result.json."""
import json, os, shutil, subprocess, sys, tempfile
here = os.path.dirname(os.path.abspath(__file__))
def run(ref, spec, sub, label):
    d = tempfile.mkdtemp(prefix="tfp-run-")
    inp, out = os.path.join(d, "input"), os.path.join(d, "output")
    os.makedirs(os.path.join(inp, "artifacts", "circuit")); os.makedirs(os.path.join(inp, "reference", "reference_circuit")); os.makedirs(os.path.join(inp, "reference", "spec")); os.makedirs(out)
    rp = shutil.copy(ref, os.path.join(inp, "reference", "reference_circuit", os.path.basename(ref)))
    sp = shutil.copy(spec, os.path.join(inp, "reference", "spec", os.path.basename(spec)))
    ap = shutil.copy(sub, os.path.join(inp, "artifacts", "circuit", os.path.basename(sub)))
    manifest = {"version": "tfp.verification-manifest/v0.1", "run_id": "cfx_local", "verifier_contract_id": "vct_local", "stage_key": "evaluate", "problem_revision_id": "prv_local",
                "submission": {"id": "sub_local", "summary_md": None, "summary_included": False},
                "artifacts": [{"role": "circuit", "artifact_id": None, "path": ap, "filename": os.path.basename(sub), "content_hash": "sha256:0", "size_bytes": os.path.getsize(sub), "media_type": "text/plain"}],
                "reference": [{"key": "reference_circuit", "path": rp, "filename": os.path.basename(ref), "content_hash": "sha256:0", "size_bytes": os.path.getsize(ref), "media_type": "text/plain"},
                              {"key": "spec", "path": sp, "filename": os.path.basename(spec), "content_hash": "sha256:0", "size_bytes": os.path.getsize(spec), "media_type": "application/json"}],
                "prior_stage_results": [], "result_kind": "score", "limits": {"vcpu": 4, "memory_mb": 12288, "disk_mb": 20000, "timeout_seconds": 600, "network": "none"}}
    json.dump(manifest, open(os.path.join(inp, "manifest.json"), "w"))
    p = subprocess.run([sys.executable, os.path.join(here, "checker.py")], env={**os.environ, "TFP_INPUT": inp, "TFP_OUTPUT": out}, capture_output=True, text=True, timeout=600)
    res = json.load(open(os.path.join(out, "result.json"))) if os.path.exists(os.path.join(out, "result.json")) else {"result": "error", "reason": p.stderr[-500:]}
    ev = json.load(open(os.path.join(out, "evidence", "summary.json"))) if os.path.exists(os.path.join(out, "evidence", "summary.json")) else {}
    print(f"[{label}] exit={p.returncode} {res} elapsed={ev.get('elapsed_seconds')} qcec={ev.get('qcec_check_time_seconds')}")
    if p.returncode: print(p.stderr[-800:])
    shutil.rmtree(d)
    return res
if __name__ == "__main__":
    run(sys.argv[1], sys.argv[2], sys.argv[3], sys.argv[4] if len(sys.argv) > 4 else "run")