Struct Tensor4Shape 

pub struct Tensor4Shape<const D0: usize, const D1: usize, const D2: usize, const D3: usize, const ELEM_BYTES: usize>;

Parametric ConstrainedTypeShape for a row-major rank-4 tensor of shape D0 × D1 × D2 × D3 carrying ELEM_BYTES-byte elements.

Per ADR-031’s Tensor<Element, Shape> shape commitment for rank-4. Common GGUF / ONNX usage: batched multi-head attention (batch × heads × seq × dim), 4D conv weight tensors (out_channels × in_channels × kernel_h × kernel_w).

Trait Implementations

impl<const D0: usize, const D1: usize, const D2: usize, const D3: usize, const ELEM_BYTES: usize> Clone for Tensor4Shape<D0, D1, D2, D3, ELEM_BYTES>

fn clone(&self) -> Tensor4Shape<D0, D1, D2, D3, ELEM_BYTES>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const D0: usize, const D1: usize, const D2: usize, const D3: usize, const ELEM_BYTES: usize> ConstrainedTypeShape for Tensor4Shape<D0, D1, D2, D3, ELEM_BYTES>

const IRI: &'static str = "https://uor.foundation/type/ConstrainedType"

IRI of the ontology type:ConstrainedType instance this shape represents.

const SITE_COUNT: usize

Number of sites (fields) this constrained type carries.

const CONSTRAINTS: &'static [ConstraintRef]

Per-site constraint list. Empty means unconstrained.

const CYCLE_SIZE: u64

ADR-032: cardinality of the shape’s value-set (the cycle structure of the shape under the substrate’s discrete-clock model). Used by the prism_model! macro to lower first_admit (closure-body grammar G16) to the correct descent measure. Conventions:

const SITE_BUDGET: usize = Self::SITE_COUNT

Ontology-level siteBudget: count of data sites only, excluding bookkeeping introduced by composition (coproduct tag sites, etc.). Equals SITE_COUNT for leaf shapes and for shapes whose composition introduces no bookkeeping (products, cartesian products). Strictly less than SITE_COUNT for coproduct shapes and any shape whose SITE_COUNT includes inherited bookkeeping. Introduced by the Product/Coproduct Completion Amendment §4a; defaults to SITE_COUNT so pre-amendment shape impls remain valid without edits.

impl<const D0: usize, const D1: usize, const D2: usize, const D3: usize, const ELEM_BYTES: usize> Debug for Tensor4Shape<D0, D1, D2, D3, ELEM_BYTES>

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

Formats the value using the given formatter.

impl<const D0: usize, const D1: usize, const D2: usize, const D3: usize, const ELEM_BYTES: usize> Default for Tensor4Shape<D0, D1, D2, D3, ELEM_BYTES>

fn default() -> Self

Returns the “default value” for a type.

impl<'a, const D0: usize, const D1: usize, const D2: usize, const D3: usize, const ELEM_BYTES: usize> IntoBindingValue<'a> for Tensor4Shape<D0, D1, D2, D3, ELEM_BYTES>

fn as_binding_value<const INLINE_BYTES: usize>( &self, ) -> TermValue<'a, INLINE_BYTES>

Return this input value’s canonical content-addressable bytes as a source-polymorphic crate::pipeline::TermValue carrier (ADR-060). Inline for values within the derived inline width, Borrowed for larger in-memory values (zero-copy), or Stream for unbounded sources. The carrier borrows the input’s 'a-lived data; for an Inline-only input it owns its bytes and is valid for any 'a.

impl<const D0: usize, const D1: usize, const D2: usize, const D3: usize, const ELEM_BYTES: usize> Copy for Tensor4Shape<D0, D1, D2, D3, ELEM_BYTES>

impl<const D0: usize, const D1: usize, const D2: usize, const D3: usize, const ELEM_BYTES: usize> GroundedShape for Tensor4Shape<D0, D1, D2, D3, ELEM_BYTES>

impl<const D0: usize, const D1: usize, const D2: usize, const D3: usize, const ELEM_BYTES: usize> Sealed for Tensor4Shape<D0, D1, D2, D3, ELEM_BYTES>