Dependency prelude union seeding

Platform spec ADR

Dependency prelude union seeding

Back to Program assembly ◎ Open feature in platform map

Spec standingStandard

Owner

Piotr Mikstacki pmikstacki@cybernomad.it

Submitter

Piotr Mikstacki pmikstacki@cybernomad.it

Current document

Articles

• Program assembly - Contracts and edge cases Materialized-first roots, discovery caps, and parity across CLI and LSP. article Standard Reviewed Wed May 20
• Program assembly - Design model EffectiveCompilationRoots, ProgramAssembly, ModuleIndex, and hybrid discovery modes. article Standard Reviewed Fri May 29
• Program assembly - Flow and algorithm Ordered assembly after workspace materialize and before multi-unit parse and HIR resolution. article Standard Reviewed Wed May 20
• Program assembly - Verification and traceability Test and source anchors for ProgramAssembly and effective roots. 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

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

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

Related spec docs

• Feature
  Program assembly

  Parent feature hub

• Feature
  Prelude leaf reexports

  Corelib prelude surface

Context

Assembly seeding used host ConsoleHost text markers and a Console module denylist to avoid pulling invalid shard units. That heuristic diverged from manifest-declared preludes and blocked legitimate pub mod re-exports.

Decision

When AssemblyOptions.include_std_prelude is true and CompilePlan.has_std_dependency:

1. For each effective module root containing Prelude.bd (aggregate beskid_corelib and workspace shards), parse all pub mod Path.Segment; lines and enqueue the resolved module file for each path.
2. Union seeds across roots, then dedupe by canonical file path (deterministic sort order).
3. Must not filter modules by substring markers (ConsoleHost, etc.) or ad-hoc denylists in the loader.
4. is_compiler_mod_sdk_source_root skip remains only for compiler Mod SDK trees documented in implementation-map anchors.

Invalid standalone units must be fixed in corelib packaging (see D-CORE-COMP-0009), not suppressed in assembly.

Consequences

loader.rs prelude seeding becomes declarative. Corelib must ensure every seeded pub mod resolves to a valid compilation unit.

Verification anchors

• compiler/crates/beskid_analysis/src/projects/assembly/loader.rs
• compiler/corelib/beskid_corelib/src/Prelude.bd
• compiler/crates/beskid_tests/src/projects/corelib/