Verification and traceability

Platform spec article

Verification and traceability

Back to Runtime-backed corelib surfaces ◎ Open feature in platform map

Spec standingStandard

Owner

Piotr Mikstacki pmikstacki@cybernomad.it

Submitter

Piotr Mikstacki pmikstacki@cybernomad.it

Current document

ADRs (4)

1. 0001-split-system-io-modules Split System I/O modules Accepted

   stdin/stdout/stderr are separate runtime-backed modules.

   Context

   Monolithic IO.bd hid syscall direction and descriptor typing.

   Decision

   Rule	Detail
   Surface	System.Input, System.Output, System.Error under packages/runtime
   Non-goal	Monolithic IO.bd for standard streams

   Consequences

   Syscall descriptors stay typed per stream.

   Verification anchors

   packages/runtime/src/System/; stream contract tests.

   Open full ADR page

2. 0002-console-package-separate-shard Console package is a separate shard Accepted

   ANSI and terminal helpers live in corelib_console.

   Context

   Higher console work must not bloat runtime syscall modules.

   Decision

   Rule	Detail
   Package	compiler/corelib/packages/console (corelib_console)
   Runtime	Streams stay in runtime package

   Consequences

   Terminal features document against console package anchors.

   Verification anchors

   packages/console; pckg workspace publish.

   Open full ADR page

3. 0003-abi-version-lockstep ABI version lockstep for builtins Accepted

   Runtime-backed surfaces require coordinated ABI bumps.

   Context

   Builtin shape changes break AOT/JIT link without version alignment.

   Decision

   Rule	Detail
   Version	beskid_runtime_abi_version / BESKID_RUNTIME_ABI_VERSION must match
   Change	Requires beskid_abi, runtime, and corelib updates together

   Consequences

   Link failures surface at build time, not lazy dlopen.

   Verification anchors

   beskid_abi/src/builtins.rs; abi/contracts.rs.

   Open full ADR page

4. 0004-pure-beskid-out-of-scope Pure Beskid modules out of scope Accepted

   Foundation-style modules without builtins follow normal lowering.

   Context

   Not every corelib module is runtime-backed.

   Decision

   Rule	Detail
   In scope	Builtin/syscall facades documented here
   Out of scope	Pure Beskid foundation modules

   Consequences

   This feature does not duplicate language-meta semantics for pure libraries.

   Verification anchors

   foundation package compile tests.

   Open full ADR page

Articles

• Contracts and edge cases Stability guarantees for runtime-backed corelib APIs. article Standard
• Design model Corelib APIs implemented by runtime builtins and ABI-stable syscall surfaces. article Standard
• Examples Examples of runtime-backed corelib surfaces. article Standard
• FAQ and troubleshooting FAQ for runtime-backed corelib surfaces. article Standard
• Flow and algorithm Call path from Beskid corelib methods to runtime builtins. article Standard
• Verification and traceability Verification for runtime-backed corelib surfaces. 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 · 2 SpecSection(s) · 1 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

• Feature
  Runtime-backed corelib surfaces

  Parent feature hub

Automated gates

Gate	Location
ABI ↔ runtime export parity	compiler/crates/beskid_tests/src/abi/contracts.rs
AOT ABI version constant	beskid_aot + CLI build tests
Corelib compile smoke	beskid_tests/src/projects/corelib/compile.rs

Traceability matrix

Surface area	Spec article	Code
Syscall I/O	This feature + console-io-streams	panic_io, System.*
Fibers / GC	execution/runtime features	fiber, gc modules
Console ANSI	terminal-and-console area	packages/console

Release process

Runtime ABI bumps require: update beskid_abi, runtime implementations, ABI tests, platform-spec execution pages, and this feature bundle in one toolchain release.