Module engine 

The propagation engine: front door propagate, pipeline in sort_merge.

See design doc §8 (loop) and §5 (sort-merge pipeline).

Modules

sort_merge

Sort-merge propagation pipeline: scan → bucket → merge. See §5.

Enums

Direction

Propagation direction.

Functions

propagate

Propagate initial through circuit under policy.