Struct FindingProofBundle 

pub struct FindingProofBundle {
    pub finding_id: String,
    pub query_id: String,
    pub backend_id: String,
    pub evidence_digest: String,
    pub precision_contract: PrecisionContract,
    pub soundness: Soundness,
    pub primitive_soundness: Vec<DynamicPrimitiveSoundness>,
    pub fact_ids: Vec<FactId>,
    pub proof_path: Vec<FindingProofStep>,
    pub confidence_bps: u16,
    pub reason: String,
}

Fact-backed security finding proof bundle.

Fields

finding_id: String

Stable finding id.

query_id: String

Query Program or analysis query id that produced the finding.

backend_id: String

Backend that produced or verified the finding.

evidence_digest: String

Driver evidence bundle digest, report digest, or replay id.

precision_contract: PrecisionContract

Consumer precision contract this finding claims to satisfy.

soundness: Soundness

Conservative composed soundness marker for the primitive evidence.

primitive_soundness: Vec<DynamicPrimitiveSoundness>

Primitive soundness evidence used by the query.

fact_ids: Vec<FactId>

Facts used by the finding.

proof_path: Vec<FindingProofStep>

Ordered proof path.

confidence_bps: u16

Confidence in basis points, 0..=10000.

reason: String

Operator-facing explanation.

Implementations

impl FindingProofBundle

pub fn validate_against( &self, table: &AnalysisFactTable, ) -> Result<(), AnalysisFactError>

Validate that a finding is backed by the supplied fact table.

Errors

Returns AnalysisFactError when required identity fields are empty, confidence is invalid, any referenced fact is missing, or the proof path is empty.

Trait Implementations

impl Clone for FindingProofBundle

fn clone(&self) -> FindingProofBundle

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FindingProofBundle

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FindingProofBundle

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for FindingProofBundle

impl PartialEq for FindingProofBundle

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for FindingProofBundle

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 FindingProofBundle