ABI version lockstep for builtins
Platform spec ADR
ABI version lockstep for builtins
Spec standingStandard
- Contracts and edge cases Stability guarantees for runtime-backed corelib APIs.
- Design model Corelib APIs implemented by runtime builtins and ABI-stable syscall surfaces.
- Examples Examples of runtime-backed corelib surfaces.
- FAQ and troubleshooting FAQ for runtime-backed corelib surfaces.
- Flow and algorithm Call path from Beskid corelib methods to runtime builtins.
- Verification and traceability Verification for runtime-backed corelib surfaces.
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”Builtin shape changes break AOT/JIT link without version alignment.
Decision
Section titled “Decision”| Rule | Detail |
|---|---|
| Version | beskid_runtime_abi_version / BESKID_RUNTIME_ABI_VERSION must match |
| Change | Requires beskid_abi, runtime, and corelib updates together |
Consequences
Section titled “Consequences”Link failures surface at build time, not lazy dlopen.
Verification anchors
Section titled “Verification anchors”beskid_abi/src/builtins.rs; abi/contracts.rs.