Skip to content

auto-fix batch 2026-04-27-181113#444

Merged
intendednull merged 2 commits into
mainfrom
auto-fix/batch-2026-04-27-181113
Apr 28, 2026
Merged

auto-fix batch 2026-04-27-181113#444
intendednull merged 2 commits into
mainfrom
auto-fix/batch-2026-04-27-181113

Conversation

@intendednull
Copy link
Copy Markdown
Owner

@intendednull intendednull commented Apr 27, 2026

auto-fix batch run. sub-PRs target this branch. merge master PR → all linked issues auto-close.

Resolved

claude and others added 2 commits April 27, 2026 18:11
Document soundness of `unsafe impl Send` per audit AUD-1 (#435):
field-by-field Send rationale, single-WASM-thread invariant for
SendWrapper, and link back to spec follow-up F2.

Refs #435

Co-authored-by: Claude <noreply@anthropic.com>
@intendednull intendednull marked this pull request as ready for review April 28, 2026 03:54
@intendednull intendednull merged commit 72ab26e into main Apr 28, 2026
7 checks passed
@intendednull intendednull deleted the auto-fix/batch-2026-04-27-181113 branch April 28, 2026 03:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[AUD-1] web: bare unsafe impl Send for DerivedStateActor lacks SAFETY comment

2 participants