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 2 days ago

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

1.52 kB
initial commit 5 days ago
.gitignore

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

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

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

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

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