This repository serves as a reference hub for detailed specifications of various Morley components. It is intended as a personal guide while developing and refining different aspects of the Morley ecosystem.
Each component has its own dedicated markdown file outlining its specifications, functionality, and technical details. These specifications will evolve as development progresses.
- ArkWriter General Specification – High-level overview of ArkWriter’s functionality and purpose.
- ArkWriter Plugin System – Initial architecture for extending ArkWriter with custom plugins.
- ArkTracer Debugging Specification – Defines ArkTracer’s role as a debugging tool for Morley-Plutus contracts.
- ArkRedeem UTXO Migration System – Describes how ArkWriter handles UTXO migrations for smart contract upgrades.
- ArkHunter Simulation Specification – Defines how ArkHunter models and evaluates Cardano network parameter changes.
- Ladder Logic to Plutus Compiler – Details the compiler pipeline that translates Ladder Logic into Plutus smart contracts.
- Reverse Compiler – Specifies how Plutus scripts can be converted back into Ladder Logic.
- Mappings Specification – Defines instruction mappings for Ladder Logic, Structured Text, and IR.
- Testing & Validation – Covers test cases and validation frameworks for Morley execution models.
- Morley Time Logic Specification – Defines the hybrid 2-layer methodology for handling forward and reverse time logic across L1 and other execution environments.
- Morley API Plan – High-level outline of potential Morley API endpoints and usage scenarios.
- Morley-Plutus Dual-Script Architecture – Defines how Morley-Plutus contracts interact across L1 and sidechains, ensuring adaptability.
- Morley Bridge Specification – Details the bridging mechanism for Morley execution between L1, Hydra, and sidechains.
- Morley-Hydra Execution Specification – Defines how Morley contracts interact with Hydra for high-speed execution.
- Morley-Midgard Sidechain Specification – Preliminary outline for deploying Morley contracts on a Midgard-based sidechain.
- Morley Execution Simulator – A specification for simulating Morley-Plutus execution to test contract logic and performance.
- Morley Website Specification – Documentation for managing, updating, and improving the Morley website.
Support real-time execution (Hydra/Midgard/Sidechains) and slot-based enforcement (Cardano L1) while ensuring Plutus scripts can be compiled and reverse compiled into Ladder Logic.
- Convert Ladder Logic Timers into Plutus Constraints
- Support Hydra/Midgard execution without L1 slot constraints
- Encode timestamps into datums when storing state on-chain
This repository is primarily for internal reference and iterative documentation. Updates and additions will be made as components are refined.
Planned specifications for additional components will be added as needed to support the ongoing development of Morley.
For more information about the Morley ecosystem, visit morleylang.org.
The content in this repository is licensed under the Creative Commons Attribution 4.0 International (CC-BY-4.0).
This means you are free to use, share, and adapt the specifications, provided proper attribution is given.
For details, see the full license here.