Law Stone

Overview

The axone-law-stone smart contract aims to provide GaaS (i.e. Governance as a Service) in any Cosmos blockchains using the CosmWasm framework and the Logic AXONE module.

This contract is built around a Prolog program describing the law by rules and facts. The law stone is immutable, this means it can only be questioned, there are no update mechanisms.

The axone-law-stone responsibility is to guarantee the availability of its rules in order to question them, but not to ensure the rules application.

To ensure reliability over time, the associated Prolog program is stored and pinned in a axone-objectarium contract. Moreover, all the eventual loaded files must be stored in a axone-objectarium contract as well, allowing the contract to pin them.

To be able to free the underlying resources (i.e. objects in axone-objectarium) if not used anymore, the contract admin can break the stone.

➡️ Checkout the examples for usage information.

InstantiateMsg

Instantiate message

parameter	description
program	_(Required.) _ Binary. The Prolog program carrying law rules and facts.
storage_address	_(Required.) _ string. The axone-objectarium contract address on which to store the law program.

ExecuteMsg

Execute messages

ExecuteMsg::BreakStone

Break the stone making this contract unusable, by clearing all the related resources: - Unpin all the pinned objects on axone-objectarium contracts, if any. - Forget the main program (i.e. or at least unpin it).

Only the creator address (the address that instantiated the contract) is authorized to invoke this message. If already broken, this is a no-op.

parameter	description
break_stone	_(Required.) _ object.

QueryMsg

Query messages

QueryMsg::Ask

Submits a Prolog query string to the Logic module, evaluating it against the law program associated with this contract.

If the law stone is broken the query returns a response with the error error(system_error(broken_law_stone),root) set in the answer field.

parameter	description
ask	_(Required.) _ object.
ask.query	_(Required.) _ string.

QueryMsg::Program

Retrieves the location metadata of the law program bound to this contract.

This includes the contract address of the objectarium and the program object ID, where the law program's code can be accessed.

parameter	description
program	_(Required.) _ object.

QueryMsg::ProgramCode

Fetches the raw code of the law program tied to this contract.

If the law stone is broken, the query may fail if the program is no longer available in the Objectarium.

parameter	description
program_code	_(Required.) _ object.

Responses

ask

property	description
answer	Answer|null.
gas_used	_(Required.) _ integer.
height	_(Required.) _ integer.
user_output	string|null.

program

ProgramResponse carry elements to locate the program in a axone-objectarium contract.

property	description
object_id	_(Required.) _ string. The program object id in the axone-objectarium contract.
storage_address	_(Required.) _ string. The axone-objectarium contract address on which the law program is stored.

program_code

Binary is a wrapper around Vec<u8> to add base64 de/serialization with serde. It also adds some helper methods to help encode inline.

This is only needed as serde-json-{core,wasm} has a horrible encoding for Vec<u8>. See also <https://github.com/CosmWasm/cosmwasm/blob/main/docs/MESSAGE_TYPES.md>.

type
string.

Definitions

Answer

property	description
has_more	_(Required.) _ boolean.
results	_(Required.) _ Array<Result>.
variables	_(Required.) _ Array<string>.

Binary

A string containing Base64-encoded data.

type
string.

Result

property	description
error	string|null.
substitutions	_(Required.) _ Array<Substitution>.

Substitution

property	description
expression	_(Required.) _ string.
variable	_(Required.) _ string.

---

Rendered by Fadroma (@fadroma/schema 1.1.0) from axone-law-stone.json (f8eb198b23eb9c74)