Skip to Content
Reference ImplementationsAHL-CoreOverview

AHL-Core

Statement, closure, and receipt library for AHL Protocol v0.3-draft.

Provides the primitives for constructing and verifying AHL statements, corpus manifests, revocation closures, and Evidence Receipts. Cryptographic and closure-computation functions are pure and deterministic; storage and log transport are delegated to a pluggable adaptor.

What it provides

  • Statement construction and validation for all seven types (ingestion, derivation, retraction, correction, propagation, manifest, key)
  • Commitment computation in both plain and keyed modes, with dataset domain separation
  • Merkle tree construction and membership proofs for batch outputs, input sets, and disposition trees (§8/§9 of Data Structures)
  • Closure computation: affected-set derivation from a trigger, cycle detection, disposition assignment
  • Evidence Receipt (.ahl) generation and verification for every claim type in the registry
  • JCS canonicalization per RFC 8785, shared with the sibling ATL and APL implementations

What it does NOT provide

  • A log implementation or storage backend — bring a conforming adaptor (see The Protocol §4)
  • Witness infrastructure — cosigning is an independent service implementing the state machine in The Protocol §4.3
  • A hosted verification service

Source code

  • Repository: Private (publication under Apache-2.0 is a gate for the public draft)
  • License: Apache-2.0 (on publication)
Last updated on
OverviewInstallation