Extern import metadata at lowering
Platform spec ADR
Extern import metadata at lowering
Spec standingStandard
- Extern import extraction contract - Contracts and edge cases States the normative guarantees and what happens at boundaries or failure edges.
- Extern import extraction contract - Design model Explains the persistent concepts, entities, and boundaries this feature relies on.
- Extern import extraction contract - Examples Gives concrete newcomer-friendly scenarios mapped to real compiler paths.
- Extern import extraction contract - FAQ and troubleshooting Answers common operator and contributor questions with practical next checks.
- Extern import extraction contract - Flow and algorithm Walks through runtime/order-of-operations behavior in the implementation.
- Extern import extraction contract - Verification and traceability Shows how the team proves this feature works and where evidence lives.
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”FFI symbols were discovered late in the engine.
Decision
Section titled “Decision”Extern imports are collected during lowering (ExternImport in codegen context) with ABI names from beskid_abi—not ad hoc engine scans.
Consequences
Section titled “Consequences”Link-time binding stays aligned with language-meta C ABI profile.
Verification anchors
Section titled “Verification anchors”compiler/crates/beskid_codegen/src/lowering/compiler/crates/beskid_abi/src/symbols.rs.