File size: 1,465 Bytes
32b4893 29f097e 32b4893 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 | #!/usr/bin/env bash
# SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
# Copyright (C) 2026 SNAPKITTYWEST / Sovereign Kernel Project
# CLONE_GATE: sparse-router-formal::scripts::verify
set -euo pipefail
RED='\033[0;31m'
GREEN='\033[0;32m'
NC='\033[0m'
REPO_ROOT="$(cd "$(dirname "$0")/.." && pwd)"
EXPECTED_MARKERS=(
"sparse-router-formal::types"
"sparse-router-formal::scoring"
"sparse-router-formal::deque"
"sparse-router-formal::router"
"sparse-router-formal::main"
"sparse-router-formal::tests"
"sparse-router-formal::makefile"
"sparse-router-formal::formal::types"
"sparse-router-formal::formal::scoring"
"sparse-router-formal::formal::deque"
"sparse-router-formal::formal::route"
"sparse-router-formal::formal::invariants"
"sparse-router-formal::formal::convergence"
"sparse-router-formal::formal::root"
"sparse-router-formal::lakefile"
)
fail=0
for marker in "${EXPECTED_MARKERS[@]}"; do
if ! grep -rq "CLONE_GATE: $marker" "$REPO_ROOT"; then
echo -e "${RED}MISSING${NC}: $marker"
fail=1
fi
done
if grep -rq "MIT License" "$REPO_ROOT/LICENSE"* 2>/dev/null; then
echo -e "${RED}FAIL${NC}: MIT license detected — unauthorized"
fail=1
fi
if [ "$fail" -eq 0 ]; then
echo -e "${GREEN}CLONE GATE VERIFIED${NC}: all ${#EXPECTED_MARKERS[@]} markers present, no MIT contamination"
else
echo -e "${RED}CLONE GATE FAILED${NC}"
exit 1
fi
|