Issues

• Anneal: context-bound project service for batch verification, embedded Lean, LSP, and MCP

  google/zerocopy#3733 · Filter by author joshlf opened on Sep 30, 2026
  5

• [anneal][reference] Architectural histories and engineering theory: 100 judgment-driven studies

  google/zerocopy#3732 · Filter by author joshlf opened on Sep 30, 2026

• [anneal][reference] Validate the batch/LSP/MCP design: 159 consolidated investigations

  google/zerocopy#3731 · Filter by author joshlf opened on Sep 29, 2026
  1

• Support transmutes requiring fix-up

  customer-request
  google/zerocopy#3714 · Filter by author joshlf opened on Sep 23, 2026
  1

• [pointer] Unify validity transport with Reverse<Before>

  google/zerocopy#3706 · Filter by author joshlf opened on Sep 18, 2026

• [pointer] Make validity transport Safe-based and cast-relative

  google/zerocopy#3703 · Filter by author joshlf opened on Sep 18, 2026

• [anneal] Make no-Lean-required UX constraint explicit in V2 proof-authoring docs

  google/zerocopy#3697 · Filter by author joshlf opened on Sep 17, 2026

• [anneal] Reconcile V2 coverage requirements with all-program-behaviors principle

  google/zerocopy#3696 · Filter by author joshlf opened on Sep 17, 2026

• [anneal] Reconcile agent documentation authority with top-level principles

  google/zerocopy#3695 · Filter by author joshlf opened on Sep 17, 2026

• [pointer] Require size equality in impl_for_transmute_from!

  google/zerocopy#3691 · Filter by author joshlf opened on Sep 17, 2026
  1

• [ptr] Factor by-value transmutation through a valid-only Value<T>

  google/zerocopy#3689 · Filter by author joshlf opened on Sep 17, 2026
  1

• [ptr] Model by-value transmutation separately from Ptr

  google/zerocopy#3688 · Filter by author joshlf opened on Sep 16, 2026
  1

• [ptr] Simplify the conceptual model for pointer transmutes

  google/zerocopy#3686 · Filter by author joshlf opened on Sep 16, 2026
  1

• Simplify unsafe Rust skill

  google/zerocopy#3683 · Filter by author joshlf opened on Sep 13, 2026

• Clarify and simplify Anneal's Lake integration

  google/zerocopy#3668 · Filter by author joshlf opened on Sep 11, 2026

• Audit: Maximum number of fields in derived types in the ecosystem

  google/zerocopy#3667 · Filter by author joshlf opened on Sep 11, 2026

• Add a way to construct Size Errors, etc

  customer-request
  google/zerocopy#3666 · Filter by author AaronKutch opened on Sep 9, 2026

• Unsafe Rust skill: Be more strict about exhaustive Rust version enumeration

  google/zerocopy#3643 · Filter by author joshlf opened on Sep 6, 2026

• Yank vulnerable versions

  google/zerocopy#3642 · Filter by author joshlf opened on Sep 6, 2026
  1

• Remove the pre-Rust-1.79 raw-slice metadata fallback once the MSRV permits ptr.len()

  google/zerocopy#3641 · Filter by author joshlf opened on Sep 6, 2026

• Encapsulate slice-DST size formulas behind a private invariant-bearing type

  google/zerocopy#3640 · Filter by author joshlf opened on Sep 6, 2026

• [derive] Make generated-scope syntax validation an explicit capability

  google/zerocopy#3639 · Filter by author joshlf opened on Sep 6, 2026

• Security Advisory: Generated helper names change field types and permit heap buffer overflows

  google/zerocopy#3633 · Filter by author joshlf opened on Sep 5, 2026
  2

• Security Advisory: Self-dependent enum discriminants admit invalid values and disclose adjacent memory

  google/zerocopy#3619 · Filter by author joshlf opened on Sep 4, 2026
  1

• Correctness Advisory: Ref constructors discard explicit trailing-element counts

  google/zerocopy#3618 · Filter by author joshlf opened on Sep 4, 2026
  1