Skip to Content
Reference ImplementationsAPL-CoreOverview

APL-Core

Pure verification library for the APL Protocol v1.0, reference profile APL-on-ATL.

Provides structural validation and verification of APL artifacts (claims, frames, bridges, transformations) with no I/O and no carrier cryptography. The carrier layer is wired through a single trait (CarrierVerifier), typically satisfied by atl-core via apl-cli.

What it provides

  • Structural validation of APL Claim, Frame, Bridge, and Transformation
  • Single-receipt verification per The Protocol § 5
  • Pairwise relation evaluation per The Protocol § 5.8
  • Content-addressed identity (SHA-256(JCS(...))) helpers
  • Canonical equality and canonical-equality-after-strip
  • Pluggable vertical profiles via the Profile trait
  • Trait-based dependency injection for carrier verification and artifact resolution
  • Complete enumeration of diagnostic status codes

What it does NOT provide

  • Carrier cryptography (Merkle trees, inclusion proofs, anchor verification) — delegated to the carrier layer, typically atl-core
  • I/O, networking, file system access
  • Receipt generation
  • Frame, bridge, or transformation issuance
  • Registry logic

See apl-ai-eval for the reference vertical profile.

Source code

Last updated on
OverviewInstallation