Snapkitty
/

sparse-router-formal

october-2026-drop

formal-verification

Model card Files Files and versions

sparse-router-formal

641 kB

Ctrl+K

Ctrl+K

1 contributor

History: 7 commits

SNAPKITTYWEST's picture

Add covenant SPDX headers to remaining files

67ad540 verified 22 days ago

c-reference
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache 22 days ago
clone-gate
Add Clone Gate: type-level license gate in Idris 2 (covenant-licensed) 22 days ago
formal
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache 22 days ago
pascal
Add covenant SPDX headers to every remaining unmarked source file 22 days ago
rust
Add covenant SPDX headers to remaining files 22 days ago
scripts
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache 22 days ago
spec
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache 22 days ago
src
October 2026 main drop: mirror from GitHub 24 days ago
tests
Add covenant SPDX headers to every remaining unmarked source file 22 days ago
.gitattributes

1.52 kB
initial commit 24 days ago
.gitignore

94 Bytes
October 2026 main drop: mirror from GitHub 24 days ago
CLONE_GATE.md

1.14 kB
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache 22 days ago
LICENSE

16.8 kB
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache 22 days ago
Makefile

925 Bytes
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache 22 days ago
README.md

4.4 kB
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache 22 days ago