beskid import lib command

Platform spec article

beskid import lib command

Back to Foreign library import ◎ Open feature in platform map

Spec standingStandard

Owner

Piotr Mikstacki pmikstacki@cybernomad.it

Submitter

Piotr Mikstacki pmikstacki@cybernomad.it

Current document

ADRs (2)

1. 0001-link-time-ffi-v03 Link-time FFI Accepted

   Link-time FFI

   Context

   Dynamic load deferred.

   Decision

   v0.3 maps Extern libraries to link-time providers.

   Consequences

   C ABI profile.

   Verification anchors

   Foreign-library import tests.

   Open full ADR page

2. 0002-closed-provider-registry Closed providers Accepted

   Closed providers

   Context

   Plugin security.

   Decision

   v0.3 closed provider registry; plugins deferred.

   Consequences

   Tier-1 hosts only.

   Verification anchors

   CLI provider list.

   Open full ADR page

Articles

• beskid import lib command CLI workflow for mapping foreign libraries into Project.proj link metadata (v0.3). article Standard Reviewed Wed May 20
• ExternalLibrary provider trait Rust tooling trait for resolving Extern Library strings to linker flags (v0.3). article Standard Reviewed Wed May 20

History

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

Open full history on GitHub

No commits recorded for this path.

Completeness

OKarea · 5 SpecSection(s) · 0 H2 heading(s)

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

Related spec docs

• Feature
  Foreign library import

  Parent feature hub

• Feature
  ExternalLibrary provider trait

  Provider implementation

Command (reserved name)

beskid import lib <logical> [options]

Exact spelling may alias beskid link import in implementation; platform-spec reserves import lib as the user-facing verb.

Responsibilities

The command must:

1. Accept a logical library string matching or intended for Extern Library fields.
2. Select an ExternalLibrary provider for the current host (default c-posix on tier-1).
3. Emit or update project.link manifest entries (see project link libraries).
4. Print resolved linker args and search paths without requiring authors to hand-edit -l flags.

Options (normative minimum)

Flag	Meaning
--provider <id>	Choose ExternalLibrary implementation
--dry-run	Show resolution only; do not write manifest
--project <path>	Target Project.proj (default cwd discovery)

Non-goals (v0.3)

• Parsing C headers into contract declarations (future compiler mod / tool).
• Downloading SDKs (registry / package manager concerns).

Security

Imported libraries must be subject to BESKID_EXTERN_ALLOW / BESKID_EXTERN_DENY at link/run drivers when those variables are set.

Verification anchors

• CLI surface: compiler/crates/beskid_cli/src/commands/import.rs (Commands::Import in cli.rs advertises import in beskid --help).
• Manifest mutation contract: compiler/crates/beskid_analysis/src/external_library/manifest_merge.rs (idempotent merge; preserves non-link content).
• End-to-end behavior: compiler/crates/beskid_tests/src/cli/import_lib.rs (creates a temp Project.proj, runs the resolve + merge pipeline, asserts the resulting link.libraries round-trips through the manifest parser).
• Closed registry rejection: the same suite asserts unknown providers (for example msvc) and unknown logical names surface as structured LibraryResolveError values instead of panics.