torusguard 2.0.0-alpha → 2.1.0

package/.torusguard/skills/torusguard-recheck/SKILL.md

@@ -1,15 +1,13 @@
 ---
 name: torusguard-recheck
 description: Execute targeted differential AST re-scan against modified files, verify fix closure, and assert zero regressions via CLI or AI Agent.
-version: 1.3.6
+version: 2.0.0
 workflow: .torusguard/workflows/recheck.md
 tools: Read, Grep, Glob, Write, run_command
 scripts-binding:
+  - internal/scanner/scanner.go
+  - internal/harden/patch.go
   - .torusguard/scripts/report_sync.py
-  - .torusguard/scripts/recheck_runner.py
-  - .torusguard/scripts/audit_runner.py
-  - .torusguard/scripts/memory_engine.py
-  - .torusguard/scripts/term_ui.py
 ---
 
 # TorusGuard Recheck — Targeted Differential Audit & Fix Closure
@@ -19,26 +17,37 @@ Execute differential security re-scans strictly scoped to modified files and adj
 
 ---
 
-## Two Execution Modes
+## Tri-Mode Parity
+
+| Mode | Command / Tool | Governed Behavior |
+| :--- | :--- | :--- |
+| **Mode A: CLI Terminal** | `torusguard recheck` | Scans modified files, verifies fix closure, and updates run artifacts. |
+| **Mode B: AI Chat Slash** | `/torusguard recheck` | Guides interactive differential review and records fix events. |
+| **Mode C: Native MCP Tool**| `torusguard_recheck` | Machine-to-machine differential AST re-scan for AI coding agents. |
+
+---
+
+## Tri-Mode Execution
 
 ### Mode A: Automated CLI Execution
 Run the differential recheck engine from the terminal:
 ```bash
 # Recheck the latest applied run
-npx torusguard recheck
+torusguard recheck
 
 # Recheck a specific project directory
-npx torusguard recheck ./my-project
+torusguard recheck ./my-project
 
 # Recheck a specific run ID
-npx torusguard recheck --run run-20260910-121618-audit
+torusguard recheck --run run-20260910-121618-audit
 
 # Machine-readable JSON output
-npx torusguard recheck --json
+torusguard recheck --json
 ```
-**Under the Hood:** Executes `python .torusguard/scripts/recheck_runner.py`.
+
+**Under the Hood:**
 - Evaluates applied candidate bundles from `.torusguard/runs/<run_id>/bundles/`.
-- Executes single-file targeted differential AST scans via `audit_runner.scan_file()`.
+- Executes single-file targeted differential AST scans via `internal/scanner` and `internal/recheck`.
 - Calculates formal status transitions:
   - `✔ [Confirmed Fixed]`: Vulnerable pattern absent, zero regressions.
   - `✖ [Regressed]`: New security finding introduced by patch.
@@ -50,10 +59,22 @@ npx torusguard recheck --json
 ### Mode B: In-Session AI Chat Agent Differential Scan
 When evaluating patches directly in AI chat:
 1. **Identify Modified Files:** Read `diff_summary.md` or git status for files modified in the active run.
-2. **Re-Scan Sinks:** View the target file and verify that the specific rule violation (e.g. `TG-INPUT-003`, `TG-PLATFORM-001`) is no longer triggered.
-3. **Assert Zero Regressions:** Verify that no new vulnerabilities (like raw concatenation or unvalidated input) were introduced by the fix.
-4. **Update Status:** Log outcome in `.torusguard/runs/<run_id>/recheck.md`.
-5. **Memory Telemetry:** Record verification event with `memory_engine.record_event("fix_verified", ...)`.
+2. **Re-Scan Sinks:** View the target file and verify that the specific rule violation (e.g. `TG-INPUT-003`, `TG-PLATFORM-001`, `TG-NPE-001`) is no longer triggered.
+3. **Assert Zero Regressions:** Verify that no new vulnerabilities (like raw concatenation, missing null checks, or unvalidated inputs) were introduced by the fix.
+4. **Update Status:** Log outcome in `.torusguard/runs/<run_id>/recheck.md` and transition status in `security_report.md`.
+5. **Memory Telemetry:** Record verification event in persistent memory.
+
+### Mode C: Native MCP Tool Execution
+For autonomous AI coding agents (Antigravity, Cursor, Windsurf, Claude Code):
+- **Tool Invocation:** Call `torusguard_recheck` with target workspace:
+  ```json
+  {
+    "target": "."
+  }
+  ```
+- **Programmatic Return:** Receives differential AST re-scan results, baseline comparison, and confirms zero regressions.
+
+---
 
 ---
 
