Stack captures cannot escape spawn

Platform spec ADR

Stack captures cannot escape spawn

Back to Fibers and spawn ◎ Open feature in platform map

Spec standingStandard

Owner

Piotr Mikstacki pmikstacki@cybernomad.it

Submitter

Piotr Mikstacki pmikstacki@cybernomad.it

Current document

Articles

• No directly attached article pages for this node.

History

0 revisions (git unavailable at build; counts may be empty)

Open full history on GitHub

No commits recorded for this path.

Completeness

OKfeature · 8 SpecSection(s) · 1 H2 heading(s)

Section id	Required	Found
what-this-feature-specifies	yes	yes
implementation-anchors	yes	yes

Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).

Related spec docs

• Feature
  Fibers and spawn

  Parent feature hub

Context

Moving stack references into another fiber breaks the memory model and GC rooting assumptions.

Decision

Closure captures that would leak stack references across fibers must be rejected with diagnostic StackReferenceEscapesSpawn (compile error).

Consequences

Authors pass data through Channel<T> or other approved sharing; runtime does not repair invalid captures.

Verification anchors

compiler/crates/beskid_analysis/ capture analysis; Memory and references.