Channels are the only cross-fiber data path
Platform spec ADR
Channels are the only cross-fiber data path
Spec standingStandard
0 revisions (git unavailable at build; counts may be empty)
No commits recorded for this path.
| 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).
Context
Section titled “Context”Shared mutable stacks across fibers would break GC stack maps and the memory model. The runtime must align with language channel-only rules.
Decision
Section titled “Decision”| Rule | Detail |
|---|---|
| Mechanism | Channels are the only approved cross-fiber data transfer at runtime |
| Happens-before | Successful Send happens-before Receive that observes the value |
| Values | Copied or heap handles with GC tracing — no stack pointer transfer |
| Builtins | channel_*, mutex_*, wait_group_* implement queues and coordination |
| Compiler | Must not lower cross-fiber stack sharing |
Corelib policy: D-CORE-CONC-0009.
Consequences
Section titled “Consequences”New sync primitives require spec + ABI + corelib trifecta before export.
Verification anchors
Section titled “Verification anchors”beskid_runtime channel tests; git 12ee673.