[Conway] dom rewards = CredentialDeposit⁻¹ (dom deposits) is a CHAIN invariant

**Property:** dom rewards = CredentialDeposit⁻¹ (dom deposits) is a CHAIN invariant

- Catalog id: `conway-chain-creddeps-eq-domrwds`
- Era: **conway** · STS: **CHAIN**
- Agda module: `Ledger.Conway.Specification.Chain.Properties.CredDepsEqualDomRwds` (anchor: `clm:CredDepsEqualDomRwds-inv`)
- Key definitions: `credDeposits≡dom-rwds`, `credDeposits≡dom-rwds-inv`
- Status (derived from the Agda): **stated**

Proposed in a #45 comment (2024-01-29). Needs a tracking issue.

---
Tracked in `docs/notes/properties.yaml`; see ADR `docs/notes/0001-ledger-property-tracking.md` and the roadmap `docs/notes/ledger-properties-roadmap.md`.
Part of the properties roadmap (umbrella #45).

Start with the Agda module Ledger.Conway.Specification.Chain.Properties.CredDepsEqualDomRwds and inspect credDeposits≡dom-rwds and credDeposits≡dom-rwds-inv. Then read docs/notes/properties.yaml, docs/notes/0001-ledger-property-tracking.md, and docs/notes/ledger-properties-roadmap.md to determine the intended contribution. The issue is done only when the property’s implementation or tracking status is clearly resolved.

Written by the indexing model from the issue text.