@@ -62,7 +83,7 @@ When evaluating patches directly in AI chat:
 | :--- | :--- | :--- | :--- |
 | **Confirmed Fixed** | `✔ [Confirmed Fixed]` | Sink eliminated, zero regressions | Proceed to Posture Report |
 | **Unresolved** | `⚠ [Unresolved]` | Flaw still present in file | Re-harden with alternative pattern |
-| **Regressed** | `✖ [Regressed]` | New security flaw introduced | Instant `npx torusguard rollback` |
+| **Regressed** | `✖ [Regressed]` | New security flaw introduced | Instant `torusguard rollback` |
 
 ---
 
@@ -74,8 +95,40 @@ When evaluating patches directly in AI chat:
 - **Regressions:** 0 detected
 - **Unresolved:** 0
 - **Artifact:** `.torusguard/runs/<run_id>/recheck.md`
-- **Next Step:** Run `npx torusguard report --html` for visual dashboard
+- **Next Step:** Run `torusguard report --html` for visual dashboard
 ```
 
 ## Living Report Ground Truth
 - Read `security_report.md` in the workspace root before taking any action. Update the relevant finding card after completing remediation.
+
+---
+
+## 🚨 LLM Trap Table
+
+| Pattern | What AI Does Wrong | What Is Actually Correct |
+| :--- | :--- | :--- |
+| **Premature Closure** | Marks finding "Fixed" merely because code was written, without differential AST re-scan. | Must execute `torusguard recheck` or differential scan to verify the AST sink is genuinely absent. |
+| **Line-Shift Drift** | Relies on original finding line numbers after patches shifted line offsets. | Use semantic snippet matching or recalculate line numbers from fresh AST scan. |
+| **Regression Blindness** | Checks only the original sink and ignores new flaws introduced in surrounding lines (e.g., introducing an unhandled null pointer or SQL concatenation). | Scan entire changed block and adjacent context ($\pm 3$ lines) for zero newly introduced `TG-*` violations. |
+| **Bypass Disguise** | Accepts `# nosec`, `// eslint-disable`, or `InsecureSkipVerify` as a valid "fix". | Strictly flag security bypasses as `✖ [Regressed]` under rule `TG-DIFF-001`. |
+
+---
+
+## ✅ Pre-Flight Self-Audit
+
+Before declaring any finding resolved:
+- [ ] Did I read the modified file from disk after applying the patch?
+- [ ] Did I verify the exact AST sink is absent and unreachable?
+- [ ] Did I verify no new vulnerabilities were introduced in surrounding code ($\pm 3$ lines)?
+- [ ] Did I verify zero security suppression comments or bypasses (`# nosec`, `verify=False`, etc.) exist?
+- [ ] Is the finding status updated in `security_report.md`?
+
+---
+
+## 🔁 VBC Protocol (Verify → Build → Confirm)
+
+```
+VERIFY:  Inspect disk content of modified files to confirm patch application.
+BUILD:   Execute differential re-scan against modified files using scanner rules.
+CONFIRM: Assert finding transition to Confirmed Fixed and verify zero regressions.
+```

package/.torusguard/skills/torusguard-redos/SKILL.md

