Verification & evidence

Tamper-evident records

Chained records of decisions, drafts and releases.

Each record carries a fingerprint of the one before it. A change breaks the chain and shows. Email drafts, decisions and specifications are kept this way.

Examples of our work

  1. Chained email drafts

    Kept each revision of an outward email as a chained record before it opened in the mail client.

  2. Specification logs

    Wrote practice rules as machine-checked specifications with a chained log of every change.