From 25725e439ac66a9fd365f5cdb299b4c15fa08809 Mon Sep 17 00:00:00 2001 From: mrwulf Date: Thu, 16 Jul 2026 20:29:00 +0200 Subject: [PATCH] =?UTF-8?q?Runbook:=20COMPLETE=20=E2=80=94=20entry=2013=20?= =?UTF-8?q?appended=20and=20live=20(12=E2=86=9213,=20root=203488a2d0)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The log now carries kernel-checked proofs of its own machinery. Subject ltl-accumulator-verified@172a1d0, 61/61 proven+clean, mechanized-model scope (KNOWN-GAPS 14/15). Consistency 12→13 accepted by both the deployed verifier and the mechanized model; live-consumer-verified. Co-Authored-By: Claude Fable 5 --- ATTESTATION-RUNBOOK.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/ATTESTATION-RUNBOOK.md b/ATTESTATION-RUNBOOK.md index 54ccaa2..cbf89af 100644 --- a/ATTESTATION-RUNBOOK.md +++ b/ATTESTATION-RUNBOOK.md @@ -1,6 +1,14 @@ # ATTESTATION RUNBOOK — entry 13 (the log attests its own machinery) -Status: **Phase A: only A2 (operator read) remains. Phase B gate: A2 + explicit operator order** (the IACR decision arrived 2026-07-16 - rejected; per operator, publication no longer gates technical progress). +Status: **COMPLETE — entry 13 appended and live, 2026-07-16.** +Log tree 12→13; new root `3488a2d0ff9f00415bb561d61b01a420e3ca2e0f7b29351ec9ebb3f57319da0d`; +new leaf index 12, hash `8cb258d657f1fd00baaa9e0091e26c316cb69b591cb249a9543f51cade57c50a` +(subject ltl-accumulator-verified@172a1d0, 61/61, mechanized-model scope, +KNOWN-GAPS 14/15). log-clone commit `1726e8e`, pushed + deployed + live- +consumer-verified (accepted:true, ed25519:verified). Evidence on SD +outputs/entry13-append-evidence/. This runbook is retained as the record +of how it was done. The log now carries kernel-checked proofs of its own +accumulator machinery. This file is the single authoritative ToDo for everything that happens between now and the appending of leaf index 12 (the 13th entry, file `entries/000012.json`, tree size 12 → 13). It is written to be executed