pub fn is_perfect_square(n: u64) -> bool
Square-free check helper exposed for completeness (used by examples/tests).