Struct StatusProvenance 

pub struct StatusProvenance {
    pub support: ProvenancePoly,
    pub refute: ProvenancePoly,
}

Support and refute provenance polynomials for a single claim-context pair.

The status field is derived, not persisted. Reading derive_status() computes the Belnap status from the current support sets, which guarantees Theorem 3 by construction: status cannot drift out of sync with the polynomials.

Fields

support: ProvenancePoly

Polynomial of supporting derivations (pi_T(q, c) in the theory doc).

refute: ProvenancePoly

Polynomial of refuting derivations (pi_F(q, c) in the theory doc).

Implementations

impl StatusProvenance

pub fn empty() -> Self

Empty: no supporting or refuting derivations recorded. Derives to BelnapStatus::None.

pub fn new(support: ProvenancePoly, refute: ProvenancePoly) -> Self

Build with given support and refute polynomials.

pub fn add_support(&mut self, derivation: &ProvenancePoly)

Add a supporting derivation polynomial.

pub fn add_refute(&mut self, derivation: &ProvenancePoly)

Add a refuting derivation polynomial.

pub fn derive_status(&self) -> BelnapStatus

Derive the Belnap status from the current support sets.

This is the substrate status rule from docs/THEORY.md Section 7. Status is a function of the polynomials, not an independently-stored field, so Theorem 3 holds by construction.

pub fn retract<S: AsRef<str>>(&self, retracted: &BTreeSet<S>) -> Self

Retract a set of source/event identifiers from both support and refute polynomials.

Operationally: any derivation path involving a retracted source is dropped. The remaining polynomials may then yield a different Belnap status under derive_status().

pub fn support_contains(&self, var: &str) -> bool

Whether the support set contains the given variable.

pub fn refute_contains(&self, var: &str) -> bool

Whether the refute set contains the given variable.

Trait Implementations

impl Clone for StatusProvenance

fn clone(&self) -> StatusProvenance

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StatusProvenance

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

Formats the value using the given formatter.

impl Default for StatusProvenance

fn default() -> StatusProvenance

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for StatusProvenance

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for StatusProvenance

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for StatusProvenance

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for StatusProvenance

impl StructuralPartialEq for StatusProvenance