Codegen artifact schema - Verification and traceability

import SpecArticleChrome from '@beskid/beskid-ui/platform-spec/SpecArticleChrome.astro';

<SpecArticleChrome />

This article documents verification and traceability for codegen artifact schema in the reference compiler.

What this covers

For newcomers, this page explains where the contract shows up in day-to-day compiler work and which code paths are most useful first reads.

Anchored code paths

• compiler/crates/beskid_engine/src/jit_module.rs consumes generated artifact fields.
• compiler/crates/beskid_tests/src/runtime/jit.rs validates runtime execution from codegen output.
• compiler/crates/beskid_tests/src/abi/contracts.rs checks ABI-level schema compatibility.

Practical notes

• Prefer tracing from CLI/test entry points into analysis/codegen crates before changing internals.
• Treat diagnostics and tests as part of the contract, not optional implementation details.
• If behavior changes, update this article and add/adjust tests in compiler/crates/beskid_tests or compiler/crates/beskid_e2e_tests.