Lecture 4.5
If an authority artifact governs consequential action, a party must be able to establish that the artifact and the decision record have not changed since issuance. This lecture covers canonicalisation, cryptographic sealing, and the precise limit of what a seal proves — it protects a representation of authority; it does not create authority.
Supports Law 6 — Every Automated Decision Must Be Independently Verifiable. →Learning objectives
After this lesson, the reader should understand:
Concept framework
From artifact to sealed authority
Case study
An institution seals an authority artifact that, it later emerges, encoded the wrong threshold. The seal verifies perfectly. What did the seal buy?
Integrity and provenance — and only those. Anyone can confirm the artifact is exactly what the institution issued, by whom, and when, and that every decision bound to it used that version unaltered. What the seal cannot do is make a wrong threshold right: a signature over a defective rule is a verifiable record of a defect. This is the correct division of labour. Sealing removes the argument about whether the artifact was tampered with, so the argument can be about whether the authority was correct — which is a governance question, resolved by the compilation and review process, not by cryptography. In the NOMOS reference implementation the mechanics are concrete: the artifact is put into a canonical byte form (RFC 8785 JSON Canonicalization) and signed with an Ed25519 key whose identifier travels inside the seal. The public key is published at a well-known URL, so a third party verifies a sealed artifact offline — recompute the canonical hash, check the signature against the published key — with no secret and no call to the issuer; a standalone verifier does exactly that in about 130 lines with nothing beyond Node's built-in crypto. The hash deliberately excludes the seal itself and any later attestations, so a regulator co-signing a version does not invalidate the issuer's signature over it.
Discussion questions
Exercise
Specify the sealed record for one decision.
Research notes