Export on pub functions v0.3

Platform spec ADR

Export on pub functions v0.3

Back to Export and callbacks ◎ Open feature in platform map

Spec standingStandard

Owner

Piotr Mikstacki pmikstacki@cybernomad.it

Submitter

Piotr Mikstacki pmikstacki@cybernomad.it

Current document

Articles

• Callback registration Host registration table protocol for Beskid exports invoked from foreign code (v0.3). article Standard Reviewed Sat May 23
• Export attribute Normative Export metadata for pub functions exposed to foreign hosts (v0.3). article Standard Reviewed Wed May 20
• Export and callbacks — Verification and traceability Conformance fixtures for Export and callback registration (v0.3). article Standard Reviewed Sat May 23

History

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

Open full history on GitHub

No commits recorded for this path.

Completeness

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

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

Related spec docs

• Feature
  Export and callbacks

  Parent feature hub

Context

Embedding hosts need a minimal stable export surface before full vtable stories.

Decision

v0.3 Standard must support [Export] on pub functions with FFI-permitted types. Exporting arbitrary contract vtables as Standard is out of scope for v0.3.

Consequences

Callback registration table protocol is Standard; foreign-thread entry without host contract is Proposed v0.3.2+.

Verification anchors

export attribute; callback registration.