torusguard 1.3.0 → 1.3.1

package/.torusguard/scripts/audit_runner.py

@@ -0,0 +1,550 @@
+#!/usr/bin/env python3
+"""
+TorusGuard Autonomous Static Security Audit Engine (v1.3.0)
+Multi-language static pattern & AST security scanner.
+Evaluates source trees against canonical TorusGuard rule families,
+augments confidence via the persistent security memory subsystem,
+groups findings into root-cause clusters, and emits isolated run folders.
+
+Pure Python 3.10+ standard library (zero external dependencies).
+"""
+
+import sys
+import os
+import re
+import json
+import hashlib
+import argparse
+import datetime
+import unicodedata
+from pathlib import Path
+from typing import Dict, List, Any, Optional, Tuple, TypedDict, Pattern
+
+# Windows console UTF-8 support
+if sys.stdout and hasattr(sys.stdout, "reconfigure"):
+    try:
+        getattr(sys.stdout, "reconfigure")(encoding="utf-8", errors="replace")
+    except Exception:
+        pass
+if sys.stderr and hasattr(sys.stderr, "reconfigure"):
+    try:
+        getattr(sys.stderr, "reconfigure")(encoding="utf-8", errors="replace")
+    except Exception:
+        pass
+
+# ─── Timezone Configuration: Indian Standard Time (IST, UTC+05:30) ───────────
+IST = datetime.timezone(datetime.timedelta(hours=5, minutes=30), name="IST")
+
+def get_ist_now() -> datetime.datetime:
+    """Return timezone-aware datetime strictly in Indian Standard Time (IST)."""
+    return datetime.datetime.now(IST)
+
+# ─── ANSI Colors & Formatter ───────────────────────────────────────────────────
+BOLD = "\033[1m"
+DIM = "\033[2m"
+RESET = "\033[0m"
+CYAN = "\033[36m"
+GREEN = "\033[32m"
+YELLOW = "\033[33m"
+WHITE = "\033[97m"
+GRAY = "\033[90m"
+RED = "\033[31m"
+MAGENTA = "\033[35m"
+
+ANSI_REGEX = re.compile(r'\033\[[0-9;]*m')
+
+def get_visual_width(text: str) -> int:
+    """Calculate the printable display width of a string (ANSI and emoji aware)."""
+    clean = ANSI_REGEX.sub('', text)
+    width = 0
+    for ch in clean:
+        ea = unicodedata.east_asian_width(ch)
+        if ea in ('W', 'F'):
+            width += 2
+        elif ord(ch) >= 0x1F300:
+            width += 2
+        else:
+            width += 1
+    return width
+
+def format_box_line(content: str, width: int = 71, border: str = "│", border_color: str = CYAN) -> str:
+    """Pad content so the right border is consistently placed at visual column 75."""
+    vis = get_visual_width(content)
+    pad = " " * max(0, width - vis)
+    return f"  {border_color}{border}{RESET}  {content}{pad}{border_color}{border}{RESET}"
+
+# ─── Rule Definitions & Sinks ─────────────────────────────────────────────────
+class RulePattern(TypedDict):
+    rule_id: str
+    title: str
+    severity: str
+    category: str
+    cluster: str
+    patterns: List[Tuple[Pattern[str], str]]
+
+
+RULE_PATTERNS: List[RulePattern] = [
+    # ── Secrets & Credentials (TG-SEC) ──────────────────────────────────────────
+    {
+        "rule_id": "TG-SEC-001",
+        "title": "Hardcoded Secret or API Key in Tracked Source",
+        "severity": "Critical",
+        "category": "secrets",
+        "cluster": "cluster-credentials-exposure",
+        "patterns": [
+            (re.compile(r'\b(?:sk_live|ak_live)_[0-9a-zA-Z]{20,}\b'), "Live payment or cloud API secret key"),
+            (re.compile(r'\bgh[pousr]_[0-9a-zA-Z]{36}\b'), "GitHub personal access token"),
+            (re.compile(r'-----BEGIN\s+(?:RSA\s+)?PRIVATE\s+KEY-----'), "Hardcoded private key block"),
+            (re.compile(r'\b(?:jwt_secret|jwtSecret|JWT_SECRET)\s*[:=]\s*["\'][a-zA-Z0-9_\-]{16,}["\']'), "Hardcoded JWT signing secret"),
+            (re.compile(r'(?:password|passwd|api_key|apiKey|secret_key)\s*[:=]\s*["\'][A-Za-z0-9@#$%^&+=_\-]{10,}["\']', re.IGNORECASE), "Hardcoded credential or API secret string")
+        ]
+    },
+    {
+        "rule_id": "TG-SEC-002",
+        "title": "Public Client Environment Variable Secret Exposure",
+        "severity": "High",
+        "category": "secrets",
+        "cluster": "cluster-credentials-exposure",
+        "patterns": [
+            (re.compile(r'\b(?:NEXT_PUBLIC_|VITE_|REACT_APP_)[A-Z0-9_]*(?:SECRET|PRIVATE|KEY|PASSWORD|TOKEN)\b'), "Client-exposed environment variable containing secret naming pattern")
+        ]
+    },
+    # ── Database Safety & Multi-Tenant Query Isolation (TG-DB) ────────────────
+    {
+        "rule_id": "TG-DB-004",
+        "title": "Missing Multi-Tenant Isolation in Scoped Query",
+        "severity": "High",
+        "category": "database",
+        "cluster": "cluster-tenant-isolation",
+        "patterns": [
+            (re.compile(r'\.objects\.get\s*\(\s*id\s*=\s*[^,\)]+\)'), "Django ORM .get(id=...) query lacking explicit tenant scope filter"),
+            (re.compile(r'\.findById\s*\(\s*(?:req\.params|id)[^\)]*\)'), "Direct findById query lacking organization/tenant boundaries")
+        ]
+    },
+    {
+        "rule_id": "TG-DB-001",
+        "title": "Frontend / Client-Side Direct Database Query",
+        "severity": "Critical",
+        "category": "database",
+        "cluster": "cluster-client-leak",
+        "patterns": [
+            (re.compile(r'\b(?:createClient|supabase)\.from\([^)]+\)\.delete\(\)'), "Dangerous direct database mutation in client component"),
+            (re.compile(r'\bimport\s+.*(?:pg|mysql2|prisma|typeorm).*\s+from'), "Server database driver imported in client file")
+        ]
+    },
+    # ── Input Validation & Code / SQL Injection (TG-INPUT) ─────────────────────
+    {
+        "rule_id": "TG-INPUT-002",
+        "title": "Unescaped Raw SQL Query Concatenation",
+        "severity": "Critical",
+        "category": "injection",
+        "cluster": "cluster-injection",
+        "patterns": [
+            (re.compile(r'(?:query|execute|raw)\s*\(\s*f["\'].*SELECT.*\{', re.IGNORECASE), "Python f-string interpolation in raw SQL query"),
+            (re.compile(r'(?:query|execute|raw)\s*\(\s*[`"\'].*SELECT.*\$\{', re.IGNORECASE), "JavaScript template literal interpolation in SQL query"),
+            (re.compile(r'(?:query|execute|raw)\s*\(\s*["\'].*SELECT.*\+\s*(?:req|input|params)', re.IGNORECASE), "String concatenation in raw SQL query")
+        ]
+    },
+    {
+        "rule_id": "TG-INPUT-003",
+        "title": "Unsafe Dynamic Code or HTML Execution",
+        "severity": "High",
+        "category": "injection",
+        "cluster": "cluster-injection",
+        "patterns": [
+            (re.compile(r'\beval\s*\('), "Direct eval() execution on untrusted input"),
+            (re.compile(r'\bexec\s*\('), "Direct exec() execution on untrusted input"),
+            (re.compile(r'\bdangerouslySetInnerHTML\s*='), "React dangerouslySetInnerHTML rendering raw unescaped HTML"),
+            (re.compile(r'\.innerHTML\s*='), "Direct DOM innerHTML assignment vulnerable to XSS")
+        ]
+    },
+    {
+        "rule_id": "TG-INPUT-006",
+        "title": "Unvalidated User Input in File Path Resolution",
+        "severity": "High",
+        "category": "filesystem",
+        "cluster": "cluster-injection",
+        "patterns": [
+            (re.compile(r'(?:open|readFile|readFileSync)\s*\([^)]*\+\s*(?:req|params|query)'), "File read operation using unsanitized user request path")
+        ]
+    },
+    # ── Authentication & Session Safety (TG-AUTH) ──────────────────────────────
+    {
+        "rule_id": "TG-AUTH-004",
+        "title": "Insecure Session Cookie or Disabled CSRF Protection",
+        "severity": "High",
+        "category": "auth",
+        "cluster": "cluster-auth-bypass",
+        "patterns": [
+            (re.compile(r'\bSESSION_COOKIE_SECURE\s*=\s*False\b'), "Session cookie secure flag disabled in Django settings"),
+            (re.compile(r'\bsecure\s*:\s*false\b', re.IGNORECASE), "Cookie secure attribute set to false"),
+            (re.compile(r'\bhttpOnly\s*:\s*false\b', re.IGNORECASE), "Cookie httpOnly attribute set to false (XSS readable)"),
+            (re.compile(r'@(?:csrf_exempt|allow_anonymous)\b'), "Decorator disabling route-level authentication or CSRF protection"),
+            (re.compile(r'\[(?:AllowAnonymous)\]'), "Attribute disabling ASP.NET authentication"),
+            (re.compile(r'\.csrf\(\)\.disable\(\)'), "Spring Security CSRF protection explicitly disabled")
+        ]
+    },
+    # ── Security Bypasses & Transport Invariants (TG-DIFF / TG-PLATFORM) ───────
+    {
+        "rule_id": "TG-DIFF-001",
+        "title": "Disabled TLS / SSL Certificate Validation",
+        "severity": "Critical",
+        "category": "transport",
+        "cluster": "cluster-transport-security",
+        "patterns": [
+            (re.compile(r'\bverify\s*=\s*False\b'), "Disabled TLS certificate verification (verify=False)"),
+            (re.compile(r'\bInsecureSkipVerify\s*:\s*true\b'), "Disabled Go TLS certificate verification (InsecureSkipVerify: true)"),
+            (re.compile(r'\bNODE_TLS_REJECT_UNAUTHORIZED\s*=\s*[\'"]?0[\'"]?'), "Disabled Node.js TLS verification (NODE_TLS_REJECT_UNAUTHORIZED=0)"),
+            (re.compile(r'\brejectUnauthorized\s*:\s*false\b'), "Disabled Node.js TLS rejectUnauthorized"),
+            (re.compile(r'\bCURLOPT_SSL_VERIFYPEER\s*(?:=>|,)\s*(?:false|0)\b', re.IGNORECASE), "Disabled PHP curl SSL verification")
+        ]
+    },
+    {
+        "rule_id": "TG-PLATFORM-001",
+        "title": "Wildcard Permissive CORS Configuration with Credentials",
+        "severity": "High",
+        "category": "platform",
+        "cluster": "cluster-auth-bypass",
+        "patterns": [
+            (re.compile(r'\bCORS_ALLOW_ALL_ORIGINS\s*=\s*True\b'), "Wildcard CORS origin enabled across entire application"),
+            (re.compile(r'@CrossOrigin\s*\(\s*["\']\*["\']\s*\)'), "Wildcard CORS origin annotation in Java/Spring")
+        ]
+    }
+]
+
+# File extensions to scan
+SOURCE_EXTENSIONS = {
+    ".py", ".ts", ".tsx", ".js", ".jsx", ".mjs", ".cjs",
+    ".go", ".java", ".cs", ".php", ".rb", ".json", ".yaml", ".yml"
+}
+
+# Directories to skip
+SKIP_DIRS = {
+    ".git", "node_modules", ".venv", "venv", "env", "__pycache__",
+    "dist", "build", ".next", ".nuxt", "coverage", ".torusguard",
+    ".idea", ".vscode", "target", "bin", "obj"
+}
+
+def is_test_file(path_str: str) -> bool:
+    """Check if file belongs to tests, fixtures, or mocks."""
+    clean = path_str.replace("\\", "/").lower()
+    markers = ["/test/", "/tests/", "/spec/", "/specs/", "/fixtures/", "/mock/", "/mocks/",
+               "__tests__", "test_", "_test.", ".test.", ".spec."]
+    return any(m in clean for m in markers)
+
+
+def find_files_to_scan(target_root: Path) -> List[Path]:
+    """Recursively collect source files eligible for static security audit."""
+    files = []
+    for root, dirs, filenames in os.walk(target_root):
+        # Mutate dirs in-place to skip ignored folders
+        dirs[:] = [d for d in dirs if d not in SKIP_DIRS and not d.startswith(".")]
+        for f in filenames:
+            ext = os.path.splitext(f)[1].lower()
+            if ext in SOURCE_EXTENSIONS:
+                files.append(Path(root) / f)
+    return sorted(files)
+
+
+def scan_file(file_path: Path, target_root: Path) -> List[Dict[str, Any]]:
+    """Scan a single source file against the TorusGuard rule families."""
+    findings = []
+    try:
+        content = file_path.read_text(encoding="utf-8", errors="replace")
+    except Exception:
+        return findings
+
+    lines = content.splitlines()
+    rel_path = str(file_path.relative_to(target_root)).replace("\\", "/")
+    is_test = is_test_file(rel_path)
+
+    for rule in RULE_PATTERNS:
+        rule_id = rule["rule_id"]
+        patterns: List[Tuple[Pattern[str], str]] = rule["patterns"]
+        for regex, desc in patterns:
+            for idx, line in enumerate(lines):
+                stripped = line.strip()
+                if stripped.startswith(("#", "//", "/*", "*")):
+                    if "bypass" not in stripped.lower() and "todo" not in stripped.lower():
+                        continue
+
+                match = regex.search(line)
+                if match:
+                    line_num = idx + 1
+                    seed = f"{rule_id}:{rel_path}:{line_num}:{stripped}"
+                    fp = f"{rule_id}-{hashlib.sha256(seed.encode('utf-8')).hexdigest()[:8]}"
+
+                    start_ctx = max(0, idx - 2)
+                    end_ctx = min(len(lines), idx + 3)
+                    snippet = "\n".join(lines[start_ctx:end_ctx])
+
+                    findings.append({
+                        "finding_id": fp,
+                        "rule_id": rule_id,
+                        "title": rule["title"],
+                        "description": desc,
+                        "severity": "Low" if is_test else rule["severity"],
+                        "category": rule["category"],
+                        "cluster": rule["cluster"],
+                        "file_path": rel_path,
+                        "line_number": line_num,
+                        "matched_text": match.group(0)[:80],
+                        "snippet": snippet,
+                        "is_test": is_test,
+                        "target": {
+                            "file_path": rel_path,
+                            "start_line": line_num,
+                            "end_line": line_num
+                        }
+                    })
+                    break
+    return findings
+
+
+def score_and_cluster_findings(findings: List[Dict[str, Any]], target_root: Path) -> Tuple[List[Dict[str, Any]], Dict[str, List[Dict[str, Any]]]]:
+    """
+    Score each finding using finding_scorer.py and persistent memory patterns.
+    Returns (scored_findings, clusters_map).
+    """
+    scripts_dir = Path(__file__).resolve().parent
+    if str(scripts_dir) not in sys.path:
+        sys.path.insert(0, str(scripts_dir))
+    try:
+        import finding_scorer
+    except Exception:
+        finding_scorer = None
+
+    scored = []
+    clusters: Dict[str, List[Dict[str, Any]]] = {}
+
+    for f in findings:
+        rule_id = f["rule_id"]
+        file_path = f["file_path"]
+
+        if finding_scorer and hasattr(finding_scorer, "compute_confidence_score"):
+            total, band, factors = finding_scorer.compute_confidence_score(
+                evidence_quality=35,
+                reproduction_success=0,
+                independent_confirmations=5,
+                environmental_clarity=15,
+                manual_review_status=0,
+                rule_id=rule_id,
+                file_path=file_path,
+                root_dir=target_root
+            )
+        else:
+            total = 70
+            band = "High Confidence"
+            factors = {"total_score": total, "classification_band": band}
+
+        f["confidence_score"] = total
+        f["confidence_band"] = band
+        f["confidence_factors"] = factors
+
+        scored.append(f)
+        cluster_id = f.get("cluster", "cluster-general")
+        clusters.setdefault(cluster_id, []).append(f)
+
+    return scored, clusters
+
+
+def emit_run_artifacts(run_folder: Path, scored_findings: List[Dict[str, Any]], clusters: Dict[str, List[Dict[str, Any]]], target_root: Path) -> None:
+    """Write findings.json, findings.md, and summary.md into isolated run directory."""
+    run_folder.mkdir(parents=True, exist_ok=True)
+
+    # 1. findings.json
+    findings_file = run_folder / "findings.json"
+    with open(findings_file, "w", encoding="utf-8") as f:
+        json.dump(scored_findings, f, indent=2)
+
+    # 2. findings.md
+    now_ist = get_ist_now()
+    md_lines = [
+        f"# TorusGuard Static Security Audit Report",
+        f"**Run ID:** `{run_folder.name}`  ",
+        f"**Timestamp:** `{now_ist.strftime('%Y-%m-%d %H:%M:%S IST')}`  ",
+        f"**Target:** `{target_root}`  ",
+        f"**Total Findings:** `{len(scored_findings)}`  \n",
+        "---",
+        "## Findings Catalog\n"
+    ]
+
+    for item in scored_findings:
+        md_lines.append(f"### [{item['rule_id']}] {item['title']}")
+        md_lines.append(f"- **Severity:** `{item['severity']}` | **Confidence:** `{item['confidence_score']}/100 ({item['confidence_band']})`")
+        md_lines.append(f"- **File:** `{item['file_path']}:{item['line_number']}` | **Cluster:** `{item['cluster']}`")
+        md_lines.append(f"- **Description:** {item['description']}")
+        md_lines.append("```")
+        code_snippet = str(item.get("snippet") or item.get("matched_text") or "")
+        md_lines.append(code_snippet)
+        md_lines.append("```\n")
+
+    (run_folder / "findings.md").write_text("\n".join(md_lines), encoding="utf-8")
+
+    # 3. summary.md
+    summary_lines = [
+        f"# TorusGuard Audit Summary: {run_folder.name}",
+        f"- Scanned Scope: {target_root}",
+        f"- Total Findings: {len(scored_findings)}",
+        f"- Root-Cause Clusters: {len(clusters)}",
+        f"- Generated: {now_ist.strftime('%Y-%m-%d %H:%M:%S IST')}"
+    ]
+    (run_folder / "summary.md").write_text("\n".join(summary_lines), encoding="utf-8")
+
+    # 4. Update manifest.json status
+    manifest_file = run_folder / "manifest.json"
+    if manifest_file.exists():
+        try:
+            with open(manifest_file, "r", encoding="utf-8") as mf:
+                mdata = json.load(mf)
+            mdata["status"] = "completed"
+            mdata["findings_count"] = len(scored_findings)
+            with open(manifest_file, "w", encoding="utf-8") as mf:
+                json.dump(mdata, mf, indent=2)
+        except Exception:
+            pass
+
+
+def print_audit_dashboard(target_root: Path, file_count: int, scored_findings: List[Dict[str, Any]], clusters: Dict[str, List[Dict[str, Any]]], run_folder: Path, detected_stack: Optional[Dict[str, Any]] = None) -> None:
+    """Print the unified 75-column TorusGuard Static Audit results card."""
+    crit_count = sum(1 for f in scored_findings if f["severity"] == "Critical")
+    high_count = sum(1 for f in scored_findings if f["severity"] == "High")
+    med_count = sum(1 for f in scored_findings if f["severity"] in ("Medium", "Low"))
+
+    stack_str = "Auto-detected"
+    if detected_stack and detected_stack.get("framework") and detected_stack.get("framework") != "None":
+        stack_str = f"{detected_stack.get('framework')} ({detected_stack.get('language')})"
+
+    print(f"""
+  {CYAN}╭─────────────────────────────────────────────────────────────────────────╮{RESET}
+  {CYAN}│{RESET}                                                                         {CYAN}│{RESET}
+  {CYAN}│{RESET}   {BOLD}{WHITE}🛡️  TORUSGUARD STATIC SECURITY AUDIT{RESET}                 {GRAY}v1.3.0{RESET}   {CYAN}│{RESET}
+  {CYAN}│{RESET}   {DIM}Autonomous AST & Invariant Security Scanner{RESET}                        {CYAN}│{RESET}
+  {CYAN}│{RESET}                                                                         {CYAN}│{RESET}
+  {CYAN}╰─────────────────────────────────────────────────────────────────────────╯{RESET}
+""")
+
+    print(f"  {CYAN}┌─ {BOLD}Audit Execution Scope{RESET} {CYAN}─────────────────────────────────────────────────┐{RESET}")
+    print(format_box_line(f"{BOLD}Target:{RESET}       {WHITE}{str(target_root):<56}{RESET}"))
+    print(format_box_line(f"{BOLD}Stack:{RESET}        {GREEN}{stack_str:<56}{RESET}"))
+    print(format_box_line(f"{BOLD}Files:{RESET}        {WHITE}{file_count} files evaluated across 11 canonical families{RESET}"))
+    print(f"  {CYAN}└─────────────────────────────────────────────────────────────────────────┘{RESET}\n")
+
+    # Findings Box
+    status_icon = f"{RED}✖ CRITICAL FINDINGS DETECTED{RESET}" if crit_count > 0 else (f"{YELLOW}⚠ HIGH VULNERABILITIES DETECTED{RESET}" if high_count > 0 else f"{GREEN}✔ SECURITY POSTURE CLEAN{RESET}")
+    print(f"  {CYAN}┌─ {BOLD}Findings & Confidence Scores{RESET} {CYAN}─────────────────────────────────────────┐{RESET}")
+    print(format_box_line(f"Status:      {status_icon}"))
+    print(format_box_line(f"Findings:    {RED}{crit_count} Critical{RESET}  {YELLOW}{high_count} High{RESET}  {CYAN}{med_count} Medium/Low{RESET}  ({len(scored_findings)} total)"))
+    print(format_box_line(f"Clusters:    {WHITE}{len(clusters)} architectural root causes identified{RESET}"))
+    print(f"  {CYAN}├─────────────────────────────────────────────────────────────────────────┤{RESET}")
+
+    if not scored_findings:
+        print(format_box_line(f"{GREEN}✔ Zero security invariant violations detected.{RESET}"))
+    else:
+        for idx, f in enumerate(scored_findings[:5]):
+            sev_color = RED if f["severity"] == "Critical" else (YELLOW if f["severity"] == "High" else CYAN)
+            line_str = f"[{sev_color}{f['severity']}{RESET}] {BOLD}{f['rule_id']}{RESET} at {f['file_path']}:{f['line_number']}"
+            print(format_box_line(line_str))
+            desc_str = f"  └─ {DIM}{f['description'][:60]}{RESET} ({CYAN}{f['confidence_score']}/100{RESET})"
+            print(format_box_line(desc_str))
+        if len(scored_findings) > 5:
+            print(format_box_line(f"{DIM}... and {len(scored_findings) - 5} more findings in report file{RESET}"))
+
+    print(f"  {CYAN}└─────────────────────────────────────────────────────────────────────────┘{RESET}\n")
+
+    # Run Artifacts & Next Steps Box
+    rel_run = str(run_folder.relative_to(target_root)) if str(run_folder).startswith(str(target_root)) else str(run_folder)
+    print(f"  {GREEN}╔═ {BOLD}Artifacts & Next Actions{RESET} {GREEN}══════════════════════════════════════════════════╗{RESET}")
+    print(format_box_line(f"{BOLD}Run Artifact:{RESET}  {WHITE}{rel_run}/findings.md{RESET}", border="║", border_color=GREEN))
+    print(format_box_line(f"{BOLD}Visual Dash:{RESET}   {CYAN}npx torusguard report --html{RESET}", border="║", border_color=GREEN))
+    print(format_box_line(f"{BOLD}Surgical Fix:{RESET}  In AI Chat, run {CYAN}/torusguard-harden{RESET}", border="║", border_color=GREEN))
+    print(f"  {GREEN}╚═════════════════════════════════════════════════════════════════════════╝{RESET}\n")
+
+
+def execute_audit(target_root: Path, severity_floor: str = "medium", json_output: bool = False) -> Dict[str, Any]:
+    """Execute the full TorusGuard static security audit."""
+    target_root = target_root.resolve()
+    scripts_dir = Path(__file__).resolve().parent
+
+    # 1. Stack detection
+    detected_stack = None
+    stack_script = scripts_dir / "stack_detect.py"
+    if stack_script.is_file():
+        try:
+            import importlib.util
+            spec = importlib.util.spec_from_file_location("stack_detect", str(stack_script))
+            if spec and spec.loader:
+                sd = importlib.util.module_from_spec(spec)
+                spec.loader.exec_module(sd)
+                if hasattr(sd, "detect_stack"):
+                    detected_stack = sd.detect_stack(target_root)
+        except Exception:
+            pass
+
+    # 2. Collect files & scan
+    files = find_files_to_scan(target_root)
+    all_findings = []
+    for f in files:
+        all_findings.extend(scan_file(f, target_root))
+
+    # 3. Score & Cluster
+    scored_findings, clusters = score_and_cluster_findings(all_findings, target_root)
+
+    # 4. Allocate run folder
+    runs_dir = target_root / ".torusguard" / "runs"
+    runs_dir.mkdir(parents=True, exist_ok=True)
+
+    if str(scripts_dir) not in sys.path:
+        sys.path.insert(0, str(scripts_dir))
+    try:
+        import run_manager
+        run_folder = run_manager.create_run(runs_dir, "audit", target_root.name)
+    except Exception:
+        timestamp = get_ist_now().strftime("%Y%m%d-%H%M%S")
+        run_folder = runs_dir / f"run-{timestamp}-audit"
+        run_folder.mkdir(parents=True, exist_ok=True)
+
+    # 5. Emit artifacts & sync memory
+    emit_run_artifacts(run_folder, scored_findings, clusters, target_root)
+    try:
+        if "run_manager" in sys.modules:
+            sys.modules["run_manager"].sync_run_to_memory(run_folder, scored_findings)
+    except Exception:
+        pass
+
+    result = {
+        "status": "completed",
+        "target_root": str(target_root),
+        "files_scanned": len(files),
+        "total_findings": len(scored_findings),
+        "critical_count": sum(1 for f in scored_findings if f["severity"] == "Critical"),
+        "high_count": sum(1 for f in scored_findings if f["severity"] == "High"),
+        "medium_count": sum(1 for f in scored_findings if f["severity"] in ("Medium", "Low")),
+        "clusters_count": len(clusters),
+        "run_folder": str(run_folder),
+        "findings": scored_findings
+    }
+
+    if json_output:
+        print(json.dumps(result, indent=2))
+    else:
+        print_audit_dashboard(target_root, len(files), scored_findings, clusters, run_folder, detected_stack)
+
+    return result
+
+
+def main():
+    parser = argparse.ArgumentParser(description="TorusGuard Static Security Audit Engine")
+    parser.add_argument("path", nargs="?", default=".", help="Target project root directory to audit")
+    parser.add_argument("--scope", "-s", help="Alternative path to target project")
+    parser.add_argument("--severity", choices=["critical", "high", "medium", "low"], default="medium", help="Severity floor")
+    parser.add_argument("--json", action="store_true", help="Output raw JSON")
+    args = parser.parse_args()
+
+    target = Path(args.scope or args.path).resolve()
+    res = execute_audit(target, severity_floor=args.severity, json_output=args.json)
+    sys.exit(0 if res["critical_count"] == 0 else 1)
+
+
+if __name__ == "__main__":
+    main()

