Module index 

Request-local device index construction from compiled relation buffers.

This module is reserved for the native bounded exact-induction engine’s pair-membership and argument-grouped indexes for batched topology scoring.