Concepts

tik has a small model and holds to it strictly. Everything below follows from one law and one companion law, and the whole vocabulary is closed and enumerable: seven event types, twelve guard operators, five fact statuses.

• Derived beats declared — the law, and what it costs to keep.
• Events and facts — what a ticket actually is on disk.
• Stages — how position in a process is computed.
• Guards — the closed operator vocabulary.
• Explain — the product surface: what is missing and who can act.
• Replication — merging by set union, with no leader and no lock.
• The event log — the storage contract in detail.
• Witnessing — countersignatures and anchoring.

The decision log records why each of these is the way it is, including the alternatives that were rejected and the reason.