AlethiaGraph · Semantic Truth Scoring · August 2026

Your AI agents are making decisions. Are they reasoning from truth?

Not probably. Not on average. Formally. Decidably. Provably — or not at all. That is the question AlethiaGraph answers, and it is the question no other system in the market can answer today.

A domain-specific LLM is a better prior over the domain. AlethiaGraph is a proof engine over specific claims. Better priors produce better average outputs. Proof engines produce verifiable verdicts on specific instances. In a regulated context, you are not managing averages. You are accountable for specific decisions.

The FFIEC examiner does not care that your AI system is correct 94 percent of the time. The examiner cares whether this finding, in this examination, against this institution, is supported by this regulatory requirement. That question requires a proof engine, not a better prior.

The same is true for the General Counsel defending an AI-assisted contract decision. For the CTO attesting to the board that the AI deployment is governed. For the audit committee that needs to sign off on AI-driven findings. The question is always the same: can you prove it? Not simulate it. Prove it.


The problem with every existing approach

Existing AI governance approaches share a common structural failure: they operate after execution, on outputs, without formal guarantees about the system's epistemic state at the moment of decision. A system that produces a plausible output from an insufficient knowledge base is not governed. It is lucky.

What every AI system does today
Produces confident outputs — correct and hallucinated alike
Cannot tell you when it is wrong
No source attribution chain from output to regulatory text
No formal coverage disclosure — answers confidently regardless of knowledge gaps
Training cutoff is fixed — regulatory updates don't propagate
Probabilistic output — a statistical claim, not a proof
What AlethiaGraph provides
Formal verdict on each specific claim — supported or not, binary and proven
Claim-level verifiability against the authoritative knowledge graph
Full attribution chain from Decision Record to source document to regulatory text
Explicit coverage disclosure — escalates when knowledge base is insufficient
Graph updates when regulatory guidance updates — currency is computable
Decidable verdict — a formally proven result, not a probabilistic output

Three formal guarantees

AlethiaGraph is built on a formal mathematical framework — the Actionability Function A(R,Q) — that provides three guarantees unavailable in any existing AI governance approach.

Guarantee 1
Decidability
Whether a knowledge graph result is actionable for a specific decision is a provably decidable question. Not a heuristic judgment. A formally proven verdict — A(R,Q) = 1 or A(R,Q) = 0 — for every claim the system evaluates.
Guarantee 2
Monotonicity
Knowledge graph quality improves monotonically with graph size and edge density. Every certified fact added to the graph provably improves or maintains the system's decision support capacity. The graph only gets better. It cannot degrade.
Guarantee 3
Deployment Readiness
The minimum knowledge graph density required to support a given query class is computable before deployment. You know formally whether the system is ready to be deployed — before you deploy it. Not after an incident tells you it wasn't.

The architecture

AlethiaGraph does not replace the LLM. It governs it. The LLM produces the best possible completion given its domain knowledge. AlethiaGraph evaluates whether that completion is formally supportable by the authoritative knowledge base. One improves the prior. The other verifies the instance.

┌─────────────────────────────────────────────┐
AI Agent / LLM
produces output from domain knowledge

AlethiaGraph Scoring Engine
evaluates output against authoritative knowledge graph
formal verdict: supported or not supported

Decision Record
formally verified · source-attributed · Chandra-chained

Governed output or escalation to human review
└─────────────────────────────────────────────┘

Every Decision Record is written to the Chandra Protocol chain — an append-only, cryptographically sealed audit substrate. The audit trail is not a log. It is the authorization mechanism. Every AI agent decision is formally attested, source-attributed, and unforgeable.


The first regulated use case: FFIEC bank examination

The framework has been formally specified and validated against the FFIEC bank examination domain — one of the most demanding regulated AI use cases in financial services. A formally governed examination system whose epistemic state is mathematically characterized, formally attested, and unforgeable in the Chandra audit chain.

The examination record produced by this system is not just auditable. It is provably complete within the bounds of the knowledge graph's current density — bounds that are stated, signed, and improving.

The technical framework is available for review by qualified organizations. Additional regulated domains — clinical, defense, FedRAMP — follow the same architecture with domain-specific knowledge graph construction.


August – September 2026

Coming Soon

AlethiaGraph is in final architecture and development. We are engaging with a small number of qualified organizations for early access and technical briefings. Framework documentation available upon request.

inquiries@genreason.com

General Reasoning, Inc. · Birmingham, Alabama · 2026
Built on Chandra Protocol
Enterprise inquiries: inquiries@genreason.com

Artwork: "Eidyia" by Emily Balivet · emilybalivet.com