Struct ExecutionDeterminismCoverageRegistry 

pub struct ExecutionDeterminismCoverageRegistry { /* private fields */ }

Runtime-derived proof denominator for one CUDA catalog and every resolved model plan admitted to the release matrix.

Providers with no selected model nodes remain present with an empty model_selections list. The hardware validator must reject that gap rather than silently shrinking the denominator.

Implementations

impl ExecutionDeterminismCoverageRegistry

pub fn from_catalog(catalog: &CapabilityCatalog) -> Result<Self, VNextError>

pub fn try_add_resolved_model_plan( &mut self, model_key: impl Into<String>, plan: &ResolvedModelPlan, ) -> Result<(), VNextError>

pub const fn schema_version(&self) -> ContractVersion

pub fn device_id(&self) -> &DeviceId

pub fn device_runtime_implementation_fingerprint(&self) -> &str

pub fn capability_catalog_fingerprint(&self) -> &str

pub fn models(&self) -> &[ExecutionDeterminismModelPlanIdentity]

pub fn provider_requirements( &self, ) -> &[ExecutionDeterminismCatalogProviderRequirement]

pub fn unselected_provider_requirements( &self, ) -> impl Iterator<Item = &ExecutionDeterminismCatalogProviderRequirement>

pub fn to_json(&self) -> Result<Vec<u8>, VNextError>

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

pub fn decode_untrusted(bytes: &[u8]) -> Result<Self, VNextError>

Trait Implementations

impl Clone for ExecutionDeterminismCoverageRegistry

fn clone(&self) -> ExecutionDeterminismCoverageRegistry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutionDeterminismCoverageRegistry

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExecutionDeterminismCoverageRegistry

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ExecutionDeterminismCoverageRegistry

impl PartialEq for ExecutionDeterminismCoverageRegistry

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ExecutionDeterminismCoverageRegistry

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 ExecutionDeterminismCoverageRegistry