Constant DEFAULT_SEARCH_DEADLINE_MS 

pub const DEFAULT_SEARCH_DEADLINE_MS: u64 = 5000;

Default per-workspace deadline for an all fan-out search (SPEC-0014 R33).