Skip to main content

Global Invariants

Purpose​

List global invariants that must always hold across the protocol.

Invariants​

  • Only authorized roles can update registries, scores, or slashing.
  • Claims are pull-based and never require iterating over recipients.
  • Anchored metadata must match on-chain anchor records to be valid.
  • Payments and rewards are bounded by contract balances.
  • Registry changes are evented and auditable.