One Hundred Percent Truth-Grounded

This page computes the proof that verification coverage equals 100%. Start by clicking on the main result 100 = 100 [1] to open it in the side panel, then use Focus in Graph to see the knowledge graph, or Focus in Layers to see the full computation chain. Click Taints to see inconsistencies we're currently aware of — mostly documentation that hasn't caught up with the code yet.

The Integrity Cortex landing page claims 100% truth-grounded — verified against source. This is not a pass rate measured on a corpus. It means every statement in the system has a computed grounding state: verified, unverified, no-evidence, fabricated, manually-verified. Even "not grounded" is an explicit grounding state. The system has an opinion about every item's relationship to source truth, and that opinion was computed by running the item against the documents, all the way down.

A derive either bottoms out in facts with verified evidence, or the system computed that it doesn't — and that computation IS the grounding state. No item is left in limbo.

pltg

Load

(import (quote .src.truth_grounded tg))
tg.truth-grounded-coverage

Out

100

Five stages, each with a loss factor

This totality is a conjunction of five conditions. Each stage in the truth-grounding pipeline is a place where information could be lost — items could escape assessment, the verifier could drop matches, branches could go unvisited. We prove each stage preserves by computing its loss factor: satisfied properties / total properties. If a stage preserves, its factor is 1. If it loses, the factor drops below 1 and the final number reflects exactly how much coverage was lost and where.

Coverage = 100 × f₁ × f₂ × f₃ × f₄ × f₅

Stage 1 — All language atoms have grounding state

Facts, axioms, and terms support direct grounding via evidence. Derives inherit grounding transitively via their :using chains. Diffs need no evidence — inconsistency between their sides is itself a state. No directive type is exempt. Factor: 1. [2]

Stage 2 — Grounding was computed, not assumed

The engine's three consistency layers each actively run: evidence verification, fabrication propagation, and diff evaluation. No layer is skipped. Factor: 1. [3]

Stage 3 — No information loss in the quote verifier

The normalizer applies the same function with the same config to both the document and the quote. Each of the 6 steps is checked for both-sides application. A step that processes both sides creates no matches and destroys no matches. Factor: 1. [4]

Stage 4 — Verifier is part of the pipeline

The quote verifier's output feeds into the engine's consistency assessment — it IS consistency layer 1, and fabrication propagation consumes its results. Results are not discarded. Factor: 1. [5]

Stage 5 — Every branch is traversed

The dependency scanner covers all five directive types and the traversal is transitive. No branch of the graph is left unvisited. Factor: 1. [6]

Result

pltg

Result

tg.truth-grounded-coverage

Out

100

Coverage: 100 [7] × 1 [2] × 1 [3] × 1 [4] × 1 [5] × 1 [6] = 100. [8]

Checks

References

Lineage