MOI Manifests for PISA

Logic Manifest Standard

A Logic Manifest is used to deploy logics to the MOI Protocol. It is a composite artifact that describes the bytecode, the interfaces (ABI) and other parameters for the runtime of choice. It can be represented in encoding formats such as JSON or YAML as it is designed to be human-readable. The MOI Protocol, however, expects the Manifest to be encoded with POLO when sending it in an IxLogicDeploy interaction.

sarvalabs.notion.site

Introduction

LogicLab is a sandbox playground environment for compiling manifest into logics, simulating logic calls and participant interactions with logics on MOI. It has capabilities to handle basic argument parsing and is agnostic to engine runtime implementations but currently only supports PISA.

Compiling on Logiclab

1. Generate a compiled manifest using the Coco compiler
2. Start the CLI session with logiclab start
3. Register a participant using register [username]
4. Designate a participant as the sender, as a sender is needed to deploy a module
5. Compile the manifest with compile [name] from manifest("[filepath]")
6. Verify the presence of compiled logic with logics command
7. Deploy persistent state using deploy [module].<deployer>()
8. Invoke any module function with invoke [module].<invokable>()

Converting Manifest Formats

Converting manifests between encoding schemes can be done with the manifest utility. The given manifest at the filepath is decoded and printed in the encoding of choice. Returns indented and formatted data for JSON and YAML, and hex string for POLO.

manifest("[filepath]") as [encoding]

Converting Instruction Formats

Easily transform the instructions from the manifest at the specified filepath into your preferred format: hex, asm, or bin. Embrace the simplicity and precision as you navigate through your code's instruction journey with readability and efficiency

convert manifest("[filepath]") into [instruction format]