package/.torusguard/scripts/diff_guard.py

@@ -117,6 +117,50 @@ def check_memory_regressions(
     return violations
 
 
+def is_exempt_diff_path(file_path: Optional[str]) -> bool:
+    """
+    Detects whether a file path is exempt from diff guard checks.
+    Documentation, rule manifests, AI editor prompts, test fixtures, and scanner
+    definitions are exempt to prevent false alarms on security instructions and mock data.
+    """
+    if not file_path:
+        return False
+    clean = file_path.replace("\\", "/").lower().strip()
+    if clean in ("unknown", "", "none"):
+        return False
+
+    # Documentation, changelogs, markdown, plain text
+    if clean.endswith((".md", ".txt", ".rst", ".jsonl")):
+        return True
+
+    # AI editor prompt and rule instruction files
+    if clean.endswith((".cursorrules", ".windsurfrules")) or clean in ("claude.md", "agents.md"):
+        return True
+    if ".agent/rules" in clean or ".cursor/rules" in clean:
+        return True
+
+    # Security rule catalog, schemas, and cryptographic manifests
+    if "/rules/" in clean or clean.startswith("rules/") or "/schemas/" in clean or clean.startswith("schemas/"):
+        return True
+    if clean.endswith((".schema.json", ".manifest.json")):
+        return True
+
+    # Test fixtures, test suites, mocks, and test harness
+    test_markers = [
+        "/test/", "/tests/", "/spec/", "/specs/", "/fixtures/", "/mock/", "/mocks/",
+        "/e2e/", "__tests__", "test_", "_test.", ".test.", ".spec.", "testcase",
+        "harness/"
+    ]
+    if any(m in clean for m in test_markers) or clean.endswith(("_test.go", "test.java", "test.py", ".spec.ts", ".test.ts", ".spec.js", ".test.js")):
+        return True
+
+    # TorusGuard security engine scripts that define scanner regexes / templates
+    if ("/scripts/" in clean or clean.startswith("scripts/")) and any(s in clean for s in ("diff_guard", "harden_runner", "finding_scorer", "rules_sync", "memory_engine", "audit_runner", "apply_runner", "recheck_runner", "manifest_builder")):
+        return True
+
+    return False
+
+
 def audit_diff(
     diff_content: str,
     check_memory: bool = False,
@@ -133,7 +177,7 @@ def audit_diff(
     current_line = 0
 
     additions: List[tuple[int, str]] = []
-    deletions: List[tuple[int, str]] = []
+    deletions: List[tuple[str, int, str]] = []
 
     for line_idx, line in enumerate(lines, 1):
         if line.startswith('+++ b/'):
@@ -153,6 +197,9 @@ def audit_diff(
             added_content = line[1:]
             additions.append((current_line, added_content))
 
+            if is_exempt_diff_path(current_file):
+                continue
+
             # Check bypass patterns
             for pat, desc in BYPASS_PATTERNS:
                 if pat.search(added_content):
@@ -186,10 +233,11 @@ def audit_diff(
 
         elif line.startswith('-') and not line.startswith('---'):
             deleted_content = line[1:]
-            deletions.append((line_idx, deleted_content))
+            if not is_exempt_diff_path(current_file):
+                deletions.append((current_file, line_idx, deleted_content))
 
     # Check for tenant filter deletion without replacement
-    for del_idx, del_line in deletions:
+    for del_file, del_idx, del_line in deletions:
         for t_pat in TENANT_FILTER_PATTERNS:
             if t_pat.search(del_line):
                 # Verify if an equivalent tenant filter exists in additions
@@ -199,7 +247,7 @@ def audit_diff(
                         "rule_id": "TG-DIFF-003",
                         "category": "Tenant Filter Removal",
                         "severity": "HIGH",
-                        "file": current_file,
+                        "file": del_file,
                         "line": del_idx,
                         "content": del_line.strip(),
                         "description": "Tenant isolation filter was removed without being restored in additions"