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),
    Window(WindowDefinition),
    Pix(PixDefinition),
    Ledger(LedgerDefinition),
    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),
    Upstream(UpstreamDefinition),
    Voice(VoiceDefinition),
    Cors(CorsDefinition),
    Cache(CacheDefinition),
    Savant(SavantDefinition),
    Synth(SynthDefinition),
    Scope(ScopeDefinition),
    Credential(CredentialDefinition),
    Observable(ObservableDefinition),
    Witness(WitnessDefinition),
    Document(DocumentDefinition),
    Deliver(DeliverDefinition),
    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)

Window(WindowDefinition)

§Fase 71.a — a temporal execution-window guard.

Pix(PixDefinition)

Ledger(LedgerDefinition)

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).

Upstream(UpstreamDefinition)

§Fase 80.b — the dual transport role of socket: a persistent, config-resolved OUTBOUND connection to a third-party vendor, typed by the same §41.a session algebra on the axon-facing side and transcoded to the vendor’s wire frames by a declared total projection (docs/fase/fase_80_upstream_design.md).

Voice(VoiceDefinition)

§Fase 80.g — the voice-agent simplicity layer: macro-expands (inspectable via axon desugar, D80.6) to ots + carrier session/socket + upstream legs. The declaration stays in the AST for provenance + §80.c validation (T852); the IR carries only the expansion — sugar the compliance reviewer can always see through.

Cors(CorsDefinition)

§Fase 83.a — a named, referenced browser-origin policy (mirrors shield’s shape exactly), resolved per axonendpoint.cors: reference (docs/fase/fase_83_cors_first_class_endpoint_property.md).

Cache(CacheDefinition)

§Fase 85.a — a named, referenced result-memoization policy (mirrors cors’s shape), resolved per tool.cache: / retrieve.cache: (docs/fase/fase_85_native_cache_primitive.md).

Savant(SavantDefinition)

§Fase 87.a — the long-horizon autonomous research primitive: a governed ORCHESTRATOR (not a monolith) that composes existing primitives (memory/corpus, par, quant, forge, daemon, the §72 budget, the §79 interruptible session, the §77 signed egress) into a budget-bounded, interruptible, fail-closed, provenance-witnessed research loop. Enterprise-exclusive at scale (charter split R1); the keyword + type discipline + ports live in OSS (docs/fase/fase_87_savant.md).

Synth(SynthDefinition)

§Fase 87.d — a dynamic tool-synthesis policy: the closed set of conditions (risk ceiling, source language, mandatory WASM zero-trust sandbox, Coder/Reviewer consensus) under which a savant may synthesise + execute a tool at runtime. The paper’s “OTS = Ontological Tool Synthesis” grounded to a real keyword (ots already means one-shot media transform — paper §9.1). OSS declares + statically disciplines the policy and ships a DENY-BY-DEFAULT reference; the real Extism/WASM executor is enterprise (§87.j).

Scope(ScopeDefinition)

§Fase 88.a — an authorization scope: the signed envelope (targets allowlist + depth ceiling + approver) a warden adversarial-analysis block MUST run within. The load-bearing safety construct that makes warden a governed auditor, not a weapon: no in-scope authorization ⇒ no analysis (fail-closed). Referenced by warden(t) within <Scope> (docs/fase/fase_88_warden.md).

Credential(CredentialDefinition)

§Fase 92.a — a named ephemeral-credential contract: TTL-bounded, capability-attenuated bearer minting (authority_only_attenuates — grants ⊆ the minter’s own capabilities at mint, TTL ≤ the closed ceiling). Declared once (the cors/scope shape), referenced by the mint <Credential> as <binding> flow verb (docs/fase/fase_92_ephemeral_visitor_credentials.md).

Observable(ObservableDefinition)

§Fase 51.c.2 — a Pauli-sum observable M = Σ cₖ Pₖ that a quant block measures against (paper §3.2; plan D5).

Witness(WitnessDefinition)

§Fase 69.a — an Advantage Witness: a machine-checkable proof obligation that a primitive’s claim beats a cheaper baseline by a metric above a threshold on real data (doctrine axon://logic/no_unwitnessed_advantage).

Document(DocumentDefinition)

§Fase 99.a — Native Document Synthesis: a declarative, compile-time- validated DOCX/PPTX/XLSX structure that is the point where a value LEAVES the epistemic lattice and becomes a human artifact. target: selects a serializer, not a capability (D99.6 — identical effect rows). The assertion-laundering barrier (D99.1) refuses a value below believe in an assertive slot without an attribute: or a shield (docs/fase/fase_99_native_document_synthesis.md).

Deliver(DeliverDefinition)

§Fase 105 — Governed CRM Delivery: a declarative, compile-time-validated egress of assertions into a system of record (a CRM). The dual of acquisition (scrape, §98): where document leaves the lattice into a human artifact, deliver leaves it into a machine system others treat as fact. The provenance-stripping barrier (D105.2, axon-T920) refuses a provenance: cleared delivery of an unshielded flow value — a guess must arrive labeled as a guess (docs/fase/fase_105_governed_crm_delivery.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.