# property_unit_ledger v1.0.0 - Table of Contents

> Replay and reconcile property-unit reservations with explicit deadlines and an immutable audit trail.

## Pages

- [Property Unit Ledger](readme.md)
- [Event contract](events.md)
- [Feed adapter and persistence](integration.md)
- [Scope and limits](limits.md)
- [Changelog](changelog.md)

## 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.