Protocol model

From private evidence to a signed public commitment.

The evidence bundle holds the documents, the canonical inputs and the asserted figure, and it stays with the issuer. The verification receipt records the policy, status and reason codes of a check. The registry entry, signed by the issuer, commits to that receipt with hashes, identifiers and the verdict, and carries no evidence. The trust registry says which issuer keys may sign one.

Object model

Each object does one job, and the evidence is kept apart.

The registry entry is written for publication, and the trust registry says whose signature on it counts.

Specification index

What each object may hold, and nothing more.

The schemas define the verification receipt, the registry entry, the trust registry and the summaries derived from the bundle. The evidence bundle itself is defined by field contracts in the specification.

Canonical protocol objects, with field counts and whether each schema is closed to additional properties.
ObjectFieldsRequiredAdditional properties
change_summary254closed
coverage_summary185closed
lineage_summary172closed
registry_entry2319closed
trust_registry1010closed
verification_receipt2012closed
verification_summary206closed

7 canonical objects. Every one is closed: a field the schema does not define is rejected rather than ignored.

Verification lifecycle

A registry entry is signed only after the receipt exists.

An update runs the same sequence again.

  1. 01

    Private evidence

    Source documents, claims and workflow metadata are gathered on the issuer's side.

  2. 02

    Policy evaluation

    A named policy, authored and versioned by the issuer, checks the evidence for support, coverage, freshness, conflicts and material changes. The protocol defines the record of that outcome, not the policy itself.

  3. 03

    Receipt

    The result becomes a verification receipt, which records the manifest hash of the bundle it was checked against.

  4. 04

    Registry entry

    The issuer signs a registry entry that commits to the receipt's hash.

  5. 05

    Offline verification

    A verifier reads the bundle offline and checks its structure, its file and manifest integrity, its link to the registry entry, and the issuer's key authorization.

Verification modes

L0 to L3 need nothing but the files in hand.

Each level adds one check to the one before, and up to L3 the files alone are enough. L4 and L5 would add a transparency log and an anchor.

Reason-code catalog

Every outcome says why.

Codes come from a versioned catalog, and a verification summary's status and a registry entry's verdict must each match the most severe code cited. A dispute could then go after the specific reason it contests.

61codes across 11 categories, catalog v2.0.0, versioned apart from the specification
  • Integrity12
  • Offline12
  • Authorization11
  • Chain anchor6
  • Freshness6
  • Policy5
  • Valuation cross-check4
  • Coverage2
  • Conflict1
  • Evidence1
  • Materiality1

By severity

  • fail 27
  • review 17
  • warn 12
  • info 5