All pull requests

Pull requests

• Document the proof-cost asymmetry for Verus and Kani (#215)

  #404·leynos opened Nov 11, 2026Owner·

  ·
  1

  2

• Score trim jobs on the insert mutex holder (#378)

  Issue
  #386·leynos opened Nov 11, 2026Owner·3/9·

  ·
  12

• Consolidate duplicated test data-source and parquet fixtures (#141)

  Issue
  #383·leynos opened Nov 10, 2026Owner·

  ·
  1

  34

• Build(deps): bump DavidAnson/markdownlint-cli2-action from 24.2.0 to 25.0.0

  dependenciesgithub-actions
  #371·dependabot[bot] opened Nov 2, 2026Bot·

  ·
  1

• Extract oversized core integration test modules

  #296·leynos opened Sep 24, 2026Owner·9/9·

  ·
  6

• Separate HNSW benchmark environment tests

  #295·leynos opened Sep 24, 2026Owner·8/9·

  ·
  14

• Move Chutoro orchestration into mod.rs

  #294·leynos opened Sep 24, 2026Owner·7/9·

  ·
  6

• Exclude generated Verus Markdown from formatting

  #293·leynos opened Sep 24, 2026Owner·6/9·

  ·
  10

• Use Oxford spelling across Rust code and guides

  #292·leynos opened Sep 24, 2026Owner·5/9·

  ·
  8

• Make HNSW test fixtures fallible

  #291·leynos opened Sep 24, 2026Owner·4/9·

  ·
  43

• Verify poisoned graph locks under stable LLVM

  #290·leynos opened Sep 23, 2026Owner·2/9·

  ·
  151

• Build(deps): bump rand from 0.8.7 to 0.9.5

  cargodependencies
  #238·dependabot[bot] opened Aug 31, 2026Bot·

  ·
  1

• Build(deps): bump criterion from 0.5.1 to 0.8.2

  cargodependencies
  #236·dependabot[bot] opened Aug 31, 2026Bot·

  ·
  1

• Plan: Implement shared download primitives (10.1.2)

  #199·leynos opened Aug 16, 2026Owner·

  ·
  3

• Plan: Vectorize edge-weight transforms and candidate filtering (2.3.2)

  #198·leynos opened Aug 16, 2026Owner·

  ·
  3

• Add execplan for ClusteringSession::refresh (11.2.1)

  #185·lodyai[bot] opened Jul 22, 2026Bot·

  ·
  7

• Document mutation-testing workflow contract tests

  #183·leynos opened Jul 19, 2026Owner·1 of 2 tasks·

  ·
  2

• Build(deps): bump test-strategy from 0.4.3 to 0.4.5

  #105·dependabot[bot] opened Mar 2, 2026Bot·

  ·
  2