{"protocol":"hunterian-proof-conference-artifact-index-v1","conferenceId":"2026-10-18","artifacts":[{"name":"assistant-synthesis.md","url":"/proof-conference/2026-10-18/assistant-synthesis.md","contentType":"text/markdown; charset=utf-8"},{"name":"cacert.pem","url":"/proof-conference/2026-10-18/cacert.pem","contentType":"application/x-pem-file"},{"name":"lean-verification.txt","url":"/proof-conference/2026-10-18/lean-verification.txt","contentType":"text/plain; charset=utf-8"},{"name":"manifest.json","url":"/proof-conference/2026-10-18/manifest.json","contentType":"application/json; charset=utf-8"},{"name":"manifest.tsq","url":"/proof-conference/2026-10-18/manifest.tsq","contentType":"application/timestamp-query"},{"name":"manifest.tsr","url":"/proof-conference/2026-10-18/manifest.tsr","contentType":"application/timestamp-reply"},{"name":"report.html","url":"/proof-conference/2026-10-18/report.html","contentType":"text/html; charset=utf-8"},{"name":"sources.json","url":"/proof-conference/2026-10-18/sources.json","contentType":"application/json; charset=utf-8"},{"name":"state.json","url":"/proof-conference/2026-10-18/state.json","contentType":"application/json; charset=utf-8"},{"name":"timestamp-verification.txt","url":"/proof-conference/2026-10-18/timestamp-verification.txt","contentType":"text/plain; charset=utf-8"},{"name":"timestamp.json","url":"/proof-conference/2026-10-18/timestamp.json","contentType":"application/json; charset=utf-8"},{"name":"tsa.crt","url":"/proof-conference/2026-10-18/tsa.crt","contentType":"application/x-pem-file"},{"name":"user-context-standard.txt","url":"/proof-conference/2026-10-18/user-context-standard.txt","contentType":"text/plain; charset=utf-8"}]}