-{"contract_name":"okp4-law-stone","contract_version":"2.0.0","idl_version":"1.0.0","instantiate":{"$schema":"http://json-schema.org/draft-07/schema#","title":"InstantiateMsg","description":"Instantiate message","type":"object","required":["program","storage_address"],"properties":{"program":{"description":"The Prolog program carrying law rules and facts.","allOf":[{"$ref":"./okp4-law-stone.json/#/definitions/Binary"}]},"storage_address":{"description":"The `okp4-objectarium` contract address on which to store the law program.","type":"string"}},"additionalProperties":false,"definitions":{"Binary":{"description":"Binary is a wrapper around Vec<u8> to add base64 de/serialization with serde. It also adds some helper methods to help encode inline.\n\nThis 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"}}},"execute":{"$schema":"http://json-schema.org/draft-07/schema#","title":"ExecuteMsg","description":"Execute messages","oneOf":[{"title":"BreakStone","description":"Break the stone making this contract unusable, by clearing all the related resources: - Unpin all the pinned objects on `okp4-objectarium` contracts, if any. - Forget the main program (i.e. or at least unpin it). Only the contract admin is authorized to break it, if any. If already broken, this is a no-op.","type":"string","enum":["break_stone"]}]},"query":{"$schema":"http://json-schema.org/draft-07/schema#","title":"QueryMsg","description":"Query messages","oneOf":[{"title":"Ask","description":"If not broken, ask the logic module the provided query with the law program loaded.","type":"object","required":["ask"],"properties":{"ask":{"type":"object","required":["query"],"properties":{"query":{"type":"string"}},"additionalProperties":false}},"additionalProperties":false},{"title":"Program","description":"If not broken, returns the law program location information.","type":"string","enum":["program"]}]},"migrate":null,"sudo":null,"responses":{"ask":{"$schema":"http://json-schema.org/draft-07/schema#","title":"AskResponse","type":"object","required":["gas_used","height"],"properties":{"answer":{"anyOf":[{"$ref":"./okp4-law-stone.json/#/definitions/Answer"},{"type":"null"}]},"gas_used":{"type":"integer","format":"uint64","minimum":0},"height":{"type":"integer","format":"uint64","minimum":0}},"definitions":{"Answer":{"type":"object","required":["has_more","results","success","variables"],"properties":{"has_more":{"type":"boolean"},"results":{"type":"array","items":{"$ref":"./okp4-law-stone.json/#/definitions/Result"}},"success":{"type":"boolean"},"variables":{"type":"array","items":{"type":"string"}}}},"Result":{"type":"object","required":["substitutions"],"properties":{"substitutions":{"type":"array","items":{"$ref":"./okp4-law-stone.json/#/definitions/Substitution"}}}},"Substitution":{"type":"object","required":["term","variable"],"properties":{"term":{"$ref":"./okp4-law-stone.json/#/definitions/Term"},"variable":{"type":"string"}}},"Term":{"type":"object","required":["arguments","name"],"properties":{"arguments":{"type":"array","items":{"$ref":"./okp4-law-stone.json/#/definitions/Term"}},"name":{"type":"string"}}}}},"program":{"$schema":"http://json-schema.org/draft-07/schema#","title":"ProgramResponse","description":"ProgramResponse carry elements to locate the program in a `okp4-objectarium` contract.","type":"object","required":["object_id","storage_address"],"properties":{"object_id":{"description":"The program object id in the `okp4-objectarium` contract.","type":"string"},"storage_address":{"description":"The `okp4-objectarium` contract address on which the law program is stored.","type":"string"}},"additionalProperties":false}},"description":"# Law Stone\n\n## Overview\n\nThe `okp4-law-stone` smart contract aims to provide GaaS (i.e. Governance as a Service) in any [Cosmos blockchains](https://cosmos.network/) using the [CosmWasm](https://cosmwasm.com/) framework and the [Logic](https://docs.okp4.network/modules/next/logic) OKP4 module.\n\nThis contract is built around a Prolog program describing the law by rules and facts. The law stone is immutable, this means it can only been questioned, there is no update mechanisms.\n\nThe `okp4-law-stone` responsibility is to guarantee the availability of its rules in order to question them, but not to ensure the rules application.\n\nTo ensure reliability over time, the associated Prolog program is stored and pinned in a `okp4-objectarium` contract. Moreover, all the eventual loaded files must be stored in a `okp4-objectarium` contract as well, allowing the contract to pin them.\n\nTo be able to free the underlying resources (i.e. objects in `okp4-objectarium`) if not used anymore, the contract admin can break the stone.\n\n➡️ Checkout the [examples](https://github.com/okp4/contracts/tree/main/contracts/okp4-law-stone/examples/) for usage information.","title":"okp4-law-stone"}
0 commit comments