Constant FJ_DELTA_MAX_DOMAIN 

pub const FJ_DELTA_MAX_DOMAIN: u32 = _; // 65_536u32

Dense-domain bound for the spike bitmap (domain²/8 bytes = 512 MB at the bound; gate fixtures use domain ≤ 2^13).