@@ -0,0 +1,91 @@
+---
+name: torusguard-redos
+description: Analyzes regular expressions across JavaScript, TypeScript, Python, and Go for catastrophic exponential backtracking and ReDoS vulnerabilities via CLI, Chat, or MCP.
+version: 2.0.0
+workflow: .torusguard/workflows/redos.md
+tools: Read, Grep, Glob, Write, run_command
+scripts-binding:
+  - internal/scanner/redos.go
+  - cmd/torusguard/main.go
+  - cmd/torusguard/mcp.go
+---
+
+# TorusGuard ReDoS Complexity Scanner
+
+## Objective
+Detect and remediate catastrophic exponential ($O(2^n)$) and polynomial ($O(n^k)$) backtracking regular expressions in web applications. Prevents thread starvation, CPU exhaustion, and availability denial of service attacks caused by untrusted user input matching evil regex patterns.
+
+---
+
+## Tri-Mode Execution
+
+### Mode A: Automated CLI Execution
+Run ReDoS scanning against source code files:
+```bash
+# Scan current workspace for catastrophic regex backtracking
+torusguard redos
+
+# Scan specific directory or source tree
+torusguard redos --target ./src
+```
+
+### Mode B: In-Session AI Chat Slash Command
+Run `/torusguard redos` in chat.
+The agent executes the compiled Go ReDoS analyzer or MCP tool to locate dangerous nested quantifiers, overlapping alternations, and unanchored expressions.
+
+### Mode C: Native MCP Tool Call
+MCP-enabled coding agents (Antigravity, Cursor, Windsurf, Claude Code) call:
+```json
+{
+  "tool": "torusguard_redos",
+  "arguments": {
+    "target": "."
+  }
+}
+```
+
+---
+
+## Supported Patterns & Invariants
+- **TG-REDOS-001 (Nested Quantifier Catastrophic Backtracking):** Detects nested repetitions such as `(a+)+`, `([a-zA-Z0-9]+)*`, or `((foo)*)+` that cause exponential evaluation time $O(2^n)$ when matching non-matching suffixes (e.g. `aaaaaaaaaaaaaaaa!`).
+- **TG-REDOS-002 (Overlapping Alternation with Outer Repetition):** Detects patterns like `(a|ab)+` or `(user|username)*` where multiple branches match identical prefixes, causing exponential branch exploration.
+
+---
+
+## 🏛️ OpenCodeReview Hybrid Architecture Integration
+- **First-Principles NFA/DFA Complexity Analysis:** Scans regex literals and constructor invocations across JS, TS, Python, and Go.
+- **Engine-Aware Triage:** Flags backtracking engines (V8, Node.js, Python `re`, PCRE) as high risk while noting linear-time DFA engines (Go `regexp`/RE2, Rust `regex`).
+- **Surgical Patching:** Replaces evil regexes with bounded, non-overlapping expressions or length pre-checks (≤35 additions, ≤25 deletions).
+
+---
+
+## 🚨 LLM Trap Table
+
+| Pattern | What AI Does Wrong | What Is Actually Correct |
+| :--- | :--- | :--- |
+| **Nested Quantifiers** | Writes `([a-zA-Z0-9_]+)*` or `(https?://.+)*`, causing $O(2^n)$ catastrophic backtracking on malicious input. | Flatten expressions: `[a-zA-Z0-9_]*` or use non-overlapping delimiters like `[^/\s]+`. |
+| **Overlapping Alternation** | Combines overlapping options inside repetition: `(a\|aa)+` or `(\w+\|\d+)+`. | Disjoint branch design: ensure alternatives cannot consume the same character prefix. |
+| **Missing Input Length Guards** | Evaluates complex regexes against arbitrarily long input strings from untrusted HTTP bodies. | Impose input bounds (`if (input.length > 256) return false`) before regex evaluation. |
+| **Unanchored Wildcards** | Writes `.*foo.*` without anchors, leading to quadratic scan across long documents. | Anchor patterns with `^` and `$` whenever full string matching is intended. |
+| **Engine Indifference** | Assumes all regex engines backtrack identically; doesn't know Go RE2 is linear $O(n)$ while Node V8 is vulnerable. | Tailor remediation to target runtime: use atomic groups/lookahead in V8/Python or switch to parser combinators. |
+
+---
+
+## ✅ Pre-Flight Self-Audit
+
+Before concluding a ReDoS complexity audit, verify:
+- [ ] Were all regex literals and `RegExp` / `re.compile` declarations inspected?
+- [ ] Are any nested quantifiers (`(x+)+`, `(x*)*`) present in the codebase?
+- [ ] Are alternatives in grouped alternations strictly mutually exclusive?
+- [ ] Is untrusted input strictly bounded in length before regex execution?
+- [ ] Are remediations validated within Ponytail diff bounds?
+
+---
+
+## 🔁 VBC Protocol (Verify → Build → Confirm)
+
+```
+VERIFY: Identify regex patterns evaluated on untrusted user inputs.
+BUILD:  Execute torusguard redos or torusguard_redos to detect exponential backtracking structures.
+CONFIRM: Refactor pattern into deterministic, non-overlapping tokens, adding length guards and testing with evil payloads.
+```

package/.torusguard/skills/torusguard-report/SKILL.md

@@ -5,11 +5,11 @@ version: 2.2.0
 workflow: .torusguard/workflows/report.md
 tools: Read, Grep, Glob, Write, run_command
 scripts-binding:
+  - internal/scanner/scanner.go
   - .torusguard/scripts/report_sync.py
   - .torusguard/scripts/html_reporter.py
   - .torusguard/scripts/sarif_exporter.py
   - .torusguard/scripts/run_manager.py
