@osfactory/har 0.53.0 → 0.54.0

package/dist/index.js

@@ -69193,7 +69193,7 @@ function harnessExists(repoPath) {
 // src/harness/plugins.ts
 init_schema2();
 init_stages();
-var PLUGIN_IDS = ["playwright", "rocketsim", "kerno", "gitleaks", "trivy"];
+var PLUGIN_IDS = ["playwright", "rocketsim", "kerno", "gitleaks", "trivy", "semgrep"];
 var PluginManifestFileSchema = external_exports.object({
   src: external_exports.string().min(1),
   dest: external_exports.string().min(1),
@@ -70292,8 +70292,8 @@ init_logging();
 init_manifest();
 var ADAPTATION_PROMPT_FILE = "ADAPT-PROMPT.md";
 var PROFILE_HINTS = {
-  default: "Web app profile (SaaS/full-stack) \u2014 Docker Compose for shared infra (HARNESS_INFRA_SERVICES), PM2 for the primary application only, git worktree per agent slot by default. Launch provisions toolchain via harness.env (HARNESS_ECOSYSTEM, HARNESS_INSTALL_CMD) and writes paths to .env.agent.<id>. Identify the primary app agents modify; run supporting services shared.",
-  cli: "CLI/library profile (typical SWE-bench) \u2014 no PM2. Optional Docker Compose via HARNESS_INFRA_SERVICES. Git worktree by default. Launch provisions toolchain declaratively (HARNESS_ECOSYSTEM auto-detects common ecosystems); verify must use resolved tool paths from .env.agent.<id>, never hardcoded interpreter or package-manager paths.",
+  default: "Web app profile (SaaS/full-stack) \u2014 Docker Compose for shared infra (HARNESS_INFRA_SERVICES), PM2 for the primary application only, git worktree per agent slot by default. Launch provisions toolchain via harness.env (HARNESS_ECOSYSTEM, HARNESS_INSTALL_CMD) and writes paths to .env.agent.<id>. Identify the primary app agents modify; run supporting services shared. Install the Semgrep plugin (har env add-plugin semgrep) when the repo needs a SAST verification stage.",
+  cli: "CLI/library profile (typical SWE-bench) \u2014 no PM2. Optional Docker Compose via HARNESS_INFRA_SERVICES. Git worktree by default. Launch provisions toolchain declaratively (HARNESS_ECOSYSTEM auto-detects common ecosystems); verify must use resolved tool paths from .env.agent.<id>, never hardcoded interpreter or package-manager paths. Install the Semgrep plugin (har env add-plugin semgrep) when the repo needs a SAST verification stage.",
   ios: "iOS mobile app profile \u2014 xcodebuild + iOS Simulator in an isolated git worktree. Set HARNESS_XCODE_SCHEME, workspace/project, HARNESS_SIMULATOR_NAME, HARNESS_BUNDLE_ID. Launch writes XCODEBUILD_BIN to .env.agent.<id>; verify uses it. Install RocketSim plugin (har env add-plugin rocketsim) for user-flow validation."
 };
 function loadTemplate(name) {

package/dist/templates/har-boilerplate/STAGES.md

@@ -1,7 +1,7 @@
 # HAR Stages — authoring guide
 
 Stages are the harness's single vocabulary for runnable checks and lifecycle
-actions. Everything — shipped plugins (`playwright`, `rocketsim`, `kerno`, `gitleaks`, `trivy`), your
+actions. Everything — shipped plugins (`playwright`, `rocketsim`, `kerno`, `gitleaks`, `trivy`, `semgrep`), your
 project's test/lint commands, bespoke validation scripts — registers in
 `.har/stages.json` with the same schema, and agents interact with stages only
 through that registry (CLI `har env verify`, MCP `har_run_stage` /
@@ -92,7 +92,8 @@ committed.
 `har env add-plugin --list` shows available plugins; `har env add-plugin
 playwright` (web), `har env add-plugin rocketsim` (iOS), or `har env
 add-plugin kerno` (backend), `har env add-plugin gitleaks` (secrets scanning, any
-stack), or `har env add-plugin trivy` (dependency + IaC security scan, any stack)
+stack), or `har env add-plugin trivy` (dependency + IaC security scan, any stack),
+or `har env add-plugin semgrep` (SAST, any stack)
 installs one. A
 plugin is just packaging: it copies files, merges `package.json` fragments,
 and registers stages through the exact same registry as `add-stage --custom`.

package/dist/templates/har-boilerplate-cli/STAGES.md

@@ -1,7 +1,7 @@
 # HAR Stages — authoring guide
 
 Stages are the harness's single vocabulary for runnable checks and lifecycle
-actions. Everything — shipped plugins (`playwright`, `rocketsim`, `kerno`, `gitleaks`, `trivy`), your
+actions. Everything — shipped plugins (`playwright`, `rocketsim`, `kerno`, `gitleaks`, `trivy`, `semgrep`), your
 project's test/lint commands, bespoke validation scripts — registers in
 `.har/stages.json` with the same schema, and agents interact with stages only
 through that registry (CLI `har env verify`, MCP `har_run_stage` /
@@ -92,7 +92,8 @@ committed.
 `har env add-plugin --list` shows available plugins; `har env add-plugin
 playwright` (web), `har env add-plugin rocketsim` (iOS), or `har env
 add-plugin kerno` (backend), `har env add-plugin gitleaks` (secrets scanning, any
-stack), or `har env add-plugin trivy` (dependency + IaC security scan, any stack)
+stack), or `har env add-plugin trivy` (dependency + IaC security scan, any stack),
+or `har env add-plugin semgrep` (SAST, any stack)
 installs one. A
 plugin is just packaging: it copies files, merges `package.json` fragments,
 and registers stages through the exact same registry as `add-stage --custom`.

package/dist/templates/har-boilerplate-ios/STAGES.md

@@ -1,7 +1,7 @@
 # HAR Stages — authoring guide
 
 Stages are the harness's single vocabulary for runnable checks and lifecycle
-actions. Everything — shipped plugins (`playwright`, `rocketsim`, `kerno`, `gitleaks`, `trivy`), your
+actions. Everything — shipped plugins (`playwright`, `rocketsim`, `kerno`, `gitleaks`, `trivy`, `semgrep`), your
 project's test/lint commands, bespoke validation scripts — registers in
 `.har/stages.json` with the same schema, and agents interact with stages only
 through that registry (CLI `har env verify`, MCP `har_run_stage` /
@@ -92,7 +92,8 @@ committed.
 `har env add-plugin --list` shows available plugins; `har env add-plugin
 playwright` (web), `har env add-plugin rocketsim` (iOS), or `har env
 add-plugin kerno` (backend), `har env add-plugin gitleaks` (secrets scanning, any
-stack), or `har env add-plugin trivy` (dependency + IaC security scan, any stack)
+stack), or `har env add-plugin trivy` (dependency + IaC security scan, any stack),
+or `har env add-plugin semgrep` (SAST, any stack)
 installs one. A
 plugin is just packaging: it copies files, merges `package.json` fragments,
 and registers stages through the exact same registry as `add-stage --custom`.

package/dist/templates/plugins/semgrep/.github/workflows/semgrep.yml

@@ -0,0 +1,39 @@
+# Semgrep SAST — official recipe (https://semgrep.dev/docs/semgrep-ci/sample-ci-configs)
+#
+# With a SEMGREP_APP_TOKEN secret (Semgrep AppSec Platform → Settings), `semgrep ci`
+# publishes findings to the AppSec Platform — the org-level evidence layer that
+# compliance tools like Vanta ingest natively:
+# https://help.vanta.com/en/articles/15705377-connecting-vanta-semgrep
+# Without the token, this falls back to a Community Edition scan that still blocks
+# the PR on findings but publishes nothing.
+name: Semgrep
+
+on:
+  pull_request: {}
+  push:
+    branches: ["main", "master"]
+  workflow_dispatch: {}
+  schedule:
+    # Daily scan so new registry rules surface without a code change
+    - cron: '17 5 * * *'
+
+jobs:
+  semgrep:
+    name: semgrep/ci
+    runs-on: ubuntu-latest
+    container:
+      image: semgrep/semgrep
+    if: (github.actor != 'dependabot[bot]')
+    steps:
+      # Pinned to a SHA so semgrep's own mutable-action-tag rule stays quiet
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+      - name: Run Semgrep
+        env:
+          SEMGREP_APP_TOKEN: ${{ secrets.SEMGREP_APP_TOKEN }}
+        run: |
+          if [ -n "$SEMGREP_APP_TOKEN" ]; then
+            semgrep ci
+          else
+            echo "SEMGREP_APP_TOKEN not set — running Community Edition scan (no platform/Vanta reporting)"
+            semgrep scan --config auto --error
+          fi

package/dist/templates/plugins/semgrep/.har/stages/SEMGREP.md

@@ -0,0 +1,91 @@
+# Semgrep SAST Stage
+
+The `sast` stage scans the agent's session worktree with [Semgrep](https://semgrep.dev)
+and fails verification when blocking findings exist. Full verify (`verify --full`)
+runs it automatically once it is listed in `verificationStages`.
+
+## Running
+
+```bash
+# Whole worktree
+./.har/stages/sast.sh 1
+
+# Only specific paths
+./.har/stages/sast.sh 1 src/ lib/auth.py
+
+# Included in full verify
+./.har/verify.sh 1 --full
+```
+
+Reports land under `.har/artifacts/sast/` in the **main repo root** (not the worktree):
+
+| File | Contents |
+|------|----------|
+| `semgrep.json` | Full findings report (machine-readable) |
+| `semgrep.sarif` | SARIF report — upload to GitHub code scanning if desired |
+| `scan.log` | Semgrep's own text output for the run |
+
+Exit codes pass through from Semgrep: `0` clean, `1` findings, `>=2` scan error.
+
+## Choosing rules
+
+The stage runs `semgrep scan --config "$HARNESS_SEMGREP_CONFIG"` (default `auto`).
+Set the variable in `.har/harness.env` to pin behavior:
+
+```bash
+# .har/harness.env
+export HARNESS_SEMGREP_CONFIG="p/ci"          # curated low-noise ruleset
+# export HARNESS_SEMGREP_CONFIG="p/security-audit"
+# export HARNESS_SEMGREP_CONFIG=".semgrep/"   # local rules only (works offline)
+```
+
+Honest notes about `--config auto` and registry rulesets (`p/...`):
+
+- They **fetch rules from the Semgrep registry**, so the stage needs network access.
+- Semgrep **sends pseudonymized metrics** to semgrep.dev when registry configs are
+  used (this cannot be disabled for registry configs). For fully offline, metric-free
+  scans, commit local rule files and point `HARNESS_SEMGREP_CONFIG` at them.
+- `auto` picks rulesets based on the languages it detects — convenient, but pin a
+  named ruleset (`p/ci`) when you want reproducible results.
+
+## Tuning noise
+
+- Semgrep respects `.gitignore` by default; add a [`.semgrepignore`](https://semgrep.dev/docs/ignoring-files-folders-code)
+  file for extra exclusions (vendored code, generated files, fixtures).
+- The stage always passes `--exclude .har` — harness scaffolding is not your
+  project's code and semgrep cannot parse some of its bash.
+- Suppress a single finding with a trailing `# nosemgrep: <rule-id>` comment —
+  prefer rule-scoped suppressions over blanket `# nosemgrep`.
+- Write repo-specific rules under `.semgrep/` and add the directory to your config.
+
+## CI and compliance (Vanta)
+
+Of the security plugins, this one has the strongest compliance story. The optional
+workflow `.github/workflows/semgrep.yml` runs `semgrep ci` in the official
+`semgrep/semgrep` container. With a `SEMGREP_APP_TOKEN` secret (generated in
+Semgrep AppSec Platform → Settings), findings publish to the
+[Semgrep AppSec Platform](https://semgrep.dev/login) — which has a
+[native Vanta integration](https://help.vanta.com/en/articles/15705377-connecting-vanta-semgrep):
+Vanta pulls findings, projects, and scan history from Semgrep automatically as
+compliance evidence.
+
+Division of labor:
+
+- **This local stage** is the shift-left layer — agents catch findings *before*
+  code lands on the default branch. Local runs are invisible to Vanta (no noise).
+- **The CI run** (`semgrep ci` on the default branch and PRs) is the org-level
+  evidence layer Vanta reads.
+
+Without a token, the workflow falls back to `semgrep scan --config auto --error`
+(Community Edition — CI still blocks on findings, but nothing publishes to the
+platform and there is no Vanta evidence).
+
+## Adapting per repo
+
+- Pin `HARNESS_SEMGREP_CONFIG` to the ruleset your team standardizes on.
+- Add `.semgrepignore` entries for paths that produce noise.
+- If findings should not block agents yet, keep `sast` out of `verificationStages`
+  in `.har/stages.json` and run it manually while you triage the baseline.
+- The stage summarizes reports with `node`; it assumes a Node.js toolchain is
+  available (true for HAR-provisioned slots on node ecosystems — on other stacks,
+  ensure `node` is on PATH or adapt the summary block).

package/dist/templates/plugins/semgrep/.har/stages/sast.sh

@@ -0,0 +1,141 @@
+#!/usr/bin/env bash
+# Semgrep SAST scan for an agent slot.
+# Scans the session worktree with Semgrep and writes JSON + SARIF reports.
+# Outputs JSON to stdout, human-readable progress to stderr.
+#
+# Usage: ./.har/stages/sast.sh <agent-id> [paths...]
+#   paths (optional): scan only these paths instead of the whole worktree
+#
+# Config: HARNESS_SEMGREP_CONFIG (default "auto") — any semgrep --config value,
+#   e.g. "p/ci", "p/security-audit", or a local rules file/dir. Set it in
+#   .har/harness.env to pin rulesets. Registry configs (auto, p/...) need
+#   network access and send pseudonymized metrics to semgrep.dev.
+#
+# Prerequisite: ./.har/launch.sh <agent-id> AND the semgrep CLI installed
+# See: ./.har/stages/SEMGREP.md for the full adaptation guide.
+set -euo pipefail
+
+SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
+HARNESS_DIR="$(cd "$SCRIPT_DIR/.." && pwd)"
+REPO_ROOT="$(cd "$HARNESS_DIR/.." && pwd)"
+# agent-slot.sh expects SCRIPT_DIR to be .har/ (slot registry lives there)
+SCRIPT_DIR="$HARNESS_DIR"
+
+# shellcheck source=/dev/null
+source "$HARNESS_DIR/harness.env"
+# shellcheck source=/dev/null
+source "$HARNESS_DIR/agent-slot.sh"
+
+AGENT_ID="${1:?Usage: sast.sh <agent-id> [paths...]}"
+shift
+SCAN_PATHS=("$@")
+
+validate_agent_id "$AGENT_ID"
+
+log() { echo "==> [semgrep agent-$AGENT_ID] $*" >&2; }
+
+# ── Preflight ─────────────────────────────────────────────────────────────────
+if ! command -v semgrep >/dev/null 2>&1; then
+  echo "Error: semgrep CLI not found." >&2
+  echo "  Install with one of:" >&2
+  echo "    pipx install semgrep      # recommended" >&2
+  echo "    pip install semgrep" >&2
+  echo "    brew install semgrep      # may lag behind the latest release" >&2
+  echo "  Then re-run: ./.har/stages/sast.sh ${AGENT_ID}" >&2
+  exit 1
+fi
+
+# ── Resolve agent env ─────────────────────────────────────────────────────────
+ENV_FILE="$(resolve_agent_env_file "$AGENT_ID" "$REPO_ROOT")" || {
+  echo "No .env.agent.${AGENT_ID} found." >&2
+  har_suggest_launch "$AGENT_ID" >&2
+  exit 1
+}
+
+# .env.agent.<id> exports REPO_ROOT pointing at the worktree — keep the main
+# checkout path so artifacts land in the main repo root, not the worktree.
+MAIN_REPO_ROOT="$REPO_ROOT"
+
+set -a
+# shellcheck source=/dev/null
+source "$ENV_FILE"
+set +a
+
+WORK_DIR="$(resolve_agent_work_dir "$ENV_FILE")"
+
+# ── Artifact directory (main repo root, not the worktree) ─────────────────────
+ARTIFACT_DIR="$MAIN_REPO_ROOT/.har/artifacts/sast"
+mkdir -p "$ARTIFACT_DIR"
+
+SEMGREP_CONFIG="${HARNESS_SEMGREP_CONFIG:-auto}"
+JSON_REPORT="$ARTIFACT_DIR/semgrep.json"
+SARIF_REPORT="$ARTIFACT_DIR/semgrep.sarif"
+SCAN_LOG="$ARTIFACT_DIR/scan.log"
+
+# ── Run semgrep ───────────────────────────────────────────────────────────────
+log "Scanning $WORK_DIR (config: $SEMGREP_CONFIG)..."
+START=$(now_ms)
+
+set +e
+(
+  cd "$WORK_DIR" &&
+  semgrep scan \
+    --config "$SEMGREP_CONFIG" \
+    --error \
+    --exclude .har \
+    --json-output "$JSON_REPORT" \
+    --sarif-output "$SARIF_REPORT" \
+    ${SCAN_PATHS[@]+"${SCAN_PATHS[@]}"}
+) >"$SCAN_LOG" 2>&1
+SEMGREP_EXIT=$?
+set -e
+
+END=$(now_ms)
+TOTAL_MS=$(( END - START ))
+
+# Surface the scan tail so failures are diagnosable without opening the log
+tail -20 "$SCAN_LOG" | sed 's/^/    /' >&2
+
+# semgrep exit codes: 0 = clean, 1 = findings (--error), >=2 = scan error
+if [ "$SEMGREP_EXIT" = "0" ]; then
+  STATUS="pass"
+  log "✓ No blocking findings (${TOTAL_MS}ms)"
+elif [ "$SEMGREP_EXIT" = "1" ]; then
+  STATUS="fail"
+  log "✗ Semgrep reported findings (${TOTAL_MS}ms) — see $JSON_REPORT"
+else
+  STATUS="fail"
+  log "✗ Semgrep scan errored with exit code $SEMGREP_EXIT (${TOTAL_MS}ms) — see $SCAN_LOG"
+fi
+
+# ── Output ────────────────────────────────────────────────────────────────────
+node -e "
+const fs = require('fs');
+let findings = null;
+let errors = null;
+try {
+  const report = JSON.parse(fs.readFileSync('$JSON_REPORT', 'utf8'));
+  findings = report.results ? report.results.length : 0;
+  errors = report.errors ? report.errors.length : 0;
+} catch { /* report missing when the scan itself errored */ }
+const out = {
+  status: '$STATUS',
+  stageId: 'sast',
+  kind: 'test',
+  agent_id: $AGENT_ID,
+  total_ms: $TOTAL_MS,
+  exit_code: $SEMGREP_EXIT,
+  config: '$SEMGREP_CONFIG',
+  findings,
+  scan_errors: errors,
+  artifacts: [
+    { path: '.har/artifacts/sast', kind: 'directory' },
+    { path: '.har/artifacts/sast/semgrep.json', kind: 'report' }
+  ]
+};
+process.stdout.write(JSON.stringify(out, null, 2) + '\n');
+"
+
+if [ "$SEMGREP_EXIT" != "0" ]; then
+  exit "$SEMGREP_EXIT"
+fi

package/dist/templates/plugins/semgrep/README.md

@@ -0,0 +1,57 @@
+# Semgrep plugin
+
+Add a Semgrep SAST stage to your harness so agents catch security findings
+before code lands.
+
+```bash
+har env add-plugin semgrep
+```
+
+## What this installs
+
+| File | Purpose |
+|------|---------|
+| `.har/stages/sast.sh` | Stage runner — scans the session worktree with Semgrep |
+| `.har/stages/SEMGREP.md` | Adaptation guide: rulesets, noise tuning, CI/Vanta story |
+| `.github/workflows/semgrep.yml` | Optional CI workflow (`--skip-ci` to omit) — official `semgrep ci` recipe |
+
+## Workflow
+
+```
+        Code change
+             │
+       launch slot
+             │
+   typecheck + unit-tests
+             │
+           sast  ◄── semgrep scan over the worktree
+             │
+          pass/fail
+```
+
+Full verify (`verify --full`) runs the scan after lint. Reports (JSON + SARIF)
+land under `.har/artifacts/sast/`.
+
+## Requirements
+
+- `semgrep` CLI: `pipx install semgrep` (recommended), `pip install semgrep`,
+  or `brew install semgrep`
+- Network access for registry rulesets (`auto`, `p/ci`, …) — or commit local
+  rules and set `HARNESS_SEMGREP_CONFIG` to their path for offline scans
+
+## Compliance (Vanta)
+
+The local stage is shift-left only — compliance platforms never see it. The CI
+workflow's `semgrep ci` run (with a `SEMGREP_APP_TOKEN` secret) publishes to the
+Semgrep AppSec Platform, which Vanta ingests natively as vulnerability-management
+evidence. See `.har/stages/SEMGREP.md` for the full story.
+
+## Quick start after install
+
+```bash
+pipx install semgrep
+./.har/launch.sh 1
+./.har/stages/sast.sh 1
+# reports: .har/artifacts/sast/semgrep.json (+ .sarif, scan.log)
+./.har/verify.sh 1 --full
+```

package/dist/templates/plugins/semgrep/template.manifest.json

@@ -0,0 +1,44 @@
+{
+  "id": "semgrep",
+  "stageId": "sast",
+  "verificationStages": [
+    "typecheck",
+    "unit-tests",
+    "lint",
+    "sast"
+  ],
+  "stage": {
+    "id": "sast",
+    "kind": "test",
+    "description": "Static analysis (SAST) with Semgrep — scans the session worktree for security findings",
+    "script": "stages/sast.sh",
+    "requiresAgentId": true,
+    "artifacts": [
+      {
+        "path": ".har/artifacts/sast",
+        "kind": "directory",
+        "description": "Semgrep JSON + SARIF reports and scan log"
+      },
+      {
+        "path": ".har/artifacts/sast/semgrep.json",
+        "kind": "report"
+      }
+    ]
+  },
+  "files": [
+    { "src": ".har/stages/sast.sh", "dest": ".har/stages/sast.sh", "executable": true },
+    { "src": ".har/stages/SEMGREP.md", "dest": ".har/stages/SEMGREP.md" }
+  ],
+  "optionalFiles": [
+    { "src": ".github/workflows/semgrep.yml", "dest": ".github/workflows/semgrep.yml", "skipFlag": "skipCi" }
+  ],
+  "nextSteps": [
+    "pipx install semgrep   # or: pip install semgrep / brew install semgrep",
+    "./.har/launch.sh 1",
+    "./.har/stages/sast.sh 1",
+    "Open .har/artifacts/sast/ for the JSON and SARIF reports",
+    "Read .har/stages/SEMGREP.md to pin rulesets (HARNESS_SEMGREP_CONFIG) or add local rules",
+    "CI: set the SEMGREP_APP_TOKEN secret so semgrep ci reports to the Semgrep AppSec Platform (compliance evidence, e.g. Vanta)"
+  ],
+  "docsPath": ".har/stages/SEMGREP.md"
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@osfactory/har",
-  "version": "0.53.0",
+  "version": "0.54.0",
   "description": "Open harness for reproducible multi-agent coding workflows",
   "keywords": [
     "har",