Module 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.

ONE envelope serves both RDU lanes. The spatial lane (RduSpatialBackend) carries the whole IR under program beside its recomputed choreography certificate; the placed-grid lane (codegen_sva::backend::RduBackend) carries its deterministic dump under grid. Both name the lane, both derive the target block from the same RduChipFacts — the chip, its published numbers, the unit model with every value’s provenance, which precisions are witnessed and which are chip-supported but witness-pending, what is modeled — and both are gated by the ONE sentence GATED_REASON.

sections, state, gathers and ii_report are present and empty: the composed (multi-section, stateful) form of a program fills them; a reader written today already sees their keys.

Structs

GridBody

The grid lane’s body: the deterministic dump(s) of the placed grid(s).

NeutralPrecisions

The precisions block: what the descriptors advertise, what the chip supports that no witness has shipped for, and the integer every index in the program rides — with its provenance, since a vendor engineer reading the artifact must see whether that width is published for this part or inherited.

NeutralTarget

The target block: the mesh and the published numbers, the unit model with every value’s provenance, and the modeled ledgers — the descriptor’s and the facts’.

RduSpatialBackend

Enums

NeutralBody

What an envelope carries under its lane.

NeutralLane

Which RDU lane produced an artifact.

Constants

GATED_REASON

The one sentence both RDU lanes gate on. Written here once; RduBackend::GATED_REASON and RduSpatialBackend::GATED_REASON re-export it.

NEUTRAL_SCHEMA

NEUTRAL_VERSION

NEUTRAL_VERSIONS_READ

The versions parse_neutral reads: v1 (target block + program + certificate, already shipped) and v2.

Functions

certificate_summary

The certificate summary a reader checks before opening the program: the digest that binds it, the marked graph’s size, the liveness witness, every buffer balance, every semaphore count, every compute certificate kind, and the numerics claim.

neutral_envelope

logos.spatial.neutral v2: the lane, the target block derived from the facts, the empty composed-form sections, the lane’s body (the IR itself, every field declaration-ordered — the certificate travels beside it, never inside — or the grid dump), and the certificate summary when the lane proved one.

parse_neutral

Parse a logos.spatial.neutral artifact (v1 or v2, spatial lane) back into the program it describes.

pretty_neutral

One line per object, in id order: what a vendor engineer reads before opening the JSON.