Struct Correction 

pub struct Correction {
    pub wrong: String,
    pub right: Option<String>,
    pub about: Option<String>,
    pub fact_uid: Option<String>,
}

One thing the user said the graph has wrong. right absent is a rejection rather than a replacement — pkg writes a negation for those, which is how it stops re-proposing what was already settled.

Fields

wrong: String

right: Option<String>

about: Option<String>

fact_uid: Option<String>

pkg’s own id for the wrong claim, when the transcript happened to carry one. Rarely present: tool results are clipped before the distiller reads them, so uids usually do not survive. pkg falls back to matching the wrong text, narrowed by about.

Trait Implementations

impl Clone for Correction

fn clone(&self) -> Correction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Correction

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Correction

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Correction

impl PartialEq for Correction

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Correction

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 Correction