Struct StudyEvidenceDescriptor 

pub struct StudyEvidenceDescriptor {

    pub sampling_policy: Symbol,
    pub sampling: SamplingCertificateDescriptor,
    pub work: WorkEstimateDescriptor,
    pub provider: Symbol,
    pub dtype: Symbol,
    pub component_absolute_tolerance: f64,
    pub squared_magnitude_absolute_tolerance: f64,
    pub completed_cells: u64,
    pub completed_emitter_evaluations: u64,
    pub uploads: u64,
    pub submissions: u64,
    pub intermediate_materializations: u64,
    pub final_materializations: u64,
    pub segments: u64,
    pub adapter: String,
    pub profile: Option<String>,
}

Citizen descriptor for one solver’s immutable completion evidence.

Fields

sampling_policy: Symbol

interference/strict or interference/annotate.

sampling: SamplingCertificateDescriptor

Unchanged sampling truth.

work: WorkEstimateDescriptor

Preflight work estimate.

provider: Symbol

Provider identity.

dtype: Symbol

Component dtype.

component_absolute_tolerance: f64

Absolute Cartesian-component tolerance.

squared_magnitude_absolute_tolerance: f64

Absolute squared-magnitude tolerance.

completed_cells: u64

Completed output cells.

completed_emitter_evaluations: u64

Completed source evaluations.

uploads: u64

Host-to-provider uploads.

submissions: u64

Accepted provider submissions.

intermediate_materializations: u64

Intermediate host readbacks.

final_materializations: u64

Final component readbacks.

segments: u64

Ordered execution segments.

adapter: String

Adapter/provider implementation identity.

profile: Option<String>

Optional measured hardware/profile identity.

Implementations

impl StudyEvidenceDescriptor

pub fn from_reference(evidence: &SolveEvidence) -> Self

Projects evidence from the deterministic host reference solver.

pub fn sampling_policy(&self) -> Result<SamplingPolicy>

Returns the checked sampling policy.

Trait Implementations

impl Citizen for StudyEvidenceDescriptor

fn citizen_symbol() -> Symbol

The citizen’s namespace/name class symbol.

fn citizen_version() -> u32

The citizen’s encoding version.

fn citizen_arity() -> usize

Number of constructor fields (excluding the version argument).

fn citizen_fields() -> &'static [&'static str]

The citizen’s field names, in constructor order.

impl CitizenRuntime for StudyEvidenceDescriptor

fn citizen_info() -> CitizenInfo

Returns the static registry row for this citizen type.

fn conformance(cx: &mut Cx) -> Result<()>

Runs this citizen’s conformance fixture set.

fn construct_from_values(cx: &mut Cx, args: Vec<Value>) -> Result<Self>

Builds the citizen from decoded constructor argument values.

fn example() -> Self

Returns the canonical example value used as a conformance fixture.

fn install(linker: &mut Linker<'_>) -> Result<(), Error>

where Self: Sized,

Installs this citizen’s class into a kernel linker.

impl Clone for StudyEvidenceDescriptor

fn clone(&self) -> StudyEvidenceDescriptor

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StudyEvidenceDescriptor

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

Formats the value using the given formatter.

impl Object for StudyEvidenceDescriptor

fn display(&self, cx: &mut Cx) -> Result<String>

Render the object as a human-readable display string.

fn as_any(&self) -> &dyn Any

Expose the object for Rust downcasting.

fn header(&self) -> &ObjectHeader

Identity and trust header for the object; defaults to the shared anonymous header.

fn op(&self, _key: &OpKey) -> Option<&dyn Op>

Resolve the operation registered under key, if any.

fn claims( &self, _cx: &mut Cx, _pattern: &ClaimPattern, _sink: &mut dyn ClaimSink, ) -> Result<(), Error>

Emit the object’s claims matching pattern into sink.

fn snapshot(&self, _cx: &mut Cx) -> Result<Option<Datum>, Error>

Optional content-addressable snapshot of the object’s state.

impl ObjectCompat for StudyEvidenceDescriptor

fn class(&self, cx: &mut Cx) -> Result<ClassRef>

Class object this value belongs to; defaults to nil.

fn as_expr(&self, cx: &mut Cx) -> Result<Expr>

Expression form of the object; defaults to an opaque extension node.

fn as_object_encoder(&self) -> Option<&dyn ObjectEncode>

Object-encoder view, if the object encodes other objects.

fn as_callable(&self) -> Option<&dyn Callable>

Callable view, if the object can be invoked.

fn as_class(&self) -> Option<&dyn Class>

Class view, if the object is a class.

fn as_shape(&self) -> Option<&dyn Shape>

Shape view, if the object is a shape.

fn as_read_constructor(&self) -> Option<&dyn ReadConstructor>

Read-constructor view, if the object decodes data forms.

fn as_number_domain(&self) -> Option<&(dyn NumberDomain + 'static)>

Number-domain view, if the object is a number domain.

fn as_number_value(&self) -> Option<&dyn NumberValue>

Number-value view, if the object is a domain number.

fn as_eval_fabric(&self) -> Option<&dyn EvalFabric>

Eval-fabric view, if the object is a distributed eval surface.

fn as_stream(&self) -> Option<&dyn Stream>

Stream view, if the object is a stream.

fn as_sequence(&self) -> Option<&dyn Sequence>

Sequence view, if the object is a sequence.

fn as_thunk(&self) -> Option<&dyn Thunk>

Thunk view, if the object is a deferred computation.

fn as_list(&self) -> Option<&(dyn ListValue + 'static)>

List view, if the object is a list value.

fn as_table_impl(&self) -> Option<&(dyn Table + 'static)>

Table-implementation view, if the object is a table.

fn as_dir(&self) -> Option<&(dyn Dir + 'static)>

Directory view, if the object is a directory.

fn truth(&self, _cx: &mut Cx) -> Result<bool, Error>

Truthiness of the object; defaults to true.

fn publish_shape_satisfaction_claims( &self, _cx: &mut Cx, _shape: &Ref, ) -> Result<bool, Error>

Publish claims asserting that the object satisfies shape; returns whether any were published.

fn as_table(&self, cx: &mut Cx) -> Result<Value, Error>

Project the object into a table value; the default exposes its display.

impl ObjectEncode for StudyEvidenceDescriptor

fn object_encoding(&self, cx: &mut Cx) -> Result<ObjectEncoding>

Returns the ObjectEncoding this object should be rendered as.

impl PartialEq for StudyEvidenceDescriptor

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for StudyEvidenceDescriptor