diff --git a/sources/README.md b/sources/README.md
new file mode 100644
index 000000000..6ca3dad24
--- /dev/null
+++ b/sources/README.md
@@ -0,0 +1,9 @@
+# Pinned sources
+
+This directory holds source documents that have no other durable public copy, so that reviewers can check formalized statements and page locators against the exact pinned file.
+
+| File | SHA-256 | Provenance | Formalized in |
+|---|---|---|---|
+| `hpv_counting_simulation.pdf`: *Deterministic simulations of nondeterministic and randomized time: The ETH counting algorithm and HPV blocking* (30 October 2026) | `1326443afe66c7a94825aaf2bf3288bf3160e429618d7687460ce5108ac1a3d4` | Provided by the maintainer, Samuel Schlesinger, on 2026-10-30; published here at his request on 2026-10-31. The PDF's author field is blank. | [#1833](https://github.com/cslib-community/complexitylib/issues/1833), via Theorem D.1 of the OpenAI ETH manuscript ([#1538](https://github.com/cslib-community/complexitylib/issues/1538)) |
+
+Generated abstract PDFs are not versioned (see CONTRIBUTING.md). This directory is only for third-party or maintainer-provided sources.
diff --git a/sources/hpv_counting_simulation.pdf b/sources/hpv_counting_simulation.pdf
new file mode 100644
index 000000000..2b1db309f
Binary files /dev/null and b/sources/hpv_counting_simulation.pdf differ