Struct Coherence 

pub struct Coherence {
    pub coherent: bool,
    pub inconsistency_count: u32,
    pub by_kind: Vec<(String, u32)>,
    pub scope: String,
    pub rules: String,
    pub materialized: bool,
}

The build-time OWL RL / RDFS coherence verdict, stamped into the card by rete build --reason. Deterministic and free of free-text detail (only a sorted by_kind histogram + short tags), so it folds into the file’s content hash without destabilizing it. scope records what was checked and rules the ruleset version, so coherent: true can’t be misread as a guarantee from a different scope or rule set.

Fields

coherent: bool

True iff the reasoner found no incoherent point.

inconsistency_count: u32

Number of incoherent points found.

by_kind: Vec<(String, u32)>

(kind, count) histogram of incoherent points, sorted by kind.

scope: String

What was checked, e.g. "default" (the default graph).

rules: String

The reasoner ruleset version (crate::REASON_RULESET).

materialized: bool

True iff the inferred triples were also materialized into the file.

Implementations

impl Coherence

pub fn is_empty(&self) -> bool

An unstamped card has the all-default block (omitted from the JSON).

pub fn from_reasoning(r: &Reasoning, materialized: bool) -> Self

Build the verdict from a reasoning result over the default graph. The by_kind histogram is BTreeMap-sourced (sorted) and carries no free-text Inconsistency::detail, so the stamp is byte-stable across rebuilds.

Trait Implementations

impl Clone for Coherence

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Coherence

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

Formats the value using the given formatter.

impl Default for Coherence

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Coherence

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Coherence

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Coherence

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 Coherence