Skip to main content

IssueCode

kaish_kernel::validator

Enum IssueCode

pub enum IssueCode {
Show 16 variants    UndefinedCommand,
    MissingRequiredArg,
    UnknownFlag,
    InvalidArgType,
    SeqZeroIncrement,
    InvalidRegex,
    BreakOutsideLoop,
    ReturnOutsideFunction,
    PossiblyUndefinedVariable,
    ForLoopScalarVar,
    ScatterWithoutGather,
    LastResultFieldAccess,
    DiffNeedsTwoFiles,
    InvalidSedExpr,
    InvalidJqFilter,
    PosixTestCommand,
}

Expand description

Categorizes validation issues for filtering and tooling.

Variants§

UndefinedCommand

Command not found in registry or user tools.

MissingRequiredArg

Required parameter not provided.

UnknownFlag

Flag not defined in tool schema.

InvalidArgType

Argument type doesn’t match schema.

SeqZeroIncrement

seq increment is zero (infinite loop).

InvalidRegex

Regex pattern is invalid.

BreakOutsideLoop

break/continue outside of a loop.

ReturnOutsideFunction

return outside of a function.

PossiblyUndefinedVariable

Variable may be undefined.

ForLoopScalarVar

Bare scalar variable in for loop (no word splitting in kaish).

ScatterWithoutGather

scatter without gather — parallel results would be lost.

LastResultFieldAccess

Field access on $? (e.g. ${?.data}, ${?.ok}) was removed. $? is the POSIX exit code; use kaish-last for structured data.

DiffNeedsTwoFiles

diff was given other than two file operands.

InvalidSedExpr

sed expression is syntactically invalid.

InvalidJqFilter

jq filter expression is syntactically invalid.

PosixTestCommand

A POSIX test / [ … ] conditional was used. kaish has no such command (it would resolve to an external binary that bypasses the VFS); use [[ … ]], which the validator checks before runtime.

Implementations§

impl IssueCode

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

Returns a short code string for the issue.

Code numbers are stable identifiers, not contiguous. E010 and W003/W004/W005 remain retired. E006 (InvalidSedExpr), E007 (InvalidJqFilter), and E011 (DiffNeedsTwoFiles) were wired up with real emitters in 2026-06-14.

pub fn surfaces_to_agent(&self) -> bool

Whether a warning carrying this code should be surfaced to the agent (appended to the result’s stderr) rather than only trace-logged.

Most warnings stay trace-only — UndefinedCommand fires on every external command (grep, cargo), so surfacing them all would be noise. Opt a code in here only when its guidance is worth interrupting for. This is the surfacing seam for the “did-you-mean” guidance pass.

pub fn default_severity(&self) -> Severity

Default severity for this issue code.

Trait Implementations§

impl Clone for IssueCode

fn clone(&self) -> IssueCode

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

impl Copy for IssueCode

impl Debug for IssueCode

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

Formats the value using the given formatter. Read more

impl Display for IssueCode

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

Formats the value using the given formatter. Read more

impl Eq for IssueCode

impl PartialEq for IssueCode

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

Tests for self and other values to be equal, and is used by ==.

1.0.0 (const: unstable) · Source§

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 IssueCode

Auto Trait Implementations§

impl Freeze for IssueCode

impl RefUnwindSafe for IssueCode

impl Send for IssueCode

impl Sync for IssueCode

impl Unpin for IssueCode

impl UnsafeUnpin for IssueCode

impl UnwindSafe for IssueCode

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> DynClone for T
where T: Clone,

fn __clone_box(&self, _: Private) -> *mut ()

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> FutureExt for T

fn with_context(self, otel_cx: Context) -> WithContext<Self>

Attaches the provided Context to this type, returning a WithContext wrapper. Read more

fn with_current_context(self) -> WithContext<Self>

Attaches the current Context to this type, returning a WithContext wrapper. Read more

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<'src, T> IntoMaybe<'src, T> for T
where T: 'src,

type Proj<U: 'src> = U

fn map_maybe<R>( self, _f: impl FnOnce(&'src T) -> &'src R, g: impl FnOnce(T) -> R, ) -> <T as IntoMaybe<'src, T>>::Proj<R>
where R: 'src,

impl<T> OrderedSeq<'_, T> for T
where T: Clone,

impl<T> Pointable for T

const ALIGN: usize

The alignment of pointer.

type Init = T

The type for initializers.

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

impl<T> Same for T

type Output = T

Should always be Self

impl<'p, T> Seq<'p, T> for T
where T: Clone,

type Item<'a> = &'a T where T: 'a

The item yielded by the iterator.

type Iter<'a> = Once<&'a T> where T: 'a

An iterator over the items within this container, by reference.

fn seq_iter(&self) -> <T as Seq<'p, T>>::Iter<'_>

Iterate over the elements of the container.

fn contains(&self, val: &T) -> bool
where T: PartialEq,

Check whether an item is contained within this sequence.

fn to_maybe_ref<'b>(item: <T as Seq<'p, T>>::Item<'b>) -> Maybe<T, &'p T>
where 'p: 'b,

Convert an item of the sequence into a MaybeRef.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T> ToString for T
where T: Display + ?Sized,

fn to_string(&self) -> String

Converts the given value to a String. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more