Spectre.Execution.Work (Spectre v0.3.0)

Compile-time DSL for declarative data-driven Work programs.

The macros emit ordinary data and compile it through Spectre.Execution.Program. Runtime-authored maps use the same constructor, so compiled and runtime origins share the exact program IR and interpreter.

Summary

Functions

decide(id, opts)

Declares one pure registered predicate branch.

fail(id, reason)

Declares a terminal failure node.

finish(id)

Declares a terminal completion node returning current state.

finish(id, opts)

Declares a terminal completion node.

infer(id, opts)

Declares one registered cognitive inference step.

migration(from, opts)

Declares a pure registered state migration into this program version.

repeat(id, opts)

Declares one bounded repeat control node.

step(id, opts)

Declares one registered operation step.

Functions

decide(id, opts)

(macro)

Declares one pure registered predicate branch.

fail(id, reason)

(macro)

Declares a terminal failure node.

finish(id)

(macro)

Declares a terminal completion node returning current state.

finish(id, opts)

(macro)

Declares a terminal completion node.

infer(id, opts)

(macro)

Declares one registered cognitive inference step.

migration(from, opts)

(macro)

Declares a pure registered state migration into this program version.

repeat(id, opts)

(macro)

Declares one bounded repeat control node.

step(id, opts)

(macro)

Declares one registered operation step.