Module engine 

Logic engine trait and paradigm enumeration.

Every logic paradigm in the system is represented by a Paradigm variant and implemented by a type that satisfies LogicEngine. The meta-engine (Figure 26) uses the engine registry to route AST nodes to the correct evaluator at runtime without allocation.

Structs

EngineId

Stable integer identifier for an engine instance. Used in logic traces so the trace is self-describing.

EvalContext

Opaque evaluation context passed through the pipeline.

Enums

ContextValue

Values that can appear in evaluation context slots.

EngineError

Errors that a logic engine can return.

Paradigm

All supported logic paradigms, ordered for stable bit-mapping.

Traits

LogicEngine

The core trait every logic engine must implement.