Prelude leaf reexports

Platform spec ADR

Prelude leaf reexports

Back to Corelib injection and resolution ◎ Open feature in platform map

Spec standingStandard

Owner

Piotr Mikstacki pmikstacki@cybernomad.it

Submitter

Piotr Mikstacki pmikstacki@cybernomad.it

Current document

Articles

• Contracts and edge cases Corelib injection guarantees and edge cases. article Standard
• Design model How the compiler injects and resolves the corelib package into host compilations. article Standard
• Examples Observable corelib injection scenarios. article Standard
• FAQ and troubleshooting Corelib injection and resolution FAQ. article Standard
• Flow and algorithm End-to-end flow for corelib injection during project graph resolution. article Standard
• Verification and traceability Tests and traceability for corelib injection and resolution. 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 · 2 SpecSection(s) · 1 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
  Corelib injection and resolution

  Parent feature hub

• Feature
  Dependency prelude union seeding

  Assembly consumes prelude pub mod lines

Context

Shard preludes partially overlap the aggregate beskid_corelib prelude. Loader-side denylists (for example skipping Console) papered over units that were not valid standalone compilation files.

Decision

1. Aggregate and shard Prelude.bd files must list leaf public API surfaces via pub mod (for example Ansi, Console submodules re-exported as documented paths—not opaque marker comments).
2. Every pub mod line in a prelude must resolve to a .bd unit that parses and lowers as a standalone module (fix packaging when closure seeding pulls a file).
3. The compiler must not maintain loader-side module denylists to compensate for prelude or packaging mistakes.

Consequences

Corelib packaging changes precede assembly union seeding (D-COMP-BUILD-0022). Console and other terminal modules ship as valid standalone units or are removed from prelude pub mod lists.

Verification anchors

• compiler/corelib/beskid_corelib/src/Prelude.bd
• compiler/corelib/packages/console/src/Console/
• compiler/crates/beskid_tests/src/projects/corelib/compile.rs