Skip to content

Claimability Rules

Running Claims

Running reward claims are enabled only when claim state is one of:

  • ClaimsFullyEnabled
  • ClaimsEnabledWithDustNotice
  • ClaimsLimited

Anything else fail-closes running reward payouts.

Claim State Derivation Inputs

  • settlement phase
  • exit flags
  • live risk state
  • trigger armed status
  • reserve coverage usability
  • observation freshness and quarantine
  • dust state
  • reserve health
  • network phase

Receipt Classification Constraints

classifyReceipt behavior includes:

  • final exit withdrawal bypasses running reward buckets
  • correction and recovery receipt kinds route to recovery bucket
  • unknown/unclassified kind routes to holdback
  • unsafe/snapshot-invalid cases route to holdback or repair, depending on state

No Value Creation Rule

Claimability cannot mint value. Claimable amounts must come from accounted inflow, reserve-backed smoothing under limits, or settlement flows that preserve principal-first ordering.

Double-Count Defense

  • receipt id uniqueness via receiptProcessed
  • economic-source flagging for consensus and receipt linkage
  • strict source-ledger checks in final model mode

Operational Detail

Claimability is the intersection of economic bucket, claim mode, freshness, reserve health, trigger state, beneficiary/executor authority, pending delay, and cap room.

Required Checks

  • Verify source manifest and generated inventory if the claim path changed.
  • Read current risk observation, receipt ledger, reserve coverage, claim mode, pending claim, and gatekeeper caps.
  • Confirm the caller is the beneficiary or an authorized executor for the required scope.
  • Confirm no incident, stale oracle, slashing, exit, or settlement blocker changes the allowed path.

Failure Handling

A failed claim is not automatically a contract defect. Preserve revert data, current reads, and source evidence. Retry only after identifying whether the failure belongs to Upgrade governance, Deposit permissioning, Custody/readiness, or Economic/claim safety.

No-Reappearance Rule

Once a claim consumes a reward or settlement bucket, that value must not become claimable again without a new verified economic input. Valid new inputs include a fresh classified receipt, a new accepted consensus reward delta, or a settlement transition that explicitly creates a remaining payable bucket. Time passing by itself is not value.