Enum Concept 

pub enum Concept {
    Model,
    Syntax,
    Foundations,
    Builtins,
    Limits,
    Overlay,
}

The “what” — concept taxonomy, organized for learning, not by audience.

Variants

Model

Mental model: kernel/核, VFS, structured data, pre-validation.

Syntax

Grammar: variables, expansion, quoting, pipes, control flow.

Foundations

The operating contract — guarantees AND the idioms that follow from them. The agent-onboarding spine (renamed from “Consistency”; see design doc).

Builtins

Generated: tool index + per-tool help (from ToolSchema).

Limits

Intentionally-missing features, known limitations, ShellCheck alignment.

Overlay

Copy-on-write overlay mode (--overlay, kaish-vfs) — opt-in, not part of the default onboarding spine. Split out of Self::Foundations because it teaches a mode most embedders never enable: kaijutsu materializes a fresh kernel per call and never turns overlay on, and kaibo’s read-only sandbox used to hand-strip this paragraph out of Recipe::tool_description() (paragraph-splitting on the bold heading, strip_write_side_paragraphs) because it contradicted “writes are refused” one paragraph later. An embedder that does use overlay opts in with Selector::with_overlay.

Implementations

impl Concept

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

Human-readable section title used when composing.

Trait Implementations

impl Clone for Concept

fn clone(&self) -> Concept

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Concept

impl Debug for Concept

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

Formats the value using the given formatter.

impl Eq for Concept

impl Hash for Concept

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Concept

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Concept