Enum DeclarationErrorKind 

pub enum DeclarationErrorKind {
    EmptyCommandEntry,
    InvalidCommandName {
        name: SmolStr,
    },
    BuiltinCommandName {
        name: SmolStr,
    },
    UnknownCommandLikeTarget {
        target: SmolStr,
    },
    EmptyEntry,
    UnknownLikeTarget {
        target: SmolStr,
    },
    VerbatimTarget,
    TargetTakesArguments,
    UndeclaredTarget,
    DuplicateDelimiter {
        name: CommandName,
        first: SmolStr,
    },
    RepeatedDelimiter {
        name: CommandName,
    },
    SpellingIsALiteralDelimiter {
        name: CommandName,
        environment: SmolStr,
    },
    NotAControlWord {
        name: CommandName,
    },
    SpellingIsABuiltinCommand {
        name: CommandName,
    },
}

Why a declaration was rejected. Each variant is a rule from AGENTS.md decision #12 or its architecture section.

Variants

EmptyCommandEntry

A [commands.<name>] entry without its required like target.

InvalidCommandName

A command map key that could never lex as one control word.

Fields

name: SmolStr

BuiltinCommandName

A declaration attempted to reclassify a curated built-in command.

Fields

name: SmolStr

UnknownCommandLikeTarget

like did not name a curated reference or citation command.

Fields

target: SmolStr

EmptyEntry

An entry with no keys at all. Nothing to reject it on rule grounds, and nothing for it to do either — which is the outcome this module exists to avoid.

UnknownLikeTarget

like named something the curated built-in database does not have. Never resolved against the CWL tier or scanned definitions: behavior comes from curated data only.

Fields

target: SmolStr

VerbatimTarget

Delimiter spellings for a verbatim environment. Not conservatism but TeX truth, which is why it is rejected rather than merely discouraged.

TargetTakesArguments

Delimiter spellings for an environment that takes arguments. A bare control word carries none, and attaching them from the target’s signature would be arity-directed grouping from declaration data.

UndeclaredTarget

Delimiter spellings for an environment whose behavior is unknown — no like, and no built-in of that name.

DuplicateDelimiter

A spelling two entries both claim. Silently letting the last one win would make the pairing depend on map order.

Fields

name: CommandName

first: SmolStr

RepeatedDelimiter

A spelling one entry lists twice — across its two sides, or twice on one. The DuplicateDelimiter mistake seen from inside a single entry, where naming the “other” entry is no help.

Fields

name: CommandName

SpellingIsALiteralDelimiter

A spelling that is the written-out delimiter (\end{split}) rather than a command standing in for one. A special case of NotAControlWord with its own fix: the literal delimiter is already a spelling of both sides, so the key is redundant.

Fields

name: CommandName

environment: SmolStr

NotAControlWord

A spelling the lexer could never produce as one control word, so it could never match anything.

Fields

name: CommandName

SpellingIsABuiltinCommand

A spelling the curated database already knows as a command. Not a no-op — it would take effect, on a command the project did not mean to redefine.

Fields

name: CommandName

Trait Implementations

impl Clone for DeclarationErrorKind

fn clone(&self) -> DeclarationErrorKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DeclarationErrorKind

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

Formats the value using the given formatter.

impl Display for DeclarationErrorKind

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

Formats the value using the given formatter.

impl Eq for DeclarationErrorKind

impl PartialEq for DeclarationErrorKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DeclarationErrorKind