Struct ConflictReport 

pub struct ConflictReport {
    pub inconsistent: bool,
    pub proof_term: Option<Term>,
    pub kernel_ctx: Context,
    pub conflicting_premises: Vec<usize>,
    pub error: Option<String>,
}

The result of checking a rule set for an internal contradiction.

inconsistent == true is never a bare verdict: it is backed by proof_term, a kernel term of type False that re-checks under [infer_type] in kernel_ctx. conflicting_premises names the input premises (by index) that the proof of ⊥ actually used — the rules that clash.

Fields

inconsistent: bool

True iff the premises are jointly inconsistent and a kernel-checked proof of False was produced.

proof_term: Option<Term>

The kernel proof of False, present only when inconsistent.

kernel_ctx: Context

The kernel context the proof term checks in.

conflicting_premises: Vec<usize>

Indices (into the input premises) of the premises the proof used.

error: Option<String>

Why detection failed to certify, if a contradiction was sketched but not kernel-checked (or none was found).