Minimal Core

First-class unit of behavior. turn { ... } defines a control cycle — one step of agent execution. Closures are turn(args) -> Type { ... }.

Bounded working context managed by the runtime. The language enforces |context| ≤ N — no unbounded lists.

Persistent process memory as a primitive store. remember(key, value) writes; recall(key) reads. Returns null when key is missing.

External effects suspend execution and resume with a value. call(tool_name, arg) is the single suspension boundary — enables deterministic replay.

Probabilistic effect returning a typed value. infer Type { prompt } invokes an LLM with cognitive type safety — the runtime validates the schema.

Explicit durable checkpoint. suspend; writes the entire VM state to disk for orthogonal persistence.

Actor-style concurrency. spawn turn() { ... } creates an isolated process with its own state and mailbox.