-- 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