Verification and traceability

Platform spec article

Verification and traceability

Back to Workspace and lock contracts ◎ 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

   Lock alignment.

   Decision

   Hub owns workspace and lock rules.

   Consequences

   CLI/IDE defer.

   Verification anchors

   resolution tests.

   Open full ADR page

2. 0002-lock-mutations-via-cli CLI lock mutations Accepted

   CLI lock mutations

   Context

   Resolver bypass risk.

   Decision

   fetch/lock must use CLI resolver.

   Consequences

   Matches VSC-0002.

   Verification anchors

   CLI integration.

   Open full ADR page

Articles

• Contracts and edge cases Workspace and lockfile guarantees for tooling operators. article Standard
• Design model Conceptual model for workspace manifests, lockfiles, and materialized dependency roots. article Standard
• Examples Workspace and lockfile examples for tooling workflows. article Standard
• FAQ and troubleshooting Workspace and lockfile troubleshooting for tooling users. article Standard
• Flow and algorithm Lock synchronization, fetch, and update flows for workspace tooling. article Standard
• Verification and traceability Tests and traceability for workspace and lock tooling 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 · 3 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
  Workspace and lock contracts (compiler)

  Compiler-side verification matrix

Compiler tests

Topic	Path
Pipeline + lock sync	compiler/crates/beskid_tests/src/analysis/pipeline/core.rs
Corelib workspace layout	compiler/crates/beskid_tests/src/projects/corelib/layout.rs
Lock parse errors	projects/workflow.rs unit tests

pckg server tests

Topic	Path
Workspace publish	pckg/src/Server.Tests/Integration/WorkspacePublishIntegrationTests.cs
Manifest metadata	pckg/src/Server.Tests/Unit/PackageManifestMetadataReaderTests.cs
Artifact validation	pckg/src/Server.Tests/Unit/PackageArtifactValidatorTests.cs

Traceability

Tooling articles describe operator-visible contracts; compiler feature pages own diagnostic code bands for lock parse failures. Changes to Project.lock v1 must update both sides and bump any fixture locks in tests.

CI

Superrepo and compiler CI run workspace tests on every graph change. Website spec verify: cd site/website && bun run verify:trudoc -- --preset ci after MDX edits.