Exit, Receipts, Claims¶

Exit Behavior¶

Controller initiates exit request through vault after checking:

• requester authorization (owner or beneficiary)
• trigger armed status
• seat not already exit requested
• fee sufficiency

Vault latches exitSubmitted and attempts primary then fallback exit contract.

Receipt Behavior¶

Controller records receipts by kind and routes amounts into buckets through receipt accounting libraries. Invalid, duplicate, or inconsistent sources revert or route to non-claimable buckets per policy.

Claim Behavior While Running¶

• claim gatekeeper enforces mode and cap checks
• pending claim delay is enforced
• finalize path rechecks available claimable rewards before transfer

Claim Behavior During Exit/Settlement¶

• running claim modes degrade to repair-only/paused/disabled states
• settlement path reorders principal protection before settlement rewards
• principal claim and settlement reward claim use distinct paths