Codegen and IR

import SpecPageHeader from '@beskid/beskid-ui/platform-spec/SpecPageHeader.astro'; import SpecSection from '@beskid/beskid-ui/platform-spec/SpecSection.astro'; import DomainTiles from '@beskid/beskid-ui/platform-spec/DomainTiles.astro';

<SpecPageHeader ownerName="Piotr Mikstacki" ownerEmail="pmikstacki@cybernomad.it" submitterName="Piotr Mikstacki" submitterEmail="pmikstacki@cybernomad.it" /> <SpecSection title="Scope" id="scope"> Lowering contracts from analyzed source into backend-ready artifacts and IR-related invariants. </SpecSection> <SpecSection title="Feature index" id="feature-index"> Use the tiles below for normative **feature** contracts in this area. </SpecSection> <DomainTiles pathPrefix="platform-spec/compiler/codegen-and-ir" heading="Features" />