7.2. Quota-Based Economy (jar1)🔗

structure

Jar.QuotaEcon : Type
Jar.QuotaEcon : Type

Quota-based economic model (jar1 coinless). Storage limits set by a privileged quota service (χ_Q).

Constructor

Jar.QuotaEcon.mk

Fields

quotaItems : UInt64

q_i : Maximum storage items allowed.

quotaBytes : UInt64

q_o : Maximum storage bytes allowed.

structure

Jar.QuotaTransfer : Type
Jar.QuotaTransfer : Type

Quota-based transfer payload (jar1 coinless). Pure message-passing — no token amount.

Constructor

Jar.QuotaTransfer.mk

In the quota model, canAffordStorage checks whether the service's current item count and byte count are within the quota limits. Transfers carry no token amount — QuotaTransfer is a unit type for pure message-passing. The setQuota operation (host call 28, available to the privileged quota service) adjusts a service's storage limits.