Title: Distributed Assets v1
Adoption index: 3.0
Author: Aris
Co-authors: G.
Amend Rule 2166, "Assets", to read as follows:
An asset is an entity defined as such by a document that has been
granted Mint Authority by the Rules (hereafter the asset's backing
document), and existing solely because its backing document defines
its existence. An asset's backing document can generally specify when
and how that asset is created, destroyed, and transferred.
The rules collectively have Mint Authority. Contracts have Mint
Authority. A rule defined asset is public; one defined by a contract
is private.
The recordkeepor of a class of assets is the entity (if any)
defined as such by, and bound by, its backing document. That
entity's report includes a list of all instances of that class and
their owners. This portion of that entity's report is
self-ratifying.
Create a power 3.0 rule, entitled "Ownership", with the following text:
Each asset has exactly one owner. If an asset's backing document
restricts its ownership to a class of entities, then that asset
CANNOT be gained by or transferred to an entity outside that
class, and is destroyed if it is owned by an entity outside that
class. The restrictions in the previous sentence are subject to
modification by its backing document. By default, ownership of an
asset is restricted to Agora, players, and contracts.
If an asset would otherwise lack an owner, it is owned by the Lost
and Found Department. Rules to the contrary notwithstanding, the
Lost and Found Department can own assets of every type. Assets owned
by the Lost and Found Department can be transferred or destroyed
by any player without objection.
Create a power 3.0 rule, entitled "Asset Actions", with the following text:
An asset generally CAN be destroyed by its owner by announcement,
subject to modification by its backing document. An indestructible
asset is one defined as such by it backing document, and CANNOT be
destroyed except by a proposal or rule, other than this one,
specifically addressing the destruction of indestructible assets
or that asset in particular; any other asset is destructible.
To "lose" an asset is to have it destroyed from one's possession;
to "revoke" an asset from an entity is to destroy it from that
entity's possession.
An asset generally CAN be transferred (syn. given) by
announcement by its owner to another entity, subject to
modification by its backing document. A fixed asset is one defined
as such by its backing document, and CANNOT be transferred; any
other asset is liquid.
When a rule indicates transferring an amount that is not a natural
number, the specified amount is rounded up to the nearest natural
number.
Create a power 3.0 rule, entitled "Currencies", with the following text:
A currency is a class of asset defined as such by its backing
document. Instances of a currency with the same owner are
fungible.
The "x balance of an entity", where x is a currency, is the number
of x that entity possesses. Where it resolves ambiguity, the asset or
currency being referred to is the currency designated as "Agora's
official currency", if there is one.
Create a power 3.0 rule, entitled "Fee-based Actions":
If the Rules associate payment of a set of assets (hereafter
the fee for the action; syns: cost, price, charge) with performing an
action, that action is a fee-based action.
If the fee is a non-integer quantity of a fungible asset, the actual
fee is the next highest integer amount of that asset.
To perform a fee-based action, an entity (the Actor) who is
otherwise permitted to perform the action must announce that e
is performing the action; the announcement must specify the
correct set of assets for the fee and indicate intent
to pay that fee for the sole purpose of performing the action.
Upon such an announcement:
- If the Rules specify a recipient for the fee, and the Actor
CAN transfer that specified fee from emself to the recipient,
then that fee is transferred from the Actor to the recipient
and the action is performed simultaneously;
- If the Rules do not specify a recipient, and the Actor CAN
destroy the specified fee in eir possession, then that fee
in eir possession is destroyed and the action is
performed simultaneously.
- Otherwise, no changes are made to asset holdings and the
action is not performed.
If the Rules define a fee-based action but the specified
set of assets is the empty set, then the action can be performed by
announcement, but the announcement must include that there
is an (empty or 0) fee for the action.
In Rule 2003, amend the text "Players CAN destroy:" to read "Players CAN
pay the listed fee to take the associated action:"
[I think that's the only rule that actually needs to be changed over.
Most of the other phrasings in the ruleset seem as if they'll transfer
over on there own. The only other case that I can see that won't is the
last paragraph of Rule 2551, "Auction End", which isn't really designed
to work in a fee-based way, and so actually shouldn't be switched over.]
