From 91d8cb8292c3593c5cfa7a309794b5f317f61bf1 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" Date: Mon, 12 Oct 2026 17:22:13 +0000 Subject: [PATCH 1/2] README: plain claims in the body, one status line (claim audit 2026-10-12) --- README.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.adoc b/README.adoc index 8e97f78..811d227 100644 --- a/README.adoc +++ b/README.adoc @@ -72,7 +72,7 @@ source-to-IR path, rejection behaviour and remaining proof assumptions. * The substrate parses one complete statement, validates inserts against a supplied schema and supports in-memory insertion/retrieval. It rejects unverified proof mode, unchecked mutations, incomplete wire interchange and persistent-execution requests. -* Existing ABI/FFI code is separate from a verified, durable narration pipeline. +* Existing ABI/FFI code is separate from the durable narration pipeline (_verification intended; Lean proofs are provenance_). * The direct-evidence rule checks traceability and declared admission policy. It does not establish external truth, authenticate source declarations, or settle confidence composition and general narrative inference. From 40e0a2c1a6fea3b0c1b73d2000894abdcfefea0b Mon Sep 17 00:00:00 2001 From: "coderabbitai[bot]" <136622811+coderabbitai[bot]@users.noreply.github.com> Date: Mon, 12 Oct 2026 21:55:36 +0000 Subject: [PATCH 2/2] docs(readme): Correct narration pipeline description to direct-evidence --- README.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.adoc b/README.adoc index 811d227..e3bfb50 100644 --- a/README.adoc +++ b/README.adoc @@ -72,7 +72,7 @@ source-to-IR path, rejection behaviour and remaining proof assumptions. * The substrate parses one complete statement, validates inserts against a supplied schema and supports in-memory insertion/retrieval. It rejects unverified proof mode, unchecked mutations, incomplete wire interchange and persistent-execution requests. -* Existing ABI/FFI code is separate from the durable narration pipeline (_verification intended; Lean proofs are provenance_). +* Existing ABI/FFI code is separate from the direct-evidence narration pipeline (_verification intended; Lean proofs are provenance_). * The direct-evidence rule checks traceability and declared admission policy. It does not establish external truth, authenticate source declarations, or settle confidence composition and general narrative inference.