[coderdan]

Summary

Stack Encrypt (the Rust crate stack-encrypt) encrypts a value under a per-value ZeroKMS data key. Until now a user could encrypt one scalar the owned way (keyset.encrypt(value) consumes the value and wipes it afterwards) but a record (a struct whose fields are encrypted individually, some kept in the clear) could only be declared the older structural way, over a borrowed value, with no way to say "carry this field through in the clear".

With this PR a user writes:

#[derive(Zeroize, OpaqueDebug, TimingSafeEq)] // no Debug, Clone or PartialEq on a plaintext
struct User { id: u64, name: String, email: String, created_at: i64 }

#[derive(EncryptTarget, DecryptSource, Serialize, Deserialize)]
#[stash(struct = User, scope = "users")] // the record's name: its first scope
struct EncryptedUser {
    #[stash(passthrough)] id: u64,          // kept in the clear, moved into the record
    name: Ciphertext,                       // sealed under ("users", "name")
    email: Ciphertext,                      // sealed under ("users", "email")
    #[stash(passthrough)] created_at: i64,
}

let encrypted: EncryptedUser = user.encrypt_into(&keyset).await?;           // one batched key request
let restored = Protected::<User>::decrypt_from(encrypted, &cipher).await?; // wiped on drop
let rows: Vec<SearchableUser> = users.encrypt_into(&keyset).await?;       // a whole column, one batch

