mirror of
https://github.com/garrytan/gbrain.git
synced 2026-07-28 14:59:47 +00:00
* fix(security): confine routing dotfiles, skills dir, slugs, and transcription exec Shared src/core/path-confine.ts consolidates the realpath-containment idiom (moved from sources-ops.ts) and adds isTrustedDotfile + isWriteTargetContained. - .gbrain-source (source-resolver) and .gbrain-mount (brain-resolver) walk-up dotfiles are now lstat trust-gated: a symlink, foreign-owned, or world-writable file is refused on multi-user hosts (#418), fail-closed on stat error. - resolveWorkspaceSkillsDir + every skills-dir tier (env, cwd_walk_up, repo_root, cwd_skills, install_path) route through realpath containment so a symlinked workspace/skills can't escape the declared workspace (#419). - resolveSourceId/resolveBrainId realpath both sides of the registered local_path / mount prefix match so a symlinked cwd can't misattribute source/brain. - validateSlug rejects NUL/control, bidi/RTL overrides, backslashes, and URL-encoded path separators at the shared putPage/updateSlug chokepoint; write-through confirms the file path stays within the source tree. - transcribeLargeFile uses execFileSync arg-arrays + fs.rmSync (no shell), so a path with shell metacharacters is never parsed by a shell (#245). Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * fix(security): default dynamic-registration clients to authorization_code Self-registered DCR clients (the unauthenticated network registration path) previously defaulted to the client_credentials grant, which bypasses the /authorize consent screen. They now default to authorization_code; an explicit client_credentials request is rejected with invalid_client_metadata unless the operator opts in with the new --enable-dcr-insecure flag. A loud stderr WARNING prints at startup whenever DCR is enabled (#1353). Manual CLI/admin client registration is unchanged (operator-trusted). Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * fix(security): schema-lint hardening migration (search_path + view security_invoker) Migration v120 brings existing brains to the same posture as fresh installs: - ALTER VIEW page_links SET (security_invoker = on) on Postgres so the view honors the caller's RLS instead of the owner's (the view-through-RLS bypass). - ALTER FUNCTION ... SET search_path on the gbrain-owned trigger/event functions (both engines, IF EXISTS so engine-only functions are skipped; body untouched, so the load-bearing auto_enable_rls event trigger is unchanged). Closes #171. - Broaden the BYPASSRLS preflight in the historical RLS migration gates to honor superuser and inherited-role BYPASSRLS, so a superuser-connected fresh install no longer aborts (#1385). Fresh-install function definitions in schema.sql / pglite-schema.ts are born-correct (regenerated schema-embedded.ts). scripts/check-search-path.sh is a new CI guard (wired into verify) that fails if a trigger function in the schema base files is added without SET search_path. Postgres-only assertions live in the bootstrap E2E; the PGLite path is covered by test/migration-v120.test.ts. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * v0.42.55.0 fix(security): dotfile/skills/slug confinement, DCR consent default, schema-lint migration Bump VERSION + package.json to 0.42.55.0 and add the CHANGELOG entry for the security-hardening wave (#418 #419 #245 #1353 #1647 #171 #1385). Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * docs(security): note the DCR consent default in SECURITY.md (#1353) The "disable client_credentials, only allow authorization_code" guidance is now the built-in DCR default; document the new --enable-dcr-insecure escape hatch. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * docs(todos): add takes_search + code_def to the federated by-slug P1 (#2200) The v0.42.55.0 eng-review codex pass flagged takes_search (holder-allowlist only) and code_def (brain-wide raw SQL over content_chunks) as remaining same-class surfaces. Noted on the existing #2200 P1 follow-up, with the caveat that the #2399 close-list deliberately keeps #1371/#2200 open until this lands. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * fix(security): correct plpgsql alias collision in #1385 BYPASSRLS gate (real-PG) The broadened BYPASSRLS preflight aliased `pg_roles r`, but several RLS DO-blocks already declare `r record` for their backfill FOR loop, so plpgsql resolved `r.oid`/`r.rolbypassrls` to the unassigned record variable → "record \"r\" is not assigned yet" on real Postgres (PGLite tolerated it; the DATABASE_URL-gated e2e jobs are the backstop). Renamed the subquery alias to `pr` at all 10 migrate.ts sites; also broadened the schema.sql base RLS gate the same way (with the `pr` alias) for #1385 consistency on superuser fresh installs, and regenerated schema-embedded.ts. Also fixes a PRE-EXISTING engine-parity bug (confirmed failing on clean origin/master): the relationalFanout shape compared `canonical_chunk_id`, a serial id that diverges between a fresh PGLite engine and a shared Postgres DB (setupDB TRUNCATEs without RESTART IDENTITY). Compare its presence, not the exact value. Validated on real Postgres (pgvector/pg16): migration v120 applies, the v35 RLS backfill runs, and engine-parity + postgres-bootstrap + jsonb-parity are green. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
204 lines
7.5 KiB
Bash
Executable File
204 lines
7.5 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
# scripts/run-verify-parallel.sh — parallel verify dispatcher.
|
|
#
|
|
# Runs the 19+ verify checks (privacy, jsonb, source-id, … + typecheck +
|
|
# admin-build) as background jobs, waits for all, aggregates exit codes,
|
|
# surfaces failed-check name + tail of its log to stderr.
|
|
#
|
|
# Replaces the sequential `&&`-chain in package.json's `verify` script.
|
|
# Wallclock: 19 sequential checks (~15-25s on CI) → parallel (~3-5s).
|
|
#
|
|
# Usage:
|
|
# bash scripts/run-verify-parallel.sh # run every CHECK below
|
|
# bash scripts/run-verify-parallel.sh --dry-list # print check list, exit
|
|
#
|
|
# Env overrides:
|
|
# GBRAIN_VERIFY_TIMEOUT per-check wallclock cap, seconds (default 120)
|
|
# GBRAIN_VERIFY_LOG_DIR where to write per-check logs (default tempdir)
|
|
#
|
|
# Exit codes:
|
|
# 0 all checks passed
|
|
# 1 one or more checks failed (full details in stderr)
|
|
# 2 usage error / no checks defined
|
|
|
|
set -uo pipefail
|
|
|
|
cd "$(dirname "$0")/.."
|
|
|
|
# ──────────────────────────────────────────────────────────────────────────
|
|
# Checks to run. Order is irrelevant (parallel), but keep stable for log
|
|
# determinism + grep-ability. Each entry is a bun-script name (the
|
|
# `package.json` "scripts" key), invoked as `bun run <name>`.
|
|
#
|
|
# To add a check: append to this array. To skip in CI temporarily, comment
|
|
# the line — the parallel runner doesn't care about count.
|
|
# ──────────────────────────────────────────────────────────────────────────
|
|
CHECKS=(
|
|
"check:privacy"
|
|
"check:proposal-pii"
|
|
"check:test-names"
|
|
"check:jsonb"
|
|
"check:search-path"
|
|
"check:source-id-projection"
|
|
"check:source-config-leak"
|
|
"check:progress"
|
|
"check:test-isolation"
|
|
"check:wasm"
|
|
"check:admin-build"
|
|
"check:admin-scope-drift"
|
|
"check:cli-exec"
|
|
"check:system-of-record"
|
|
"check:eval-glossary"
|
|
"check:no-pii-agent-voice"
|
|
"check:synthetic-corpus-privacy"
|
|
"check:skill-brain-first"
|
|
"check:fuzz-purity"
|
|
"check:operations-filter-bypass"
|
|
"check:gateway-routed"
|
|
"check:worker-pool-atomicity"
|
|
"check:doc-history"
|
|
"check:fixture-privacy"
|
|
"check:conversation-parser"
|
|
"check:resolver"
|
|
"check:source-scope-onboard"
|
|
"check:no-double-retry"
|
|
"check:batch-audit-site"
|
|
"check:worker-lock-renewal-shape"
|
|
"typecheck"
|
|
)
|
|
|
|
if [ "${#CHECKS[@]}" -eq 0 ]; then
|
|
echo "ERROR: no checks defined in run-verify-parallel.sh" >&2
|
|
exit 2
|
|
fi
|
|
|
|
# Dry-run path: list checks, exit. Used by tests + ops debugging.
|
|
if [ "${1:-}" = "--dry-list" ]; then
|
|
printf '%s\n' "${CHECKS[@]}"
|
|
exit 0
|
|
fi
|
|
|
|
if [ "$#" -gt 0 ] && [ "${1:-}" != "" ]; then
|
|
echo "ERROR: unknown arg: $1" >&2
|
|
echo "usage: bash scripts/run-verify-parallel.sh [--dry-list]" >&2
|
|
exit 2
|
|
fi
|
|
|
|
TIMEOUT="${GBRAIN_VERIFY_TIMEOUT:-120}"
|
|
|
|
# Per-check temp dir. Each check gets its own subdir so writes can't race
|
|
# on shared scratch state (the checks themselves are read-only — they grep
|
|
# the working tree — but defense-in-depth.)
|
|
if [ -n "${GBRAIN_VERIFY_LOG_DIR:-}" ]; then
|
|
LOG_DIR="$GBRAIN_VERIFY_LOG_DIR"
|
|
mkdir -p "$LOG_DIR" || { echo "ERROR: cannot create $LOG_DIR" >&2; exit 2; }
|
|
else
|
|
LOG_DIR="$(mktemp -d /tmp/gbrain-verify-XXXXXX)"
|
|
trap 'rm -rf "$LOG_DIR"' EXIT
|
|
fi
|
|
|
|
# Resolve `timeout` for per-check wallclock cap. macOS doesn't ship one;
|
|
# brew coreutils provides `gtimeout`. If neither is available, fall back to
|
|
# bg-pid + sleep-cap (slightly less reliable but still bounded).
|
|
TIMEOUT_BIN=""
|
|
if command -v gtimeout >/dev/null 2>&1; then TIMEOUT_BIN="gtimeout"
|
|
elif command -v timeout >/dev/null 2>&1; then TIMEOUT_BIN="timeout"
|
|
fi
|
|
|
|
START_TS=$(date +%s)
|
|
echo "[verify-parallel] running ${#CHECKS[@]} checks in parallel (timeout=${TIMEOUT}s, logs=$LOG_DIR)" >&2
|
|
|
|
# ──────────────────────────────────────────────────────────────────────────
|
|
# Spawn one background process per check. Each child captures its own exit
|
|
# code into a sentinel file under $LOG_DIR/<safe-name>.exit; the parent
|
|
# never trusts `wait`'s aggregate value because that maps to last-spawned.
|
|
#
|
|
# safe_name: turn `check:privacy` into `check_privacy` so it fits a filename
|
|
# without escaping.
|
|
# ──────────────────────────────────────────────────────────────────────────
|
|
PIDS=()
|
|
SAFE_NAMES=()
|
|
for c in "${CHECKS[@]}"; do
|
|
safe="${c//:/_}"
|
|
SAFE_NAMES+=("$safe")
|
|
LOG_FILE="$LOG_DIR/$safe.log"
|
|
EXIT_FILE="$LOG_DIR/$safe.exit"
|
|
(
|
|
if [ -n "$TIMEOUT_BIN" ]; then
|
|
"$TIMEOUT_BIN" "${TIMEOUT}s" bun run "$c" > "$LOG_FILE" 2>&1
|
|
else
|
|
bun run "$c" > "$LOG_FILE" 2>&1 &
|
|
pid=$!
|
|
( sleep "$TIMEOUT" && kill -TERM "$pid" 2>/dev/null && \
|
|
sleep 5 && kill -KILL "$pid" 2>/dev/null ) &
|
|
cap_pid=$!
|
|
wait "$pid" 2>/dev/null
|
|
kill "$cap_pid" 2>/dev/null
|
|
wait "$cap_pid" 2>/dev/null
|
|
fi
|
|
rc=$?
|
|
echo "$rc" > "$EXIT_FILE"
|
|
) &
|
|
PIDS+=($!)
|
|
done
|
|
|
|
# Wait for every background job. Ignore wait's aggregate exit — exit codes
|
|
# live in the sentinel files.
|
|
for pid in "${PIDS[@]}"; do wait "$pid" 2>/dev/null || true; done
|
|
|
|
END_TS=$(date +%s)
|
|
ELAPSED=$((END_TS - START_TS))
|
|
|
|
# ──────────────────────────────────────────────────────────────────────────
|
|
# Aggregate. For each check, read its exit file; on failure, append a
|
|
# labeled block (check name + tail of log) to the failure report. Surface
|
|
# one final summary line and the report to stderr if anything failed.
|
|
# ──────────────────────────────────────────────────────────────────────────
|
|
PASS=0
|
|
FAIL=0
|
|
FAIL_NAMES=()
|
|
FAIL_REPORT=""
|
|
|
|
for i in "${!CHECKS[@]}"; do
|
|
c="${CHECKS[$i]}"
|
|
safe="${SAFE_NAMES[$i]}"
|
|
EXIT_FILE="$LOG_DIR/$safe.exit"
|
|
LOG_FILE="$LOG_DIR/$safe.log"
|
|
|
|
rc=1
|
|
[ -f "$EXIT_FILE" ] && rc=$(cat "$EXIT_FILE" 2>/dev/null || echo 1)
|
|
|
|
if [ "$rc" = "0" ]; then
|
|
PASS=$((PASS + 1))
|
|
else
|
|
FAIL=$((FAIL + 1))
|
|
FAIL_NAMES+=("$c")
|
|
if [ "$rc" = "124" ]; then
|
|
FAIL_REPORT+=$'\n--- '"$c"' (TIMED OUT after '"${TIMEOUT}"'s) ---\n'
|
|
else
|
|
FAIL_REPORT+=$'\n--- '"$c"' (rc='"$rc"') ---\n'
|
|
fi
|
|
if [ -f "$LOG_FILE" ]; then
|
|
FAIL_REPORT+="$(tail -30 "$LOG_FILE")"
|
|
FAIL_REPORT+=$'\n'
|
|
fi
|
|
fi
|
|
done
|
|
|
|
if [ "$FAIL" -gt 0 ]; then
|
|
{
|
|
echo ""
|
|
echo "━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━"
|
|
echo "❌ verify failed: $FAIL/${#CHECKS[@]} checks did not pass"
|
|
echo "Failed: ${FAIL_NAMES[*]}"
|
|
echo "━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━"
|
|
printf '%s' "$FAIL_REPORT"
|
|
echo "━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━"
|
|
echo "[verify-parallel] elapsed=${ELAPSED}s | pass=$PASS fail=$FAIL"
|
|
} >&2
|
|
exit 1
|
|
fi
|
|
|
|
echo "[verify-parallel] elapsed=${ELAPSED}s | pass=$PASS fail=0 | all checks green" >&2
|
|
exit 0
|