Enum Declaration 

pub enum Declaration {
    Import(ImportNode),
    Persona(PersonaDefinition),
    Context(ContextDefinition),
    Anchor(AnchorConstraint),
    Memory(MemoryDefinition),
    Tool(ToolDefinition),
    Type(TypeDefinition),
    Flow(FlowDefinition),
    Intent(IntentNode),
    Run(RunStatement),
    Epistemic(EpistemicBlock),
    Let(LetStatement),
    LambdaData(LambdaDataDefinition),
    Agent(AgentDefinition),
    Shield(ShieldDefinition),
    Pix(PixDefinition),
    Psyche(PsycheDefinition),
    Corpus(CorpusDefinition),
    Dataspace(DataspaceDefinition),
    Ots(OtsDefinition),
    Mandate(MandateDefinition),
    Compute(ComputeDefinition),
    Daemon(DaemonDefinition),
    AxonStore(AxonStoreDefinition),
    AxonEndpoint(AxonEndpointDefinition),
    Extension(ExtensionDefinition),
    Resource(ResourceDefinition),
    Fabric(FabricDefinition),
    Manifest(ManifestDefinition),
    Observe(ObserveDefinition),
    Reconcile(ReconcileDefinition),
    Lease(LeaseDefinition),
    Ensemble(EnsembleDefinition),
    Session(SessionDefinition),
    Topology(TopologyDefinition),
    Immune(ImmuneDefinition),
    Reflex(ReflexDefinition),
    Heal(HealDefinition),
    Component(ComponentDefinition),
    View(ViewDefinition),
    Channel(ChannelDefinition),
    Socket(SocketDefinition),
    Generic(GenericDeclaration),
}

A single top-level declaration in an AXON program.

Variants

Import(ImportNode)

Persona(PersonaDefinition)

Context(ContextDefinition)

Anchor(AnchorConstraint)

Memory(MemoryDefinition)

Tool(ToolDefinition)

Type(TypeDefinition)

Flow(FlowDefinition)

Intent(IntentNode)

Run(RunStatement)

Epistemic(EpistemicBlock)

Let(LetStatement)

LambdaData(LambdaDataDefinition)

Lambda Data (ΛD) — Epistemic State Vector definition.

Agent(AgentDefinition)

Shield(ShieldDefinition)

Pix(PixDefinition)

Psyche(PsycheDefinition)

Corpus(CorpusDefinition)

Dataspace(DataspaceDefinition)

Ots(OtsDefinition)

Mandate(MandateDefinition)

Compute(ComputeDefinition)

Daemon(DaemonDefinition)

AxonStore(AxonStoreDefinition)

AxonEndpoint(AxonEndpointDefinition)

Extension(ExtensionDefinition)

§Fase 53 — Closed-catalog extension mechanism. Declares adopter-specific PROVENANCE members for a closed catalog (effects bases or shield scan categories) so the type-checker + PCC treat them as first-class. Auditable + gateable; never extends the enforceable effect set (invariant #2 — provenance-class only).

Resource(ResourceDefinition)

§λ-L-E Fase 1 — I/O cognitivo primitives.

Fabric(FabricDefinition)

Manifest(ManifestDefinition)

Observe(ObserveDefinition)

Reconcile(ReconcileDefinition)

§λ-L-E Fase 3 — Control cognitivo primitives.

Lease(LeaseDefinition)

Ensemble(EnsembleDefinition)

Session(SessionDefinition)

§λ-L-E Fase 4 — Topology + π-calculus binary sessions.

Topology(TopologyDefinition)

Immune(ImmuneDefinition)

§λ-L-E Fase 5 — Cognitive immune system (per docs/paper_immune_v2.md).

Reflex(ReflexDefinition)

Heal(HealDefinition)

Component(ComponentDefinition)

§λ-L-E Fase 9 — UI cognitiva declarativa.

View(ViewDefinition)

Channel(ChannelDefinition)

§λ-L-E Fase 13 — Mobile typed channels (paper_mobile_channels.md).

Socket(SocketDefinition)

§Fase 41.b — typed WebSocket transport binding a session protocol (paper_websocket_cognitive_primitive.md).

Generic(GenericDeclaration)

Tier 3+ declarations parsed structurally (balanced braces, no detailed AST).

Trait Implementations

impl Debug for Declaration

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

Formats the value using the given formatter.