Module planning 

Planning module for Lemma documents

This module performs complete static analysis and builds execution plans:

• Builds Graph with facts and rules (validated, with types computed)
• Builds ExecutionPlan from Graph (topologically sorted, ready for evaluation)
• Validates document structure and references

Re-exports

pub use execution_plan::Branch;

pub use execution_plan::ExecutableRule;

pub use execution_plan::ExecutionPlan;

pub use types::TypeRegistry;

Modules

execution_plan

Execution plan for evaluated documents

graph

types

Type registry for managing custom type definitions and resolution

validation

Semantic validation for Lemma documents

Functions

plan

Builds an execution plan from Lemma documents.