Module lower 

The lowering seam: every backend is a pure function of a VERIFIED program and its target, and every construct it emits is the image of an IR object (the census bijection).

Modules

cuda

The spatial IR as a PERSISTENT CUDA kernel (sm_80+).

fabric

Our fabric: the spatial IR as synthesizable Verilog.

fabric_board

A fabric decode step as a board image: the step’s RTL behind its host port, a serial line in front of the port, and the autoregressive loop run on chip.

rdu

The SambaNova RDU slot: the placed+scheduled IR as a certified neutral placement — the logos.spatial.neutral v2 envelope — honestly SDK-gated for the RDA config bytes.

rdu_lanes

The RDU front door’s three lanes — how ANY LOGOS program reaches the SambaNova descriptor.

rdu_sdk

The SDK bridge kit — every plausible RDU front door behind ONE object-safe seam, so the day the vendor SDK arrives is a fill-in-the-blanks job in this file and nowhere else.

sambaflow

largo emit rdu --format sambaflow — the authored tensor program as the PyTorch module SambaFlow ingests.

spatial_lang

Spatial source emission for a VERIFIED SpatialProgram — the RDU’s own front-door language (Spatial, Koeplinger et al. PLDI 2018; the Plasticine/RDU lineage; the public Spatial → PIR → plastiroute → Tungsten chain built by scripts/plasticine/). The SpatialProgram twin of codegen_sva::spatial_emit, which prints a LoopFabric.

tensix

Tensix (TT-Metalium) lowering of the spatial IR. Every kernel — reader, compute, writer — is PRINTED from the schedule; no vendor kernel is wired by path, and every construct the artifact carries is the image of an IR object (the choreography census is a bijection, locked).

Structs

CapacityRefusal

Why a fabric does not fit its part, naming every resource it overruns.

Census

What the IR contains, counted — the number every artifact must reproduce.

NeutralArtifact

The neutral (SDK-gated) artifact of the RDU lane.

Over

One resource a fabric needs more of than its part has.

Enums

FabricResource

A resource a programmable part carries a bounded number of.

SpatialArtifact

SpatialLowerError

Traits

SpatialBackend

Functions

require_one_plan

The precondition of a printer that emits ONE kernel shape from work.plan: every section of the program runs under that plan. A composition’s work.plan is its last section’s, so any section lowered under another plan would be printed as the wrong kernel.

require_verified

The precondition every lowering enforces.