pub type SolveWitnessFn = fn(&dyn Any) -> Option<(Vec<usize>, String)>;
Function pointer type for brute-force witness solve dispatch.