Every action is fixed in place, and anyone can recheck afterwards that nothing was altered.
In plain words
Everything that happens — a document added, a question asked, something erased — is written down as a line. Those lines are attached to each other, so nobody can later remove or alter one unnoticed.
An auditor, a regulator or a court can recheck that themselves, without needing us for it.
How the lines hold together
This page is about proof. Let me walk you through it.
Your browser has no speech synthesis. The explanation is written out below.
Change anything — the math tells on you.
Room for your own judgementPlannedyour own judgement is recorded too
Replay what the model sawPlannedlook back at exactly what the model saw
Separate checking app for othersPlannedchecking without our software
The boundary is written downBuiltshared with design partners
Every action goes into the logBuiltlines can only be added, each attached to the last
One check number over the whole logBuiltcutting the end off also shows
Your own keysPlannedwe never hold your keys
Every question traceablePlannedyou can see later which question was asked
Recheck it yourself (verify())Builtshows whether anything was edited, inserted or deleted
