2 days ago
-
Add covenant SPDX headers to every remaining unmarked source file
-
Add Clone Gate: type-level license gate in Idris 2 (covenant-licensed)
-
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache
All MIT/Apache-2.0 grants (license files, SPDX headers, build metadata, card and docs) replaced with LicenseRef-Sovereign-Leviathan-SL-AGPL3-001. Copies obtained under earlier terms keep them.
5 days ago
-
Model card: restore full README from GitHub, add commercial license option
-
October 2026 main drop: mirror from GitHub
-
initial commit
