Struct IncrementalLayerEvidenceV0 

pub struct IncrementalLayerEvidenceV0 {

    pub schema_version: &'static str,
    pub product: &'static str,
    pub claim_level: &'static str,
    pub invalidation_layer: &'static str,
    pub real_invalidation_evidence_ready: bool,
    pub fuzz_evidence_ready: bool,
    pub salsa_reuse_evidence_ready: bool,
    pub datalog_contract_evidence_ready: bool,
    pub value_equality_backdating_ready: bool,
    pub alpha_equivalence_hash_ready: bool,
    pub shadow_delta_oracle_ready: bool,
    pub edit_distance_priority_ready: bool,
    pub benchmark_surface_ready: bool,
    pub performance_benchmark_claim_ready: bool,
    pub external_datalog_host_ready: bool,
    pub dbsp_zset_claim_ready: bool,
    pub public_safety_claim_ready: bool,
    pub benchmark_gate: &'static str,
    pub benchmark_evidence_level: &'static str,
    pub supported_claims: Vec<&'static str>,
    pub deferred_claims: Vec<&'static str>,
    pub boundary: OmenaIncrementalBoundarySummaryV0,
    pub fuzz_report: IncrementalFuzzSeedReportV0,
    pub sample_update: IncrementalDatabaseUpdateV0,
}

Fields

schema_version: &'static str

product: &'static str

claim_level: &'static str

invalidation_layer: &'static str

real_invalidation_evidence_ready: bool

fuzz_evidence_ready: bool

salsa_reuse_evidence_ready: bool

datalog_contract_evidence_ready: bool

value_equality_backdating_ready: bool

alpha_equivalence_hash_ready: bool

shadow_delta_oracle_ready: bool

edit_distance_priority_ready: bool

benchmark_surface_ready: bool

performance_benchmark_claim_ready: bool

external_datalog_host_ready: bool

dbsp_zset_claim_ready: bool

public_safety_claim_ready: bool

benchmark_gate: &'static str

benchmark_evidence_level: &'static str

supported_claims: Vec<&'static str>

deferred_claims: Vec<&'static str>

boundary: OmenaIncrementalBoundarySummaryV0

fuzz_report: IncrementalFuzzSeedReportV0

sample_update: IncrementalDatabaseUpdateV0

Implementations

impl IncrementalLayerEvidenceV0

pub fn evidence_node_key(&self) -> EvidenceNodeKeyV0

pub fn evidence_node_seed(&self) -> EvidenceNodeSeedV0

pub fn evidence_demand_edge(&self) -> EvidenceDemandEdgeV0

pub fn evidence_graph( &self, ) -> Result<EvidenceGraphV0, EvidenceGraphBuildErrorV0>

Trait Implementations

impl Clone for IncrementalLayerEvidenceV0

fn clone(&self) -> IncrementalLayerEvidenceV0

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IncrementalLayerEvidenceV0

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

Formats the value using the given formatter.

impl Eq for IncrementalLayerEvidenceV0

impl PartialEq for IncrementalLayerEvidenceV0

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for IncrementalLayerEvidenceV0

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 IncrementalLayerEvidenceV0