Struct RduBackend 

pub struct RduBackend {
    pub facts: RduChipFacts,
    pub target: FabricTarget,
}

The SambaNova RDU slot — the placed-grid lane, for either RDU generation (RduChip). Its target is the chip’s FabricTarget derived from RduChipFacts. It cannot emit RDA/SambaFlow config today — that needs the vendor SDK — so its emission is honestly BackendArtifact::SdkGated: it hands back the logos.spatial.neutral v2 envelope under "lane": "grid", the same envelope the spatial lane emits, with the ready-to-bridge deterministic grid dump as its body. Its proof-carrying certify works NOW (no SDK), so an RDU-bound placement already ships with a machine-checkable proof it ≡ the source. When the SDK lands, only the envelope → RDA config translation is added.

Fields

facts: RduChipFacts

target: FabricTarget

Implementations

impl RduBackend

pub const GATED_REASON: &'static str = GATED_REASON

pub fn new() -> Self

The SN40L lane.

pub fn for_chip(chip: RduChip) -> Self

The lane for one RDU generation, its target derived from that chip’s facts.

pub fn with_facts(facts: RduChipFacts) -> Self

The lane for facts with numbers dropped in (an SDK reading, a probe).

Trait Implementations

impl Default for RduBackend

fn default() -> Self

Returns the “default value” for a type.

impl TargetBackend for RduBackend

fn name(&self) -> &str

fn target(&self) -> &FabricTarget

fn emit_grid(&self, name: &str, g: &Grid) -> BackendArtifact

Emit a single placed grid to this backend’s artifact.

fn emit_config_grid( &self, name: &str, grids: &[&Grid], cfg_width: u32, ) -> BackendArtifact

Emit an N-way reconfigurable array of placed grids to this backend’s artifact.

fn certify( &self, g: &Grid, source: &[FabricOp], result: usize, width: u32, ) -> Option<PlacementCertificate>

Prove a placement computes source for every bounded input and return a re-checkable certificate (or None, fail-closed). Backend-agnostic — proof-carrying place-and-route is not tied to the emission format, so every backend inherits it. This is what lets an RDU backend add value before its SDK exists.