From 03de38eaac477b7f6a554cb39187f2731702b473 Mon Sep 17 00:00:00 2001 From: mrwulf Date: Sat, 22 Aug 2026 14:51:55 +0200 Subject: [PATCH] =?UTF-8?q?the=20paper=20has=20a=20DOI:=2010.5281/zenodo.2?= =?UTF-8?q?2057482=20(Zenodo,=20CC=20BY=204.0)=20=E2=80=94=20site=20card?= =?UTF-8?q?=20and=20paper=20README=20carry=20it?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- paper/README.md | 5 ++++- provider/src/pacta_provider/webdocs.py | 2 +- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/paper/README.md b/paper/README.md index 6585783..305f683 100644 --- a/paper/README.md +++ b/paper/README.md @@ -17,7 +17,10 @@ two-sided dilemma explicitly in the introduction and aligns the introduction's question with the abstract (label, not verdict). The version submitted for review (July 17, 2026, sha256 `7f140356…`) is preserved unchanged in this repository's git history. The live copy at - serves the current revision. + serves the current revision; the v0.15 +revision is archived with DOI +[10.5281/zenodo.22057482](https://doi.org/10.5281/zenodo.22057482) +(CC BY 4.0). Superseded early drafts (v0.1, v0.2) were removed from the working tree on 2026-08-15; like every prior state of this folder, they remain diff --git a/provider/src/pacta_provider/webdocs.py b/provider/src/pacta_provider/webdocs.py index 306578f..57bb7b2 100644 --- a/provider/src/pacta_provider/webdocs.py +++ b/provider/src/pacta_provider/webdocs.py @@ -398,7 +398,7 @@ our roadmap. (The full walk-through is lecture 11 of the Jupyter c
Accountable Distribution of Machine-Checked Correctness Evidence: A Transparency Model and the Lean Transparency Log (PDF, 25 pages, v0.15 — revised August 2026; the version is printed on the -title page) — the trust decomposition (expensive verification produces an +title page; DOI 10.5281/zenodo.22057482) — the trust decomposition (expensive verification produces an observation; transparency makes the observation accountable; consumer-local policy decides acceptance), collision-extracting soundness for inclusion and consistency, scheme-level accountability GAMES with an explicit composition theorem (head authenticity, position