axon-frontend 1.58.0

AXON compiler frontend — lexer, parser, AST, epistemic type system, type checker, IR generator. Zero runtime dependencies. v1.58.0 adds axon-T957 RegulatedBoundaryCoverage: the ESK Fase 6.1 kappa-coverage law scoped to `axonendpoint` — an endpoint whose `body:`/`output:` types carry regulatory classes must name a `shield:` covering them (a real set difference, not a presence check). v1.3.0 lowers requires_capabilities into IRAxonEndpoint (the PCC capability-containment property, §Fase 51.x.1). v1.2.0 added PRIMITIVE_REGISTRY — closed catalogue of every named language construct (45 entries) with PrimitiveInfo / DocStatus / CoverageSummary types + helpers. v1.1.0 introduced session-types + multiparty projection. See https://github.com/Bemarking/axon-lang.
Documentation
  • Feature flags
  • This release does not have any feature flags.

axon-frontend

There is currently very little information to present on this page because Docs.rs has only limited support for extracting structured feature metadata from Cargo crates. This issue is tracked in Rust RFC #3416. Check this library's main docs, readme, and Cargo.toml in case its authors have documentation for features available there instead.

This release does not have any feature flags.