Struct NumericalExecutionProfile 

pub struct NumericalExecutionProfile {
    pub id: NumericalProfileId,
    pub version: ContractVersion,
    pub family_id: ModelFamilyId,
    pub primary_activation: ProgramValueId,
    pub boundaries: BTreeMap<ProgramValueId, ElementType>,
    pub states: Vec<StateSpec>,
    pub kv_storage: Vec<KvStateStorage>,
    pub operations: Vec<NumericalOperationContract>,
}

A complete numerical choice declared by a family before program generation. Public decoding alone does not confer trust: the family registration must reproduce this profile from its validated typed model definition.

Fields

id: NumericalProfileId

version: ContractVersion

family_id: ModelFamilyId

primary_activation: ProgramValueId

The main activation is explicit so product metadata need not guess a dtype from weights, a container, or a profile’s human-readable name.

boundaries: BTreeMap<ProgramValueId, ElementType>

Every operation output has a declared storage/rounding boundary. This includes residuals, intermediate activations, logits and token outputs.

states: Vec<StateSpec>

State shapes, initialization and capacity are shared with the final program, permitting startup sizing without constructing a dummy program.

kv_storage: Vec<KvStateStorage>

Typed association of every causal KV payload and its optional scales. Empty means the family declares no applicable KV state.

operations: Vec<NumericalOperationContract>

Implementations

impl NumericalExecutionProfile

pub fn validate(&self) -> Result<(), VNextError>

pub fn activation_type(&self) -> Result<ElementType, VNextError>

pub fn kv_storage_format(&self) -> Result<Option<KvStorageFormat>, VNextError>

pub fn fingerprint(&self) -> Result<String, VNextError>

pub fn validate_program(&self, program: &ModelProgram) -> Result<(), VNextError>

Preparation validates the declared graph contract; compiler inference subsequently proves every boundary’s actual dtype against real operations.

pub fn validate_inferred_boundaries( &self, values: &BTreeMap<ProgramValueId, ResolvedTensorSpec>, ) -> Result<(), VNextError>

Trait Implementations

impl Clone for NumericalExecutionProfile

fn clone(&self) -> NumericalExecutionProfile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NumericalExecutionProfile

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for NumericalExecutionProfile

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for NumericalExecutionProfile

impl PartialEq for NumericalExecutionProfile

fn eq(&self, other: &NumericalExecutionProfile) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for NumericalExecutionProfile

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for NumericalExecutionProfile