Build, analyze, and run contract

Platform spec feature

Build, analyze, and run contract

Back to CLI ◎ Open 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

   Drift risk.

   Decision

   Hub owns MUST/SHOULD.

   Consequences

   Articles defer.

   Verification anchors

   trudoc.

   Open full ADR page

2. 0002-shared-analysis-pipeline Shared pipeline Accepted

   Shared pipeline

   Context

   CLI/LSP divergence.

   Decision

   Use beskid_analysis aligned with LSP.

   Consequences

   Parity.

   Verification anchors

   pipeline tests.

   Open full ADR page

Articles

• Contracts and edge cases Strict guarantees and failure modes for build, analyze, and run CLI behavior. article Standard
• Design model Conceptual model for `Build, analyze, and run contract` and its subsystem boundaries. article Standard
• Examples Concrete CLI invocations for build, analyze, and run workflows. article Standard
• FAQ and troubleshooting Common questions and fixes for build, analyze, and run CLI behavior. article Standard
• Flow and algorithm Lifecycle and execution flow for `Build, analyze, and run contract`. article Standard
• Verification and traceability Tests and traceability for the build, analyze, and run CLI contract. 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

• Area
  CLI

  Parent area

• Area
  Build pipeline

  CLI orchestrates build stages

• Area
  Runtime

  Run commands invoke runtime contracts

What this feature specifies

Build, analyze, and run contract defines one operational contract that a newcomer can follow end-to-end: first the model, then execution flow, then strict guarantees, concrete examples, and verification guidance.

Implementation anchors

• CLI command implementations in compiler/crates/beskid_cli/src/commands/
• Analysis pipeline in compiler/crates/beskid_analysis/src/services.rs
• Runtime launch via engine in compiler/crates/beskid_engine/src/jit_module.rs
• CLI-facing tests in compiler/crates/beskid_tests/src/analysis/pipeline/core.rs

Decisions

No open decisions. D-TOOL-CLI-0001 (hub authority), 0002 (shared analysis pipeline with LSP)—see adr/ and the ADRs tab.

Articles

• Hub authorityHub authority
• Contracts and edge casesStrict guarantees and failure modes for build, analyze, and run CLI behavior.
• Design modelConceptual model for `Build, analyze, and run contract` and its subsystem boundaries.
• ExamplesConcrete CLI invocations for build, analyze, and run workflows.
• FAQ and troubleshootingCommon questions and fixes for build, analyze, and run CLI behavior.
• Flow and algorithmLifecycle and execution flow for `Build, analyze, and run contract`.
• Verification and traceabilityTests and traceability for the build, analyze, and run CLI contract.