One client story.
Verification and traceability
Platform spec article
Verification and traceability
Spec standingStandard
-
Hub authority
Context
Decision
Hub owns HTTP and auth.
Consequences
Extension defers.
Verification anchors
beskid_pckg; pckgClient.
-
Registry versions
Context
Manual semver drift.
Decision
Registry-assigned publish versions in routine flows.
Consequences
UI shows server version.
Verification anchors
publish API tests.
- Contracts and edge cases Registry client guarantees and failure modes.
- Design model Conceptual model for the Beskid pckg registry client (`beskid_pckg`).
- Examples Example `beskid pckg` invocations and configuration.
- FAQ and troubleshooting Common pckg client and registry issues.
- Flow and algorithm Pack, upload, and query flows for the pckg registry client.
- Verification and traceability Tests and traceability for the pckg client contract.
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).
Client / compiler
Section titled “Client / compiler”| Area | Location |
|---|---|
| Pack profile detection | beskid_pckg/src/pack.rs unit tests |
| CLI wiring | beskid_pckg/src/cli.rs |
| Workspace fetch integration | beskid_tests pipeline + fetch scenarios |
pckg server
Section titled “pckg server”| Area | Location |
|---|---|
| Artifact validation | pckg/src/Server.Tests/Unit/PackageArtifactValidatorTests.cs |
| Publish documentation | pckg/src/Server.Tests/Unit/PackagePublishDocumentationTests.cs |
| Workspace publish | pckg/src/Server.Tests/Integration/WorkspacePublishIntegrationTests.cs |
| Manifest metadata | pckg/src/Server.Tests/Unit/PackageManifestMetadataReaderTests.cs |
Traceability
Section titled “Traceability”| Contract | Verification |
|---|---|
README.md zip entry | Pack tests + server doc browser smoke |
api.json primary docs model | Publish documentation tests |
Template packageKind | detect_pack_profile + server template validators |
| Registry-assigned versions | Server API integration (no client-side version override in CI publish) |
Spec edits must stay aligned with PackageManifestMetadata and workspace provisioning changes in pckg/src/Server/Services/Workspace/.