Project link libraries

Platform spec article

Project link libraries

Back to Project manifest contract ◎ 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-hub-authority Hub authority Accepted

   Hub authority

   Context

   Consumers need one contract.

   Decision

   Hub owns Project.proj normative text.

   Consequences

   Mod/Template on hub.

   Verification anchors

   manifest tests.

   Open full ADR page

2. 0002-mod-and-template-project-types Mod and Template types Accepted

   Mod and Template types

   Context

   Discriminate project kinds.

   Decision

   May declare type Mod or Template; hosts use Host + corelib.

   Consequences

   Links to mods/scaffolding.

   Verification anchors

   project fixtures.

   Open full ADR page

Articles

• Contracts and edge cases Strict guarantees and failure modes for Mod project manifests. article Standard Reviewed Wed May 20
• Design model Conceptual model for `Project manifest contract` and its subsystem boundaries. article Standard
• Examples Concrete examples for `Project manifest contract` decisions and usage patterns. article Standard Reviewed Wed May 20
• FAQ and troubleshooting Project manifest tooling FAQ. article Standard
• Flow and algorithm Manifest validation and Mod package discovery flow. article Standard Reviewed Wed May 20
• Project link libraries Normative project.link block for Extern library resolution at link time (v0.3). article Standard Reviewed Wed May 20
• Verification and traceability Verification for tooling-side project manifest contracts. article Standard

History

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

Open full history on GitHub

No commits recorded for this path.

Completeness

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

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).

Related spec docs

• Feature
  Project manifest contract

  Parent feature hub

• Feature
  Foreign library import

  CLI population of link entries

project.link block (v0.3)

Hosts must parse a nested block under project:

project:
  name: myapp
  link:
    libraries: [libc, pthread]
    searchPaths: [/usr/lib, /opt/local/lib]
    extraArgs: ["-lm"]

Key	Required	Meaning
libraries	no	Logical names matching Extern Library fields; resolved via ExternalLibrary
searchPaths	no	Additional linker search paths
extraArgs	no	Raw linker arguments appended after provider resolution

Unknown keys must error with stable diagnostics (manifest band E1801–E1899 or dedicated link band when assigned).

Validation

1. Every Extern Library string used by the project should appear in link.libraries or be resolved by a provider without manifest entry (provider-defined).
2. Conflicting resolutions between manifest and CLI import must be diagnosed at build time.

Platform tables (optional extension)

Projects may add host-scoped tables in a later manifest revision:

link:
  linux:
    libraries: [libc.so.6]
  macos:
    libraries: [libc]

Until host tables are implemented, platform packages (console, threading) carry per-file Extern Library strings as today.

WinAPI

WinAPI / MSVC link metadata is not required for stdlib Standard manifests (platform tier matrix).

Verification anchors

• Model: compiler/crates/beskid_analysis/src/projects/model.rs::ProjectLinkSection.
• Parser: compiler/crates/beskid_analysis/src/projects/parser.rs::parse_link_block_contents (top-level link { ... } block; accepts libraries, searchPaths, extraArgs list fields only).
• Validator: compiler/crates/beskid_analysis/src/projects/validator.rs::validate_link_section (diagnostic band E1890 duplicate block / E1891 unknown field / E1892 empty entry / E1893 duplicate library).
• Round-trip tests: parser unit tests in projects::parser::tests::parse_link_block_* and CLI integration tests in compiler/crates/beskid_tests/src/cli/import_lib.rs.