The conversion wipes the plaintext fields it seals and moves (never copies) the fields the caller keeps in the clear. A struct record must name every field of its plaintext (an unaccounted field is a compile error, not a field dropped unwiped), and a field opened before a later field is refused is wiped. A struct record takes no context from the caller: encrypt_into_with_context does not compile for it. Under the merged API plan (#1365) a caller's scope or row binding is declared on the record and passed as Scope::new(..) / Bind::new(..), with a binding left out of the search terms; that is #1487, not this PR. Records nest, a #[stash(plaintext = String)] record is a searchable scalar (ciphertext plus equality term) usable as a field, a record can store its own context, and a field whose target cannot take the record's context is a compile error at that field.

The structural derives (EncryptFrom / DecryptInto) stay; the owned derives emit them as a bridge so an owned record is also a field of a structural record or a typed plan field. Their removal is a separate issue.

Changes

Core (packages/stack-encrypt)

• EncryptTarget gains owned_encryption() (the description over the plaintext by value, defaulting to guard-with-Protected, run the borrowed encryption(), wipe) and indexes(). EncryptInto and the owned Vec<T> column now run owned_encryption; the column runs every element even after an earlier element fails, so none is dropped unwiped.
• New Decryption::zip_wiping: zip that wipes the left side's plaintext when the right side fails or panics; the owned record derive opens its fields through it. The owned Vec column keeps the elements it has not yet handed over in a wiping guard, so a panicking element declaration does not drop the rest unwiped.
• New Encryption::split (two descriptions over two different parts of one owned value, one context, one batch) and Encryption::project_owned: how a record divides its struct between its fields without cloning. split also takes a wipe: fn(&mut U) for the part that waits while the first description runs. If that description panics, the waiting part is wiped during the unwind. The derive's wipe zeroizes only the sealed fields, so passthrough field types get no Zeroize bound.
• EncryptInto::encrypt_into (context omitted) now guards the plaintext with Protected until the declaration and its context are built, as encrypt_into_with_context already did. A declaration that panics while it is being built wipes the plaintext.
• New caller inputs: DeclaredScopes, the input of a struct record (the caller passes nothing; a containing record or a plan passes the field's context, which extends the inner record's), and ExpectedContext<T> as a ContextInput (omit = open under the stored context; supply = also check it). Conversions so a record field is handed its pair: RequiredContext<C>: From<CallerContext>, DeclaredScopes: From<CallerContext>, RequiredContext<NonEmpty<T>> into the core contexts, and the reverse for the bridge.
• Owned declarations on the core leaves: StackCipherText (both ways, RequiredContext<AeadContext>), Encrypted<Terms> (seal under RequiredContext<CallerContext>, open under RequiredContext<AeadContext>), EqualityTerm, MatchTerms, OreTerm, OpeTerm, OreBlockTerm as EncryptTarget alone. Ciphertext is Decryptable and a DecryptField, so it is a record field.
• A refused context no longer drops a plaintext copy unwiped (found in review). target::ciphertext() checks the context, descriptor length included, before it takes the plaintext, so borrowed mode makes no copy on refusal. StackCipherText and Encrypted<Terms> override owned_encryption() with an owned-mode sealing that makes no copy and wipes the value if the context is refused. json_document() had the same ordering fault in released code and is fixed too.
• FieldsBuilder::target::<T, _>(): a typed plan field laid out by an owned-only target (e.g. Ciphertext).
• Breaking: the structural Vec<T>: DecryptInto<Vec<P>> / DecryptField<Vec<P>, _> impls open through Decryption::all_wiping and so require P: Zeroize; previously the elements recovered before a late element failure were dropped unwiped. A new drop-witness test fails without the wipe.

Derive (packages/stack-encrypt-derive)

• The owned derive writes a generic plaintext's destructure pattern with a turbofish (decrypt::struct_literal_path), so #[stash(struct = Pt<u64>)] compiles.
• #[derive(DecryptSource)] also implements DecryptSource<Protected<P>> for each plaintext type a record names, so Protected::<User>::decrypt_from(..) returns the plaintext already wrapped, and a column decrypts into Vec<Protected<User>>. A blanket impl over every source would conflict with Ciphertext's impl, which is generic over any OpaqueDecode; a single value into Protected needs Vitamin C to implement FromScalar for Protected<T>.
• Breaking: the container attribute context = ".." is now scope = ".." on all four derives, per the naming review in the API plan. The stored data does not change; the old spelling is a compile error naming the new one. Plan::context(..) and the Go context= tag are renamed with the rest of the naming review (stack-encrypt refactor: finalize crate ownership, naming and coordinated migration #1489).
• #[derive(EncryptTarget)] and #[derive(DecryptSource)], taking the existing attributes plus #[stash(passthrough)] (with struct = .. only; refused on the structural derives, on plaintext records and beside identity/default/decrypt, each with its own message). The owned form destructures the plaintext exhaustively, so the plaintext struct cannot implement Drop. struct records get both a borrowed and an owned form; plaintext records, context_type = AeadContext records and context_field records are supported. Both derives also emit the structural EncryptFrom / DecryptInto / DecryptField bridge and Decryptable.

Tests

• tests/owned_records.rs: the public mixed-record and searchable-record programs as executable tests (serde round trip, descriptors per field, passthrough moved not cloned — a Clone that panics — sealed fields wiped before any await and when a nested record's oversized context is refused, Vec<User> into Vec<SearchableUser> as one generate_keys call and the matched rows opened in one retrieve_keys call, nested/renamed/pinned fields and their composed descriptors, stored context with expectation, plaintext records over structural and opaque leaves, the bridge into a structural record and a plan).
• tests/owned_equivalence.rs: one record sealed by a hand-written EncryptTarget, the derive and the dynamic data plan against one recording provider: same descriptors, same equality-term bytes, every author opens every author's record.
• tests/ui: owned_struct_record_takes_no_context.rs pins that a struct record refuses a caller context, to encrypt and to decrypt. Field-specific compile-fail cases (NoCallerContext / RequiredContext<u64> field in a struct record, a term in an AeadContext-only record, omitted required context, non-Zeroize plaintext, every passthrough misuse) and a must-compile file of the owned forms; eight existing snapshots re-recorded for rustc's longer implementor lists.
• tests/collections.rs: the structural Vec path wipes its recovered prefix after a late element failure, as a column and as a column field of a structural record; a panicking element declaration wipes the elements after it.
• tests/owned_records.rs also pins that a record field opened before a later refusal is wiped; tests/ui/owned_struct_unmapped_field.rs pins the unaccounted-field refusal.
• tests/owned_records.rs panic witnesses: a_panicking_field_declaration_wipes_the_sealed_fields_after_it (a panic in the outer split and in a nested split) and a_declaration_that_panics_while_constructed_wipes_the_plaintext. Both are enrolled in the owned-records lifecycle suite.
• Mutant coverage: each_owned_term_target_names_its_index. Two equivalent mutants are excluded in .cargo/mutants.toml, each with its reason: ExpectedContext::omitted -> Default::default() and DeclaredScopes::omitted -> Default::default() (both bodies are Self::default()).
• tests/owned_records.rs: eight drop witnesses for a refused context, built on the reviewer's probe, one per leaking path (long scope literal, nested record under a long scope, plaintext record under a long caller context and a long stored context, a Vec<StackCipherText> column, a scalar StackCipherText, a Vec<StackCipherText>, and Encrypted<EqualityTerm>). All eight failed before the fix. Enrolled in lifecycle-buffer-cleanup-v1 under owned-records.
• tests/ui/pass/owned_generic_plaintext.rs: a generic plaintext through project_owned and through split.
• lifecycle-profiles.json: a new owned-records suite enrolls the record drop witnesses; the new collection witnesses join collections.

Docs

• Crate docs "Records" section (doctest), target module docs with the trait/ownership table, derive docs "Owned records" section and the passthrough attribute row, ADR-0012 (signature/import/ownership map and the bridge decision; numbered 0012 because feat(stack-encrypt)!: add OpaqueBlob whole-value encryption #1503 takes 0011), conformance/stack-encrypt/coverage.md rows, CHANGELOG [Unreleased] (Breaking / Added / Deprecated).

Verification

All run from the worktree on the pushed head 327b69398, no credentials:

• cargo fmt --all --check — clean.
• mise x -- cargo nextest run -p stack-encrypt -p stack-encrypt-derive --all-features — 1192 passed, 1 skipped, the ui trybuild suite included.
• cargo clippy -p stack-encrypt -p stack-encrypt-derive --all-features --all-targets -- -D warnings — clean.
• Doctests — stack-encrypt 61 passed; stack-encrypt-derive 12 passed, 15 ignored.
• RUSTDOCFLAGS="-D warnings" cargo doc for both crates — clean.
• cargo mutants --list on target/input.rs — the DeclaredScopes::omitted mutant is no longer listed. A full mutants sweep was not run; the CI gate runs --in-diff.
• Every test name enrolled in the owned-records and collections suites (22) appears in cargo nextest list.
• Earlier on this branch, before the review fixes: cargo check -p eql-bindings --features stack-encrypt and the Go guest compiled unchanged; node scripts/stack-lifecycle-conformance.mjs rust passed. Neither was re-run after the review fixes, since this worktree has no node_modules; CI runs the lifecycle script.
• Not run: a full cargo-mutants sweep, live ZeroKMS examples.

Related

• Closes stack-encrypt refactor: migrate record derives and plans to owned declarations #1483
• Refs stack-encrypt refactor: remove transitional traits and redundant execution APIs #1488 (removal of the structural EncryptFrom / DecryptInto surface follows once every consumer has an owned equivalent; nothing is removed here)
• Addresses the CodeRabbit finding on feat(stack-encrypt): encrypt and decrypt owned Vec<S> collections as one batch #1501 (legacy Vec decrypt path left recovered elements unwiped)

Review notes

Start with packages/stack-encrypt/docs/adr/0012-owned-record-declarations.md, then src/target/conversion.rs (owned_encryption), src/target/input.rs (the inputs and conversions) and packages/stack-encrypt-derive/src/owned_encrypt.rs (split chain). tests/owned_records.rs is the executable version of the public examples.

Deliberately deferred, with reasons:

• Configured nested targets (a JSON index with options as a record field, the plan's target(options = factory) attribute): the only configurable target's plaintext is serde_json::Value, which is not Zeroize, so it cannot be an owned source yet. Nested targets with and without caller context are supported; a typed-options attribute waits on a zeroizing document plaintext.
• Option<T> and tuple targets stay structural-only in this slice (nullable scalars are deferred by the scalar slice too).
• EQL adapter owned impls: eql-bindings compiles unchanged and keeps its structural declarations. Adding EncryptTarget impls there would build against the crates.io stack-encrypt, which lacks this surface until the next release (see AGENTS.md on the stack-encrypt feature's registry gate).
• No #[deprecated] attribute on EncryptFrom / DecryptInto: the crate's own plan and dynamic modules implement them, so the attribute would only be noise until stack-encrypt refactor: remove transitional traits and redundant execution APIs #1488; the CHANGELOG Deprecated section carries the notice.
• A #[stash(passthrough)] field type must be Clone: the record's borrowed form (what a plan or a structural record runs) copies it; the owned form never does, and a test with a panicking Clone holds it to that.
• The dynamic lowering and the Go guest are untouched by design: the data grammar already expresses passthrough and sealed fields, and the equivalence test is what ties the three authors to one engine.

Summary by CodeRabbit

• New Features
  • Added owned record encryption and decryption derives, supporting nested and renamed fields, stored or caller-provided contexts, and searchable indexes.
  • Added passthrough fields that move into records without encryption, plus owned targets for plan fields and batched collections.
• Bug Fixes
  • Recovered plaintext is wiped when later decryption fails; owned plaintext is also wiped in covered failure and panic cases.
  • Structural vector decryption now requires plaintext elements to support zeroization.
• Documentation
  • Added guides and examples for owned records, context handling, passthrough fields, and migration between owned and structural APIs.

[changeset-bot]

⚠️ No Changeset found

Latest commit: 327b693

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

[coderabbitai]

Important

Review skipped

Auto reviews are disabled on base/target branches other than the default branch.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

Run configuration

• Source mode: Auto
• Repository: Unavailable
• Branch: Unavailable
• File: No configuration file from this repository applied
• Commit: Unavailable
• Layers: Organization UI; Enforced overrides: Organization
• Review profile: CHILL
• Plan: Advanced
• Run ID: 14463d0a-5659-4c96-9112-867b084752b7

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• Trigger review

No actionable comments were generated in the recent review.

Walkthrough

Changes

Owned record declarations

Layer / File(s)	Summary
Owned target and context runtime packages/stack-encrypt/src/target/*, packages/stack-encrypt/src/plan/build.rs, packages/stack-encrypt/src/scalar.rs	Adds owned encryption and decryption operations, context conversions, collection handling, index support, and typed plan fields.
Owned record derive generation packages/stack-encrypt-derive/src/*	Adds EncryptTarget and DecryptSource derives with passthrough fields, field accounting, context checks, structural bridges, and wiping-aware reconstruction.
Wiping and failure cleanup packages/stack-encrypt/tests/collections.rs, packages/stack-encrypt/tests/owned_records.rs, conformance/stack-encrypt/*	Adds cleanup behavior and evidence for late failures, refused contexts, declaration panics, collection conversion, and passthrough moves.
Record integration and conformance evidence packages/stack-encrypt/tests/owned_equivalence.rs, packages/stack-encrypt/tests/ui/*, packages/stack-encrypt/docs/*, packages/stack-encrypt/CHANGELOG.md, conformance/stack-encrypt/*	Adds integration, UI, documentation, lifecycle enrollment, and equivalence coverage for owned records and their structural bridges.

Estimated code review effort: 5 (Critical) | ~90 minutes

Change: Feature

Sequence Diagram(s)

sequenceDiagram
  participant Caller
  participant EncryptTarget
  participant FieldTarget
  participant Pending
  participant DecryptSource
  Caller->>EncryptTarget: encrypt owned record with context
  EncryptTarget->>FieldTarget: split or project fields
  FieldTarget->>Pending: create field operations
  Pending-->>Caller: return encrypted record
  Caller->>DecryptSource: decrypt stored record
  DecryptSource->>FieldTarget: open field groups
  FieldTarget->>Pending: combine results with wiping
  Pending-->>Caller: return plaintext record

Loading

Possibly related issues

• cipherstash/stack#1475 — Adds caller and stored context handling for owned record fields.
• cipherstash/stack#1480 — Adds cleanup, panic, batching, and lifecycle evidence.
• cipherstash/stack#1482 — Adds owned collection conversion, batching, context checks, and wiping.
• cipherstash/stack#1488 — Keeps structural declarations as bridges while owned equivalents are added.
• cipherstash/stack#1486 — Adds overlapping nested, searchable, and typed-plan behavior.

Possibly related PRs

• cipherstash/stack#1491 — Provides context composition used by owned record fields.
• cipherstash/stack#1501 — Provides owned collection conversion and element cleanup used by record columns.
• cipherstash/stack#1493 — Provides lifecycle enrollment extended by owned-record evidence.
• cipherstash/stack#1404 — Provides the owned target and source contracts extended by this change.

Suggested reviewers: freshtonic, calvinbrewer

Merge Risk: Minimal · previous review b3f71

The conformance enrollment is supported by the referenced tests and presents no actionable merge-blocking risk.

Pre-merge checks: 3 · 2

Failed checks: 2 warnings

Check name	Status	Explanation	Resolution
Linked Issues check		Issue #1483 is open and directly linked. The PR implements the owned derives, passthrough mapping, context diagnostics, cleanup, batching, executable record tests, and typed/dynamic/generated equivale…	Implement configured nested targets and migrate the remaining plan, dynamic/guest, and EQL consumers against the owned declaration surface, or split those requirements into follow-up issues and revise #1483 and the PR description so that th…
Docstring Coverage		Docstring coverage is 54.55% which is insufficient. The required threshold is 80.00%. Docstring coverage is scoped to functions touched by this diff with cyclomatic complexity of at least 2. Documenta…	Write docstrings for the functions missing them to satisfy the coverage threshold.

Passed checks: 3 passed

Check name	Status	Explanation
Description Check		Check skipped - CodeRabbit’s high-level summary is enabled.
Title check		The title names the primary change: owned record declarations for stack-encrypt, built on the EncryptTarget and DecryptSource derives. The raw summary confirms this is the main change. It adds owned d…
Out of Scope Changes check		The changed core APIs, derives, context inputs, cleanup behavior, collection bounds, tests, lifecycle evidence, documentation, ADR, changelog, and mutation configuration support the owned-record objec…

Full details: Title check

Explanation

The title names the primary change: owned record declarations for stack-encrypt, built on the EncryptTarget and DecryptSource derives. The raw summary confirms this is the main change. It adds owned derive macros, owned encryption and decryption, passthrough fields, and context inputs, and the title covers that focus. The title is 91 characters, which is a little long but still within a readable single sentence. It uses the conventional commit prefix with the breaking-change marker, which matches the summary's breaking note on structural vector decryption requiring Zeroize.

Full details: Out of Scope Changes check

Explanation

The changed core APIs, derives, context inputs, cleanup behavior, collection bounds, tests, lifecycle evidence, documentation, ADR, changelog, and mutation configuration support the owned-record objectives in #1483 or the stated migration bridge. The structural Vec cleanup change supports the collection cleanup requirement. The PR does not show an unrelated change. Cargo.lock was intentionally excluded and was not inspected.

Full details: Linked Issues check

Explanation

Issue #1483 is open and directly linked. The PR implements the owned derives, passthrough mapping, context diagnostics, cleanup, batching, executable record tests, and typed/dynamic/generated equivalence. The PR does not meet all coding requirements in #1483. Configured nested targets remain deferred. Plan lowering gains FieldsBuilder::target, but dynamic/guest consumers and EQL adapters remain on structural declarations. These gaps match the PR's stated deferrals.

Resolution

Implement configured nested targets and migrate the remaining plan, dynamic/guest, and EQL consumers against the owned declaration surface, or split those requirements into follow-up issues and revise #1483 and the PR description so that this PR does not claim to close #1483. Reassess after the issue scope and implementation agree.

Full details: Docstring Coverage

Explanation

Docstring coverage is 54.55% which is insufficient. The required threshold is 80.00%. Docstring coverage is scoped to functions touched by this diff with cyclomatic complexity of at least 2. Documentation-only edits and deletions within surviving functions are included; unchanged diff context and fully deleted functions are excluded. Analyzed 33 functions across 29 files. (2 skipped: 2 unsupported.)

Resolution

Write docstrings for the functions missing them to satisfy the coverage threshold.

Recent review info

Run configuration

• Source mode: Auto
• Repository: Unavailable
• Branch: Unavailable
• File: No configuration file from this repository applied
• Commit: Unavailable
• Layers: Organization UI; Enforced overrides: Organization
• Review profile: CHILL
• Plan: Advanced
• Run ID: 5933b899-0626-4711-a7be-4222e47483f7

Commits

Reviewing files that changed from the base of the PR and between bfa3d58 and b3f71ad.

Files ignored due to path filters: 1

• Cargo.lock is excluded by !**/*.lock

Files selected for processing: 2

• conformance/stack-encrypt/coverage.md
• conformance/stack-encrypt/v1/lifecycle-v1.enrollment.json

Files skipped from review as they are similar to previous changes: 1

• conformance/stack-encrypt/coverage.md

Limit details: You’ve used all 2 included reviews currently available.

[coderdan]

Review

Rebase first. The branch is rebased onto feat/stack-encrypt-owned-collections at 4b42186 (now 55ff30f). This is a rebase, not a content change. The one conflict was tests/ui/owned_collection_elements.stderr. I kept the base's UFCS form (E0277, no $RUST/ snippet) and re-blessed it. The only difference is that Zeroize now prints unqualified. grep -l 'RUST/' tests/ui/*.stderr prints nothing, and none of this PR's .stderr files depend on E0599.

Checked by running code: cargo check -p eql-bindings --features stack-encrypt and the Go guest (default and --features eql) both compile.

Standards

• packages/stack-encrypt/docs/adr/0011-owned-record-declarations.md: number collision. feat(stack-encrypt)!: add OpaqueBlob whole-value encryption #1503 (feat/stack-encrypt-opaque-blob) also adds 0011-a-whole-value-is-one-storage-blob-sealed-as-one-leaf.md. This one moves to 0012. Nothing in the tree links to it, but the PR body does. CONFIRMED.
• packages/stack-encrypt/CHANGELOG.md:81: ### Deprecated sits in the middle of [Unreleased] ### Added. The existing "Owned collections" (stack-encrypt refactor: extend owned target conversions to collections #1482) bullets and everything after them now read as deprecations. CONFIRMED.
• src/target/operations.rs (DecryptField<Vec<P>, Ctx> for Vec<T>): if this impl's all_wiping goes back to all, no test fails. I ran the full stack-encrypt nextest suite. The new collections test reaches only the DecryptInto impl. That is a surviving mutant on a Breaking-labelled line, and mutants.yml --in-diff would flag it. CONFIRMED.
• src/plan/build.rs FieldsBuilder::target repeats the FieldOpener construction from encrypt_into almost line for line (duplicated code). Judgement call; left.
• ADR §2, the CHANGELOG Added bullet and the split docs all say the conversion "wipes what it seals and transfers what the caller chose to keep". As written that is not true: see the first Spec bullet. CONFIRMED.

Spec

• packages/stack-encrypt-derive/src/owned_encrypt.rs (divide, let #source { .., .. } = __source): plaintext fields the record does not name are dropped unwiped. The owned override replaces the default guard over the whole struct. Any field of User that is neither sealed nor passthrough falls through .. and is freed as it is. I reproduced it with a Wide { sealed, unmapped } drop witness: unmapped is never zeroized. The default path and the borrowed path both wipe it. DecryptSource already has to name every field to rebuild the struct, so an exhaustive destructure costs a both-derive record nothing. CONFIRMED.
• src/target/collections.rs:63-70 (owned Vec column): a panicking element drops the rest of the column unwiped. source.into_iter().map(..).collect() unwinds through vec::IntoIter's drop. Before this PR the whole vector sat in one Protected guard, so this is a regression on the panic path that the base branch otherwise hardens. I reproduced it with a target that panics on element 0: elements 1 and 2 are never wiped. CONFIRMED.
• owned_decrypt.rs struct_body → Decryption::zip → Pending::zip (pending.rs:300): a field opened before a later field fails is dropped unwiped. Ok((first(responses)?, second(responses)?)) discards first. The column has collect_wiping, but the record has nothing equivalent, so the acceptance point "preserve owned plaintext cleanup" holds for columns and not for records. The structural derive has the same gap. CONFIRMED (by reading; a fix needs a test).
• Encryption::split (operations.rs): while the first field's description builds, theirs is held unguarded, so a panic there drops the later fields unwiped. Guarding it would put U: Zeroize on passthrough field types. PLAUSIBLE.
• A source struct that implements Drop (ZeroizeOnDrop) cannot be destructured (E0509), so it cannot be an owned struct record source. The derive docs don't say so. CONFIRMED (language rule).
• Acceptance bullets:
  • Met: the signature/ownership map (ADR table); explicit passthrough, source-field mapping and decrypt reconstruction; context capabilities with field-spanned diagnostics (owned_record_field_context.stderr points at fixed: Fixed and bound: Bound); executable examples and three-author equivalence (owned_equivalence.rs, which also opens across authors).
  • Partial: cleanup (the three CONFIRMED items above); nested targets (configured targets are deferred); EQL adapters (deferred); decrypt-side field diagnostics (only the encrypt side is pinned in tests/ui).
• Deferrals:
  • Acceptable: configured nested targets (serde_json::Value is not Zeroize); EQL owned impls (the registry gate in AGENTS.md applies); Option/tuple staying structural-only; no #[deprecated]; passthrough needing Clone (pinned by the panicking Clone).
  • Not acceptable: skipping lifecycle-profile enrollment. The two parent slices enrolled their drop witnesses in lifecycle-profiles.json. This slice's record witnesses (wiped before await, wiped on a refused context) are the same evidence for records and should be enrolled the same way.

---

Standards: 4 confirmed, 1 judgement call. Worst: the CHANGELOG Deprecated heading reclassifies the #1482 Added bullets.
Spec: 4 confirmed, 1 plausible. Worst: an owned struct record drops the plaintext fields it does not name, unwiped.

[github-actions]

Mutation testing (cargo-mutants, --in-diff, stack-auth + stack-encrypt)

caught	missed	unviable	timeout
15	0	48	0

Every mutant in the changed lines was caught by a test.

[coderdan]

Review findings → fixes

Finding	Resolution
Rebase onto 4b42186 (the owned_collection_elements.stderr conflict)	55ff30f. Rebase only: I kept the base's UFCS form and re-blessed it. No $RUST/ remains.
ADR 0011 collides with #1503	15ba61d: renamed to 0012-owned-record-declarations.md. Nothing in the tree linked to it by number. The PR body now links the new name.
CHANGELOG Deprecated heading in the middle of Added	15ba61d: moved after the full Added list. The owned-collections bullet no longer reads as a deprecation.
DecryptField<Vec<P>, _>'s all_wiping untested	f56c542: added a_late_element_failure_in_a_column_field_wipes_the_recovered_prefix, a structural record with a column field. It fails when all_wiping goes back to all.
Owned struct record drops plaintext fields it does not name	a80c98b: the destructure is now exhaustive. An unaccounted field is E0027 at the struct = .. path, pinned in tests/ui/owned_struct_unmapped_field.rs.
Owned column: a panicking declaration drops the rest unwiped	f56c542: the elements not yet handed over sit in a guard that wipes them. An element is taken out only once its description and context exist. a_panicking_element_declaration_wipes_the_elements_after_it fails without the guard.
Owned record decrypt drops already-opened fields on a later refusal	1830fbd: added Decryption::zip_wiping / Pending::zip_wiping (a guard holds the left side). The owned derive opens its fields through it. a_field_opened_before_a_later_field_is_refused_is_wiped fails with plain zip. The structural DecryptInto derive is left as it is: its field plaintexts carry no Zeroize bound, and adding one would be a separate breaking change.
Docs claimed "wipes what it seals and transfers what it keeps"	15ba61d: the ADR, the derive's "Owned records" docs and the CHANGELOG now say what is true after the fixes above.
A source with Drop / ZeroizeOnDrop cannot be an owned struct source	15ba61d: documented in the derive docs, the ADR and the CHANGELOG. Not changed: lifting it needs a Default bound on every moved field (mem::take) or unsafe.
Lifecycle-profile enrollment skipped	3c23ed0: added a new owned-records suite with three witnesses, plus two collection witnesses. node scripts/stack-lifecycle-conformance.mjs rust passes.
Encryption::split holds later fields unguarded during an earlier field's build (PLAUSIBLE)	Declined. It is reachable only through a panicking field declaration. Guarding the later fields needs U: Zeroize on split, which would extend to passthrough field types. That is a design decision for you, not a mechanical fix.
FieldsBuilder::target duplicates encrypt_into's opener (judgement call)	Declined. Left as it is.

c4784c9 is rustfmt only.

Verification on c4784c9:

• cargo fmt --all --check: clean.
• clippy -D warnings (both crates, all targets): clean.
• STACK_CONFORMANCE_REQUIRED=1 nextest (both crates): 1126 passed, 1 skipped.
• Doctests: 57 passed in stack-encrypt, 12 in stack-encrypt-derive.
• mise run doc:stack-encrypt: builds.
• eql-bindings --features stack-encrypt, the Go guest and the Go guest with --features eql: all compile.
• Conformance vitest (three files): 17 passed.

[chatgpt-codex-connector]

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-11-02T13:19:34.053478Z	c4784c9	Draft marked ready
🔒 Security Review	✅ Completed 2026-11-02T13:22:57.030079Z	c4784c9	Draft marked ready

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

[coderdan]

@coderabbitai review

[coderabbitai]

Action performed

Review finished.

Note: CodeRabbit is an incremental review system and does not re-review already reviewed commits. This command is applicable only when automatic reviews are paused.

[chatgpt-codex-connector]

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: c4784c9329

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

[cipherstash-agent]

Review attestation

Reviewed c4784c9 · posted from Claude Code · claude-sonnet-5-5
Sources: code-review (medium) · claude-sonnet-5-5
Skills: code-review, review-cross-check

No findings.

Six candidate findings were verified against c4784c9 and cross-checked against existing feedback: two are already raised in open threads (unguarded plaintext in encrypt_into at conversion.rs:80; unguarded remainder in Encryption::split), and the others were dismissed as documented design or left undecided, so none is posted.

---

Generated by Claude Code

[coderdan]

Codex findings and Mutants gate: fixes

Finding	Resolution
Codex P2: Encryption::split drops the waiting fields unwiped if an earlier field's declaration panics	Fixed in 9d3729a. I had declined this earlier. split now takes a wipe: fn(&mut U) and keeps the waiting part in a guard until the first description returns. The derive writes each wipe: it zeroizes the sealed fields still waiting and leaves the passthrough ones alone. Sealed sources are already Zeroize, as every EncryptTarget source is, so passthrough field types get no new bound. Witness: a_panicking_field_declaration_wipes_the_sealed_fields_after_it, which covers both the outer split and a nested split. The ADR, CHANGELOG and derive docs are updated.
Codex P2: encrypt_into leaves self unguarded while the declaration is built	Fixed in b40cf93. The plaintext stays in Protected until the declaration and the omitted context are built. Witness: a_declaration_that_panics_while_constructed_wipes_the_plaintext, which checks both entry points.
Mutant: MatchTerms EncryptTarget::indexes → vec![]	bfa3d58: each_owned_term_target_names_its_index. It covers every owned term target.
Mutant: ContextExtension::into_inner → None	bfa3d58: a_context_extension_is_inspected_as_supplied_or_omitted.
Mutant: ExpectedContext::omitted → Default::default()	bfa3d58: equivalent, because the body is Self::default(). It is excluded in .cargo/mutants.toml next to the matching From<()> entry. The omitted behaviour is pinned by a_stored_context_opens_as_stored_and_checks_an_expectation.

I confirmed the two killed mutants by applying each one by hand: the new test failed under each. Both panic witnesses failed before their fixes and are enrolled in the owned-records lifecycle suite.

CodeRabbit finished its review with no actionable comments.

Verification on bfa3d58:

• cargo fmt --all --check and clippy -D warnings on both crates (all targets): clean.
• STACK_CONFORMANCE_REQUIRED=1 nextest on both crates: 1130 passed, 1 skipped.
• Doctests: 57 passed in stack-encrypt, 12 in stack-encrypt-derive.
• mise run doc:stack-encrypt: builds.
• eql-bindings --features stack-encrypt and the Go guest: both compile.
• node scripts/stack-lifecycle-conformance.mjs rust: passes.
• Conformance vitest: 17 passed.

[coderdan]

Rebased onto the rebased #1501 (57a9b210c). This was a force push. One conflict came up: the first commit extends two coverage.md rows in which #1491 had renamed v1/declarations.json to v1/record-declarations-v1.cases.json. I kept this PR's text with the new path. Compared line by line, the PR diff otherwise matches the one before the rebase: 52 files, +4097/−84. Review feedback is not addressed in this push.

[coderdan]

@freshtonic the three "must fix" items and the three nits from your re-review are addressed, and the branch is pushed at 327b693 (four commits on top of 31162e8, no rebase).

1. The refused-context leak: fixed in 3e90e2f. ciphertext() checks the context before it takes the plaintext, so borrowed mode makes no copy on refusal, and StackCipherText and Encrypted<Terms> override owned_encryption() with an owned-mode sealing that wipes a refused value. Eight drop witnesses built on your probe cover every path in your table; all eight failed before the fix. Details in the inline reply.
2. Mutants gate: 0829076 adds the exclusion with the reason. The PR body claim about DeclaredScopes coverage is corrected.
3. Docs: attributes.md now says only a struct record takes no caller context (327b693). The PR body no longer says "Stacked on feat(stack-encrypt): encrypt and decrypt owned Vec<S> collections as one batch #1501". The stale plan lines (context = / ContextExtension) are fixed in docs(stack-encrypt): amend ADR-0007 so the derive emits the combinators #1584, which also amends ADR-0007.

Nits: the generic plaintext pattern (1aa4d6c, with a compile-pass case), project_owned hidden (327b693), and the structural-path witness enrolled (327b693).

Could you take another look when you have a moment?