pub enum Declaration {
Show 60 variants
Import(ImportNode),
Persona(PersonaDefinition),
Context(ContextDefinition),
Anchor(AnchorConstraint),
Memory(MemoryDefinition),
Tool(ToolDefinition),
Type(TypeDefinition),
Flow(FlowDefinition),
Effect(EffectDefinition),
Intent(IntentNode),
Run(RunStatement),
Epistemic(EpistemicBlock),
Let(LetStatement),
LambdaData(LambdaDataDefinition),
Agent(AgentDefinition),
Shield(ShieldDefinition),
Window(WindowDefinition),
Budget(BudgetBlock),
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),
Notify(NotifyDefinition),
Generic(GenericDeclaration),
}Expand description
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)
Effect(EffectDefinition)
v2.87.0 — effect E { Op(p: T) -> R }. A peer of tool, per
the design plan section 3.1.
Intent(IntentNode)
Run(RunStatement)
Epistemic(EpistemicBlock)
Let(LetStatement)
LambdaData(LambdaDataDefinition)
Lambda Data (ΛD) — Epistemic State Vector definition.
Agent(AgentDefinition)
Shield(ShieldDefinition)
Window(WindowDefinition)
v2.27.0 — a temporal execution-window guard.
Budget(BudgetBlock)
v2.69.0 — a TOP-LEVEL budget <Name> { … }. Governs every flow that
calls the tools its quotas name — not just a daemon’s.
Pix(PixDefinition)
Ledger(LedgerDefinition)
Psyche(PsycheDefinition)
Corpus(CorpusDefinition)
Dataspace(DataspaceDefinition)
Ots(OtsDefinition)
Mandate(MandateDefinition)
Compute(ComputeDefinition)
Daemon(DaemonDefinition)
AxonStore(AxonStoreDefinition)
AxonEndpoint(AxonEndpointDefinition)
Extension(ExtensionDefinition)
v2.5.0 — 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)
v1.1.0 — I/O cognitivo primitives.
Fabric(FabricDefinition)
Manifest(ManifestDefinition)
Observe(ObserveDefinition)
Reconcile(ReconcileDefinition)
v1.1.0 — Control cognitivo primitives.
Lease(LeaseDefinition)
Ensemble(EnsembleDefinition)
Session(SessionDefinition)
v1.1.0 — Topology + π-calculus binary sessions.
Topology(TopologyDefinition)
Immune(ImmuneDefinition)
v1.1.0 — Cognitive immune system (per docs/paper_immune_v2.md).
Reflex(ReflexDefinition)
Heal(HealDefinition)
Component(ComponentDefinition)
v1.3.1 — UI cognitiva declarativa.
View(ViewDefinition)
Channel(ChannelDefinition)
v1.6.0 — Mobile typed channels (paper_mobile_channels.md).
Socket(SocketDefinition)
v2.3.0 — typed WebSocket transport binding a session protocol
(paper_websocket_cognitive_primitive.md).
Upstream(UpstreamDefinition)
v2.37.0 — the dual transport role of socket: a persistent,
config-resolved OUTBOUND connection to a third-party vendor, typed by
the same v2.3.0 session algebra on the axon-facing side and transcoded
to the vendor’s wire frames by a declared total projection
(the design plan).
Voice(VoiceDefinition)
v2.37.0 — the voice-agent simplicity layer: macro-expands
(inspectable via axon desugar, the design decision) to ots + carrier
session/socket + upstream legs. The declaration stays in the
AST for provenance + v2.37.0 validation (T852); the IR carries only
the expansion — sugar the compliance reviewer can always see through.
Cors(CorsDefinition)
v2.38.0 — a named, referenced browser-origin policy (mirrors
shield’s shape exactly), resolved per axonendpoint.cors:
reference (the design plan).
Cache(CacheDefinition)
v2.40.0 — a named, referenced result-memoization policy (mirrors
cors’s shape), resolved per tool.cache: / retrieve.cache:
(the design plan).
Savant(SavantDefinition)
v2.42.0 — the long-horizon autonomous research primitive: a governed
ORCHESTRATOR (not a monolith) that composes existing primitives
(memory/corpus, par, quant, forge, daemon, the v2.28.0 budget,
the v2.36.0 interruptible session, the v2.34.0 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
(the design plan).
Synth(SynthDefinition)
v2.42.0 — 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 section 9.1). OSS declares + statically
disciplines the policy and ships a DENY-BY-DEFAULT reference; the real
Extism/WASM executor is enterprise (v2.42.0).
Scope(ScopeDefinition)
v2.43.0 — 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>
(the design plan).
Credential(CredentialDefinition)
v2.46.0 — 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
(the design plan).
Observable(ObservableDefinition)
v2.4.0 — a Pauli-sum observable M = Σ cₖ Pₖ that a quant
block measures against (paper section 3.2; plan D5).
Witness(WitnessDefinition)
v2.23.0 — 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)
v2.53.0 — 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 (the design decision — identical effect rows). The
assertion-laundering barrier refuses a value below believe in
an assertive slot without an attribute: or a shield
(the design plan).
Deliver(DeliverDefinition)
v2.60.0 — Governed CRM Delivery: a declarative, compile-time-validated
egress of assertions into a system of record (a CRM). The dual of
acquisition (scrape, v2.52.0): where document leaves the lattice into a
human artifact, deliver leaves it into a machine system others treat as
fact. The provenance-stripping barrier (the design decision, axon-T920) refuses a
provenance: cleared delivery of an unshielded flow value — a guess must
arrive labeled as a guess (the design plan).
Notify(NotifyDefinition)
v2.66.0 — governed human notification.
Generic(GenericDeclaration)
Tier 3+ declarations parsed structurally (balanced braces, no detailed AST).