Internet-Draft submitted: Spend Receipts and Payment Rail Reconciliation for AI Agents.
datatracker
Emek Can Doğru
Founder of VERAX. Board member at Doğrucan Mobilya. Author of Internet-Drafts at the IETF.
Every line links
to its source.[1]
I build software that writes down what AI agents do, so anyone can check it later.
[1] On this page, too. Each claim below opens its record: verax-ai.com, datatracker.ietf.org, npm.
Example record: one agent
Chain intact
Broken at row 3
- 09:14:02readcustomers.csvsealedno match
- 09:14:09remember"Ayşe prefers email"sealedno match
- 09:15:31spend$40.00$400.00 suppliessealedno match
- 09:16:05readinvoice-118.pdfsealedno match
- 09:16:40spend$12.50 couriersealedno match
Each row is sealed together with the row before it.Row 3 was edited after it was written. From there on, nothing matches, so the edit shows.
An illustration. VERAX keeps records like this on your own machine.
Where it gets tested
At Doğrucan Mobilya we use AI every day for sales reports, stock and customer messages. That is where I learned what AI needs to prove.
Parts
VERAX
A black box for AI agents.
reads data
remembers
spends money
verax-ai.com
Conarium
Decides what data an agent may see, and hides sensitive values before the model gets them.
email: e.d••••@••••masked
Tugra
Keeps an agent's memory honest: where each fact came from, and how old it is.
factsourceagetraced
Cedulon
Checks an agent's spending: what it was allowed to buy, and whether the bank statement agrees.
allowed / bankreconciled
What VERAX does
VERAX is a black box for AI agents. When an agent reads data, remembers something or spends money, VERAX writes it down and signs the record. The record stays on your own machine. If someone changes it later, it shows.
VERAX TEKNOLOJİ LİMİTED ŞİRKETİ, founded in Istanbul on 29 July 2026.
The record so far
Dated entries. Each one opens the place where it was recorded.
-
-
The VERAX body is published on npm as @verax-ai/body.
npm -
The VERAX repository is created on GitHub.
github -
Tugra is published on npm.
npm -
Internet-Draft submitted: Transformation Evidence and Coverage Reconciliation for Auditable Data Disclosure.
datatracker -
VERAX TEKNOLOJİ LİMİTED ŞİRKETİ is founded in Istanbul.
verax-ai.com
Drafts at the IETF
IETF DatatrackerThe IETF writes the technical standards the internet runs on. I have written these proposals there. They are individual drafts. No working group has adopted them, and the IETF has not endorsed them.
- Spend Receipts and Payment Rail Reconciliation for AI Agentsdraft-dogru-cedulon-core
- Cedulon Checkpoints: Epoch Witnesses and Transparencydraft-dogru-cedulon-checkpoint
- Cedulon Threat Narrativesdraft-dogru-cedulon-threats
- Cedulon Decision Profile: Reconciling an Agent's Decisions Against Its Effectsdraft-dogru-cedulon-decision-profile
- Cedulon Re-Attestation: Carrying Spend Evidence Across Algorithm Retirementdraft-dogru-cedulon-reattestation
- Cedulon Streaming Reconciliation: Continuous Completeness for Agent Spenddraft-dogru-cedulon-streaming
- Transformation Evidence and Coverage Reconciliation for Auditable Data Disclosuredraft-dogru-scitt-disclosure-evidence