Repository navigation

PiPNN 2/6: add numerical kernels - #1287

Merged

weiyaoluo (SeliMeli) merged 143 commits into

mainfrom

pipnn-stack/01-kernels

Sep 24, 2026

Merged

PiPNN 2/6: add numerical kernels#1287
weiyaoluo (SeliMeli) merged 143 commits into
mainfrom
pipnn-stack/01-kernels

Commits on Sep 4, 2026
- linalg: add fallible lower-triangular AAT kernel
  weiyaoluo (SeliMeli)
  committed
  ae6886b
- pipnn: add dispatched numerical kernels
  weiyaoluo (SeliMeli)
  committed
  8da96e4
- pipnn: benchmark and exercise numerical kernels
  weiyaoluo (SeliMeli)
  committed
  15d8365
- pipnn: harden kernel coverage and benchmarks
  weiyaoluo (SeliMeli)
  committed
  5b56fda
- fix(pipnn): accept finite maximum distances
  weiyaoluo (SeliMeli)
  committed
  846bf59
- refactor(pipnn): make kernels architecture-neutral
  weiyaoluo (SeliMeli)
  committed
  35f65ca
- fix(pipnn): preserve NaN distances across SIMD backends
  weiyaoluo (SeliMeli)
  committed
  b25d701
- docs(pipnn): explain numerical kernel invariants
  weiyaoluo (SeliMeli)
  committed
  7ba81b6
- test(pipnn): name SIMD metric boundary matrices
  weiyaoluo (SeliMeli)
  committed
  0090fea
- fix(pipnn): preserve dispatched kernel semantics
  weiyaoluo (SeliMeli)
  committed
  03277f6
- style(wide): format array trait bounds
  weiyaoluo (SeliMeli)
  committed
  218cc38
- fix(pipnn): address kernel review feedback
  weiyaoluo (SeliMeli)
  committed
  b7cd61d
- refactor(pipnn)!: prepare kernel dispatch
  weiyaoluo (SeliMeli)
  committed
  7153969
- docs(pipnn): describe full crate scope
  weiyaoluo (SeliMeli)
  committed
  ad2d7dc
- docs(pipnn): map dispatch hot paths
  weiyaoluo (SeliMeli)
  committed
  7025c22
- test(pipnn): confine traversal references
  weiyaoluo (SeliMeli)
  committed
  d16d946
- refactor(pipnn): name metric visitor by action
  weiyaoluo (SeliMeli)
  committed
  da45d8e
- refactor(pipnn): carry dynamic leaf width
  weiyaoluo (SeliMeli)
  committed
  699d11b
- refactor(pipnn)!: clarify point and neighbor roles
  weiyaoluo (SeliMeli)
  committed
  400e91a
- docs(pipnn): explain kernel pipeline
  weiyaoluo (SeliMeli)
  committed
  afe1d38
- docs(pipnn): state cosine threshold
  weiyaoluo (SeliMeli)
  committed
  d4a1230
- refactor(pipnn): move kernels into diskann graph
  weiyaoluo (SeliMeli)
  committed
  85ec4cc
- test(pipnn): document fixture panic policy
  weiyaoluo (SeliMeli)
  committed
  e3d20a6
- ci(pipnn): cover the in-crate feature
  weiyaoluo (SeliMeli)
  committed
  1bf66b2
- bench(pipnn): add IAI kernel microbenchmarks
  weiyaoluo (SeliMeli)
  committed
  44fb69a
- fix(ci): use workspace feature name for pipnn
  weiyaoluo (SeliMeli)
  committed
  318f8ea
- fix(ci): validate every stacked layer
  weiyaoluo (SeliMeli)
  committed
  c13226d
- ci(pipnn): run IAI and ARM feature gates
  weiyaoluo (SeliMeli)
  committed
  22ca492
- test(pipnn): keep regression tooling local
  weiyaoluo (SeliMeli)
  committed
  db4b711
- ci(pipnn): validate numerical feature
  weiyaoluo (SeliMeli)
  committed
  6dfc07b
- fix(pipnn): enforce SIMD safety invariants
  weiyaoluo (SeliMeli)
  committed
  8ce46fc
- refactor(pipnn): pass leaf matrices directly
  weiyaoluo (SeliMeli)
  committed
  1d49dab
- refactor(pipnn): cap leaf kernel at k three
  weiyaoluo (SeliMeli)
  committed
  ad19c82
- fix(pipnn): return errors for invalid leaf widths
  weiyaoluo (SeliMeli)
  committed
  9628de5
