ci(pipnn): run kernels under Miri

Author: SeliMeli

.github/workflows/nightly.yml

@@ -135,3 +135,14 @@ jobs:
         run: cargo +nightly miri nextest run --locked --package diskann-quantization
         env:
           MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance
+
+      - name: PiPNN numerical pointer boundaries
+        env:
+          MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance
+        run: |
+          cargo +nightly miri test --locked -p diskann --features pipnn --lib \
+            graph::pipnn::leaf_kernel::tests::rank_leaf_dots_tests::zero_target_norm_remains_rankable_in_a_complete_simd_group_with_cosine \
+            -- --exact
+          cargo +nightly miri test --locked -p diskann --features pipnn --lib \
+            graph::pipnn::partition_kernel::tests::rank_leader_dots_tests::zero_point_norm_keeps_first_leader_in_a_complete_simd_group_with_cosine \
+            -- --exact