Standard spec implementation may trail
Platform spec ADR
Standard spec implementation may trail
Spec standingStandard
- Callback registration Host registration table protocol for Beskid exports invoked from foreign code (v0.3).
- Export attribute Normative Export metadata for pub functions exposed to foreign hosts (v0.3).
- Export and callbacks — Verification and traceability Conformance fixtures for Export and callback registration (v0.3).
0 revisions (git unavailable at build; counts may be empty)
No commits recorded for this path.
Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).
Context
Section titled “Context”v0.3 is spec-first for interop; codegen for export is still landing.
Decision
Section titled “Decision”This feature is Standard in v0.3 specification. Reference compiler support may trail; verification article records gaps until codegen lands.
Consequences
Section titled “Consequences”Contributors implement against ADRs without downgrading spec status to Proposed.