Struct LayoutSpec 

pub struct LayoutSpec {
    pub contiguous: Option<String>,
    pub strided: Option<String>,
    pub broadcast_stride0: Option<String>,
    pub broadcast_axes: Option<Vec<i64>>,
    pub start_offset: Option<String>,
    pub reverse_strides: Option<String>,
    pub awkward_layout_strategy: Option<String>,
}

The five-flag layout capability set (§4.1). Each flag is a string tri-state (required/accepted/n/a for contiguous; accepted/rejected for the rest) carried verbatim — projection onto today’s KernelCaps.strided_input is a lowering concern (§6).

Fields

contiguous: Option<String>

required | accepted | n/a.

strided: Option<String>

accepted | rejected.

broadcast_stride0: Option<String>

accepted | rejected.

broadcast_axes: Option<Vec<i64>>

The iteration-axis indices on which the operand MUST have stride 0 — the §6-additive broadcast-axis mask. Present only with broadcast_stride0: required (a baked-broadcast cell); absent ⇒ today’s behavior. validate (Rule 4) enforces present-iff-required and non-empty. The layout check accepts iff the operand’s stride-0 axis set equals this exactly — that exact-match + the routing land in path 1b; path 1a parses + validates it and projects only the requires_broadcast boolean (from broadcast_stride0: required) onto crate::kernel::KernelCaps, excluding the baked-broadcast kernel from dense-operand selection.

start_offset: Option<String>

accepted | rejected.

reverse_strides: Option<String>

accepted | rejected — NEGATIVE strides (§4.1.1).

awkward_layout_strategy: Option<String>

Optional per-operand override of caps.awkward_layout_strategy (§4.3.1).

Trait Implementations

impl Clone for LayoutSpec

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LayoutSpec

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LayoutSpec

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.