diff --git a/paper/README.md b/paper/README.md new file mode 100644 index 0000000..aaea03f --- /dev/null +++ b/paper/README.md @@ -0,0 +1,16 @@ +# 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 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. diff --git a/provider/src/pacta_provider/web.py b/provider/src/pacta_provider/web.py index 63728a6..54a77d1 100644 --- a/provider/src/pacta_provider/web.py +++ b/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.3 reinvention, the live one + "current": paper_dir / "ltl.pdf", # v0.9 submitted version, under review "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 }