edict_compose
Combine multiple Edict program fragments into a single module by validating their provided and required declarations for incremental program generation.
Instructions
Compose multiple Edict program fragments into a single module. Fragments declare what they provide and require, enabling independent validation and incremental program generation.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| fragments | Yes | Array of Edict fragment ASTs to compose | |
| moduleName | No | Name for the composed module (default: 'composed') | |
| moduleId | No | ID for the composed module (default: 'mod-composed-001') | |
| check | No | If true, run the full type/effect/contract pipeline on the composed module |