Issues

• Put a note in claude.md to mark PRs as draft while they're stacked on an open PR

  pyca/verified-garbage#1023 · Filter by author gaynor-anthropic opened on Oct 5, 2026

• Out-of-place AEAD encryption for AES-GCM and ChaCha20-Poly1305 (for TLS record layers)

  pyca/verified-garbage#990 · Filter by author alex opened on Oct 5, 2026
  1

• Choosing an implementation can get slower, or fall back to the baseline, without blocking a merge

  pyca/verified-garbage#676 · Filter by author reaperhulk opened on Oct 3, 2026

• Improved dispatch logic

  pyca/verified-garbage#438 · Filter by author reaperhulk opened on Oct 1, 2026

• Move SHA-384 and SHA-512/224, SHA-512/256 digest truncation into verified finalizers

  pyca/verified-garbage#412 · Filter by author reaperhulk opened on Oct 1, 2026

• Various findings we should address

  pyca/verified-garbage#343 · Filter by author gaynor-anthropic opened on Sep 30, 2026
  4

• Missing Windows unwind metadata for generated ARM64 and x86-64 functions

  pyca/verified-garbage#342 · Filter by author reaperhulk opened on Sep 30, 2026

• Investigate using kani to bridge rust verification to lean

  pyca/verified-garbage#135 · Filter by author gaynor-anthropic opened on Sep 28, 2026

• add ppc64le

  pyca/verified-garbage#55 · Filter by author alex opened on Sep 27, 2026

• Implement all algorithms

  pyca/verified-garbage#1 · Filter by author alex opened on Sep 27, 2026