Module engine 

Structs

BuildProgress

How far a rule’s vector index has got, for a rule whose build did not fit in one commit.

EngineEdgeDelta

A single derived-edge fire or retract captured during a commit.

GraphMut

Borrowed mutable view of graph state the engine writes derived edges into.

RuleEngine

Constants

DEFAULT_MAX_EDGES

Used when RuleDef.max_edges is None.

MAX_CHAIN_DEPTH

How many chained levels a single write may cascade through.

Type Aliases

RuleIvfExport

IVF state for both sides (src, dst) of one approximate rule.

SideIvfExport

IVF state for one index side, exported for V4 snapshot persistence: (centroids, node→cluster assignments, drift_counter).