Expand description
Stateless runtime for IntentLang specifications.
Evaluates IR expressions against concrete JSON values, enabling precondition/postcondition checking and invariant verification at runtime.
Structs§
- Action
Request - Request to execute an action against current state.
- Action
Result - Result of executing an action.
- Eval
Context - Context for expression evaluation.
- Violation
- A constraint violation.
Enums§
- Runtime
Error - Errors that can occur during expression evaluation.
- Violation
Kind
Functions§
- evaluate
- Evaluate an IR expression against a context of concrete values.
- execute_
action - Execute an action against the given module and state.
- serve
- Serve a compiled module as a REST API.