Lentra Format v0.1
Home / Principles

Six decisions that are not revisited.

They cost more than any piece of functionality, because the right to call something evidence rests entirely on them. Each one forbids something convenient.

01

Honest time

Observation is separated from delivery, and cache is always labelled as cache. We never present old state as fresh state, even when that would be convenient for everyone involved.

02

Rights travel with the data

Every object knows what may be done with it. Where the source is silent, the reading is conservative rather than convenient.

03

Verification without us

The verifier is open, the format is published, the issuance log is public. Trust that requires permission to verify is not trust.

04

No circumvention

Technical protections are not defeated. A closed target is a closed target, not a challenge.

05

Identifiable

Our requests can be recognised and we can be contacted. Anonymity is incompatible with responsibility.

06

Everyone's hands are tied, including ours

We cannot issue a passport with a backdated time either. An evidence system whose operator can forge the past is worth nothing.

A discipline is only real when it forbids something you would otherwise want.

Honest time forbids the convenient optimisations — serving cache as fresh, merging two observations into one. That is precisely why it is hard to copy: a competitor growing on integration speed will not tie its own hands.

Vocabulary

Nine words.

If, after everything else, these read as obvious, the writing worked.

Fact

A state of the external world obtained by a machine for a decision or an action.

Passport

A signed record of a fact's provenance: six field groups and a signature.

Observation

Actually obtaining state from the world, as distinct from serving it from cache.

Honest time

The moment of observation, separated from the moment of delivery. The core of everything.

Rights

What may be done with the fact next. Travels with the data.

Verifier

The open tool that checks the signature. Works without us.

Issuance log

A public list of passport hashes that makes backdating detectable.

Cost of success

All costs divided by the number of useful results.

Admission

The right to trust a machine with a decision a human answers for. This is what is sold.