Struct LocyIncomplete 

pub struct LocyIncomplete {
    pub reason: LocyIncompleteReason,
    pub elapsed_ms: u64,
    pub limit_ms: u64,
    pub max_iterations: usize,
    pub completed_strata: usize,
    pub total_strata: usize,
    pub incomplete_rules: Vec<String>,
    pub skipped_rules: Vec<String>,
    pub complement_rules_affected: Vec<String>,
}

Diagnostics describing a Locy evaluation that stopped before completing.

Returned (boxed) inside UniError::LocyIncomplete when a program exceeds its time or iteration budget, and also attached to a LocyResult when the caller opts into partial results. The rule lists exist so a caller can tell “not evaluated” apart from “genuinely empty”: any rule named in incomplete_rules or skipped_rules may be missing facts purely because evaluation was cut short, so a zero-row count for it is not authoritative.

Examples

use uni_common::{LocyIncomplete, LocyIncompleteReason};

let detail = LocyIncomplete {
    reason: LocyIncompleteReason::Timeout,
    elapsed_ms: 305_000,
    limit_ms: 300_000,
    max_iterations: 1000,
    completed_strata: 2,
    total_strata: 4,
    incomplete_rules: vec!["upstream_reaches".into()],
    skipped_rules: vec!["healthy_assets".into()],
    complement_rules_affected: vec!["healthy_assets".into()],
};
assert!(detail.to_string().contains("timeout"));
assert!(detail.to_string().contains("UNSOUND"));

Fields

reason: LocyIncompleteReason

Why evaluation stopped.

elapsed_ms: u64

Wall-clock time elapsed when evaluation was cut short, in milliseconds.

limit_ms: u64

The configured wall-clock timeout, in milliseconds.

max_iterations: usize

The configured max_iterations cap for recursive strata.

completed_strata: usize

Number of strata fully evaluated before the cutoff.

total_strata: usize

Total number of strata in the program.

incomplete_rules: Vec<String>

Rules in the stratum that was interrupted mid-evaluation. Their facts may be a partial fixpoint rather than the least fixed point.

skipped_rules: Vec<String>

Rules in strata that were never reached. They derived no facts solely because evaluation stopped first, not because their result is empty.

complement_rules_affected: Vec<String>

Subset of the incomplete/skipped rules that use an IS NOT complement. Stratified negation over a partial relation is unsound, so these results must not be trusted at all — surfaced separately for emphasis.

Trait Implementations

impl Clone for LocyIncomplete

fn clone(&self) -> LocyIncomplete

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LocyIncomplete

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

Formats the value using the given formatter.

impl Display for LocyIncomplete

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

Formats the value using the given formatter.

impl Eq for LocyIncomplete

impl PartialEq for LocyIncomplete

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