Enum SharedClassification 

pub enum SharedClassification {
    ResolvedDelete,
    ResolvedIdentical,
    ConflictModifyDelete,
    ConflictMissingContent,
    ConflictAddAddDifferent,
    ConflictMissingBase,
    NeedsDiff3,
}

Pre-diff3 classification of a shared path.

This is the pure decision tree extracted from [resolve_shared_path]. It determines the merge outcome category without performing any I/O, allocation, or subprocess calls. The Kani proof harnesses verify algebraic properties (commutativity, idempotence, conflict monotonicity) directly on this function.

Variants

ResolvedDelete

All workspaces deleted the same path → resolved delete.

ResolvedIdentical

All non-delete variants have identical content → resolved upsert.

ConflictModifyDelete

Mix of delete and non-delete changes → conflict.

ConflictMissingContent

A non-delete entry has no content → conflict.

ConflictAddAddDifferent

All adds, different content, no base → conflict.

ConflictMissingBase

Different content, no base, not all adds → conflict.

NeedsDiff3

Different content with base available → needs diff3.

Implementations

impl SharedClassification

pub const fn is_definite(self) -> bool

Whether this classification produces a definite outcome (not NeedsDiff3).

pub const fn is_conflict(self) -> bool

Whether this classification is a conflict.

Trait Implementations

impl Clone for SharedClassification

fn clone(&self) -> SharedClassification

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SharedClassification

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

Formats the value using the given formatter.

impl PartialEq for SharedClassification

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

impl Eq for SharedClassification

impl StructuralPartialEq for SharedClassification