-  - .torusguard/scripts/term_ui.py
 ---
 
 # TorusGuard Report — Posture Reporting & SARIF / HTML Export
@@ -19,30 +19,40 @@ Aggregate findings, verification traces, and recheck results into an auditable e
 
 ---
 
+## Tri-Mode Parity
+
+| Mode | Command / Tool | Governed Behavior |
+| :--- | :--- | :--- |
+| **Mode A: CLI Terminal** | `torusguard report --html` | Compiles single-file HTML dashboard and OASIS SARIF v2.1.0 log. |
+| **Mode B: AI Chat Slash** | `/torusguard report` | Generates executive posture summary and checks CI/CD readiness. |
+| **Mode C: Native MCP Tool**| `torusguard://security_report` | Serves resource payload and posture metrics directly to agent context. |
+
+---
+
 ## Execution Steps
 
 ### Mode A: Automated CLI Execution
 Run the report engine from your terminal:
 ```bash
 # Generate visual dark-mode HTML dashboard (defaults to report.html at project root)
-npx torusguard report --html
+torusguard report --html
 
 # Export OASIS SARIF v2.1.0 for GitHub Code Scanning / CI
-npx torusguard report --sarif
+torusguard report --sarif
 
 # Generate both HTML and SARIF in a single pass
-npx torusguard report --html --sarif
+torusguard report --html --sarif
 
 # Custom HTML output location
-npx torusguard report --html --out ./docs/security-audit.html
+torusguard report --html --out ./docs/security-audit.html
 
 # Target a specific subproject / monorepo package
-npx torusguard report --target ./apps/api --html
+torusguard report --target ./apps/api --html
 ```
 
 **Under the Hood:**
-- Invokes `python .torusguard/scripts/html_reporter.py` to compile self-contained, offline-ready HTML reports with dynamic filtering, posture gauge, directory attack surface heatmap, and golden recipe explorer at `report.html` (workspace root) and mirrors to `.torusguard/runs/report-latest.html`.
-- Invokes `python .torusguard/scripts/sarif_exporter.py` to produce OASIS SARIF v2.1.0 logs at `.torusguard/runs/results-latest.sarif`.
+- Compiles self-contained, offline-ready HTML reports with dynamic filtering, posture gauge, directory attack surface heatmap, and golden recipe explorer at `report.html` (workspace root) and mirrors to `.torusguard/runs/report-latest.html`.
+- Produces OASIS SARIF v2.1.0 logs at `.torusguard/runs/results-latest.sarif`.
 - Finalizes `manifest.json` metrics and updates historical posture scoring.
 - Displays standardized 75-column terminal cards adhering to visual width invariants.
 
@@ -65,7 +75,7 @@ When generating security posture summaries in AI chat:
 
 ## SARIF v2.1.0 Output Specification
 - **Schema:** `https://docs.oasis-open.org/sarif/sarif/v2.1.0/cos02/schemas/sarif-schema-2.1.0.json`
-- **Tool Driver:** `name: TorusGuard`, `semanticVersion: 1.3.6`, full rules catalog in `driver.rules`.
+- **Tool Driver:** `name: TorusGuard`, `semanticVersion: 2.0.0`, full rules catalog in `driver.rules`.
 - **Automation Details:** `automationDetails.id: "torusguard/static"` to avoid collisions in multi-scanner CI/CD pipelines.
 - **Fingerprints:** `partialFingerprints.primaryLocationLineHash` with SHA-256 context hash.
 
@@ -91,3 +101,34 @@ When generating security posture summaries in AI chat:
 
 ## Living Report Ground Truth
 - Read `security_report.md` in the workspace root before taking any action. Update the relevant finding card after completing remediation.
