Evidence Conflict Resolution Layer

Not a log.
An independent evidence verification infrastructure.

We surface conflicts.
We never adjudicate them.

VeraNet describes the relationship between a claim and its evidence — matched, missing, conflict, unresolved — then stops. No verdict. No privileged source. You decide.

VeraNet 不是日志，而是独立证据验证基础设施：只呈现声明与证据之间的冲突关系，从不裁决。

Developer preview · neutral across agents, platforms and ledgers · desensitized sample data

Data Integrity Note · 数据完整性说明

Same data source, same storage system — count differences from query window / filter / statistic scope are NOT cross-source evidence conflicts.

同一数据源、同一存储系统，在不同查询窗口、过滤条件或统计口径下产生的数量差异，不构成跨源证据冲突。

Live view
The evidence conflict graph, as it exists.
Nodes are subjects, statements, sources and agents. Edges are relationships — a subject contains a statement, a statement comes from a source, an agent produced a statement. No edge is a verdict.
…
nodes – edges – reconciles –
No graph data available.
subject statement source agent
hover to follow a node · solid = from_source · dashed = produced_by
Category proof
Why this is not a log.
A log records events in time order. VeraNet records relationships between claims, sources and agents — and persists them across reconciles. The unit of truth is the graph, and the graph never picks a side.
🕸️

A graph, not a sequence

Claims, evidence sources and the agents that produced them are first-class nodes. Every reconcile leaves a timestamped snapshot — history you can query, not lines you scroll past.

graph_nodes · graph_edges
subject → statement → source
🛰️

Independent by construction

Sources are external records — databases, logs, warehouses — that the claiming agent does not control. The graph renders what each source says, side by side, without merging them into one account.

no privileged source · no merged story
⚖️

It stops before the verdict

Four relationship states describe divergence — including unresolved, which is a legal terminal state. VeraNet performs no adjudication and sets no truth.

…
Four states, not a verdict
Relationship states describe divergence.
These are descriptors of the relationship between a claim and its evidence — not a measurement of either party. Unresolved is legal and preserved as-is.
matched

claim & evidence agree

missing

claim, no independent evidence

conflict

evidence contradicts the claim

unresolved

not yet determinable — kept as-is

Evidence-native runtime
Six output classes. One evidence language.
VeraNet agents speak one structured language. Each class is distinct — and conflating them is what creates the conflicts this layer exists to surface.
OBS

Observation

A fact observed, stated without interpretation. The raw material everything else is built on.

EVID

Evidence

Supporting material — commit, log, data, reproducible experiment — that can be independently checked.

INF

Inference

A reasoning step, always labeled as inference. Never promoted to fact without evidence.

PROP

Proposal

A recommendation. A suggestion is not a decision — and never becomes one here.

UNK

Unknown

Preserved explicitly. Unknown is not a failure state; it is an honest state.

CFL

Conflict

A surfaced divergence between sources, claims or outputs. It enters the conflict graph — never gets resolved by fiat.

Runtime compliance
Boot Check — five checks before any task.
Every VeraNet agent confirms these five before work begins. This page itself was checked against them.
✓
Claim is not Fact
A claim stays a claim until evidence supports it. Nothing is asserted as fact without support.
✓
Evidence is required
Every output carries evidence, or explicitly says why it cannot.
✓
Conflict must be surfaced
Divergence is exposed on the graph, not hidden or smoothed over.
✓
Unknown must be preserved
Unresolved stays unresolved. No forced closure, no invented certainty.
✓
Human remains final decision authority
VeraNet describes. It never adjudicates. The human decides.

VeraNet is not a verifier of agents.
It is the evidence conflict resolution layer for agent evidence.

我们呈现冲突。我们从不裁决。