spec
git@gitlab.com:aice-lab/license/spec.git
Latest commit
a8f9f4f0 ·
README
aice-license — Token Format & Reference Verifier
Public specification of the aice-license token: format, signing algorithms,
public keys, conformance vectors, and a pure-Go reference verifier importable
by every aice-* implementation.
This repo does not contain the issuing service. The issuer source lives
privately at gitlab.com/aice-lab/license/server; only its output (tokens
signed by the keys in public-keys/) is described here.
What lives here
| Path | Purpose |
|---|---|
docs/ | Token format, verifier-implementation guide, tier semantics, degraded-mode rules |
public-keys/ | Active and archived AiCE-Lab signing public keys (Ed25519 + ML-DSA-65) |
verifier/go/ | Reference Go verifier; importable as gitlab.com/aice-lab/license/spec/verifier/go |
conformance/vectors/ | Signed token JSONs covering every reachable verifier state |
conformance/_gen/ | Deterministic generator for the conformance vectors |
Status
Pre-1.0 — public API may change between minor versions until 1.0.0.
License
Source: FSL-1.1-Apache-2.0 (see LICENSE and LICENSE.FAQ.md).
Documentation
Full contract and concept docs: https://license.aice-lab.org
Contributing
See CONTRIBUTING.md. All commits require DCO sign-off (git commit -s).
Reporting security issues
See SECURITY.md. Do not open public issues for vulnerabilities.
This is a snapshot generated from GitLab. For the live README, see the project page.