+
+---
+
+## 🚨 LLM Trap Table
+
+| Pattern | What AI Does Wrong | What Is Actually Correct |
+| :--- | :--- | :--- |
+| **Credential Leakage in HTML** | Embeds raw plaintext passwords, JWTs, or API secrets into HTML report DOM or SARIF output. | Redact all secret values (`[REDACTED]`) before serializing findings to HTML or SARIF. |
+| **External CDN Dependency** | Inserts CDN links (`https://cdn.jsdelivr.net/...`, Google Fonts) breaking offline and air-gapped environments. | Embed 100% of styles, SVGs, and interactive logic inline inside single-file `report.html`. |
+| **SARIF Schema Invalidation** | Emits invalid JSON or omits required fields (`runs[0].tool.driver.rules`), breaking GitHub Code Scanning ingestion. | Validate SARIF output against OASIS v2.1.0 specification with valid rule IDs and URI locations. |
+| **Out-of-Sync Ledger** | Emits HTML report with different counts or statuses than `security_report.md`. | Synchronize metrics so `report.html`, `security_report.md`, and SARIF reflect the identical ground truth. |
+
+---
+
+## ✅ Pre-Flight Self-Audit
+
+Before generating reports:
+- [ ] Are all secrets, tokens, and authorization credentials redacted?
+- [ ] Is `report.html` 100% self-contained with zero external CDN tags?
+- [ ] Does the SARIF export conform strictly to OASIS SARIF v2.1.0?
+- [ ] Does the reported posture score match findings in `security_report.md`?
+
+---
+
+## 🔁 VBC Protocol (Verify → Build → Confirm)
+
+```
+VERIFY:  Collect finding counts, verification states, and recheck results from active run.
+BUILD:   Compile self-contained visual HTML dashboard and serialize SARIF v2.1.0 log.
+CONFIRM: Check file size and validity on disk; verify zero unredacted secrets exist.
+```

package/.torusguard/skills/torusguard-status/SKILL.md

@@ -1,13 +1,13 @@
 ---
 name: torusguard-status
 description: Display current TorusGuard security posture, active configuration, rules catalog, and run history via CLI or AI Agent.
-version: 1.3.6
+version: 2.0.0
 workflow: .torusguard/workflows/status.md
 tools: Read, Grep, Glob, run_command, Write
 scripts-binding:
+  - internal/scanner/scanner.go
   - .torusguard/scripts/report_sync.py
   - .torusguard/scripts/run_manager.py
-  - .torusguard/scripts/term_ui.py
 ---
 
 # TorusGuard Status — Workspace Security Posture & Diagnostic Overview
@@ -17,23 +17,34 @@ Provide an instant diagnostic summary of the repository's security state, active
 
 ---
 
-## Two Execution Modes
+## Tri-Mode Parity
+
+| Mode | Command / Tool | Governed Behavior |
+| :--- | :--- | :--- |
+| **Mode A: CLI Terminal** | `torusguard status` | Emits 75-column diagnostic cards with stack, posture, and active rules. |
+| **Mode B: AI Chat Slash** | `/torusguard status` | Parses workspace posture, reviews latest run manifest and open findings. |
+| **Mode C: Native MCP Tool**| `torusguard_status` | Returns structured diagnostic payload directly to AI coding agents. |
+
+---
+
+## Tri-Mode Execution
 
 ### Mode A: Automated CLI Execution
 Run the diagnostic overview from your terminal:
 ```bash
 # Display 75-column status cards
-npx torusguard status
+torusguard status
 
 # Check status of specific project directory
-npx torusguard status ./examples/vulnerable-react-express
+torusguard status ./examples/vulnerable-react-express
 
 # Output machine-readable JSON
-npx torusguard status --json
+torusguard status --json
 ```
+
 **Under the Hood:**
 - Evaluates `.torusguard/config/torusguard.json` for initialized status and detected stack.
-- Enumerates active rules in `.torusguard/rules/active/` (or canonical 74 rules).
+- Enumerates active rules in `.torusguard/rules/active/` (or canonical 74 rules across 18 families).
 - Scans `.torusguard/runs/` for run history, finding counts, and verified fixes.
 - Inspects `.torusguard/config/scope.json` for authorized runtime validation targets.
 - Displays mathematically aligned 75-column terminal cards.
@@ -43,15 +54,26 @@ When checking workspace status in AI chat:
 1. **Verify Workspace Setup:** Check if `.torusguard/` exists on disk.
 2. **Inspect Active Config:** Read `.torusguard/config/torusguard.json` for detected stack, framework, and rules.
 3. **Inspect Latest Run:** Find the latest run directory under `.torusguard/runs/` and read `manifest.json`.
