Commit History

13 days ago

  1. Add covenant SPDX headers to remaining files

    Verified signature
    67ad540
  2. Add covenant SPDX headers to every remaining unmarked source file

    Verified signature
    f7ccd08
  3. Add Clone Gate: type-level license gate in Idris 2 (covenant-licensed)

    Verified signature
    b05e716
  4. Relicense under the Sovereign Leviathan covenant; remove MIT and Apache⁠

    Verified signature
    29f097e

16 days ago

  1. Model card: restore full README from GitHub, add commercial license option

    Verified signature
    4ce526e
  2. October 2026 main drop: mirror from GitHub

    Verified signature
    32b4893
  3. initial commit

    Verified signature
    fb1c57d