All issues

Search results

[anneal][reference] Compile technical reference corpus for Anneal development

Status: Open.

#3720 In google/zerocopy;

· joshlf opened on Sep 25, 2026

Support transmutes requiring fix-up

customer-requestDocuments customer requests.Documents customer requests.

Status: Open.

#3714 In google/zerocopy;

· joshlf opened on Sep 23, 2026

[pointer] Unify validity transport with Reverse<Before>

Status: Open.

#3706 In google/zerocopy;

· joshlf opened on Sep 18, 2026

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

Status: Open.

#3703 In google/zerocopy;

· joshlf opened on Sep 18, 2026

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

Status: Open.

#3697 In google/zerocopy;

· joshlf opened on Sep 17, 2026

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

Status: Open.

#3696 In google/zerocopy;

· joshlf opened on Sep 17, 2026

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

Status: Open.

#3695 In google/zerocopy;

· joshlf opened on Sep 17, 2026

[pointer] Require size equality in impl_for_transmute_from!

Status: Open.

#3691 In google/zerocopy;

· joshlf opened on Sep 17, 2026

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

Status: Open.

#3689 In google/zerocopy;

· joshlf opened on Sep 17, 2026

[ptr] Model by-value transmutation separately from Ptr

Status: Open.

#3688 In google/zerocopy;

· joshlf opened on Sep 16, 2026

[ptr] Simplify the conceptual model for pointer transmutes

Status: Open.

#3686 In google/zerocopy;

· joshlf opened on Sep 16, 2026

Simplify unsafe Rust skill

Status: Open.

#3683 In google/zerocopy;

· joshlf opened on Sep 13, 2026