Cli

• 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.

• Reading a store

  The inbox, the board, explain, selectors, history, and counterfactuals.

• Recording work

  Creating tickets, asserting facts, attaching evidence, and correcting the record.

• Store administration

  Identity, roles, verification, migration, storage backends, and alerts.