Skip to main content

Module kinds

Module kinds 

Source
Expand description

Intent kinds and their required fields.

An Intent is an Expr::Map tagged with a kind symbol in the intent namespace (for example intent/wire). Kinds are open metadata, not a closed kernel enum. This module lists the baseline Intent kinds and the fields each kind must carry, which the validator uses to fail closed on a malformed Intent.

Constants§

AT_TICK_KEY
The origin sub-key carrying the logical tick.
INTENT_KINDS
The baseline Intent kind names (the local part of the intent/* symbol).
INTENT_NAMESPACE
The namespace every Intent kind symbol lives in.
KIND_KEY
The map key that tags an Intent with its kind.
OPERATOR_KEY
The origin sub-key naming the operator (human or agent).
ORIGIN_KEY
The map key carrying the Intent origin (operator + logical tick).

Functions§

intent_kind
The qualified symbol for an Intent kind name, e.g. intent/wire.
is_known_kind
Is symbol a recognized baseline Intent kind (intent/<known>)?
is_known_kind_name
Is name a recognized baseline Intent kind (local part only)?
required_fields
The fields a given Intent kind must carry (besides kind and origin).