Struct AnalysisFact 

pub struct AnalysisFact {
    pub id: FactId,
    pub kind: FactKind,
    pub span: AnalysisSourceSpan,
    pub subject: u64,
    pub object: Option<u64>,
    pub payload: BTreeMap<String, String>,
    pub provenance: Vec<FactId>,
    pub confidence_bps: u16,
    pub reason: String,
}

One normalized analysis fact.

Fields

id: FactId

Stable fact id.

kind: FactKind

Fact family.

span: AnalysisSourceSpan

Source span for this fact.

subject: u64

Primary subject node/symbol/object id.

object: Option<u64>

Optional object node/symbol/object id.

payload: BTreeMap<String, String>

Deterministic payload map. Keys are sorted by BTreeMap.

provenance: Vec<FactId>

Parent facts used to derive this fact.

confidence_bps: u16

Confidence in basis points, 0..=10000.

reason: String

Required reason when confidence is below 10000 or the fact is inferred.

Implementations

impl AnalysisFact

pub fn exact( id: FactId, kind: FactKind, span: AnalysisSourceSpan, subject: u64, ) -> Self

Build a fact with exact confidence and no parent facts.

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

Validate intrinsic fact fields.

Errors

Returns AnalysisFactError when ids, spans, confidence, payload, or self-provenance are invalid.

pub fn analysis_record(&self, producer: &str) -> AnalysisFactRecord

Convert this security fact into the structural interchange record.

Trait Implementations

impl Clone for AnalysisFact

fn clone(&self) -> AnalysisFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnalysisFact

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AnalysisFact

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for AnalysisFact

impl PartialEq for AnalysisFact

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for AnalysisFact

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 AnalysisFact