Extension UX.
Verification and traceability
Platform spec article
Verification and traceability
Spec standingStandard
-
Four views
Context
Decision
Four views under one container.
Consequences
beskid_vscode runtime.
Verification anchors
package.json; runtime tests.
-
focusedProjectUri
Context
Extension UX.
Decision
Single focus drives outline and packages.
Consequences
beskid_vscode runtime.
Verification anchors
package.json; runtime tests.
-
pckgClient only
Context
Extension UX.
Decision
Registry HTTP via pckgClient only.
Consequences
beskid_vscode runtime.
Verification anchors
package.json; runtime tests.
-
LSP graph only
Context
Extension UX.
Decision
Graph via LSP executeCommand only.
Consequences
beskid_vscode runtime.
Verification anchors
package.json; runtime tests.
-
Status controller
Context
Extension UX.
Decision
One status bar for LSP, pckg, CLI.
Consequences
beskid_vscode runtime.
Verification anchors
package.json; runtime tests.
- Contracts and edge cases focusedProjectUri, LSP executeCommand JSON, auth, and offline registry behavior.
- Design model Extension layout, focus model, and status-bar phases for the Beskid VS Code extension.
- Examples corelib workspace and single-app project scenarios.
- FAQ and troubleshooting Common questions about focus, private registries, offline mode, and LSP restarts.
- Flow and algorithm Activation through LSP init, tree refresh, and package search.
- Verification and traceability Tests, CI, and smoke checks for the VS Code extension surface.
0 revisions (git unavailable at build; counts may be empty)
No commits recorded for this path.
| 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).
Purpose and scope
Section titled “Purpose and scope”How implementers prove the extension surface matches this spec.
LSP (compiler)
Section titled “LSP (compiler)”| Check | Location |
|---|---|
| executeCommand JSON golden tests | compiler/crates/beskid_lsp (fixtures with Workspace.proj + Project.lock) |
beskid.refreshWorkspace regression | Existing backend.rs handler + snapshot contract tests |
Extension (beskid_vscode)
Section titled “Extension (beskid_vscode)”| Check | Location |
|---|---|
pckgClient cache + auth header | Unit tests with mock fetch |
autoSelect path → project URI | Unit tests under src/workspace/ |
| E2E smoke | @vscode/test-electron: activate, mock executeCommand, assert tree labels |
| Lint in CI | beskid_vscode bun run lint in extension workflow |
Platform spec
Section titled “Platform spec”| Check | Command |
|---|---|
| trudoc + platform-spec content | cd site/website && bun run verify:trudoc -- --preset ci |
Manual smoke (corelib)
Section titled “Manual smoke (corelib)”- Open
compiler/corelib. - Workspaces: all members visible.
- Packages: locked deps for selected member.
- Search registry for
corelib. - Fetch/Lock from view title without LSP restart on focus change.
Traceability matrix
Section titled “Traceability matrix”| Spec section | Implementation | Test |
|---|---|---|
| Four views | package.json contributes.views | E2E view registration |
focusedProjectUri | focusState.ts, LSP init | Unit + LSP golden |
| executeCommands | beskid_lsp handlers | Rust JSON golden |
pckgClient | pckgClient.ts | Unit mock fetch |
| CLI runner | beskidCliRunner.ts | Unit argv builder |