v0.3.0 views v0.3.1 CLayout bands
Platform spec ADR
v0.3.0 views v0.3.1 CLayout bands
Spec standingStandard
- C ABI profile — C layout types (v0.3.1) repr(C) records for FFI after interop views ship; nested complex types deferred.
- C ABI profile — Dynamic resolution profile Non-Standard appendix for runtime dlopen/dlsym extern resolution (legacy v0.1 path).
- C ABI profile — Extern contracts and linking Library and symbol metadata, JIT dlopen resolution, and policy gates for user extern contracts.
- C ABI profile — Interop view types (v0.3.0) CStringView, CBuffer, and CArrayView layouts for user Extern boundaries.
- C ABI profile — Link-time linking Normative link-time binding for user Extern libraries (v0.3 Standard).
- C ABI profile — Platform tier matrix Tier-1 Standard hosts vs Proposed platforms; WinAPI out of stdlib scope.
- C ABI profile — Types and call conventions Permitted C ABI representations for Beskid extern contract parameters and returns in the reference compiler.
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”Implementers need a spec-first schedule when codegen trails text.
Decision
Section titled “Decision”| Band | Content | Status |
|---|---|---|
| v0.3.0 | Interop views, link-time import, symbol overrides | Standard (spec; impl may trail) |
| v0.3.1 | CLayout primitive structs | Proposed |
| Later | Nested FFI structs, enum ABI, foreign-thread entry | Planned |
Consequences
Section titled “Consequences”Articles tag Proposed vs Standard explicitly; CI strict mode can gate premature Standard claims.
Verification anchors
Section titled “Verification anchors”/platform-spec/language-meta/interop/c-abi-profile/ and child articles.