Struct Report 

pub struct Report {
    pub status: Status,
    pub conflicts: Vec<Conflict>,
    pub warnings: Vec<Warning>,
    pub derived: Vec<Derived>,
    pub underdetermined: Option<String>,
    pub unsat_core: Vec<CoreItem>,
    pub retract: Vec<CoreItem>,
    pub hints: Vec<SimilarAtoms>,
}

The result of solving, self-contained (atom ids already resolved to labels).

Fields

status: Status

The overall verdict.

conflicts: Vec<Conflict>

Every violated constraint / fact contradiction (sorted by source+line).

warnings: Vec<Warning>

Every premise blocked by an UNKNOWN atom (sorted by source+line).

derived: Vec<Derived>

Facts produced by forward-chaining RULEs.

underdetermined: Option<String>

When UNDERDETERMINED, the label of an atom left free by the constraints (asserting it would pin the model down).

unsat_core: Vec<CoreItem>

When the system is jointly unsatisfiable but the forward pass found no single violated constraint, the minimal set of constructs (facts / premises / rules) whose removal restores satisfiability — i.e. the smallest group jointly to blame. Empty in every other case.

retract: Vec<CoreItem>

When ASSUME hypotheses are what break an otherwise-consistent program, the minimal set of assumptions that cannot all hold together with the (consistent) facts, premises and rules — dropping any one restores consistency. Only ever lists ASSUME constructs: facts and premises are never blamed. Empty whenever the facts/premises are themselves to blame (a hard contradiction) or there is no conflict at all. The verdict stays CONFLICT (exit code 2); this field only says which dial to turn.

hints: Vec<SimilarAtoms>

Advisory near-duplicate atom-name hints (possible typos). Never affects Report::status or Report::exit_code — purely informational.

Implementations

impl Report

pub fn exit_code(&self) -> i32

CLI-style exit code: 0 = consistent, 1 = underdetermined/warnings, 2 = conflicts.

pub fn to_json(&self) -> String

Render the report as a single-line JSON object (for tooling / MCP). Hand-written so the crate stays dependency-free and no_std.

Trait Implementations

impl Clone for Report

fn clone(&self) -> Report

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Report

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

Formats the value using the given formatter.

impl Display for Report

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

Formats the value using the given formatter.

impl Eq for Report

impl PartialEq for Report

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