Crate intent_runtime 

Stateless runtime for IntentLang specifications.

Evaluates IR expressions against concrete JSON values, enabling precondition/postcondition checking and invariant verification at runtime.

Re-exports

pub use test_runner::TestResult;

pub use test_runner::run_tests;

Modules

test_runner

Test runner for IntentLang spec-level tests.

Structs

ActionRequest

Request to execute an action against current state.

ActionResult

Result of executing an action.

EvalContext

Context for expression evaluation.

Violation

A constraint violation.

Enums

RuntimeError

Errors that can occur during expression evaluation.

ViolationKind

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.