Expand description
AXON runtime library — exposes the full AXON runtime: compiler
frontend (re-exported from axon-frontend), handlers, runtime
primitives, ESK, HTTP/WebSocket servers, persistence, OTS pipelines.
Used by the axon binary and by integration tests.
§Frontend vs runtime
§Fase 12.a — the compiler frontend (lexer, parser, AST, type checker,
IR generator, top-level checker, and the closed catalogs used by the
type checker) lives in the sibling crate axon-frontend, which has
zero runtime dependencies. This crate re-exports those modules
transparently so every existing caller (76 call sites across 26
files) keeps compiling without changes. The crate axon-lsp
consumes axon-frontend directly, skipping the runtime surface.
Modules§
- advantage_
witness - §Fase 69.a — the Advantage Witness: a transversal law
(
axon://logic/no_unwitnessed_advantage). A primitive may not claim an advantage over a cheaper baseline without a machine-checkable witness on real data; theAdvantageWitnesstrait + closed metric catalog + verdict. §Fase 69.a — The Advantage Witness: a transversal Axon law. - agora_
refresh - §Fase 116.b.2 — the agora OAuth token-refresh orchestration (the OSS core the
enterprise §52 daemon drives): enumerate → decide → exchange → atomically
persist, closing the rotating-refresh-token trap. Clock injected; the vault
is the
SecretCustodyport. §Fase 116.b.2 — the agora token-refresh orchestration. - agora_
runtime - §Fase 116.a — axon-agora governed social connectors (
agora_linkedin/agora_facebook/agora_instagram/agora_tiktok): the first official library of axon-lang. Per-platform pluggableSocialConnectorcores; every result born Untrusted. OSS default = typed refusal (no fabrication). §Fase 116.a — axon-agora governed social connectors: the OSS dispatch arm for theagora_*tool providers, and the per-platformSocialConnectorinjection seam (thecrate::scrape_tool::register_scrape_fetcher/crate::enrichment::register_providershape). - anchor_
checker - Anchor runtime checkers — validate LLM output against AXON anchor constraints.
- api_
keys - API Key Management — multi-tenant key registry for AxonServer.
- ast
- AXON AST node definitions — direct port of axon/compiler/ast_nodes.py.
- audit_
cli - CLI handlers for the ESK audit commands (dossier, sbom, audit, evidence-package). AXON CLI — ESK audit commands (§Fase 8.6 CLI parity).
- audit_
trail - Audit Trail — append-only log of administrative operations on AxonServer.
- auth_
middleware - Auth Middleware — role-based authentication gate for AxonServer.
- auth_
scope - §Fase 32.g — Auth scope (capability subset matching) for first-class axonendpoint routes.
- axon_
server - AxonServer — native reactive daemon platform.
- axonendpoint_
replay - §Fase 32.h — Replay-token binding for first-class axonendpoint routes.
- backend
- AXON Backend — Multi-provider LLM API clients.
- backend_
error - Backend Error Classification — structured error types for LLM API calls.
- backend_
resolution - §Fase 36.b — the Backend Resolution Contract (D1): the pure,
deterministic precedence ladder that resolves a flow’s execution
backend (request → axonendpoint
backend:→ server default → environment-availableauto→ honest failure). §Fase 36.b — the Backend Resolution Contract (D1). - backends
- §Fase 24.b — Native Rust LLM backends. Per-provider async clients
behind a
Backendtrait +Registry. Per-provider modules (anthropic.rs / openai.rs / gemini.rs / kimi.rs / glm.rs / ollama.rs / openrouter.rs) land in 24.c–24.i; this module ships the shared infra (trait + types + error + retry + observability + locked_model - buffer
- Zero-copy multimodal buffers — §λ-L-E Fase 11.b.
- cache_
runtime - §Fase 85.d — the result-memoization cache core.
- cancel_
token - §Fase 33.f — Cancellation primitives (D6 cancel-safety).
- channel_
semaphore - §Fase 114.e —
capacitybecomes a real bound: a concurrency semaphore per channel. - checker
axon checknative implementation.- circuit_
breaker - Circuit Breaker — per-provider failure protection for LLM API calls.
- cli_fmt
- §Fase 39.f —
axon fmtsubcommand (Rust binary parity). - cli_
parse - §Fase 39.f —
axon parsesubcommand (Rust binary parity). - cognitive_
io_ supervisor - §Fase 112.b — the Cognitive-I/O supervisor: the loop that instantiates the
declared λ-L-E dataflow graph (
observe→ {ensemble,immune} → {reflex,heal}, plusreconcile) and drives it. The language was complete and the kernels took the IR directly; nobody had ever built the loop. §Fase 112.b — the Cognitive-I/O Supervisor: the loop that was never built. - compilation_
cache - §Fase 115.f — the EMS compilation cache: content-addressed, with GHC-style early cutoff. Nix model: a compile is a pure function of its inputs, so matching inputs ⇒ the recorded outcome is the outcome.
- compiler
axon compilenative implementation.- config_
persistence - Config Persistence — save and restore AxonServer runtime configuration.
- conversation
- Conversation history — multi-turn message accumulation between steps.
- cors
- CORS Middleware — Cross-Origin Resource Sharing configuration for AxonServer.
- cost_
estimator - Execution Cost Estimator — estimate token usage and USD cost before running a flow.
- credential_
minter - §Fase 92.c — the
CredentialMinterport behind themintflow verb (attenuated, TTL-bounded ephemeral credentials; fail-closed when absent). §Fase 92.c — theCredentialMinterport: the runtime seam behind themint <Credential> as <binding>flow verb (§92.b). - daemon
- §Fase 52.c.2 — the single-node
daemonruntime: cron scheduling + the handler-body executor. - dataspace_
engine - §Fase 108.b — the deterministic columnar engine behind
dataspace(immutable record batches, validity bitmaps, zone maps, provenance). §Fase 108.b — the deterministic columnar engine behinddataspace. - db_pool
- Database Pool — PostgreSQL connection pool management for AxonServer.
- delivery
- §Fase 105 — Governed CRM Delivery (
deliver): the egress-dual of acquisition. Canonical, idempotent CRM operations delivered via a pluggable enterprise transducer; each field carries its epistemic provenance (D105.2) or the author vouched (T920). OSS default = typed refusal (no fabricated receipt). §Fase 105 — Governed CRM Delivery runtime: the OSS contract + theDeliveryProviderseam (the enterprise-engine injection point) + the provenance-carrying discipline (D105.2) + the idempotency law (D105.5). - deployer
axon deploy— hot-deploy .axon source to a running AxonServer.- effects
- §Fase 23.f — Algebraic effects runtime. FSM dispatch loop + handler stack + Free-Monad interpretation of CPS-lowered IR (consumes the JSON IR emitted by the Python frontend in 23.b/c/d). AXON Algebraic Effects Runtime — Fase 23.f
- emcp
- ℰMCP Transducer — Epistemic Model Context Protocol runtime bridge.
- ems
- §Fase 115.g — the EMS driver: the one orchestration of Phases 0–4.
- enrichment
- §Fase 104.a — Governed Contact Enrichment (
scrape_enrich): structured contact lookup via a pluggable enterprise provider; results born Inferred (≤ believe-ceiling) + Untrusted. OSS default = typed refusal (no fabrication). §Fase 104.a — Governed Contact Enrichment runtime: the OSS contract + thescrape_enrichprovider dispatch, the enterprise-engine injection seam (D104.2), and the born-Inferred epistemic discipline (D104.4). - epistemic
- AXON Epistemic Lattice — type subsumption, join, meet, uncertainty propagation.
- epistemic_
capture - §Fase 55.a — capture the epistemic envelope from a tool’s effect row.
- epistemic_
compat - §Fase 115.c — Phase 2 of the Epistemic Module System: the Epistemic Compatibility Check (ECC) — the novel contribution of the EMS paper.
- esk
- §ESK Fase 6 — Epistemic Security Kernel. Port of
axon/runtime/esk/. AXON Runtime — Epistemic Security Kernel (§ESK Fase 6). - event_
bus - Event Bus + Daemon Supervisor — reactive infrastructure for AxonServer.
- event_
outbox - §Fase 74.c — the durable event outbox (the append-only log + processed
cursor that makes
emitsurvive the consumer being down). §Fase 74.c — the durable event outbox. - exec_
context - Execution context — runtime variables accessible between steps.
- extraction
- §Fase 101.a — the
Inferred-extraction contract: theExtractionEnginetrait, the born-Inferredspan with measured confidence, and the confidence-floor quarantine gate. The producers §100 left the class without. §Fase 101.a — theInferred-extraction contract. - flow_
dispatcher - §Fase 33.y.b — Per-IRFlowNode async dispatcher skeleton. Closed-
catalog, compiler-enforced exhaustive match over the 45-variant
IRFlowNodeenum. Subsequent sub-fases 33.y.c–j replace the transitional legacy shim with real per-variant async handlers. 33.y.l retires the shim + theLegacyShimHandledoutcome variant once every IR variant has its real handler. §Fase 33.y.b — Per-IRFlowNode async dispatcher skeleton. - flow_
execution_ event - §Fase 33.b — Flow execution event stream (Layer 1: data-flow integrity).
- flow_
inspect - Flow Inspector — runtime introspection for deployed AXON flows.
- flow_
plan - §Fase 33.x.b — Streaming-shaped execution plan extractor. Builds
StreamingExecutionPlanfrom.axonsource for the production async SSE path; pre-resolves per-stepBackpressurePolicyviastream_effect_dispatcherso the hot per-chunk loop inaxon_server::server_execute_streaming_asyncdoes not re-walk the AST per chunk. Rejects flows that use 33.x.b-unsupported features (anchors / lambda apply / let bindings / mid-stream use_tool / hibernate / pix) with a closed-catalogPlanFallbackso the SSE handler can route them to the legacy synchronous path. §Fase 33.x.b + 33.x.c — Streaming execution plan extraction + unified.axonsource compilation pipeline. - flow_
version - Flow Versioning — version tracking and rollback for deployed flows.
- forge
- §Fase 86 — the mathematical core of Directed Creative Synthesis (
forge). - foveation
- §Fase 101.d — the active-inference foveation planner: spend the recognizer on
the highest-information-scent regions until the answer resolves or the budget
(§72) is exhausted; every foveation is a replayable
ledgertrail entry. §Fase 101.d — the active-inference foveation planner. - fs_
sandbox - §Fase 100.b — the read-only filesystem capability + path sandbox.
§Fase 100.b — the filesystem capability + path sandbox: the read-only,
agent-reachable disk surface, designed EXACTLY ONCE (D100.2). Before §100
axon had no filesystem capability at all —
fs::*existed only as host plumbing (never flow-invocable). §100 invents the agent-reachable read surface, and it is a capability, not an effect (D100.3): a set of allowed roots aDocumentReadermay read under, with every escape refused BEFORE any byte is read. - graceful_
shutdown - Graceful Shutdown — signal handling and orderly server termination.
- graph_
export - Graph Export — render dependency graphs as DOT (Graphviz) or Mermaid.
- handlers
- §λ-L-E Fase 2 — Handler layer (Free Monad + CPS). Port of
axon/runtime/handlers/. AXON Runtime — Handler layer (§λ-L-E Fase 2). - health_
check - Health Check — structured health assessment for AxonServer subsystems.
- holograph
- §Fase 87.e — the
HolographBackendport + the OSS reference HRR codec. - hooks
- Execution hooks — pre/post step callbacks for instrumentation.
- http_
tool - HTTP tool provider — executes tool calls as REST requests via reqwest.
- idempotency
- §Fase 32.f — Idempotency-Key store for first-class axonendpoint routes.
- idpe
- §Fase 101.c — the IDP-E recognizer kernel: the deterministic geometry+topology engine (Otsu → cubical β₀/β₁ → geometric discrimination → reading order → pix-navigable canonical tree). Reads a bounded PGM/PBM raster; real image decode is the sidecar (§101.e). Scoped to clean machine-print (D101.17). §Fase 101.c — the IDP-E recognizer kernel: the deterministic core of axon’s Epistemic Vision Engine.
- idpe_
frontend - §Fase 101.e — the IDP-E image front-end: deterministic Perona-Malik anisotropic
diffusion (Catté-regularised) + Gabor phase-tensor orientation energy that
clean and analyse a raster before recognition. The CVE-prone image DECODE is
isolated in the sidecar binary (
src/bin/idpe_sidecar.rs), which feeds this front-end already-decoded grayscale — hostile bytes never reach the runtime. §Fase 101.e — the IDP-E image front-end: the deterministic signal-processing that cleans and analyses a raster BEFORE the recognizer kernel (§101.c) reads it. - inference
- §Fase 87.f — the
InferenceBackendport + the OSS reference active-inference engine (classical, honest). - ingest
- Network ingest paths that deposit bytes directly into
crate::buffer::ZeroCopyBuffers. - inspect
axon inspectnative implementation — introspect the AXON standard library.- ir_
generator - AXON IR Generator — AST → IR transformation.
- ir_
nodes - AXON IR node definitions — direct port of axon/compiler/ir_nodes.py.
- jwt_
verifier - JWT signature verification + JWKS client.
- lambda_
data - Lambda Data (ΛD) — Epistemic State Vector codec.
- lambda_
runtime - AXON Runtime — Lambda Data (ΛD) Apply (Fase 15.c — Rust mirror).
- legal_
basis - Legal-basis catalogue — §λ-L-E Fase 11.c.
- lexer
- AXON Lexer — direct port of axon/compiler/lexer.py.
- logging
- Logging — production-grade structured logging for AxonServer.
- mdn
- §Fase 62.B — Multi-Document Navigation (MDN).
- mdn_
memory - §Fase 62.D — Memory-Augmented MDN (paper
paper_memory_augmented_mdn.md). - mdn_
provenance - §Fase 62.C — MDN provenance logic (paper
paper_multi_document.md§3.2). - migrations
- Migrations — embedded database schema migration runner.
- model_
resolution - §Fase 68.c — pure capability-aware model resolution: a step’s
requires_context:+ a backend’s §68.a model catalog → the smallest model that fits, or honest fail-closed (never a too-small model). §Fase 68.c — pure model resolution (the capability resolver). - module_
interface - §Fase 115.b — Phase 1 of the Epistemic Module System:
.axiinterfaces. - module_
linker - §Fase 115.e — Phase 4 of the Epistemic Module System: the LINKER.
- module_
resolver - §Fase 115.a — Phase 0 of the Epistemic Module System: dependency discovery.
- multiparty
- Multiparty session types — the global view + projection.
- notification
- §Fase 110.b — Governed Human Notification: the canonical contract (evidence labels, recipient custody, fail-closed provider port). §Fase 110.b — Governed Human Notification: the canonical contract.
- ooxml
- §Fase 99.e/f — the deterministic OOXML writer (DOCX/PPTX/XLSX) behind the
DocumentRenderernative tool. Byte-deterministic + provenance-embedding. §Fase 99.e/99.f — the deterministic OOXML writer: the expensive, bespoke core that makes Native Document Synthesis real. A pure, byte-deterministic serializer for a BOUNDED subset of DOCX / PPTX / XLSX (D99.9), reusing the same deterministic-ZIP discipline the evidence packager already ships (esk::audit_engine::evidence_packager— fixedDateTime,Deflated,BTreeMappart ordering), so the SAME document IR + values produce a BYTE-IDENTICAL file with a stablesha256(D99.3). That is the property that makes a document an attestable artifact rather than a blob — and the property that dies the moment you wrap a third-party crate. - ooxml_
edit - §Fase 100.e — the surgical edit engine + per-part hash manifest. §Fase 100.e — the surgical edit engine: mutate an ingested OOXML package in place, touch only the targeted parts, leave every other part BYTE-IDENTICAL, and emit a machine-checkable per-part hash manifest proving it (D100.6 / D100.7).
- ooxml_
read - §Fase 100.c/d — the OOXML reader: bounded, born-Untrusted, Parsed text tree.
§Fase 100.c/100.d — the OOXML reader: unzip an ingested DOCX/PPTX/XLSX into a
typed, bounded, born-
Untrustedtext tree — the faithful half of theparse ≠ infersplit (D100.1). - ots
- Ontological Tool Synthesis — §λ-L-E Fase 11.e binary pipeline synthesis.
- output
- Execution output formats — structured report for programmatic integration.
- parallel
- Parallel step scheduler — depth-based wave execution with threads.
- parser
- AXON Parser — recursive descent, fail-fast.
- pcc
- §Fase 51 — Proof-Carrying Code. apx/axonendpoint carry a portable,
machine-checkable proof object an INDEPENDENT verifier checks
against the artifact WITHOUT trusting the compiler that produced it
(the move from
esk’s builder-signed attestation to a consumer- verifiable proof). §51.a ships the kernel + the ComplianceCoverage property class. §Fase 51 — Proof-Carrying Code (PCC). - pcc_cli
- §Fase 51.f — CLI handlers for the PCC commands (
axon pcc prove/axon pcc verify). Closes the Proof-Carrying Code loop at the command line: generate a proof bundle from source, then independently verify it against a recompile of that source. §Fase 51.f —axon pccCLI: prove + verify. - pem
- Persistent Epistemic Modeling (PEM) — §λ-L-E Fase 11.d.
- pix_
mdn_ pcc - §Fase 62.E — papers-as-proofs for the PIX·MDN·Memory trilogy.
- pix_
navigator - §Fase 62.A — the PIX retrieval navigator.
- plan_
diff - Plan Diff — compare two exported execution plans.
- plan_
export - Execution plan export — JSONB-compatible structured output.
- quant
- §Fase 51.e — the
quantcognitive primitive’s RUNTIME: thequant::QuantBackendport + a usable dense-statevector reference simulator capped at n ≤ 10 (the OSS half; enterprise mounts the QuIDD / VRAM / QPU engine behind the same trait in §51.f–i). §Fase 51.e — theQuantBackendport + the OSS reference simulator. - quant_
witness - §Fase 69.b — quant as the first Advantage-Witness instance: the amplitude-
fidelity ≡ cosine theorem made executable + the
QuantKernelWitnessthat fails closed (no advantage over the classical baseline). §Fase 69.b — quant as the FIRST Advantage-Witness instance. - rate_
limiter - Rate Limiter — sliding window rate limiting for AxonServer.
- refinement
- Refinement types —
Trusted<T>/Untrusted<T>+ closed Trust Catalog. - repl
axon replnative implementation — interactive Read-Eval-Print Loop.- replay
- Execution Replay — reconstruct and analyze recorded traces.
- replay_
token - Deterministic replay tokens — §λ-L-E Fase 11.c.
- request_
binding - §Fase 37 — The Request Binding Contract (runtime delivery).
- request_
log - Request Logger — structured audit log for AxonServer API requests.
- request_
middleware - Request Middleware — automatic request ID, timing, and logging for AxonServer.
- request_
tracing - Request Tracing — Tower middleware layer for structured request observability.
- resilient_
backend - Resilient Backend — production-grade LLM call wrapper with retry, circuit breaker, and fallback.
- resource_
lease - §Fase 114.f —
leaseover a vendor: the CT-2 Anchor Breach fires on a tool call, not just a store op. - resource_
resolver - §Fase 113 — resolving a
resource.endpointconfig key to a real address. - retrieval_
witness - §Fase 69.d — the SECOND Advantage-Witness instance (transversality proof):
retrieval / navigate via the
ranking_liftmetric over flat cosine retrieval. §Fase 69.d — the SECOND Advantage-Witness instance: retrieval / navigate. - retry_
policy - Retry Policy — exponential backoff with jitter for LLM API calls.
- route_
schema - §Fase 32.c + 32.d — Schema validation for first-class axonendpoint routes.
- runner
axon runnative implementation — stub + real execution.- runtime
- §λ-L-E Fase 3 + 5 runtime primitives. Port of
axon/runtime/(lease kernel, reconcile loop, ensemble aggregator, immune kernels). AXON Runtime primitives (§λ-L-E Fases 3 + 5; §Fase 13.f.2 typed channels). - runtime_
flags - §Fase 33.x.h — Process-wide runtime opt-in flags. Today carries
the
tokenizer_fallbackflag that gates BPE-tokenized chunking on the SSE LEGACY path (D9 — opt-in; defaults OFF for v1.24.0 wire byte-compat). §Fase 33.x.h — Process-wide runtime opt-in flags. - runtime_
warnings - §Fase 33.x.g — Closed-catalog runtime warnings for the SSE
production path. Surfaces
axon-W002 streaming-not-supportedwhen the async streaming path falls back to legacy synchronous delivery (D5 — no silent degradation). §Fase 33.x.g — Closed-catalog runtime warnings for the streaming production path. - scrape_
tool - §Fase 98.e — Native Web Acquisition runtime (
scrape_http/scrape_dom/scrape_crawl); born-Untrusted content, pluggable stealth fetcher. §Fase 98.e — Native Web Acquisition runtime: the OSS sibling ofcrate::http_tool, the dispatch core for the three web-acquisition providers (scrape_http/scrape_dom/scrape_crawl). - secret_
custody - §Fase 94.d — the
SecretCustodyport behind thebackend: secretsmetadata store, therotateverb and thetool { secret: }injection (rotation_without_revelation; fail-closed when absent). §Fase 94.d — theSecretCustodyport: the runtime seam behind thebackend: secretsmetadata store (§94.a), therotate … with <Tool>flow verb (§94.b) and thetool { secret: }dispatch injection (§94.c). - server_
config - Server Config API — runtime-adjustable configuration for AxonServer.
- server_
metrics - Server Metrics — Prometheus exposition format for live AxonServer metrics.
- session
- Session types — the algebra of typed bidirectional dialogue.
- session_
runtime - §Fase 41.d — the runtime of a session-typed dialogue. The static
algebra (
axon_frontend::session: duality, regular-coinductive equality, credit-refined backpressure index!ⁿA.S) gets a dynamic counterpart here: an operational state machine (SessionRuntime) with one method per algebra rule, a wire envelope (Frame), and an RFC 6455 WebSocket carrier (ws::drive) that runs a session type against a peer. Carrier-agnostic core; the WS layer is one binding. §Fase 41.d — the runtime of a session-typed dialogue. - session_
scope - Session Scoping — namespaced session isolation for AxonServer.
- session_
store - Session state / memory persistence — file-backed key-value store.
- shield_
registry - §Fase 40.b — Shield scanner extension point.
- source_
registry - §Fase 112.a — the source adapter registry: what an
observeactually looks at. Deny-by-default — an unregistered source is UNKNOWN, not healthy, and the observation refuses rather than fabricating a reading. §Fase 112.a — the source adapter registry: what anobserveactually looks at. - stdlib
- AXON Standard Library — built-in personas, anchors, flows, and tools.
- step_
deps - Step dependency analysis — variable-based dependency graph between steps.
- storage
- Storage Backend — trait abstraction for persistent state in AxonServer.
- storage_
postgres - PostgreSQL Storage Backend — full persistent storage for AxonServer.
- store
- §Fase 35 — the
axonstorecognitive data plane runtime. - store_
introspect - §Fase 38.h (D10) — pure manifest-building logic for the
axon store introspect <store>CLI. - store_
schema - §Fase 38.b (D1) — the closed
axonstorecolumn-schema catalog, Rust frontend side. - store_
schema_ manifest - §Fase 38.c (D4, D6) — The
.axon-schema.jsonmanifest format + resolver. - stream_
effect Stream<T>— temporal algebraic effect with mandatory backpressure.- stream_
effect_ dispatcher - §Fase 33.e — Stream-effect dispatcher (Layer 4).
- stream_
runtime - Runtime implementation of
Stream<T>with the four closed backpressure policies fromcrate::stream_effect. - streaming_
via_ dispatcher - §Fase 33.z.b — Streaming-via-dispatcher graft skeleton. Lifts
flow_dispatcher::dispatch_node(Fase 33.y, 45/45 structurally complete) into the production SSE hot path behind theAXON_STREAMING_VIA_DISPATCHERruntime flag (default OFF; flip to ON for v1.27.0 stable in 33.z.c; legacy path retired in 33.z.e). §Fase 33.z.b — Streaming-via-dispatcher graft skeleton. - synth
- §Fase 87.f — the
SynthBackendport + the OSS deny-by-default reference. - technician_
dispatch - §Fase 84.d — Remote Hands runtime: the pure, verifiable dispatch core for a
target:-bound techniciantool, plus the wire protocol exchanged with a local agent over the boundsocket. - temporal_
context - §Fase 91.b — declared cognitive time: the runtime half of
now:(one capture per run, deterministic prompt line, envelope record). §Fase 91.b — declared cognitive time: the runtime half ofnow:. - tenant
- tenant_
secrets - Per-tenant API key resolution via AWS Secrets Manager (M3).
- tokens
- AXON token types and keyword lookup table. Direct port of axon/compiler/tokens.py.
- tool_
dispatch_ bridge - §Fase 34.d (v1.29.0) — Bridge between
ToolEntry(the registry shape) andTooltrait impls (the dispatcher’s streaming surface). - tool_
executor - Native tool executors — Calculator and DateTimeTool.
- tool_
registry - Tool registry — extensible tool dispatch for AXON execution.
- tool_
trait - §Fase 34.b (v1.29.0) —
Tooltrait +ToolChunkclosed-catalog struct. - tool_
validator - Tool result validation and effect tracking.
- topology
- §Fase 87.f — the
TopologyBackendport + the OSS reference TDA engine. - trace_
export - Trace Export — export analytics as Prometheus exposition format or CSV.
- trace_
stats - Trace Analytics — aggregate statistics across multiple execution traces.
- trace_
store - Trace Store — in-memory execution trace buffer for AxonServer.
- tracer
axon tracenative implementation — pretty-print execution traces.- trust_
verifiers - Runtime implementations of the closed
crate::refinement::TrustProofcatalogue. - type_
checker - AXON Type Checker — Phase 1: symbol table, duplicates, references, field validation.
- upstream_
presets - §Fase 80.f — the blessed upstream preset catalog +
from Preset@vNexpansion. - upstream_
runtime - §Fase 80.d — the
upstreamruntime: the CLIENT dual of the §41.d carrier. Dials OUT to a third-party vendor (STT/TTS/realtime speech) over RFC 6455 + TLS, applies the declared auth handshake, transcodes wire↔session per the compiledmap:projection (T849-total), applies the declaredoverflow:policy when the vendor is the slow side, and reconnects with witnessed, fail-closed exponential backoff. A new vendor is a new DECLARATION, never new Rust code. §Fase 80.d — theupstreamruntime: dial + auth + reconnect + transcode. - version_
diff - Version Diff — line-based source diff between flow versions.
- voice_
desugar - §Fase 80.g —
voicemacro-expansion: the simplicity layer lowered to the primitives already in the language, as SOURCE TEXT. - warden
- §Fase 88.d — the
WardenBackendport + the OSS reference static analyzer. - webhook_
delivery - Webhook Delivery — async HTTP delivery with retry and exponential backoff.
- webhooks
- Webhooks — outgoing HTTP notification system for AxonServer events.
- window
- §Fase 71.b — the runtime for the
windowtemporal execution guard (timezone-awareis_in_window/next_window_openvia chrono-tz). §Fase 71.b — the runtime for thewindowtemporal execution guard (§71.a). - wire_
envelope - §Fase 39.b — Pure Silicon Cognition: the canonical wire payload type
for axonendpoint responses on
transport: json. - wire_
envelope_ producers - §Fase 39.c.y + 39.c.z — Wire envelope producer helpers.
- wire_
format - §Fase 33.z.k (v1.28.0) — Wire-format adapter framework.