Primary contract for Codegen artifact schema
Platform spec ADR
Primary contract for Codegen artifact schema
Spec standingStandard
- Codegen artifact schema - Contracts and edge cases States the normative guarantees and what happens at boundaries or failure edges.
- Codegen artifact schema - Design model Explains the persistent concepts, entities, and boundaries this feature relies on.
- Codegen artifact schema - Examples Gives concrete newcomer-friendly scenarios mapped to real compiler paths.
- Codegen artifact schema - FAQ and troubleshooting Answers common operator and contributor questions with practical next checks.
- Codegen artifact schema - Flow and algorithm Walks through runtime/order-of-operations behavior in the implementation.
- Codegen artifact schema - Verification and traceability Shows how the team proves this feature works and where evidence lives.
0 revisions (git unavailable at build; counts may be empty)
No commits recorded for this path.
Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).
Context
Section titled “Context”This feature hub defines the normative contract for codegen artifact schema and links newcomer-oriented reference articles.
Decision
Section titled “Decision”The reference compiler must implement Codegen artifact schema as documented in this feature hub and its article bundle.
Consequences
Section titled “Consequences”Changes require hub/ADR updates and verification anchor extensions.
Verification anchors
Section titled “Verification anchors”compiler/crates/beskid_engine/src/jit_module.rscompiler/crates/beskid_tests/src/runtime/jit.rscompiler/crates/beskid_tests/src/abi/contracts.rs