Module events 

SRD-44a — Checkpoint event taxonomy.

CheckpointData is the on-disk record type for the append-only checkpoint.jsonl event log. Every state- changing observation is one variant; serde tags each line with a "type" discriminator so a reader can drop unrecognised types without poisoning the rest of the stream.

See SRD-44a §“Event taxonomy” for the schema.

Enums

CheckpointData

One record in the JSONL event log. Tagged on type so the stream is forward-extensible: adding a new variant is a no-op for older readers (they ignore unknown types per SRD-44a §“Reader behaviour”).

Functions

hash_to_hex

Hex-encode a 32-byte program hash for storage in PhaseHash events. Lowercase, no separators.

hex_to_hash

Decode a 32-byte program hash from its hex form. Returns None on any malformed input — the reader logs a Warn and continues folding.