"""Seed a fresh proof home; run before starting either checkout.
Usage: python3 seed.py CHECKOUT OUTPUT_ROOT SIDE
A new timestamped directory is created; its path is printed.
Start proxy.py separately. Start the checkout as documented in reproduction.md.
"""
import datetime,json,pathlib,subprocess,sys
checkout,output,side=map(pathlib.Path,sys.argv[1:])
run=output/(str(side)+'-'+datetime.datetime.now(datetime.timezone.utc).strftime('%Y%m%dT%H%M%SZ'))
home=run/'home'
(home/'userdata').mkdir(parents=True)
(home/'claude').mkdir()
env={'CLAUDE_CONFIG_DIR':str((home/'claude').resolve()),'ANTHROPIC_BASE_URL':'http://127.0.0.1:18760','ANTHROPIC_API_KEY':'synthetic-proxy-key','ANTHROPIC_AUTH_TOKEN':'','CLAUDE_CODE_MAX_RETRIES':'0'}
(home/'claude'/'settings.json').write_text(json.dumps({'env':{k:v for k,v in env.items() if k.startswith('ANTHROPIC_')},'skipDangerousModePermissionPrompt':True}))
(home/'claude'/'.claude.json').write_text(json.dumps({'hasCompletedOnboarding':True}))
(home/'userdata'/'settings.json').write_text(json.dumps({'autoResumeLimitedThreads':True,'defaultModelSelection':{'instanceId':'claudeAgent','model':'claude-opus-5-5'},'providerInstances':{'codex':{'driver':'codex','enabled':False},'claudeAgent':{'driver':'claudeAgent','enabled':True,'environment':[{'name':k,'value':v,'sensitive':False} for k,v in env.items()]}}}))
workspace=run/'demo'
workspace.mkdir()
(workspace/'README.md').write_text('Synthetic cooldown recovery demonstration.\n')
for args in [['init','-q','-b','main'],['add','.'],['-c','user.name=Demo','-c','user.email=demo@example.invalid','commit','-qm','Initial demo']]:
 subprocess.run(['git',*args],cwd=workspace,check=True)
print(json.dumps({'home':str(home.resolve()),'project':str(workspace.resolve())}))