Agents generate claims. Systems generate records. VeraNet reconciles conflicts between evidence sources.
嵌入样板为确定性示例(零 API);「实时协调」模式拉取真实 GitHub 数据(B 类外部观察,Agent 无法伪造)。 Embedded sample is deterministic (no API). Live mode pulls real GitHub data — B-class external observation, unforgeable by agents.
Evidence Reconciliation Flow · live demo

One claim. Many sources. Reconciled into four states.

An agent reports success. VeraNet reconciles that claim against independent sources — matched, missing, conflict, or unresolved. Not a score: four relationship states. We surface conflicts. We never adjudicate them.
1Agent Claim它说了什么
2Evidence Sources从哪取证据
3Reconcile比对检测
4Four States四态结果
5Act保存 / 导出 / 接入
GitHublive
GitLabPhase 1
CI LogsPhase 1
ManualPhase 1
JSONPhase 1
This is the whole product in one case: matched / missing / conflict / unresolved are relationship states, not a score.
Category sample: Agent claim ✓ → GitHub commit ✓ → Runtime execution ✗. Three sources, one conflict — VeraNet presents it, never adjudicates it.
Every live evidence row is a B-class external observation pulled from GitHub — something the agent cannot forge.
前端演示协调逻辑(claim → 多源 → 检测 → 四态);真引擎在后端,unresolved 真值仍未接入(Witness Coverage 0%)。
「保存为 Case」为本地浏览器草稿(localStorage),仅存此设备、未上传服务器,不构成后端证据资产库。