Workspace resolution contract - Verification and traceability

Platform spec article

Workspace resolution contract - Verification and traceability

Back to Workspace resolution contract ◎ Open feature in platform map

Spec standingStandard

Owner

Piotr Mikstacki pmikstacki@cybernomad.it

Submitter

Piotr Mikstacki pmikstacki@cybernomad.it

Current document

ADRs (3)

1. 0001-feature-hub-authority Feature hub authority Accepted

   This feature hub owns normative MUST/SHOULD contract text for Workspace resolution contract.

   Context

   Sibling articles under this feature previously restated requirements in inconsistent forms.

   Decision

   This feature hub owns normative MUST/SHOULD contract text. Sibling articles must not redefine hub requirements and should link here for authority.

   Consequences

   Contract changes start on the hub or in linked ADRs, then propagate to articles and implementation anchors.

   Verification anchors

   • site/website/src/content/docs/platform-spec/compiler/resolution-and-projects/workspace-resolution-contract/index.mdx
   • article bundle under the same feature directory.

   Open full ADR page

2. 0002-spec-over-implementation-notes Specification over implementation notes Accepted

   Platform-spec text supersedes informal crate comments for Workspace resolution contract.

   Context

   Implementation crates accumulated informal notes that diverged from published contracts.

   Decision

   Normative platform-spec prose and ADRs under this feature supersede informal comments in implementation crates until explicitly migrated into spec text.

   Consequences

   Engineers file spec/ADR updates when behavior changes; crate comments are non-authoritative for conformance arguments.

   Verification anchors

   • compiler/crates/beskid_analysis/

   Open full ADR page

3. 0003-primary-contract-choice Primary contract for Workspace resolution contract Accepted

   This feature hub explains how the compiler discovers `Project.proj`, builds a project graph, and hands resolved workspac

   Context

   This feature hub explains how the compiler discovers Project.proj, builds a project graph, and hands resolved workspace inputs to compile and dependency commands. Mod projects are included in the graph like other project kinds; after resolution, the mod host registers them for event-driven orchestration per Project manifest contract and Compiler Mods.

   Decision

   The reference compiler must implement Workspace resolution contract as documented in this feature hub and its article bundle.

   Consequences

   Changes require hub/ADR updates and verification anchor extensions.

   Verification anchors

   • compiler/crates/beskid_analysis/

   Open full ADR page

Articles

• Workspace resolution contract - Contracts and edge cases Normative guarantees and failure behavior for manifests, graph resolution, and root selection. article Standard
• Workspace resolution contract - Design model Actors, data model, and boundaries for project/workspace discovery in compiler services. article Standard Reviewed Wed May 20
• Workspace resolution contract - Examples Practical examples of manifest graph resolution and target path selection. article Standard
• Workspace resolution contract - FAQ and troubleshooting Common newcomer questions for project graph resolution, manifests, and lock behavior. article Standard
• Workspace resolution contract - Flow and algorithm End-to-end algorithm from manifest discovery to resolved compile input. article Standard
• Workspace resolution contract - Verification and traceability Tests and source anchors used to validate project graph and workspace resolution behavior. 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 · 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
  Workspace resolution contract

  Parent feature hub

• Feature
  Test harnesses and fixtures

  Validation strategy

Primary implementation anchors:

• compiler/crates/beskid_analysis/src/projects/compile_plan.rs
• compiler/crates/beskid_analysis/src/projects/manifest_resolve.rs (workspace member selection aligned with CLI)
• compiler/crates/beskid_analysis/src/compilation_context.rs (analysis / LSP compile slice)
• compiler/crates/beskid_analysis/src/projects/graph/builder.rs (discover_workspace_resolution_rules, registry URLs)
• compiler/crates/beskid_analysis/src/projects/workflow.rs (registry materialization base URL)
• compiler/crates/beskid_analysis/src/services.rs (resolve_input, analyze_source_with_compilation_context)
• compiler/crates/beskid_lsp/src/session/project_context.rs (cached CompilationContext)
• compiler/crates/beskid_cli/src/commands/fetch.rs, lock.rs, tree.rs

Regression coverage should include fixed-fixture project graphs and lockfile policy permutations. Workspace member selection and CompilationContext are covered in compiler/crates/beskid_tests/src/projects/resolution.rs.