Cooperative fibers and channels in v1

Platform spec ADR

Cooperative fibers and channels in v1

Back to Project inception decisions ◎ 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

OKarea · 4 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
  Project inception decisions

  Parent feature hub

Context

Async/await state machines would delay shipping a inspectable fiber runtime and channel semantics.

Decision

spawn must be the fiber introduction keyword. async and await must be parse errors (reserved) until a future spec adds them. Cross-fiber communication must use Channel (and coordination primitives), not shared stacks.

Consequences

Corelib concurrency package and execution scheduler specs realize this ADR.

Verification anchors

Fibers and spawn; Concurrency package ADRs.