- fix(utils): reject overflowing matrix shapes
  weiyaoluo (SeliMeli)
  committed
  88d06c1
- refactor(pipnn): trust validated matrix views
  weiyaoluo (SeliMeli)
  committed
  6f23dee
- perf(pipnn): retain measured fixed-k insertion
  weiyaoluo (SeliMeli)
  committed
  88f6f72
- docs(pipnn): remove stale dynamic-k reference
  weiyaoluo (SeliMeli)
  committed
  815c2a4
- refactor(pipnn): constrain SIMD lanes locally
  weiyaoluo (SeliMeli)
  committed
  bf989e2
- refactor(pipnn): remove stored kernel pointers
  weiyaoluo (SeliMeli)
  committed
  51684ad
- test(pipnn): cover runtime partition fanout
  weiyaoluo (SeliMeli)
  committed
  98be0dc
- refactor(pipnn): make kernels generic-only
  weiyaoluo (SeliMeli)
  committed
  96ceb24
- refactor(pipnn): keep numerical kernels private
  weiyaoluo (SeliMeli)
  committed
  465a96b
- refactor(pipnn): use default kernel workspaces
  weiyaoluo (SeliMeli)
  committed
  32d6524
- docs(pipnn): align kernel comments with implementation
  weiyaoluo (SeliMeli)
  committed
  038c069
- docs(pipnn): remove kernel performance notes
  weiyaoluo (SeliMeli)
  committed
  df9061a
- refactor(pipnn): report partition underfill locally
  weiyaoluo (SeliMeli)
  committed
  aa948a6
- refactor(pipnn): remove unused leaf output helper
  weiyaoluo (SeliMeli)
  committed
  163cff7
- refactor(pipnn): remove kernel assertions
  weiyaoluo (SeliMeli)
  committed
  f945817
- docs(pipnn): state partition row contract
  weiyaoluo (SeliMeli)
  committed
  6d0dc2b
- refactor(pipnn): name kernel responsibilities
  weiyaoluo (SeliMeli)
  committed
  b7e4db7
- docs(pipnn): define partition leader semantics
  weiyaoluo (SeliMeli)
  committed
  bf7cead
- docs(pipnn): state norm conversion behavior
  weiyaoluo (SeliMeli)
  committed
  fd0f4e2
- refactor(pipnn): name fixed-width leaf scan
  weiyaoluo (SeliMeli)
  committed
  6671cc8
- docs(pipnn): remove type-restatement comments
  weiyaoluo (SeliMeli)
  committed
  b40d54c
- docs(pipnn): describe leaf insertion by domain role
  weiyaoluo (SeliMeli)
  committed
  1813388
- refactor(pipnn): name kernel test helpers
  weiyaoluo (SeliMeli)
  committed
  fe5a29c
- refactor(pipnn): inline fixed-width leaf dispatch
  weiyaoluo (SeliMeli)
  committed
  e707437
- refactor(pipnn): inline leader ID publication
  weiyaoluo (SeliMeli)
  committed
  a1bdc73
- refactor(matrix): preserve constructor behavior
  weiyaoluo (SeliMeli)
  committed
  1f8ae26
- refactor(pipnn): split stage metric contracts
  weiyaoluo (SeliMeli)
  committed
  617e746
- perf(pipnn): specialize stage norm handling
  weiyaoluo (SeliMeli)
  committed
  05ad4da
- docs(pipnn): use active metric comments
  weiyaoluo (SeliMeli)
  committed
  dc5cdba
- test(pipnn): use norm-specific terminology
  weiyaoluo (SeliMeli)
  committed
  e32b0a3
- perf(pipnn): bound leaf SIMD prefix once
  weiyaoluo (SeliMeli)
  committed
  00b69ce
- refactor(pipnn): remove metric tag indirection
  weiyaoluo (SeliMeli)
  committed
  21885e6
- docs(pipnn): keep metric comments factual
  weiyaoluo (SeliMeli)
  committed
  803f981
- refactor(pipnn): pass prepared norms to kernels
  weiyaoluo (SeliMeli)
  committed
  b28d67a
- perf(pipnn): specialize prepared norm layouts
  weiyaoluo (SeliMeli)
  committed
  afbb576
- perf(pipnn): reuse each leaf source norm
  weiyaoluo (SeliMeli)
  committed
  17aea03
- refactor(pipnn): name prepared norm layouts
  weiyaoluo (SeliMeli)
  committed
  0dccf08
