paper/README.md

@@ -1,16 +0,0 @@
-# Which file is current?
-
-**`ltl.pdf` / `ltl.tex` — the current paper.** This is the version
-submitted to the journal on 2026-07-17 and now frozen during review; the
-live copy served at <https://ltl.zkdefi.org/paper> is byte-identical.
-
-The other files are kept as honest history, not as reading material:
-
-| File | What it is |
-|---|---|
-| `ltl-v0.1.pdf` / `.tex` | early 4-page draft (July 2026), superseded |
-| `ltl-v0.2.pdf` / `.tex` | 19-page system-report draft, superseded by a full rewrite |
-
-Revisions v0.3–v0.9 were successive overwrites of `ltl.tex`; they live in
-this repository's git history. v0.9 is the submitted version — the
-current `ltl.pdf` above.

provider/src/pacta_provider/web.py

@@ -235,7 +235,7 @@ def serve(
         docs_html = render_docs(log, base_path)
     paper_dir = Path(__file__).resolve().parents[3] / "paper"
     variants = {
-        "current": paper_dir / "ltl.pdf",       # v0.9 submitted version, under review
+        "current": paper_dir / "ltl.pdf",       # v0.3 reinvention, the live one
         "v0.1": paper_dir / "ltl-v0.1.pdf",     # prior 4-page version
         "v0.2": paper_dir / "ltl-v0.2.pdf",     # prior 19-page system report
     }