Struct FinalizeStats 

pub struct FinalizeStats {
    pub session_id: String,
    pub processed: usize,
    pub finalized: usize,
    pub merged: usize,
    pub conflicts: usize,
    pub rejected: usize,
}

Aggregate outcome counters for one finalize run.

FinalizeStats is the wire shape the watcher (Slice-7) and the CLI --finalize trigger surface to operators, so every field is pub. The rejected counter overlaps with merged (every merge rejects the pending twin) — both are reported because operators want to see “how many facts left the pending pool by each exit”.

Fields

session_id: String

Id of the session that was finalized.

processed: usize

Pending facts the use case attempted to resolve.

finalized: usize

Standalone facts promoted through the validation gate (may still be Pending if the validation gate rejected the promotion).

merged: usize

Pending facts merged into an existing accepted fact (entailment path).

conflicts: usize

Pending facts whose strongest NLI verdict was a contradiction (drift). Both sides of the pair are flagged; status is unchanged.

rejected: usize

Pending facts marked Rejected after being absorbed into another fact. Equals merged after a clean run, but kept separate so a partial run (e.g. save failure between the merge save and the reject save) is visible to operators.

Trait Implementations

impl Clone for FinalizeStats

fn clone(&self) -> FinalizeStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FinalizeStats

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

Formats the value using the given formatter.

impl Default for FinalizeStats

fn default() -> FinalizeStats

Returns the “default value” for a type.

impl PartialEq for FinalizeStats

fn eq(&self, other: &FinalizeStats) -> 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 StructuralPartialEq for FinalizeStats