import urllib.request, pathlib, json
root=pathlib.Path(__file__).resolve().parents[1]
repo='tfrere/research-article-template'
rev='c75fc29c361755f66c46ae6e83d958b10c4d5feb'
base=f'https://huggingface.co/spaces/{repo}/raw/{rev}/'
paths=['LICENSE','app/src/components/TableOfContents.astro','app/src/components/ThemeToggle.astro','app/src/components/Wide.astro','app/src/components/Reference.astro','app/src/components/Note.astro','app/src/components/Accordion.astro','app/src/components/HtmlEmbed.astro']
for p in paths:
 data=urllib.request.urlopen(base+p).read()
 dest=root/('LICENSE.template' if p=='LICENSE' else p.removeprefix('app/'))
 dest.parent.mkdir(parents=True,exist_ok=True);dest.write_bytes(data)
print('Downloaded',len(paths),'template files at',rev)
(root/'docs/template-provenance.json').write_text(json.dumps({'repo':repo,'revision':rev,'files':paths},indent=2)+'\n')