From 74425b1a1db74ea28ecb4a15911a819177909bb0 Mon Sep 17 00:00:00 2001 From: mrwulf Date: Thu, 16 Jul 2026 23:46:29 +0200 Subject: [PATCH] =?UTF-8?q?README:=20soften=20'first'=20claim=20to=20'unaw?= =?UTF-8?q?are=20of=20a=20precedent',=20scope=20to=20the=20model=20(round-?= =?UTF-8?q?10=20GPT=20=C2=A78)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Fable 5 --- README.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index ebd25df..d3a6522 100644 --- a/README.md +++ b/README.md @@ -8,9 +8,11 @@ the same discipline as the four `*-ed25519-verified` subject corpora. ## Status: **ATTESTED — LTL entry 13, live (2026-07-16)** This corpus is now itself a leaf of the log it describes. It was appended -as **entry 13** of the Lean Transparency Log (freeze `172a1d0`), making -the log the first deployed transparency log to carry kernel-checked -proofs of its own accumulator machinery. Live head after the append: +as **entry 13** of the Lean Transparency Log (freeze `172a1d0`), so the +log carries kernel-checked proofs *about the accumulator model* +underlying its own inclusion and consistency reasoning (a deployment we +are unaware of a precedent for; scoped to the mechanized model, not the +deployed verifier — see below). Live head after the append: tree size **13**, root `3488a2d0ff9f00415bb561d61b01a420e3ca2e0f7b29351ec9ebb3f57319da0d`; this corpus is leaf index 12, hash