diff --git a/docs/_source/arborist-one-pager.rst b/docs/_source/arborist-one-pager.rst index 293e994..22aa316 100644 --- a/docs/_source/arborist-one-pager.rst +++ b/docs/_source/arborist-one-pager.rst @@ -14,8 +14,8 @@ model embroidered it. **arborist closes that gap.** Every answer is verified against its source *after* the language model finishes, by a mechanical checker — not by another AI grading the first one. The checker labels each answer **grounded** (every claim was found in the -source), **partly grounded** (some claims, not all), or **not -grounded**. The label travels with the answer and is stored in a +source), **partly grounded** (some claims, not all), or +**ungrounded**. The label travels with the answer and is stored in a tamper-evident chain back to the source bytes. **Fabricated citations become impossible.** When the model answers, it diff --git a/docs/_source/arborist-two-pager.rst b/docs/_source/arborist-two-pager.rst index b9e48e3..8bb0605 100644 --- a/docs/_source/arborist-two-pager.rst +++ b/docs/_source/arborist-two-pager.rst @@ -69,7 +69,7 @@ After generation, the verifier runs. Four mechanical strategies (exact-quote match, line-span match, named-entity proximity, paraphrase coverage) try in sequence to confirm each claim against the cited chunks. The output is a single label per answer: **grounded** -(every claim verifies), **partly grounded**, or **not grounded**. +(every claim verifies), **partly grounded**, or **ungrounded**. There is no "high confidence" middle ground — confidence labels are soft signals in disguise. The verifier names what it can prove and what it cannot. diff --git a/docs/diagrams/pager-arch-stack.dot b/docs/diagrams/pager-arch-stack.dot index d6e960c..0d77a41 100644 --- a/docs/diagrams/pager-arch-stack.dot +++ b/docs/diagrams/pager-arch-stack.dot @@ -12,7 +12,7 @@ digraph arch_stack { surface [label="Ingested documents\n(Wikipedia · HTML · TeX · git · claim-packs)\nchunked → hashed → full-text-indexed", fillcolor="#e9f3ff"] core [label="Derived layers\n(summaries, indices, distillations)\nhash-bound back to source chunks", fillcolor="#dff5e7"] - cache [label="Answer cache\nverified Q&A · grounded / partly / not grounded\ncryptographic chain back to source bytes", fillcolor="#fff3d6"] + cache [label="Answer cache\nverified Q&A · grounded / partly grounded / ungrounded\ncryptographic chain back to source bytes", fillcolor="#fff3d6"] audit [label="Audit chain\nevery write appends a hash-linked row;\na single tampered record breaks the chain", fillcolor="#fde7e9", shape=note] diff --git a/docs/diagrams/pager-arch-stack.png b/docs/diagrams/pager-arch-stack.png index c778679..cbb01c1 100644 Binary files a/docs/diagrams/pager-arch-stack.png and b/docs/diagrams/pager-arch-stack.png differ diff --git a/docs/diagrams/pager-arch-stack.svg b/docs/diagrams/pager-arch-stack.svg index 627ba76..bd38adf 100644 --- a/docs/diagrams/pager-arch-stack.svg +++ b/docs/diagrams/pager-arch-stack.svg @@ -4,77 +4,77 @@ - + arch_stack - + surface - -Ingested documents -(Wikipedia · HTML · TeX · git · claim-packs) -chunked → hashed → full-text-indexed + +Ingested documents +(Wikipedia · HTML · TeX · git · claim-packs) +chunked → hashed → full-text-indexed core - -Derived layers -(summaries, indices, distillations) -hash-bound back to source chunks + +Derived layers +(summaries, indices, distillations) +hash-bound back to source chunks surface->core - - -distill + + +distill audit - - - -Audit chain -every write appends a hash-linked row; -a single tampered record breaks the chain + + + +Audit chain +every write appends a hash-linked row; +a single tampered record breaks the chain surface->audit - - + + cache - -Answer cache -verified Q&A · grounded / partly / not grounded -cryptographic chain back to source bytes + +Answer cache +verified Q&A · grounded / partly grounded / ungrounded +cryptographic chain back to source bytes core->cache - - -verify → cache + + +verify → cache core->audit - - + + cache->audit - - -every write + + +every write diff --git a/docs/diagrams/pager-verifier-flow.dot b/docs/diagrams/pager-verifier-flow.dot index e751b97..8cc6b62 100644 --- a/docs/diagrams/pager-verifier-flow.dot +++ b/docs/diagrams/pager-verifier-flow.dot @@ -18,7 +18,7 @@ digraph verifier_flow { label_grounded [label="grounded\nevery claim verifies", fillcolor="#28a745", fontcolor="white"] label_partial [label="partly grounded\nsome verify, some don't", fillcolor="#ffc107"] - label_ungrounded [label="not grounded\nnone verify", fillcolor="#dc3545", fontcolor="white"] + label_ungrounded [label="ungrounded\nnone verify", fillcolor="#dc3545", fontcolor="white"] audit [label="Audit chain\n+ answer cache\n(reproducible, replayable)", fillcolor="#fde7e9", shape=note] diff --git a/docs/diagrams/pager-verifier-flow.png b/docs/diagrams/pager-verifier-flow.png index b0f3893..daeddb7 100644 Binary files a/docs/diagrams/pager-verifier-flow.png and b/docs/diagrams/pager-verifier-flow.png differ diff --git a/docs/diagrams/pager-verifier-flow.svg b/docs/diagrams/pager-verifier-flow.svg index 138e050..f5f3958 100644 --- a/docs/diagrams/pager-verifier-flow.svg +++ b/docs/diagrams/pager-verifier-flow.svg @@ -106,15 +106,15 @@ label_ungrounded - -not grounded + +ungrounded none verify verifier->label_ungrounded - - + + @@ -141,8 +141,8 @@ label_ungrounded->audit - - + +