Enum Divergence 

pub enum Divergence {
    StatusCodeDiff {
        op: String,
        method: HttpMethod,
        engenho: u16,
        k3s: u16,
    },
    MissingResource {
        path: JsonPath,
        present_on: Side,
    },
    FieldDiff {
        path: JsonPath,
        engenho: Value,
        k3s: Value,
        severity: Severity,
    },
    MissingDefault {
        path: JsonPath,
        k3s_value: Value,
        severity: Severity,
    },
    ExtraField {
        path: JsonPath,
        side: Side,
        value: Value,
        severity: Severity,
    },
    MissingVerb {
        gvr: Gvr,
        verb: Verb,
        present_on: Side,
    },
    MissingSubresource {
        gvr: Gvr,
        sub: String,
        present_on: Side,
    },
    ValidationShapeDiff {
        engenho: StatusCause,
        k3s: StatusCause,
    },
    DiscoveryDiff {
        group: String,
        version: String,
        detail: String,
    },
    WatchEventDiff {
        index: usize,
        detail: String,
    },
}

One typed way engenho’s surface diverges from k3s. Each arm is attributed to an owning engenho crate via Divergence::owning_crate.

Variants

StatusCodeDiff

Same operation, different HTTP status code.

Fields

op: String

method: HttpMethod

engenho: u16

k3s: u16

MissingResource

A resource present on one side and absent (404) on the other.

Fields

path: JsonPath

present_on: Side

FieldDiff

A field present on both but with different values.

Fields

path: JsonPath

engenho: Value

k3s: Value

severity: Severity

MissingDefault

A field k3s populates by default that engenho leaves unset.

Fields

path: JsonPath

k3s_value: Value

severity: Severity

ExtraField

A field engenho adds that k3s does not carry.

Fields

path: JsonPath

side: Side

value: Value

severity: Severity

MissingVerb

A verb one side supports on a resource and the other refuses.

Fields

gvr: Gvr

verb: Verb

present_on: Side

MissingSubresource

A subresource (/status, /scale, /log) one side exposes.

Fields

gvr: Gvr

sub: String

present_on: Side

ValidationShapeDiff

The two sides reject an invalid object with different cause shapes.

Fields

engenho: StatusCause

k3s: StatusCause

DiscoveryDiff

The discovery surface (/api/v1, /apis/...) differs.

Fields

group: String

version: String

detail: String

WatchEventDiff

A watch stream emitted a differing event at index.

Fields

index: usize

detail: String

Implementations

impl Divergence

pub fn severity(&self) -> Severity

The severity of this divergence (arms without an explicit severity slot are always hard).

pub fn owning_crate(&self) -> &'static str

The engenho crate that owns the fix for this divergence — the D-matrix attribution. Lets the report route each gap to its owner mechanically instead of by prose.

pub fn reroot(self, focus: &JsonPath) -> Self

Re-root a path-carrying divergence under focus — used by the differ’s FOCUS mode so a divergence found within a focused subtree reports (and ratchets) at its TRUE location (focus + inner-path), not at the subtree-local .. Arms without a JsonPath are returned unchanged.

pub fn signature(&self) -> String

A stable signature — the divergence’s location + kind, independent of the concrete values or severity. This is the ratchet key: a baseline records signatures, and the test fails only when a signature NOT in the baseline appears. Built via write! (the sanctioned emission macro), never format!() of free text.

Trait Implementations

impl Clone for Divergence

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Divergence

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

Formats the value using the given formatter.

impl Display for Divergence

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

Formats the value using the given formatter.

impl PartialEq for Divergence

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Divergence