From 0c82f217a8009d277d94a4dbcb3c232bf5d538e0 Mon Sep 17 00:00:00 2001 From: mrwulf Date: Sat, 22 Aug 2026 18:43:00 +0200 Subject: [PATCH] coherence sweep: no private paths in public docs; dead /paper/v0.2 links repointed to git history; leaf-index numbering (doc-only) --- TRUSTED-BASE.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/TRUSTED-BASE.md b/TRUSTED-BASE.md index 52f079a..7e14f84 100644 --- a/TRUSTED-BASE.md +++ b/TRUSTED-BASE.md @@ -231,7 +231,7 @@ running Rust code. Everything else is machine-checked. **The kernel re-elaborates nothing in such a run.** What it establishes is that the gates accept artifacts produced earlier — useful while developing a - gate, worthless as a record. `formal-verification-control/tools/record-run.py` + gate, worthless as a record. an operator-internal recording gate (in the private infrastructure repo) enforces that: it refuses to archive any transcript bearing the audit-only markers, and also any transcript without a terminal success banner, any containing `error:`, and any repository whose tree is dirty at record time.