Type Alias FoldResolverHandle 

pub type FoldResolverHandle = Arc<dyn FoldResolver + Send + Sync>;

VM.3i: the same handle convention for zj / zk’s fold edges. The host builds one from its fold table for a dispatch; the grammar sees a bare &dyn FoldResolver.

Aliased Type

pub struct FoldResolverHandle { /* private fields */ }