Skip to content
Beskid The Beskid Book

Beskid

Jump to a Beskid service

Beskid

Jump to a Beskid service

08.4 Conformance vs unit

Your project's tests vs the compiler workspace harnesses that lock platform behavior.

Conformance vs unit

Two different questions:

  1. Does my package behave? — your test items, your CI job.
  2. Does Beskid still mean what the spec says?beskid_tests, beskid_e2e_tests, and the Conformance area.

Confusing them is how you ship a green app on a red language.

  • Authored as test items in your repos.
  • Run with beskid test and your tags/groups.
  • Prove your contracts, parsers, and business rules.

The reference compiler workspace (compiler/Cargo.toml) includes:

CrateRole
beskid_testsFixture-heavy behavior locks, incremental/mod scheduling
beskid_e2e_testsEnd-to-end CLI and pipeline scenarios

Normative policy: Conformance evidence, Test harnesses and fixtures.

flowchart TB
  userTests[Your test items in .bd files]
  cli[beskid test]
  conformance[beskid_tests / beskid_e2e_tests in compiler CI]
  spec[Platform spec contracts]
  userTests --> cli
  conformance --> spec
  cli -.->|does not replace| conformance

If you found a language or compiler bug (diagnostic code wrong, spawn lowering changed, manifest resolution drift), add or extend a conformance fixture in compiler/ and update the spec in the same change set (spec leads code).

CI and testing