Module state 

Pure lease transitions, not a journal or evidence verifier. The caller must validate evidence and persist before dispatching effects.

Structs

State

Enums

Event

Events describe already verified facts or an intent to persist. They are not deserializable adapter messages and do not themselves authenticate evidence.

Phase