-4. **Inspect Memory Engine:** Check `.torusguard/memory/patterns.json` for captured Golden Fix Recipes.
-5. **Render Diagnostic Card:** Present an overview of posture, stack, and recommended next steps.
+4. **Inspect Living Ledger:** Inspect `security_report.md` for current open/fixed finding counts.
+5. **Inspect Memory Engine:** Check `.torusguard/memory/patterns.json` for captured Golden Fix Recipes.
+6. **Render Diagnostic Card:** Present an overview of posture, stack, and recommended next steps.
+
+### Mode C: Native MCP Tool Execution
+For autonomous AI coding agents (Antigravity, Cursor, Windsurf, Claude Code):
+- **Tool Invocation:** Call `torusguard_status` with target directory:
+  ```json
+  {
+    "target": "."
+  }
+  ```
+- **Programmatic Return:** Receives formatted diagnostic status string detailing detected stack, engine version, and active protection state.
 
 ---
 
 ## Output Card Format
 ```markdown
 ### 🛡️ TorusGuard Workspace Status Overview
-- **Version:** v1.3.3 | **Stack:** Node.js / React / Express
+- **Version:** v2.0.0 | **Stack:** Node.js / React / Express
 - **Active Rules:** 74 canonical security rules enabled
 - **Historical Runs:** 3 runs recorded
 - **Golden Recipes:** 4 distilled into persistent memory
@@ -60,3 +82,34 @@ When checking workspace status in AI chat:
 
 ## Living Report Ground Truth
 - Read `security_report.md` in the workspace root before taking any action. Update the relevant finding card after completing remediation.
+
+---
+
+## 🚨 LLM Trap Table
+
+| Pattern | What AI Does Wrong | What Is Actually Correct |
+| :--- | :--- | :--- |
+| **Hallucinated Posture** | Reports repository is "100% secure" without reading `security_report.md` or `.torusguard/config/torusguard.json`. | Read actual disk artifacts (`security_report.md`, `manifest.json`) before reporting status. |
+| **Phantom Run Counts** | Fabricates arbitrary run IDs or counts instead of checking `.torusguard/runs/`. | Enumerate `.torusguard/runs/` directories or use `torusguard status` CLI/MCP output. |
+| **Stack Guessing** | Assumes project stack without inspecting package manifests (`go.mod`, `package.json`, `Cargo.toml`). | Verify detected stack from `torusguard.json` or root dependency files. |
+| **Stale Cache Reliance** | Reports previous conversation status after new files or patches were applied. | Perform fresh inspection of workspace status on each invocation. |
+
+---
+
+## ✅ Pre-Flight Self-Audit
+
+Before emitting a status report:
+- [ ] Did I verify the existence and content of `.torusguard/config/torusguard.json`?
+- [ ] Did I check `security_report.md` for active finding counts?
+- [ ] Did I verify if `.torusguard/runs/` contains historical run data?
+- [ ] Are all reported counts and stack frameworks backed by active disk state?
+
+---
+
+## 🔁 VBC Protocol (Verify → Build → Confirm)
+
+```
+VERIFY:  Check disk for .torusguard/ directory and read configuration files.
+BUILD:   Aggregate stack information, active rules, and latest run findings.
+CONFIRM: Emit standardized 75-column diagnostic summary card with recommended next steps.
+```

package/.torusguard/skills/torusguard-verify/SKILL.md

@@ -1,10 +1,11 @@
 ---
 name: torusguard-verify
 description: Verify finding evidence sufficiency, audit live code line matches, and calibrate 0–100 confidence scores.
-version: 1.3.6
+version: 2.0.0
 workflow: .torusguard/workflows/verify.md
 tools: Read, Grep, Glob, Write, run_command
 scripts-binding:
+  - internal/scanner/scanner.go
   - .torusguard/scripts/report_sync.py
   - .torusguard/scripts/finding_scorer.py
 ---
@@ -16,22 +17,31 @@ Audit the evidence sufficiency of candidate findings by reading current disk lin
 
 ---
 
+## Tri-Mode Parity
+
+| Mode | Command / Tool | Governed Behavior |
+| :--- | :--- | :--- |
+| **Mode A: CLI Terminal** | `torusguard verify` | Verifies evidence across findings on disk, asserts line matches. |
+| **Mode B: AI Chat Slash** | `/torusguard verify` | Performs live code inspection, audits source-to-sink taint flows. |
+| **Mode C: Native MCP Tool**| `torusguard_audit` / verify | Diagnostic validation of candidate security findings. |
+
+---
+
 ## Execution Steps
 
-1. **Locate Target Findings:** Load active findings from `.torusguard/runs/<latest-run>/findings.md`.
-2. **Handle CLI Failures:** If `python .torusguard/scripts/finding_scorer.py` or the verify workflow fails, YOU must manually read the code and calibrate the score based on the evidence parameters.
-3. **Live Disk Line Match:** Inspect exact cited lines using `view_file` to confirm code presence.
-4. **Audit Evidence Sufficiency:** Verify source-to-sink flow against criteria below.
-5. **Calibrate Confidence Score:**
+1. **Locate Target Findings:** Load active findings from `security_report.md` or `.torusguard/runs/<latest-run>/findings.md`.
+2. **Live Disk Line Match:** Inspect exact cited lines using `view_file` to confirm code presence on disk. Do not rely on stale line numbers.
+3. **Audit Evidence Sufficiency:** Verify source-to-sink flow against criteria below.
+4. **Calibrate Confidence Score:**
    ```bash
