Enum PinResolution 

pub enum PinResolution {
    Satisfied {
        tool: String,
        want: String,
        got: String,
    },
    SatisfiedByImage {
        tool: String,
        want: String,
    },
    VersionMismatch {
        tool: String,
        want: String,
        got: String,
    },
    Missing {
        tool: String,
        want: String,
    },
    Unverifiable {
        tool: String,
        want: String,
    },
}

How one pin resolves against the host (or against the image that provides the toolchain). The decision is total — every (pin, detected, image) input maps to exactly one variant via resolve_pin.

Variants

Satisfied

Host has the tool and its version satisfies the pin.

Fields

tool: String

want: String

got: String

SatisfiedByImage

The step pulls a container image, so the image provides the toolchain — the host-side check is skipped by design.

Fields

tool: String

want: String

VersionMismatch

Host has the tool but at a version that doesn’t satisfy the pin.

Fields

tool: String

want: String

got: String

Missing

Host doesn’t have the tool at all (and no image provides it).

Fields

tool: String

want: String

Unverifiable

QED has no probe for this tool (a key outside the Tool set) and no image provides it — the pin is carried but can’t be verified on the host. Non-blocking: surfaced in the preflight, never fails the plan.

Fields

tool: String

want: String

Implementations

impl PinResolution

pub fn is_blocking(&self) -> bool

true for the verdicts that should fail the plan fast — a host that lacks the pinned tool or has the wrong version. Unverifiable is deliberately not blocking: “can’t verify” is not “known-bad”.

pub fn line(&self) -> String

One human-readable preflight line, with the actionable remediation baked into the blocking verdicts.

Trait Implementations

impl Clone for PinResolution

fn clone(&self) -> PinResolution

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PinResolution

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

Formats the value using the given formatter.

impl Eq for PinResolution

impl PartialEq for PinResolution

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PinResolution