- refactor(pipnn): make metric types prepare norms
  weiyaoluo (SeliMeli)
  committed
  a3396a5
- refactor(pipnn): move norm policy into metric types
  weiyaoluo (SeliMeli)
  committed
  9d4342a
- test(utils): cover zero-wrapping matrix area
  weiyaoluo (SeliMeli)
  committed
  52bc12a
- refactor(pipnn): give metrics exact ranking inputs
  weiyaoluo (SeliMeli)
  committed
  cc82f9c
- refactor(pipnn): deepen numerical kernels
  weiyaoluo (SeliMeli)
  committed
  09704bd
- fix(pipnn): mark unrankable kernel slots
  weiyaoluo (SeliMeli)
  committed
  38cd3b5
- refactor(pipnn): centralize SIMD schema
  weiyaoluo (SeliMeli)
  committed
  b946ace
- refactor(pipnn): specialize sorted insertion
  weiyaoluo (SeliMeli)
  committed
  52973f5
- test(pipnn): clarify numerical contracts
  weiyaoluo (SeliMeli)
  committed
  f55a5d0
- test(pipnn): use semantic numerical fixtures
  weiyaoluo (SeliMeli)
  committed
  2de5c86
- refactor(wide): keep lane arrays read-only
  weiyaoluo (SeliMeli)
  committed
  d786552
- test(pipnn): clarify norm test names
  weiyaoluo (SeliMeli)
  committed
  17ea40f
- test(pipnn): cover SIMD and insertion contracts
  weiyaoluo (SeliMeli)
  committed
  a60773c
- refactor(pipnn): use one SIMD vector type
  weiyaoluo (SeliMeli)
  committed
  fca286a
- test(pipnn): expose production kernel calls
  weiyaoluo (SeliMeli)
  committed
  89d6071
- fix(pipnn): align metric edge cases
  weiyaoluo (SeliMeli)
  committed
  c35b944
- docs(pipnn): correct leaf width contract
  weiyaoluo (SeliMeli)
  committed
  816a34f
- ci(pipnn): run kernels under Miri
  weiyaoluo (SeliMeli)
  committed
  6844cfa
- test(pipnn): cover kernel behavior contracts
  weiyaoluo (SeliMeli)
  committed
  1f0a5f1
- refactor(pipnn): localize SIMD lane bounds
  weiyaoluo (SeliMeli)
  committed
  056bef7
- fix(pipnn): retarget worker SIMD kernels
  weiyaoluo (SeliMeli)
  committed
  5370050
- fix(pipnn): unify cosine norm reduction
  weiyaoluo (SeliMeli)
  committed
  01b7649
- test(linalg): assert zero-row success
  weiyaoluo (SeliMeli)
  committed
  c452181
- test(linalg): clarify zero-dimension result
  weiyaoluo (SeliMeli)
  committed
  57a2b7a
- refactor(pipnn): simplify metric kernels
  weiyaoluo (SeliMeli)
  committed
  6d825d3
- refactor(pipnn): remove metric architecture input
  weiyaoluo (SeliMeli)
  committed
  b46ecdd
Commits on Sep 7, 2026
- refactor(pipnn): simplify numerical seams
  weiyaoluo (SeliMeli)
  committed
  b3aade5
- refactor(pipnn): simplify leaf kernel flow
  weiyaoluo (SeliMeli)
  committed
  55fd99b
- refactor(pipnn): scan distance matrix views
  weiyaoluo (SeliMeli)
  committed
  adf0897
- refactor(pipnn): share top-k state and trim tests
  weiyaoluo (SeliMeli)
  committed
  b308086
Commits on Sep 8, 2026
- refactor(pipnn): simplify top-k insertion
  weiyaoluo (SeliMeli)
  committed
  5f85a35
- docs(pipnn): clarify ranking contracts
  weiyaoluo (SeliMeli)
  committed
  2c26d8b
- fix(pipnn): address kernel review feedback
  weiyaoluo (SeliMeli)
  committed
  00b8a5c
- refactor(pipnn): move distance blocks to topk
  weiyaoluo (SeliMeli)
  committed
  927ceb6
- test(pipnn): simplify partition row rejection
  weiyaoluo (SeliMeli)
  committed
  5ef1097
- refactor(pipnn): merge SIMD schema traits
  weiyaoluo (SeliMeli)
  committed
  f803283
