Drift risk.
Examples
Platform spec article
Examples
Spec standingStandard
-
Hub authority
Context
Decision
Hub owns MUST/SHOULD.
Consequences
Articles defer.
Verification anchors
trudoc.
-
Shared pipeline
Context
CLI/LSP divergence.
Decision
Use beskid_analysis aligned with LSP.
Consequences
Parity.
Verification anchors
pipeline tests.
- Contracts and edge cases Strict guarantees and failure modes for build, analyze, and run CLI behavior.
- Design model Conceptual model for `Build, analyze, and run contract` and its subsystem boundaries.
- Examples Concrete CLI invocations for build, analyze, and run workflows.
- FAQ and troubleshooting Common questions and fixes for build, analyze, and run CLI behavior.
- Flow and algorithm Lifecycle and execution flow for `Build, analyze, and run contract`.
- Verification and traceability Tests and traceability for the build, analyze, and run CLI 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).
Analyze a project target
Section titled “Analyze a project target”beskid analyze --project path/to/Project.projEmits semantic (+ mod) diagnostics for the resolved host target using the same pipeline as the IDE.
Release build of an app
Section titled “Release build of an app”beskid build --project apps/demo/Project.proj --release --kind exeProduces an AOT executable with release profile defaults; link mode and runtime strategy follow beskid_aot defaults unless overridden.
Run with explicit entrypoint
Section titled “Run with explicit entrypoint”beskid run --project apps/demo/Project.proj --entrypoint DemoHost.RunJIT-compiles the resolved app target and invokes the named entry function.
Workspace lock before CI build
Section titled “Workspace lock before CI build”beskid lock --project apps/demo/Project.projbeskid build --project apps/demo/Project.projlock materializes Project.lock; build consumes the pinned graph.
Plain progress for logs
Section titled “Plain progress for logs”beskid build --project apps/demo/Project.proj --plainMaps pipeline phases to line-oriented stderr suitable for CI log parsers.