Issues

• Adopt ortho_config v0.10.0 for the chutoro CLI

  dependenciesenhancementmediumrefactortesting
  leynos/chutoro#362 · Filter by author leynos opened on Oct 29, 2026

• Weekly HNSW invariant property run times out at 1,500 seconds without bounded replay/progress evidence

  bugenhancementmediumperformancetesting
  leynos/chutoro#332 · Filter by author leynos opened on Oct 7, 2026

• Resolve dense SIMD conflict with unsafe-code baseline

  mediumrefactortesting
  leynos/chutoro#284 · Filter by author leynos opened on Sep 23, 2026

• Restore CodeScene gates configuration for coverage checks

  bugmedium
  leynos/chutoro#283 · Filter by author leynos opened on Sep 23, 2026

• Property-test the Rust source scanner the trybuild contract depends on

  enhancementlowtesting
  leynos/chutoro#273 · Filter by author leynos opened on Sep 18, 2026

• HNSW bootstrap can leave a node unreachable from the entry point

  bugmediumtesting
  leynos/chutoro#269 · Filter by author leynos opened on Sep 16, 2026

• The nightly portable-SIMD kernel has never been linted, and carries 13 findings

  buglowrefactor
  leynos/chutoro#268 · Filter by author leynos opened on Sep 16, 2026

• No durable telemetry for CI runner placement, so every placement argument is a manual log read

  enhancementperformance
  leynos/chutoro#265 · Filter by author leynos opened on Sep 15, 2026

• Dense SIMD parity suites have no slow-timeout override, so the weekly lane kills one at 60 s

  bugenhancementlowperformance
  leynos/chutoro#264 · Filter by author leynos opened on Sep 15, 2026
  1

• nightly-portable-simd never installs nightly, so its tests have never run

  bughightesting
  leynos/chutoro#262 · Filter by author leynos opened on Sep 15, 2026

• The scheduled benchmark baseline comparison has never succeeded

  bughighperformancetesting
  leynos/chutoro#261 · Filter by author leynos opened on Sep 15, 2026

• Investigate tractable Kani coverage for ConnectivityHealer base-layer healing

  enhancementperformancetesting
  leynos/chutoro#255 · Filter by author coderabbitai opened on Sep 8, 2026
  2

  

• Add the fifteen-second memory and disk sampler to the Linux CI jobs

  enhancementperformance
  leynos/chutoro#249 · Filter by author leynos opened on Sep 5, 2026

• find_test_binary picks a test harness when cargo splits the build directory

  bugmediumtesting
  leynos/chutoro#248 · Filter by author leynos opened on Sep 4, 2026

• Document the workflow-contract support helpers to the numpy standard

  documentationenhancement
  leynos/chutoro#246 · Filter by author leynos opened on Sep 4, 2026

• Add an authorized Namespace runner smoke validation

  enhancementlowtesting
  leynos/chutoro#241 · Filter by author leynos opened on Sep 2, 2026

• Property-test HNSW commit-batch sequencing for isolation transitions

  bugtesting
  leynos/chutoro#234 · Filter by author coderabbitai opened on Aug 24, 2026
  

• Decide and document the HNSW upper-layer isolation policy

  documentationenhancementtesting
  leynos/chutoro#233 · Filter by author coderabbitai opened on Aug 24, 2026
  

• Enforce the no-self-loop precondition in EdgeReconciler::ensure_reverse_edge

  buglowtesting
  leynos/chutoro#232 · Filter by author coderabbitai opened on Aug 24, 2026
  

• Flaky test: run_logs_empty_source_warning ('core.run span must exist')

  bugconcurrencylowtesting
  leynos/chutoro#230 · Filter by author leynos opened on Aug 24, 2026
  2

• Deferred test-hygiene refactors from the workspace test sweep

  lowrefactortesting
  leynos/chutoro#229 · Filter by author leynos opened on Aug 24, 2026
  2

• RecipeError::Cleanup discards the original phase error from the chain

  bugenhancementmedium
  leynos/chutoro#217 · Filter by author leynos opened on Aug 23, 2026

• PartialState::orphaned_cache_key is structurally always None but documented as populated

  bugdocumentationlowrefactor
  leynos/chutoro#216 · Filter by author leynos opened on Aug 23, 2026

• Document the proof-cost asymmetry: make verus blocks every PR while no Kani harness gates a merge

  documentationenhancementgithub-actionslowperformance
  leynos/chutoro#215 · Filter by author leynos opened on Aug 23, 2026

• No supply-chain gate: add deny.toml and a cargo-deny CI job before the dependency surface grows

  dependenciesenhancementgithub-actionshigh
  leynos/chutoro#214 · Filter by author leynos opened on Aug 23, 2026