Modules
Pure event replay for available/reserved/sold/withdrawn property inventory.
A validated, externally identified event. No atom creation from untrusted strings.
State of one inventory unit. Identifiers are opaque strings, never names of buyers.