sparse-router-formal / formal /SparseRouter.lean

Relicense under the Sovereign Leviathan covenant; remove MIT and Apache

29f097e verified 14 days ago

355 Bytes

-- SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
-- Copyright (C) 2026 SNAPKITTYWEST / Sovereign Kernel Project
-- CLONE_GATE: sparse-router-formal::formal::root

import SparseRouter.Types
import SparseRouter.Scoring
import SparseRouter.Deque
import SparseRouter.Route
import SparseRouter.Invariants
import SparseRouter.Convergence

	-- SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
	-- Copyright (C) 2026 SNAPKITTYWEST / Sovereign Kernel Project
	-- CLONE_GATE: sparse-router-formal::formal::root

	import SparseRouter.Types
	import SparseRouter.Scoring
	import SparseRouter.Deque
	import SparseRouter.Route
	import SparseRouter.Invariants
	import SparseRouter.Convergence