-   python .torusguard/scripts/finding_scorer.py --run <run_dir> --verify
+   torusguard verify
    ```
-6. **Update State:** Mark finding as `Confirmed`, `Needs Review`, or `False Positive`.
-7. **Emit Verified Evidence:** Save report in `.torusguard/runs/<run_id>/verified-evidence.md`.
+5. **Update State:** Mark finding as `Confirmed`, `Needs Review`, or `False Positive`.
+6. **Emit Verified Evidence:** Save report in `.torusguard/runs/<run_id>/verified-evidence.md`.
 
 ---
 
-## Evidence Sufficiency
+## Evidence Sufficiency Rubric
 A finding is verified as sufficient when:
 - **Direct AST Match:** The vulnerable API or sink call exists on disk at the cited location.
 - **Exposed Surface:** The sink is reachable from an external route, view, or public method.
@@ -59,3 +69,35 @@ A finding is verified as sufficient when:
 - Artifact: `.torusguard/runs/<run_id>/verified-evidence.md`
 Next: Run `/torusguard harden` to formulate surgical fixes for confirmed flaws.
 ```
+
+---
+
+## 🚨 LLM Trap Table
+
+| Pattern | What AI Does Wrong | What Is Actually Correct |
+| :--- | :--- | :--- |
+| **Stale Line Reliance** | Assumes finding line number matches current disk state without inspecting active file. | Read live disk lines via `view_file` to verify the exact AST sink is located at that line. |
+| **Sanitizer Blindness** | Flags parameterized queries or sanitized inputs as SQLi because raw SQL keywords exist. | Inspect surrounding lines ($\pm 3$) for parameter bindings (`?`, `$1`, prep statements) or sanitizers. |
+| **Test Fixture Confusion** | Confirms vulnerabilities inside mock test files or test suites as production risks. | Check file path against test exclusion patterns (`_test.go`, `.test.ts`, `fixtures/`). Test vulnerabilities must be contextualized or ignored. |
+| **Hallucinated Reachability** | Confirms private internal functions with no external caller as exploitable web attack surfaces. | Verify if the tainted source is actually reachable from public handlers or API routes. |
+
+---
+
+## ✅ Pre-Flight Self-Audit
+
+Before calibrating or confirming any finding:
+- [ ] Did I read the live file content directly from disk?
+- [ ] Did I verify the exact cited code exists and matches the AST rule pattern?
+- [ ] Did I check for neutralizing middleware, sanitizers, or parameterization in the context window?
+- [ ] Did I verify that the file is not an excluded test fixture or mock?
+- [ ] Is the confidence score (0-100) calibrated against real evidence, not assumptions?
+
+---
+
+## 🔁 VBC Protocol (Verify → Build → Confirm)
+
+```
+VERIFY:  Read cited file lines on disk to verify presence of the reported sink.
+BUILD:   Trace source-to-sink flow and check for existing sanitizers or validators.
+CONFIRM: Calibrate confidence score and record verified status in security_report.md.
+```

package/.torusguard/skills/torusguard-web-validate/SKILL.md

@@ -1,10 +1,11 @@
 ---
 name: torusguard-web-validate
 description: Execute authorized HTTP probing against local/staging web applications — session capture, transparent audit headers, and secret redaction.
-version: 1.3.6
+version: 2.0.0
 workflow: .torusguard/workflows/web-validate.md
 tools: Read, Grep, Glob, Bash, Write, run_command
 scripts-binding:
+  - internal/scanner/scanner.go
   - .torusguard/scripts/report_sync.py
   - .torusguard/scripts/safety_gate.py
 ---
@@ -16,16 +17,27 @@ Safely probe live web applications within authorized scope, injecting transparen
 
 ---
 
+## Tri-Mode Parity
+
+| Mode | Command / Tool | Governed Behavior |
+| :--- | :--- | :--- |
+| **Mode A: CLI Terminal** | `torusguard web-validate` | Dispatches bounded HTTP probes with transparent audit headers and redaction. |
+| **Mode B: AI Chat Slash** | `/torusguard web-validate` | Interactive verification of endpoints, security headers, and cookie flags. |
+| **Mode C: Native MCP Tool**| — | Safe runtime execution guarded by scope.json boundaries. |
+
+---
+
 ## Authorization Gate Check
 Before dispatching any HTTP request:
 1. Verify `.torusguard/config/scope.json` exists and contains target URL.
 2. Confirm current timestamp is prior to `expires_at` TTL.
 3. Assert target is local or non-production staging.
