AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
High-efficiency HTTP client with browser impersonation
Internal library for RCP file operation tools - shared utilities and core operations (not intended for direct use)
Internal library for RCP tools - pluggable congestion-control algorithms and a deterministic scenario simulator (not intended for direct use)
Test fileset generator - creates sample directory structures and files for testing file operations
Fast file comparison tool - efficiently compares metadata across large filesets
Fast file operations tools - rcp (copy) and rcpd (remote copy daemon)
Internal library for RCP tools - remote copy protocol and networking (not intended for direct use)
Fast hard-linking tool - efficiently creates hard links for large filesets (inspired by pcp/dsync)
Fast file removal tool - efficiently removes large filesets (similar to rm -rf but much faster)
Internal library for RCP tools - resource throttling and rate limiting (not intended for direct use)
Messaging Mediator service for Affinidi Messaging (DIDComm and TSP)