# property_unit_ledger v1.0.0 - API Reference

## Modules

- [PropertyUnitLedger](PropertyUnitLedger.md): Pure event replay for available/reserved/sold/withdrawn property inventory.
- [PropertyUnitLedger.Event](PropertyUnitLedger.Event.md): A validated, externally identified event. No atom creation from untrusted strings.
- [PropertyUnitLedger.Unit](PropertyUnitLedger.Unit.md): State of one inventory unit. Identifiers are opaque strings, never names of buyers.