+4. **SSRF Boundary Enforcement:** Resolve target IP and assert it does not target cloud metadata endpoints (`169.254.169.254`) or unintended internal subnets (`127.0.0.1` unless explicitly authorized as local dev).
 
 ---
 
 ## Safety Gate
-All requests pass through `.torusguard/scripts/safety_gate.py`:
+All requests pass through safety boundary checks:
 - `Auto-Allowed`: Read-only `GET`, `HEAD`, `OPTIONS` on non-sensitive paths.
 - `Approval Required`: Requests touching auth, sessions, or parameters.
 - `Manual Only`: Any destructive method (`DELETE`, `DROP`) is strictly blocked.
@@ -34,13 +46,15 @@ All requests pass through `.torusguard/scripts/safety_gate.py`:
 
 ## Execution Steps
 
-1. **Gate Check:** Validate scope in `scope.json` and query `safety_gate.py`.
-2. **Handle Automation Failure:** If automated web validation scripts fail, YOU must manually construct the HTTP requests (using `curl` or `fetch`) and inspect the responses.
+1. **Gate Check:** Validate scope in `scope.json`.
+2. **Execute Probe:**
+   ```bash
+   torusguard web-validate --target http://localhost:3000
+   ```
 3. **Inject Audit Header:** Attach `X-TorusGuard-AuthID: <auth_id>` to all outbound requests.
-4. **Dispatch Bounded Probe:** Send single non-destructive HTTP request.
-5. **Validate Security Headers:** Check for CSP, HSTS, X-Content-Type-Options, and CORS configurations.
-6. **Audit Cookie Flags:** Verify `HttpOnly`, `Secure`, and `SameSite` on session cookies.
-7. **Capture Replay Trace:** Save sanitized trace in `.torusguard/runs/<run_id>/requests.json`.
+4. **Validate Security Headers:** Check for CSP, HSTS, X-Content-Type-Options, and CORS configurations.
+5. **Audit Cookie Flags:** Verify `HttpOnly`, `Secure`, and `SameSite` on session cookies.
+6. **Capture Replay Trace:** Save sanitized trace in `.torusguard/runs/<run_id>/requests.json`.
 
 ---
 
@@ -68,3 +82,34 @@ All Bearer tokens, cookies, passwords, and API keys are redacted prior to disk s
 - Replay Trace: `.torusguard/runs/<run_id>/requests.json`
 Next: Run `/torusguard exploit-check` to confirm exploitability of candidate flaws.
 ```
+
+---
+
+## 🚨 LLM Trap Table
+
+| Pattern | What AI Does Wrong | What Is Actually Correct |
+| :--- | :--- | :--- |
+| **Scope Bypass Probing** | Sends HTTP requests to arbitrary endpoints without validating `.torusguard/config/scope.json`. | Check `scope.json` and verify TTL before every outbound probe. |
+| **Token Exposure in Traces** | Writes unredacted `Authorization: Bearer <secret>` or session cookies to `requests.json`. | Redact all credentials to `[REDACTED]` before saving traces to disk. |
+| **SSRF Blindness** | Follows redirects or probes endpoints pointing to AWS/GCP metadata (`169.254.169.254`). | Block private IP ranges and metadata addresses under invariant 9. |
+| **Unbounded Flooding** | Launches high-concurrency request loops or stress tests against local dev server. | Enforce rate limiting and cap session probes to maximum 50 requests. |
+
+---
+
+## ✅ Pre-Flight Self-Audit
+
+Before dispatching web probes:
+- [ ] Is the target URL verified inside `scope.json` and within valid TTL?
+- [ ] Are transparent audit headers (`X-TorusGuard-AuthID`) attached?
+- [ ] Are destructive operations (`DELETE`, drops) blocked?
+- [ ] Are sensitive tokens and cookies redacted from trace logs?
+
+---
+
+## 🔁 VBC Protocol (Verify → Build → Confirm)
+
+```
+VERIFY:  Check scope.json validity, TTL, and SSRF boundaries for the target URL.
+BUILD:   Construct bounded HTTP request with X-TorusGuard-AuthID audit header.
+CONFIRM: Redact sensitive tokens and save sanitized trace into requests.json.
+```