Commits on Sep 9, 2026
- refactor(pipnn): encapsulate top-k updates
  weiyaoluo (SeliMeli)
  committed
  303ff6d
- test(pipnn): focus coverage on live contracts
  weiyaoluo (SeliMeli)
  committed
  4a3aed7
- refactor(pipnn): borrow top-k buffers per call
  weiyaoluo (SeliMeli)
  committed
  dc10909
Commits on Sep 10, 2026
Commits on Sep 16, 2026
- refactor(pipnn): model top-k width with types
  weiyaoluo (SeliMeli)
  committed
  5e4c08a
Commits on Sep 17, 2026
- refactor(pipnn): localize insertion slicing
  weiyaoluo (SeliMeli)
  committed
  08c2fba
- refactor(pipnn): name top-k update directions
  weiyaoluo (SeliMeli)
  committed
  1bc033d
- test(pipnn): cover numerical kernel matrices
  weiyaoluo (SeliMeli)
  committed
  fa560c3
- refactor(pipnn): simplify workspace access
  weiyaoluo (SeliMeli)
  committed
  d0f048d
- test(pipnn): clarify neighbor selection cases
  weiyaoluo (SeliMeli)
  committed
  4e75562
- test(pipnn): rewrite numerical kernel contracts
  weiyaoluo (SeliMeli)
  committed
  d3ae858
Commits on Sep 18, 2026
- refactor(pipnn): dispatch TopK with a visitor
  weiyaoluo (SeliMeli)
  committed
  4690241
- refactor(pipnn): reuse fast vector norms
  weiyaoluo (SeliMeli)
  committed
  34722b2
- test(linalg): share lower-product assertions
  weiyaoluo (SeliMeli)
  committed
  4c97081
- test(linalg): trim redundant GEMM shapes
  weiyaoluo (SeliMeli)
  committed
  5b853e0
- refactor(pipnn): defer matrix view hardening
  weiyaoluo (SeliMeli)
  committed
  9660547
- fix(pipnn): expect unwired kernels in PR2
  weiyaoluo (SeliMeli)
  committed
  166ac25
Commits on Sep 21, 2026
- docs(pipnn): track NEON validation in #1423
  weiyaoluo (SeliMeli)
  committed
  354918d
Commits on Sep 22, 2026
- docs(linalg): clarify lower-product storage
  weiyaoluo (SeliMeli)
  committed
  08f5fd0
- test(linalg): simplify lower-product assertions
  weiyaoluo (SeliMeli)
  committed
  8b85bf7
- test(pipnn): consolidate numeric sweeps
  weiyaoluo (SeliMeli)
  committed
  8e2d9d6
- refactor(pipnn): shorten SIMD trait name
  weiyaoluo (SeliMeli)
  committed
  a439b6b
- refactor(pipnn): align Width method naming
  weiyaoluo (SeliMeli)
  committed
  12dd73f
- ci(pipnn): focus Miri on TopK boundaries
  weiyaoluo (SeliMeli)
  committed
  9d45ac7
- ci(pipnn): separate ARM runner addition
  weiyaoluo (SeliMeli)
  committed
  6df51c8
- ci(pipnn): remove kernel tests from SDE
  weiyaoluo (SeliMeli)
  committed
  f673e95
- perf(pipnn): limit TopK specializations
  weiyaoluo (SeliMeli)
  committed
  470915d
- perf(pipnn): avoid duplicate threshold fills
  weiyaoluo (SeliMeli)
  committed
  5ecfd4a
- refactor(pipnn): bind TopK storage to rankers
  weiyaoluo (SeliMeli)
  committed
  e4c3edd
Commits on Sep 23, 2026
- refactor(pipnn): replace TopK rankers with direct selection
  weiyaoluo (SeliMeli)
  committed
  b0ccf73
- refactor(pipnn): check top-k shapes only in debug builds
  weiyaoluo (SeliMeli)
  committed
  cc6da38
Commits on Sep 24, 2026
- fix(pipnn): assert the vector lane count before group loads
  weiyaoluo (SeliMeli)
  committed
  e9c7ff4
- ci: run coverage with all features
  weiyaoluo (SeliMeli)
  committed
  6779f44

Commits

Commits on Sep 4, 2026

Commits on Sep 7, 2026

Commits on Sep 8, 2026

Commits on Sep 9, 2026

Commits on Sep 10, 2026

Commits on Sep 16, 2026

Commits on Sep 17, 2026

Commits on Sep 18, 2026

Commits on Sep 21, 2026

Commits on Sep 22, 2026