Evidence

• Bundle format

  tik-evidence-bundle version 1 — the on-disk contract, the checks a reader runs, and the rules that govern change.

• Evidence

  The published bundle format, and how anyone re-derives what a bundle's facts imply under the rules it pinned.

• Re-deriving a bundle

  tik rederive checks a bundle and recomputes what its facts imply — at a terminal, or over HTTP with a badge that names the derivation.