Expand description
Identifiers, hashes and time.
Time is integer milliseconds rather than SystemTime/Duration. Integers keep
the type inside the Verus subset, make the fake clock exact, and give the
journal a stable encoding (docs/deviations.md).
Macros§
- newtype 🔒
Structs§
- Change
Id - Generation
Id - Hash
- SHA-256. Serialized as 64 lowercase hex digits.
- Incident
Id - JobId
- Millis
- A duration in milliseconds.
- ModelId
- OpId
- Durable identity of one mutation attempt (§12). Journaled and fsynced before
the backend call it names; the backend tags the call with it and fences on
(txn, epoch). - Policy
Version - Principal
Id - A principal (§11): a human maps to a uid, an agent to a registered key.
- ProbeId
- Snapshot
Id - Store
Path - Timestamp
- Milliseconds since the Unix epoch.
- TxnId