Skip to main content

Module operation

Module operation 

Source
Expand description

The kernel’s operation taxonomy — what class of effect a builtin can have.

This is analysis vocabulary, not policy. A tool declares the operations it can perform via ToolSchema::with_operations, and an embedder reading a plan learns that rm can remove a path without having to recognize the name rm. The kernel itself does not decide anything from these ids.

In-tree operations come from a closed enum and the mapping to the dotted id is an exhaustive match, so a new effect site is a compile error until it names its operation — a string sniff on the command name would instead pick a plausible wrong default in silence. The fs. and trash. namespaces belong to the kernel.

Enums§

KernelOperation
Every operation an in-tree builtin can declare.