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
kindsymbol lives in. - KIND_
KEY - The map key that tags an Intent with its kind.
- OPERATOR_
KEY - The origin sub-key naming the operator (
humanoragent). - 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
symbola recognized baseline Intent kind (intent/<known>)? - is_
known_ kind_ name - Is
namea recognized baseline Intent kind (local part only)? - required_
fields - The fields a given Intent kind must carry (besides
kindandorigin).