@pugi/cli 0.1.0-beta.5 → 0.1.0-beta.51
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/THIRD_PARTY_NOTICES.md +40 -0
- package/assets/pugi-mascot.ansi +15 -25
- package/assets/pugi-prozr2-mascot.ansi +9 -0
- package/bin/run.js +33 -1
- package/dist/commands/jobs-watch.js +201 -0
- package/dist/commands/jobs.js +15 -0
- package/dist/commands/smoke.js +133 -0
- package/dist/core/agent-progress/cleanup.js +134 -0
- package/dist/core/agent-progress/schema.js +144 -0
- package/dist/core/agent-progress/writer.js +101 -0
- package/dist/core/artifact-chain/dispatcher.js +148 -0
- package/dist/core/artifact-chain/exporter.js +164 -0
- package/dist/core/artifact-chain/state.js +243 -0
- package/dist/core/artifact-chain/steps.js +169 -0
- package/dist/core/auth/ensure-authenticated.js +129 -0
- package/dist/core/auth/env-provider.js +238 -0
- package/dist/core/auto-update/channels.js +122 -0
- package/dist/core/auto-update/checker.js +241 -0
- package/dist/core/auto-update/state.js +235 -0
- package/dist/core/bare-mode/index.js +107 -0
- package/dist/core/bash-classifier.js +400 -4
- package/dist/core/checkpoint/resumer.js +149 -0
- package/dist/core/checkpoint/rewinder.js +291 -0
- package/dist/core/codegraph/decision-store.js +248 -0
- package/dist/core/codegraph/detect-repo.js +459 -0
- package/dist/core/codegraph/install.js +134 -0
- package/dist/core/codegraph/offer-hook.js +220 -0
- package/dist/core/compact/auto-trigger.js +96 -0
- package/dist/core/compact/buffer-rewriter.js +115 -0
- package/dist/core/compact/summarizer.js +208 -0
- package/dist/core/compact/token-counter.js +108 -0
- package/dist/core/consensus/diff-capture.js +112 -3
- package/dist/core/context/index.js +7 -0
- package/dist/core/context/markdown-traverse.js +255 -0
- package/dist/core/cost/rate-card.js +129 -0
- package/dist/core/cost/tracker.js +221 -0
- package/dist/core/denial-tracking/index.js +8 -0
- package/dist/core/denial-tracking/state.js +264 -0
- package/dist/core/diagnostics/probe-runner.js +93 -0
- package/dist/core/diagnostics/probes/api.js +46 -0
- package/dist/core/diagnostics/probes/auth.js +86 -0
- package/dist/core/diagnostics/probes/bare-mode.js +42 -0
- package/dist/core/diagnostics/probes/cli-version.js +127 -0
- package/dist/core/diagnostics/probes/config.js +72 -0
- package/dist/core/diagnostics/probes/denial-tracking.js +57 -0
- package/dist/core/diagnostics/probes/disk.js +81 -0
- package/dist/core/diagnostics/probes/git.js +65 -0
- package/dist/core/diagnostics/probes/hooks.js +118 -0
- package/dist/core/diagnostics/probes/mcp.js +75 -0
- package/dist/core/diagnostics/probes/node.js +59 -0
- package/dist/core/diagnostics/probes/pnpm.js +36 -0
- package/dist/core/diagnostics/probes/pugi-md.js +89 -0
- package/dist/core/diagnostics/probes/sandbox.js +40 -0
- package/dist/core/diagnostics/probes/session.js +74 -0
- package/dist/core/diagnostics/probes/status-snapshot.js +488 -0
- package/dist/core/diagnostics/probes/workspace.js +63 -0
- package/dist/core/diagnostics/types.js +70 -0
- package/dist/core/dispatch/cache-cleanup.js +197 -0
- package/dist/core/dispatch/cache-handoff.js +295 -0
- package/dist/core/edits/dispatch.js +218 -2
- package/dist/core/edits/journal.js +199 -0
- package/dist/core/edits/layer-d-ast.js +557 -14
- package/dist/core/edits/verify-hook.js +273 -0
- package/dist/core/edits/worktree.js +322 -0
- package/dist/core/engine/anvil-client.js +115 -5
- package/dist/core/engine/auto-compact.js +179 -0
- package/dist/core/engine/budgets.js +155 -0
- package/dist/core/engine/context-prefix.js +155 -0
- package/dist/core/engine/intent.js +260 -0
- package/dist/core/engine/native-pugi.js +897 -211
- package/dist/core/engine/prompts.js +88 -2
- package/dist/core/engine/strip-internal-fields.js +124 -0
- package/dist/core/engine/tool-bridge.js +1045 -36
- package/dist/core/feedback/queue.js +177 -0
- package/dist/core/feedback/submitter.js +145 -0
- package/dist/core/file-cache.js +113 -1
- package/dist/core/hooks/events.js +44 -0
- package/dist/core/hooks/index.js +15 -0
- package/dist/core/hooks/registry.js +213 -0
- package/dist/core/hooks/runner.js +236 -0
- package/dist/core/hooks/v2/event-emitter.js +115 -0
- package/dist/core/hooks/v2/executor.js +282 -0
- package/dist/core/hooks/v2/index.js +25 -0
- package/dist/core/hooks/v2/lifecycle.js +104 -0
- package/dist/core/hooks/v2/loader.js +216 -0
- package/dist/core/hooks/v2/matcher.js +125 -0
- package/dist/core/hooks/v2/trust.js +143 -0
- package/dist/core/hooks/v2/types.js +86 -0
- package/dist/core/lsp/cache.js +105 -0
- package/dist/core/lsp/client.js +776 -0
- package/dist/core/lsp/language-detect.js +66 -0
- package/dist/core/lsp/post-edit-diagnostics.js +171 -0
- package/dist/core/mcp/client.js +75 -6
- package/dist/core/mcp/http-server.js +553 -0
- package/dist/core/mcp/orchestrator-tools.js +662 -0
- package/dist/core/mcp/permission.js +190 -0
- package/dist/core/mcp/registry.js +24 -2
- package/dist/core/mcp/server-tools.js +219 -0
- package/dist/core/mcp/server.js +397 -0
- package/dist/core/memory/dual-write.js +416 -0
- package/dist/core/memory/phase1-kinds.js +20 -0
- package/dist/core/memory-sync/queue.js +158 -0
- package/dist/core/onboarding/ensure-initialized.js +133 -0
- package/dist/core/onboarding/marker.js +111 -0
- package/dist/core/onboarding/telemetry-state.js +108 -0
- package/dist/core/output-style/presets.js +176 -0
- package/dist/core/output-style/state.js +185 -0
- package/dist/core/path-security.js +284 -2
- package/dist/core/permissions/auto-classifier.js +124 -0
- package/dist/core/permissions/circuit-breaker.js +83 -0
- package/dist/core/permissions/gate.js +278 -0
- package/dist/core/permissions/index.js +20 -0
- package/dist/core/permissions/mode.js +174 -0
- package/dist/core/permissions/state.js +241 -0
- package/dist/core/permissions/tool-class.js +93 -0
- package/dist/core/prd-check/parser.js +215 -0
- package/dist/core/prd-check/reporter.js +127 -0
- package/dist/core/prd-check/session-review.js +557 -0
- package/dist/core/prd-check/verifiers.js +223 -0
- package/dist/core/pugi-md/context-injector.js +76 -0
- package/dist/core/pugi-md/walk-up.js +207 -0
- package/dist/core/release-notes/parser.js +241 -0
- package/dist/core/release-notes/state.js +116 -0
- package/dist/core/repl/history.js +11 -1
- package/dist/core/repl/model-pricing.js +135 -0
- package/dist/core/repl/session.js +1897 -37
- package/dist/core/repl/slash-commands.js +430 -15
- package/dist/core/repl/store/session-store.js +31 -2
- package/dist/core/repl/workspace-context.js +22 -0
- package/dist/core/repo-map/build.js +125 -0
- package/dist/core/repo-map/cache.js +185 -0
- package/dist/core/repo-map/extractor.js +254 -0
- package/dist/core/repo-map/formatter.js +145 -0
- package/dist/core/repo-map/scanner.js +211 -0
- package/dist/core/retry-budget/budget.js +284 -0
- package/dist/core/retry-budget/index.js +5 -0
- package/dist/core/session.js +92 -0
- package/dist/core/settings.js +80 -0
- package/dist/core/share/formatter.js +271 -0
- package/dist/core/share/redactor.js +221 -0
- package/dist/core/share/uploader.js +267 -0
- package/dist/core/skills/defaults.js +457 -0
- package/dist/core/smoke/headless-driver.js +174 -0
- package/dist/core/smoke/orchestrator.js +194 -0
- package/dist/core/smoke/runner.js +238 -0
- package/dist/core/smoke/scenario-parser.js +316 -0
- package/dist/core/subagents/dispatcher-real.js +600 -0
- package/dist/core/subagents/dispatcher.js +113 -24
- package/dist/core/subagents/index.js +18 -5
- package/dist/core/subagents/isolation-matrix.js +213 -0
- package/dist/core/subagents/spawn.js +19 -4
- package/dist/core/telemetry/emitter.js +229 -0
- package/dist/core/telemetry/queue.js +251 -0
- package/dist/core/theme/context.js +91 -0
- package/dist/core/theme/presets.js +228 -0
- package/dist/core/theme/state.js +181 -0
- package/dist/core/todos/invariant.js +10 -0
- package/dist/core/todos/state.js +177 -0
- package/dist/core/transport/version-interceptor.js +166 -0
- package/dist/core/vim/keymap.js +288 -0
- package/dist/core/vim/state.js +92 -0
- package/dist/core/worktree-manager/cleanup.js +123 -0
- package/dist/core/worktree-manager/manager.js +303 -0
- package/dist/index.js +28 -0
- package/dist/runtime/bootstrap.js +190 -0
- package/dist/runtime/cli.js +3241 -343
- package/dist/runtime/commands/cancel.js +231 -0
- package/dist/runtime/commands/chain.js +489 -0
- package/dist/runtime/commands/codegraph-status.js +227 -0
- package/dist/runtime/commands/compact.js +297 -0
- package/dist/runtime/commands/cost.js +199 -0
- package/dist/runtime/commands/delegate.js +242 -11
- package/dist/runtime/commands/dispatch.js +126 -0
- package/dist/runtime/commands/doctor.js +412 -0
- package/dist/runtime/commands/feedback.js +184 -0
- package/dist/runtime/commands/hooks.js +184 -0
- package/dist/runtime/commands/lsp.js +368 -0
- package/dist/runtime/commands/mcp.js +879 -0
- package/dist/runtime/commands/memory.js +508 -0
- package/dist/runtime/commands/model.js +237 -0
- package/dist/runtime/commands/onboarding.js +275 -0
- package/dist/runtime/commands/patch.js +128 -0
- package/dist/runtime/commands/permissions.js +112 -0
- package/dist/runtime/commands/plan.js +143 -0
- package/dist/runtime/commands/prd-check.js +285 -0
- package/dist/runtime/commands/redo-blob-store.js +92 -0
- package/dist/runtime/commands/redo.js +361 -0
- package/dist/runtime/commands/release-notes.js +229 -0
- package/dist/runtime/commands/repo-map.js +95 -0
- package/dist/runtime/commands/report.js +299 -0
- package/dist/runtime/commands/resume.js +118 -0
- package/dist/runtime/commands/review-consensus.js +17 -2
- package/dist/runtime/commands/rewind.js +333 -0
- package/dist/runtime/commands/sessions.js +163 -0
- package/dist/runtime/commands/share.js +316 -0
- package/dist/runtime/commands/status.js +186 -0
- package/dist/runtime/commands/stickers.js +82 -0
- package/dist/runtime/commands/style.js +194 -0
- package/dist/runtime/commands/theme.js +196 -0
- package/dist/runtime/commands/undo.js +32 -0
- package/dist/runtime/commands/update.js +289 -0
- package/dist/runtime/commands/vim.js +140 -0
- package/dist/runtime/commands/worktree.js +177 -0
- package/dist/runtime/commands/worktrees.js +155 -0
- package/dist/runtime/headless-repl.js +195 -0
- package/dist/runtime/headless.js +543 -0
- package/dist/runtime/load-hooks-or-exit.js +71 -0
- package/dist/runtime/plan-decompose.js +531 -0
- package/dist/runtime/version.js +65 -0
- package/dist/tools/agent-tool.js +229 -0
- package/dist/tools/apply-patch.js +556 -0
- package/dist/tools/ask-user-question.js +213 -0
- package/dist/tools/ask-user.js +115 -0
- package/dist/tools/bash.js +203 -4
- package/dist/tools/file-tools.js +85 -14
- package/dist/tools/lsp-tools.js +189 -0
- package/dist/tools/mcp-tool.js +260 -0
- package/dist/tools/multi-edit.js +361 -0
- package/dist/tools/powershell.js +268 -0
- package/dist/tools/registry.js +51 -0
- package/dist/tools/skill-tool.js +96 -0
- package/dist/tools/tasks.js +208 -0
- package/dist/tools/todo-write.js +184 -0
- package/dist/tools/web-fetch.js +147 -2
- package/dist/tools/web-search.js +458 -0
- package/dist/tui/agent-progress-card.js +111 -0
- package/dist/tui/agent-tree.js +10 -0
- package/dist/tui/ask-modal.js +2 -2
- package/dist/tui/ask-user-question-prompt.js +192 -0
- package/dist/tui/compact-banner.js +81 -0
- package/dist/tui/conversation-pane.js +82 -8
- package/dist/tui/cost-table.js +111 -0
- package/dist/tui/doctor-table.js +46 -0
- package/dist/tui/feedback-prompt.js +156 -0
- package/dist/tui/input-box.js +218 -3
- package/dist/tui/markdown-render.js +4 -4
- package/dist/tui/onboarding-wizard.js +240 -0
- package/dist/tui/permissions-picker.js +86 -0
- package/dist/tui/render.js +35 -0
- package/dist/tui/repl-render.js +313 -35
- package/dist/tui/repl-splash-art.js +1 -1
- package/dist/tui/repl-splash-mascot.js +32 -8
- package/dist/tui/repl-splash.js +2 -2
- package/dist/tui/repl.js +85 -5
- package/dist/tui/splash.js +1 -1
- package/dist/tui/status-bar.js +94 -16
- package/dist/tui/status-table.js +7 -0
- package/dist/tui/stickers-art.js +136 -0
- package/dist/tui/style-table.js +28 -0
- package/dist/tui/theme-table.js +29 -0
- package/dist/tui/thinking-spinner.js +123 -0
- package/dist/tui/tool-stream-pane.js +52 -3
- package/dist/tui/update-banner.js +27 -2
- package/dist/tui/vim-input.js +267 -0
- package/dist/tui/welcome-banner.js +107 -0
- package/dist/tui/welcome-data.js +293 -0
- package/docs/examples/codegraph.mcp.json +10 -0
- package/package.json +13 -7
- package/test/scenarios/codegen-create-file.scenario.txt +13 -0
- package/test/scenarios/compact-force.scenario.txt +11 -0
- package/test/scenarios/identity.scenario.txt +11 -0
- package/test/scenarios/persona-handoff.scenario.txt +11 -0
- package/test/scenarios/walkback.scenario.txt +12 -0
- package/dist/core/engine/compaction-hook.js +0 -154
|
@@ -0,0 +1,185 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Leak L18 (2026-05-27) — Output-style state persistence.
|
|
3
|
+
*
|
|
4
|
+
* Two-tier storage:
|
|
5
|
+
*
|
|
6
|
+
* 1. **Workspace** — `<workspaceRoot>/.pugi/config.json`. Set by
|
|
7
|
+
* `/style <name>` from inside the REPL or `pugi style <name>`
|
|
8
|
+
* without `--persist`. Overrides the user default for the
|
|
9
|
+
* current workspace only. Survives sessions because the same
|
|
10
|
+
* `.pugi/` survives sessions.
|
|
11
|
+
*
|
|
12
|
+
* 2. **User default** — `~/.pugi/config.json` (PUGI_HOME-aware).
|
|
13
|
+
* Set by `pugi style <name> --persist` or
|
|
14
|
+
* `/style <name> --persist`. Applies to every workspace that
|
|
15
|
+
* has no workspace-level override.
|
|
16
|
+
*
|
|
17
|
+
* Precedence (highest → lowest):
|
|
18
|
+
*
|
|
19
|
+
* workspace value > user value > DEFAULT_OUTPUT_STYLE ('default')
|
|
20
|
+
*
|
|
21
|
+
* Both files live under the same `pugi-config-v1` JSON envelope as
|
|
22
|
+
* other settings (permissionMode, privacy, model, preferredEndpoint).
|
|
23
|
+
* The schema is intentionally NOT shared with `runtime/commands/config.ts`'s
|
|
24
|
+
* strict Zod schema — `outputStyle` is read/written ONLY through this
|
|
25
|
+
* module so `pugi config set outputStyle=…` is NOT a supported path
|
|
26
|
+
* (it would silently bypass the slug validator). Operators get a
|
|
27
|
+
* single surface: `/style` + `pugi style`.
|
|
28
|
+
*
|
|
29
|
+
* File layout (one config.json, multiple keys; this module owns the
|
|
30
|
+
* `outputStyle` key only):
|
|
31
|
+
*
|
|
32
|
+
* {
|
|
33
|
+
* "permissionMode": "ask",
|
|
34
|
+
* "outputStyle": "terse",
|
|
35
|
+
* ...
|
|
36
|
+
* }
|
|
37
|
+
*
|
|
38
|
+
* The reader tolerates:
|
|
39
|
+
* - missing file (returns the default slug),
|
|
40
|
+
* - empty file (returns the default slug),
|
|
41
|
+
* - malformed JSON (returns the default slug — DO NOT crash REPL
|
|
42
|
+
* boot because of a hand-edited config),
|
|
43
|
+
* - unknown slug (returns the default slug + emits no error; the
|
|
44
|
+
* operator can `/style` to see the table and re-set).
|
|
45
|
+
*
|
|
46
|
+
* The writer is a read-modify-write to preserve neighbouring keys
|
|
47
|
+
* (permissionMode etc.) — overwriting the whole file would clobber
|
|
48
|
+
* the other tier's settings.
|
|
49
|
+
*
|
|
50
|
+
* Test surface: `test/commands/output-style-state.spec.ts` exercises
|
|
51
|
+
* precedence, malformed-config tolerance, persistence across reads,
|
|
52
|
+
* the `--persist` (user-default) path, and reset semantics.
|
|
53
|
+
*/
|
|
54
|
+
import { existsSync, mkdirSync, readFileSync, writeFileSync, } from 'node:fs';
|
|
55
|
+
import { homedir } from 'node:os';
|
|
56
|
+
import { dirname, resolve } from 'node:path';
|
|
57
|
+
import { DEFAULT_OUTPUT_STYLE, isOutputStyleSlug, } from './presets.js';
|
|
58
|
+
/**
|
|
59
|
+
* Env override for `~/.pugi` so the spec can sandbox both tiers
|
|
60
|
+
* without touching the developer's real config. Matches the existing
|
|
61
|
+
* `runtime/commands/config.ts` convention.
|
|
62
|
+
*/
|
|
63
|
+
export const PUGI_HOME_ENV = 'PUGI_HOME';
|
|
64
|
+
/**
|
|
65
|
+
* Resolve the active output style for the workspace, applying the
|
|
66
|
+
* precedence ladder (workspace > user > default).
|
|
67
|
+
*
|
|
68
|
+
* Pure read. Never writes, never throws — every IO failure degrades
|
|
69
|
+
* to the default slug. The function returns the source label too so
|
|
70
|
+
* the CLI surface can show the operator where the value came from.
|
|
71
|
+
*/
|
|
72
|
+
export function resolveOutputStyle(io) {
|
|
73
|
+
const workspaceSlug = readSlugFromFile(workspaceConfigPath(io.workspaceRoot));
|
|
74
|
+
if (workspaceSlug)
|
|
75
|
+
return { slug: workspaceSlug, source: 'workspace' };
|
|
76
|
+
const userSlug = readSlugFromFile(userConfigPath(io.env ?? process.env));
|
|
77
|
+
if (userSlug)
|
|
78
|
+
return { slug: userSlug, source: 'user' };
|
|
79
|
+
return { slug: DEFAULT_OUTPUT_STYLE, source: 'default' };
|
|
80
|
+
}
|
|
81
|
+
/**
|
|
82
|
+
* Write `slug` to the workspace tier. Creates `<workspaceRoot>/.pugi/`
|
|
83
|
+
* if missing. Preserves neighbouring config keys via read-modify-write.
|
|
84
|
+
*/
|
|
85
|
+
export function setWorkspaceOutputStyle(slug, io) {
|
|
86
|
+
writeSlugToFile(workspaceConfigPath(io.workspaceRoot), slug);
|
|
87
|
+
}
|
|
88
|
+
/**
|
|
89
|
+
* Write `slug` to the user tier (`~/.pugi/config.json`).
|
|
90
|
+
*
|
|
91
|
+
* Mirrors the workspace writer's read-modify-write so the user's
|
|
92
|
+
* `permissionMode` / `privacy` / `model` keys survive a style flip.
|
|
93
|
+
*/
|
|
94
|
+
export function setUserOutputStyle(slug, io) {
|
|
95
|
+
writeSlugToFile(userConfigPath(io.env ?? process.env), slug);
|
|
96
|
+
}
|
|
97
|
+
/**
|
|
98
|
+
* Clear the workspace tier's `outputStyle` key. The user tier (and
|
|
99
|
+
* therefore the eventual resolved style) is left untouched.
|
|
100
|
+
*
|
|
101
|
+
* Used by `/style --reset` so the operator can revert a workspace
|
|
102
|
+
* override without nuking the rest of their workspace config.
|
|
103
|
+
*/
|
|
104
|
+
export function clearWorkspaceOutputStyle(io) {
|
|
105
|
+
clearSlugInFile(workspaceConfigPath(io.workspaceRoot));
|
|
106
|
+
}
|
|
107
|
+
/**
|
|
108
|
+
* Clear the user tier's `outputStyle` key. Lower-blast-radius reset
|
|
109
|
+
* for operators who want every workspace to fall back to `default`
|
|
110
|
+
* unless an explicit workspace value is set.
|
|
111
|
+
*/
|
|
112
|
+
export function clearUserOutputStyle(io) {
|
|
113
|
+
clearSlugInFile(userConfigPath(io.env ?? process.env));
|
|
114
|
+
}
|
|
115
|
+
/**
|
|
116
|
+
* Workspace config path. Exported for the spec; production callers
|
|
117
|
+
* should use the `setWorkspace…` / `resolveOutputStyle` helpers.
|
|
118
|
+
*/
|
|
119
|
+
export function workspaceConfigPath(workspaceRoot) {
|
|
120
|
+
return resolve(workspaceRoot, '.pugi', 'config.json');
|
|
121
|
+
}
|
|
122
|
+
/**
|
|
123
|
+
* User config path resolved against `PUGI_HOME` (or `~/.pugi`).
|
|
124
|
+
* Exported for the spec.
|
|
125
|
+
*/
|
|
126
|
+
export function userConfigPath(env = process.env) {
|
|
127
|
+
const home = env[PUGI_HOME_ENV] ?? resolve(homedir(), '.pugi');
|
|
128
|
+
return resolve(home, 'config.json');
|
|
129
|
+
}
|
|
130
|
+
/**
|
|
131
|
+
* Read + parse a config file. Returns an empty object on any IO or
|
|
132
|
+
* parse error. Caller-provided JSON must be a plain object; arrays /
|
|
133
|
+
* scalars / null are treated as "no config" so a hand-edited file
|
|
134
|
+
* never crashes the REPL.
|
|
135
|
+
*/
|
|
136
|
+
function readConfigFile(path) {
|
|
137
|
+
if (!existsSync(path))
|
|
138
|
+
return {};
|
|
139
|
+
let raw;
|
|
140
|
+
try {
|
|
141
|
+
raw = readFileSync(path, 'utf8');
|
|
142
|
+
}
|
|
143
|
+
catch {
|
|
144
|
+
return {};
|
|
145
|
+
}
|
|
146
|
+
if (raw.trim().length === 0)
|
|
147
|
+
return {};
|
|
148
|
+
let parsed;
|
|
149
|
+
try {
|
|
150
|
+
parsed = JSON.parse(raw);
|
|
151
|
+
}
|
|
152
|
+
catch {
|
|
153
|
+
return {};
|
|
154
|
+
}
|
|
155
|
+
if (!parsed || typeof parsed !== 'object' || Array.isArray(parsed))
|
|
156
|
+
return {};
|
|
157
|
+
return parsed;
|
|
158
|
+
}
|
|
159
|
+
function writeConfigFile(path, config) {
|
|
160
|
+
mkdirSync(dirname(path), { recursive: true });
|
|
161
|
+
// 0o600 mirrors `runtime/commands/config.ts` — the config file may
|
|
162
|
+
// hold `preferredEndpoint` URLs that should not be world-readable.
|
|
163
|
+
writeFileSync(path, `${JSON.stringify(config, null, 2)}\n`, {
|
|
164
|
+
encoding: 'utf8',
|
|
165
|
+
mode: 0o600,
|
|
166
|
+
});
|
|
167
|
+
}
|
|
168
|
+
function readSlugFromFile(path) {
|
|
169
|
+
const config = readConfigFile(path);
|
|
170
|
+
const candidate = config.outputStyle;
|
|
171
|
+
return isOutputStyleSlug(candidate) ? candidate : null;
|
|
172
|
+
}
|
|
173
|
+
function writeSlugToFile(path, slug) {
|
|
174
|
+
const config = readConfigFile(path);
|
|
175
|
+
config.outputStyle = slug;
|
|
176
|
+
writeConfigFile(path, config);
|
|
177
|
+
}
|
|
178
|
+
function clearSlugInFile(path) {
|
|
179
|
+
const config = readConfigFile(path);
|
|
180
|
+
if (!('outputStyle' in config))
|
|
181
|
+
return;
|
|
182
|
+
delete config.outputStyle;
|
|
183
|
+
writeConfigFile(path, config);
|
|
184
|
+
}
|
|
185
|
+
//# sourceMappingURL=state.js.map
|
|
@@ -1,5 +1,41 @@
|
|
|
1
|
-
|
|
2
|
-
|
|
1
|
+
/**
|
|
2
|
+
* Path-security gate for Pugi CLI file operations.
|
|
3
|
+
*
|
|
4
|
+
* The original `resolveWorkspacePath` (preserved below) is the read-path
|
|
5
|
+
* gate: it stops relative-path traversal, URL-encoded traversal, and
|
|
6
|
+
* symlink escapes at the leaf. It is kept as the existing call surface
|
|
7
|
+
* for `read` and other non-mutating tools.
|
|
8
|
+
*
|
|
9
|
+
* `assertSafeWritePath` is a stricter, write-only gate ported from
|
|
10
|
+
* KeiSeiLab/KeiSeiKit's Rust `path_guard.rs` (Apache-2.0). It adds:
|
|
11
|
+
*
|
|
12
|
+
* 1. `..` segment rejection BEFORE any filesystem touch.
|
|
13
|
+
* 2. Walk-up canonicalize: finds the deepest existing ancestor,
|
|
14
|
+
* canonicalizes it (resolving every symlink in the existing
|
|
15
|
+
* prefix), then reattaches the non-existent tail. This closes
|
|
16
|
+
* the "parent's parent is a symlink" bypass that catches naive
|
|
17
|
+
* canonicalize-the-parent implementations.
|
|
18
|
+
* 3. Leaf-symlink reject: refuse to write through a symlink even
|
|
19
|
+
* when the file already exists. Covers dangling symlinks too.
|
|
20
|
+
* 4. Fail-CLOSED on empty allowed roots: an empty PUGI_ALLOWED_ROOTS
|
|
21
|
+
* means "no writes anywhere" rather than "writes allowed
|
|
22
|
+
* everywhere".
|
|
23
|
+
* 5. Containment check against canonicalized allowed roots.
|
|
24
|
+
* 6. Denylist of system, credential, and shell-init paths even
|
|
25
|
+
* when they sit inside an allowed root (defense in depth — a
|
|
26
|
+
* misconfigured root pointing at `$HOME` still cannot clobber
|
|
27
|
+
* `~/.ssh/id_ed25519`).
|
|
28
|
+
*
|
|
29
|
+
* ---
|
|
30
|
+
* Portions of `assertSafeWritePath` and `canonicalizeWithWalkUp` are
|
|
31
|
+
* derived from KeiSeiLab/KeiSeiKit `kei-mcp/src/handlers/safe_tools/
|
|
32
|
+
* path_guard.rs` (Apache-2.0). See `licenses/keiseikit-LICENSE-NOTICE.md`
|
|
33
|
+
* at the repo root for attribution and the full upstream license
|
|
34
|
+
* reference.
|
|
35
|
+
*/
|
|
36
|
+
import { existsSync, lstatSync, realpathSync, } from 'node:fs';
|
|
37
|
+
import { homedir } from 'node:os';
|
|
38
|
+
import { basename, dirname, isAbsolute, relative, resolve, sep, } from 'node:path';
|
|
3
39
|
/**
|
|
4
40
|
* Resolve and validate that an inputPath stays within the workspace.
|
|
5
41
|
*
|
|
@@ -60,4 +96,250 @@ function isInsideWorkspace(child, workspaceRoot) {
|
|
|
60
96
|
const rel = relative(workspaceRoot, child);
|
|
61
97
|
return Boolean(rel) && !rel.startsWith('..') && rel !== '..';
|
|
62
98
|
}
|
|
99
|
+
/**
|
|
100
|
+
* Apply the full KeiSei write-path guard. Returns the canonical
|
|
101
|
+
* absolute path on success, throws on rejection.
|
|
102
|
+
*
|
|
103
|
+
* Use this for any operation that mutates the filesystem (`write`,
|
|
104
|
+
* `edit`, atomic-rename targets). The error message is safe to surface
|
|
105
|
+
* to the operator — it never echoes filesystem secrets.
|
|
106
|
+
*/
|
|
107
|
+
export function assertSafeWritePath(inputPath, options = {}) {
|
|
108
|
+
if (typeof inputPath !== 'string' || inputPath.length === 0) {
|
|
109
|
+
throw new Error('file_path: empty');
|
|
110
|
+
}
|
|
111
|
+
if (inputPath.includes('\0')) {
|
|
112
|
+
throw new Error('file_path: null byte rejected');
|
|
113
|
+
}
|
|
114
|
+
// KeiSei step #1: reject `..` segments before any FS work. We split on
|
|
115
|
+
// both `/` and the platform separator so a Windows-style `..\foo`
|
|
116
|
+
// input cannot smuggle a traversal through on macOS test paths.
|
|
117
|
+
const decoded = decodeURIComponent(inputPath);
|
|
118
|
+
const segments = decoded.split(/[/\\]/);
|
|
119
|
+
if (segments.some((seg) => seg === '..')) {
|
|
120
|
+
throw new Error(`file_path: '..' segment not allowed in ${inputPath}`);
|
|
121
|
+
}
|
|
122
|
+
// KeiSei step #3: refuse to write through a symlink leaf. We must
|
|
123
|
+
// check the LITERAL input path (pre-canonicalize) because `realpath`
|
|
124
|
+
// unconditionally resolves symlinks — so by the time we have the
|
|
125
|
+
// canonical path the symlink fingerprint is already gone. `lstatSync`
|
|
126
|
+
// does NOT follow symlinks, which is exactly what we need.
|
|
127
|
+
const cwdRoot = options.root ?? process.cwd();
|
|
128
|
+
const literalAbsolute = isAbsolute(decoded) ? decoded : resolve(cwdRoot, decoded);
|
|
129
|
+
try {
|
|
130
|
+
const meta = lstatSync(literalAbsolute);
|
|
131
|
+
if (meta.isSymbolicLink()) {
|
|
132
|
+
throw new Error(`file_path: leaf is a symlink (refusing to follow): ${literalAbsolute}`);
|
|
133
|
+
}
|
|
134
|
+
}
|
|
135
|
+
catch (error) {
|
|
136
|
+
const code = error.code;
|
|
137
|
+
if (code !== 'ENOENT' && code !== 'ENOTDIR')
|
|
138
|
+
throw error;
|
|
139
|
+
// ENOENT/ENOTDIR is fine — the leaf simply does not exist yet
|
|
140
|
+
// (write-create path). The walk-up canonicalize below handles it.
|
|
141
|
+
}
|
|
142
|
+
const canonical = canonicalizeWithWalkUp(decoded, cwdRoot);
|
|
143
|
+
// KeiSei step #4: fail-CLOSED on empty allowed roots.
|
|
144
|
+
const roots = computeAllowedRoots(options);
|
|
145
|
+
if (roots.length === 0) {
|
|
146
|
+
throw new Error("file_path: allowed_roots is empty — refusing all writes " +
|
|
147
|
+
'(set PUGI_ALLOWED_ROOTS to a non-empty value or run from a real cwd)');
|
|
148
|
+
}
|
|
149
|
+
// KeiSei step #5: containment check against canonicalized allowed
|
|
150
|
+
// roots. Each root is normalized to end in `sep` so `/tmp/wsX` does
|
|
151
|
+
// not accidentally pass containment for `/tmp/ws`.
|
|
152
|
+
const inAllowedRoot = roots.some((r) => isContainedIn(canonical, r));
|
|
153
|
+
if (!inAllowedRoot) {
|
|
154
|
+
throw new Error(`file_path: outside allowed roots ${JSON.stringify(roots)}: ${canonical}`);
|
|
155
|
+
}
|
|
156
|
+
// KeiSei step #6: denylist. Applied AFTER containment so a
|
|
157
|
+
// misconfigured root pointing at `/` or `$HOME` still cannot clobber
|
|
158
|
+
// sensitive files. We canonicalize HOME so a $HOME that lives under
|
|
159
|
+
// a symlinked prefix (macOS /var → /private/var, Linux /home →
|
|
160
|
+
// /usr/home on some FreeBSD-style mounts) still matches the
|
|
161
|
+
// canonical write target.
|
|
162
|
+
assertNotDenylisted(canonical, canonicalizeHomeDir(options.homeDir ?? homedir()));
|
|
163
|
+
return canonical;
|
|
164
|
+
}
|
|
165
|
+
function canonicalizeHomeDir(raw) {
|
|
166
|
+
if (!raw)
|
|
167
|
+
return raw;
|
|
168
|
+
try {
|
|
169
|
+
return realpathSync.native(raw);
|
|
170
|
+
}
|
|
171
|
+
catch {
|
|
172
|
+
return raw;
|
|
173
|
+
}
|
|
174
|
+
}
|
|
175
|
+
/**
|
|
176
|
+
* Ported from KeiSeiKit `canonicalize_with_walk_up`. Finds the deepest
|
|
177
|
+
* existing ancestor, canonicalizes it (resolving every symlink in the
|
|
178
|
+
* existing prefix), then reattaches the non-existent tail components.
|
|
179
|
+
*
|
|
180
|
+
* This closes the "parent's parent is a symlink" bypass where naive
|
|
181
|
+
* implementations canonicalize only the immediate parent.
|
|
182
|
+
*/
|
|
183
|
+
export function canonicalizeWithWalkUp(inputPath, cwd) {
|
|
184
|
+
const absolute = isAbsolute(inputPath) ? inputPath : resolve(cwd, inputPath);
|
|
185
|
+
let current = absolute;
|
|
186
|
+
const tail = [];
|
|
187
|
+
// Hard cap on walk-up iterations — defense against pathological
|
|
188
|
+
// inputs that somehow evade `dirname` termination.
|
|
189
|
+
const maxIterations = 4096;
|
|
190
|
+
let iterations = 0;
|
|
191
|
+
while (true) {
|
|
192
|
+
iterations += 1;
|
|
193
|
+
if (iterations > maxIterations) {
|
|
194
|
+
throw new Error(`file_path: walk-up exceeded ${maxIterations} iterations: ${absolute}`);
|
|
195
|
+
}
|
|
196
|
+
if (existsSync(current)) {
|
|
197
|
+
let canonicalExisting;
|
|
198
|
+
try {
|
|
199
|
+
canonicalExisting = realpathSync.native(current);
|
|
200
|
+
}
|
|
201
|
+
catch (error) {
|
|
202
|
+
throw new Error(`file_path: canonicalize ${current}: ${error.message}`);
|
|
203
|
+
}
|
|
204
|
+
// Reattach tail in original order (we pushed leaf-first).
|
|
205
|
+
let result = canonicalExisting;
|
|
206
|
+
for (let i = tail.length - 1; i >= 0; i -= 1) {
|
|
207
|
+
result = resolve(result, tail[i]);
|
|
208
|
+
}
|
|
209
|
+
return result;
|
|
210
|
+
}
|
|
211
|
+
const name = basename(current);
|
|
212
|
+
const parent = dirname(current);
|
|
213
|
+
if (!name || parent === current) {
|
|
214
|
+
throw new Error(`file_path: walked to root without finding existing dir: ${absolute}`);
|
|
215
|
+
}
|
|
216
|
+
tail.push(name);
|
|
217
|
+
current = parent;
|
|
218
|
+
}
|
|
219
|
+
}
|
|
220
|
+
function computeAllowedRoots(options) {
|
|
221
|
+
const envValue = options.allowedRootsEnv ?? process.env.PUGI_ALLOWED_ROOTS;
|
|
222
|
+
if (envValue !== undefined) {
|
|
223
|
+
return envValue
|
|
224
|
+
.split(':')
|
|
225
|
+
.filter((s) => s.length > 0)
|
|
226
|
+
.map(canonicalizeRoot)
|
|
227
|
+
.filter((s) => s !== null);
|
|
228
|
+
}
|
|
229
|
+
// No env override: implicit root is the caller-supplied cwd (defaults
|
|
230
|
+
// to `process.cwd()`).
|
|
231
|
+
const cwd = options.root ?? process.cwd();
|
|
232
|
+
const canon = canonicalizeRoot(cwd);
|
|
233
|
+
return canon ? [canon] : [];
|
|
234
|
+
}
|
|
235
|
+
function canonicalizeRoot(raw) {
|
|
236
|
+
if (!raw)
|
|
237
|
+
return null;
|
|
238
|
+
let canon;
|
|
239
|
+
try {
|
|
240
|
+
canon = realpathSync.native(raw);
|
|
241
|
+
}
|
|
242
|
+
catch {
|
|
243
|
+
canon = resolve(raw);
|
|
244
|
+
}
|
|
245
|
+
if (!canon)
|
|
246
|
+
return null;
|
|
247
|
+
return canon.endsWith(sep) ? canon : canon + sep;
|
|
248
|
+
}
|
|
249
|
+
function isContainedIn(canonicalChild, rootWithSep) {
|
|
250
|
+
const rootNoSep = rootWithSep.endsWith(sep)
|
|
251
|
+
? rootWithSep.slice(0, -1)
|
|
252
|
+
: rootWithSep;
|
|
253
|
+
if (canonicalChild === rootNoSep)
|
|
254
|
+
return true;
|
|
255
|
+
return canonicalChild.startsWith(rootWithSep);
|
|
256
|
+
}
|
|
257
|
+
function assertNotDenylisted(canonical, homeDir) {
|
|
258
|
+
// System paths — match as prefix-with-separator so `/etc-fake/` is
|
|
259
|
+
// not denied while `/etc/passwd` is.
|
|
260
|
+
const systemDenyPrefixes = [
|
|
261
|
+
'/etc/',
|
|
262
|
+
'/usr/',
|
|
263
|
+
'/System/',
|
|
264
|
+
'/Library/Application Support/',
|
|
265
|
+
'/var/db/',
|
|
266
|
+
'/var/log/',
|
|
267
|
+
'/var/root/',
|
|
268
|
+
'/private/etc/',
|
|
269
|
+
'/private/usr/',
|
|
270
|
+
'/private/var/db/',
|
|
271
|
+
'/private/var/log/',
|
|
272
|
+
'/private/var/root/',
|
|
273
|
+
'/root/',
|
|
274
|
+
'/bin/',
|
|
275
|
+
'/sbin/',
|
|
276
|
+
];
|
|
277
|
+
for (const prefix of systemDenyPrefixes) {
|
|
278
|
+
if (canonical.startsWith(prefix)) {
|
|
279
|
+
throw new Error(`file_path: denied (system dir): ${canonical}`);
|
|
280
|
+
}
|
|
281
|
+
}
|
|
282
|
+
if (!homeDir)
|
|
283
|
+
return;
|
|
284
|
+
// Credential and substrate directories.
|
|
285
|
+
const homeDirSecrets = [
|
|
286
|
+
'.ssh/',
|
|
287
|
+
'.aws/',
|
|
288
|
+
'.gnupg/',
|
|
289
|
+
'.config/gcloud/',
|
|
290
|
+
'.kube/',
|
|
291
|
+
'.docker/',
|
|
292
|
+
'.claude/',
|
|
293
|
+
'.grok/',
|
|
294
|
+
'.gemini/',
|
|
295
|
+
'.copilot/',
|
|
296
|
+
'.kimi/',
|
|
297
|
+
'.pugi/credentials/',
|
|
298
|
+
];
|
|
299
|
+
for (const secret of homeDirSecrets) {
|
|
300
|
+
const full = joinHome(homeDir, secret);
|
|
301
|
+
if (canonical.startsWith(full)) {
|
|
302
|
+
throw new Error(`file_path: denied (secret/substrate dir): ${canonical}`);
|
|
303
|
+
}
|
|
304
|
+
}
|
|
305
|
+
// Credential files (exact match).
|
|
306
|
+
const homeFileSecrets = [
|
|
307
|
+
'.npmrc',
|
|
308
|
+
'.cargo/credentials',
|
|
309
|
+
'.cargo/credentials.toml',
|
|
310
|
+
'.docker/config.json',
|
|
311
|
+
'.netrc',
|
|
312
|
+
'.pgpass',
|
|
313
|
+
];
|
|
314
|
+
for (const secret of homeFileSecrets) {
|
|
315
|
+
const full = joinHome(homeDir, secret);
|
|
316
|
+
if (canonical === full) {
|
|
317
|
+
throw new Error(`file_path: denied (credential file): ${canonical}`);
|
|
318
|
+
}
|
|
319
|
+
}
|
|
320
|
+
// Shell-init files (exact match).
|
|
321
|
+
const initFiles = [
|
|
322
|
+
'.zshrc',
|
|
323
|
+
'.bashrc',
|
|
324
|
+
'.profile',
|
|
325
|
+
'.bash_profile',
|
|
326
|
+
'.zprofile',
|
|
327
|
+
'.zshenv',
|
|
328
|
+
'.bash_login',
|
|
329
|
+
'.bash_logout',
|
|
330
|
+
'.inputrc',
|
|
331
|
+
'.gitconfig',
|
|
332
|
+
'.config/fish/config.fish',
|
|
333
|
+
];
|
|
334
|
+
for (const file of initFiles) {
|
|
335
|
+
const full = joinHome(homeDir, file);
|
|
336
|
+
if (canonical === full) {
|
|
337
|
+
throw new Error(`file_path: denied (shell-init file): ${canonical}`);
|
|
338
|
+
}
|
|
339
|
+
}
|
|
340
|
+
}
|
|
341
|
+
function joinHome(homeDir, rest) {
|
|
342
|
+
const trimmedHome = homeDir.endsWith(sep) ? homeDir.slice(0, -1) : homeDir;
|
|
343
|
+
return `${trimmedHome}${sep}${rest}`;
|
|
344
|
+
}
|
|
63
345
|
//# sourceMappingURL=path-security.js.map
|
|
@@ -0,0 +1,124 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Auto-mode classifier — Wave 7 Phase 1 (regex allowlist + denylist).
|
|
3
|
+
*
|
|
4
|
+
* `permissionMode === 'auto'` is the Claude Code parity mode where the
|
|
5
|
+
* classifier decides safe-vs-unsafe per call. Phase 1 ships without
|
|
6
|
+
* ML — just two curated regex lists covering the 80% of "obviously
|
|
7
|
+
* safe" and "obviously catastrophic" patterns. Anything that doesn't
|
|
8
|
+
* match either list returns `ask`, so the operator stays in the loop
|
|
9
|
+
* для the ambiguous middle.
|
|
10
|
+
*
|
|
11
|
+
* Phase 2 (deferred, NOT in this PR): semantic classifier consulting
|
|
12
|
+
* the model with a tight system prompt. The interface (`AutoVerdict`)
|
|
13
|
+
* is stable so we can swap implementations without touching the gate.
|
|
14
|
+
*
|
|
15
|
+
* Design notes:
|
|
16
|
+
*
|
|
17
|
+
* - Patterns are conservative: a read-only command is only
|
|
18
|
+
* allow-listed когда its argv shape is unambiguous (no `-exec`,
|
|
19
|
+
* no `--delete`, no `|` к shell). When в doubt, fall back to ask.
|
|
20
|
+
* - The denylist matches catastrophic patterns even в auto-mode so
|
|
21
|
+
* a misclick can't shred the workspace. The circuit-breaker
|
|
22
|
+
* (`circuit-breaker.ts`) covers the same surface для bypass-mode;
|
|
23
|
+
* this denylist is the auto-mode equivalent.
|
|
24
|
+
* - All matches operate on the FULL command string, not parsed
|
|
25
|
+
* argv. This is deliberately permissive on whitespace but strict
|
|
26
|
+
* on operator characters (`|`, `&`, `;`, `>`, backticks) — a
|
|
27
|
+
* pipe-into-shell или command-chain forces fallback к ask.
|
|
28
|
+
*/
|
|
29
|
+
/**
|
|
30
|
+
* Catastrophic patterns — the auto-mode regex denylist. Each entry
|
|
31
|
+
* carries a human-readable reason surfaced в the deny payload so the
|
|
32
|
+
* operator + audit log see why the gate refused. Order matters: most-
|
|
33
|
+
* specific первой так "rm -rf /" reports as that, не the generic
|
|
34
|
+
* "rm -rf".
|
|
35
|
+
*/
|
|
36
|
+
const AUTO_DENY_PATTERNS = [
|
|
37
|
+
{ pattern: /\brm\s+(-[a-z]*r[a-z]*f|-[a-z]*f[a-z]*r)\b/i, reason: 'rm -rf (recursive force-delete)' },
|
|
38
|
+
{ pattern: /\bgit\s+push\s+(-{1,2}force\b|\-f\b)/i, reason: 'git push --force (history rewrite)' },
|
|
39
|
+
{ pattern: /\bgit\s+reset\s+--hard\b/i, reason: 'git reset --hard (uncommitted-work loss)' },
|
|
40
|
+
{ pattern: /\bdd\s+if=\/(dev|)/i, reason: 'dd if=/dev/* (raw device read/write)' },
|
|
41
|
+
{ pattern: /\bmkfs(\.|\s|$)/i, reason: 'mkfs (filesystem format)' },
|
|
42
|
+
{ pattern: /\bchmod\s+-R\s+777\b/i, reason: 'chmod -R 777 (world-writable recursive)' },
|
|
43
|
+
{ pattern: /\bchown\s+-R\b/i, reason: 'chown -R (recursive ownership change)' },
|
|
44
|
+
{ pattern: /:\(\)\s*\{\s*:\s*\|\s*:\s*&\s*\}\s*;?\s*:/, reason: 'fork bomb signature' },
|
|
45
|
+
{ pattern: /\bsudo\b/i, reason: 'sudo (privilege escalation)' },
|
|
46
|
+
{ pattern: /\b(npm|pnpm|yarn)\s+publish\b/i, reason: 'package publish (irreversible npm release)' },
|
|
47
|
+
{ pattern: /\b(curl|wget)\b[^|;&]*\|\s*(sh|bash|zsh)\b/i, reason: 'pipe-to-shell installer (curl … | sh)' },
|
|
48
|
+
];
|
|
49
|
+
/**
|
|
50
|
+
* Safe-by-default patterns — auto-mode regex allowlist. Each regex
|
|
51
|
+
* must match the FULL command (with `^…$` anchors) so a leading
|
|
52
|
+
* `sudo ls` или a trailing `; rm -rf /` does NOT slip through. The
|
|
53
|
+
* caller passes the trimmed command string; whitespace around argv
|
|
54
|
+
* tokens is tolerated.
|
|
55
|
+
*/
|
|
56
|
+
const AUTO_ALLOW_PATTERNS = [
|
|
57
|
+
{ pattern: /^ls(\s+-[a-zA-Z]+)*(\s+[^|;&`>$()\\]+)?$/, reason: 'ls (directory listing)' },
|
|
58
|
+
{ pattern: /^pwd\s*$/, reason: 'pwd (working directory)' },
|
|
59
|
+
{ pattern: /^cat\s+[^|;&`>$()\\]+$/, reason: 'cat (file read)' },
|
|
60
|
+
{ pattern: /^head(\s+-n?\s*\d+)?\s+[^|;&`>$()\\]+$/, reason: 'head (file preview)' },
|
|
61
|
+
{ pattern: /^tail(\s+-n?\s*\d+)?\s+[^|;&`>$()\\]+$/, reason: 'tail (file preview)' },
|
|
62
|
+
{ pattern: /^wc(\s+-[a-z]+)?\s+[^|;&`>$()\\]+$/, reason: 'wc (line/word count)' },
|
|
63
|
+
{ pattern: /^du\s+-sh?\s+[^|;&`>$()\\]+$/, reason: 'du -sh (disk usage summary)' },
|
|
64
|
+
{ pattern: /^df\s+-h\s*$/, reason: 'df -h (filesystem free space)' },
|
|
65
|
+
{ pattern: /^git\s+status(\s+--short|\s+-s)?\s*$/, reason: 'git status' },
|
|
66
|
+
{ pattern: /^git\s+diff(\s+[a-zA-Z0-9_./~^-]+)*\s*$/, reason: 'git diff (read-only)' },
|
|
67
|
+
{ pattern: /^git\s+log(\s+[a-zA-Z0-9_./~^-]+)*\s*$/, reason: 'git log (read-only)' },
|
|
68
|
+
{ pattern: /^git\s+branch(\s+-[a-z]+)?\s*$/, reason: 'git branch (read-only)' },
|
|
69
|
+
{ pattern: /^git\s+remote\s+-v\s*$/, reason: 'git remote -v (read-only)' },
|
|
70
|
+
{ pattern: /^pnpm\s+(typecheck|lint|test\s+--run|test\s+--watch=false)\s*$/, reason: 'pnpm read-only build check' },
|
|
71
|
+
{ pattern: /^npm\s+(--version|-v|run\s+typecheck|run\s+lint)\s*$/, reason: 'npm read-only check' },
|
|
72
|
+
{ pattern: /^node\s+--version\s*$/, reason: 'node --version' },
|
|
73
|
+
{ pattern: /^pnpm\s+--version\s*$/, reason: 'pnpm --version' },
|
|
74
|
+
{ pattern: /^which\s+[a-zA-Z0-9_-]+\s*$/, reason: 'which (command lookup)' },
|
|
75
|
+
{ pattern: /^find\s+\.\s+-type\s+f(\s+-name\s+[^|;&`>$()\\]+)?\s*$/, reason: 'find -type f (read-only)' },
|
|
76
|
+
{ pattern: /^(rg|ripgrep|grep)\s+(-[a-z]+\s+)*[^|;&`>$()\\]+(\s+[^|;&`>$()\\]+)?\s*$/, reason: 'grep/ripgrep (read-only search)' },
|
|
77
|
+
];
|
|
78
|
+
/**
|
|
79
|
+
* Classify an auto-mode command. Order:
|
|
80
|
+
* 1. Catastrophic deny patterns — surface the explicit deny reason.
|
|
81
|
+
* 2. Safe allow patterns — surface the matched reason.
|
|
82
|
+
* 3. Fallback к ask.
|
|
83
|
+
*
|
|
84
|
+
* The order matters: a destructive pattern that ALSO looks like a
|
|
85
|
+
* read-only token (e.g. `git diff ; rm -rf .`) hits deny first because
|
|
86
|
+
* the allow patterns require `^…$` anchors that the chained command
|
|
87
|
+
* fails to satisfy. Belt + suspenders.
|
|
88
|
+
*/
|
|
89
|
+
export function classifyAutoMode(command) {
|
|
90
|
+
const trimmed = command.trim();
|
|
91
|
+
if (trimmed.length === 0)
|
|
92
|
+
return { verdict: 'ask' };
|
|
93
|
+
for (const entry of AUTO_DENY_PATTERNS) {
|
|
94
|
+
if (entry.pattern.test(trimmed)) {
|
|
95
|
+
return {
|
|
96
|
+
verdict: 'deny',
|
|
97
|
+
reason: entry.reason,
|
|
98
|
+
pattern: entry.pattern.source,
|
|
99
|
+
};
|
|
100
|
+
}
|
|
101
|
+
}
|
|
102
|
+
for (const entry of AUTO_ALLOW_PATTERNS) {
|
|
103
|
+
if (entry.pattern.test(trimmed)) {
|
|
104
|
+
return {
|
|
105
|
+
verdict: 'allow',
|
|
106
|
+
reason: entry.reason,
|
|
107
|
+
pattern: entry.pattern.source,
|
|
108
|
+
};
|
|
109
|
+
}
|
|
110
|
+
}
|
|
111
|
+
return { verdict: 'ask' };
|
|
112
|
+
}
|
|
113
|
+
/**
|
|
114
|
+
* Diagnostic accessors — exposed для doctor surfaces + spec coverage.
|
|
115
|
+
* The arrays are frozen at module load so callers can iterate without
|
|
116
|
+
* mutating the source-of-truth.
|
|
117
|
+
*/
|
|
118
|
+
export function listAutoAllowPatterns() {
|
|
119
|
+
return AUTO_ALLOW_PATTERNS.map((e) => ({ pattern: e.pattern.source, reason: e.reason }));
|
|
120
|
+
}
|
|
121
|
+
export function listAutoDenyPatterns() {
|
|
122
|
+
return AUTO_DENY_PATTERNS.map((e) => ({ pattern: e.pattern.source, reason: e.reason }));
|
|
123
|
+
}
|
|
124
|
+
//# sourceMappingURL=auto-classifier.js.map
|
|
@@ -0,0 +1,83 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* bypassPermissions circuit-breaker — Wave 7.
|
|
3
|
+
*
|
|
4
|
+
* `bypassPermissions` is "skip ALL checks" for trusted scripted runs.
|
|
5
|
+
* Even so, certain commands are catastrophic enough that the gate
|
|
6
|
+
* MUST refuse regardless of mode. This module owns that short list.
|
|
7
|
+
*
|
|
8
|
+
* The breaker is conservative on purpose:
|
|
9
|
+
* - rm -rf against `/`, `~`, or workspace root (`.`)
|
|
10
|
+
* - fork bomb signature (`:(){:|:&};:`)
|
|
11
|
+
* - dd if=/ (raw block-device read or write)
|
|
12
|
+
*
|
|
13
|
+
* False positives are acceptable here — an operator who really wants
|
|
14
|
+
* to nuke their root filesystem can switch to `dontAsk` and re-issue;
|
|
15
|
+
* the breaker is the "are you sure you typed this correctly?" guard,
|
|
16
|
+
* not a hard policy boundary.
|
|
17
|
+
*
|
|
18
|
+
* `evaluateCircuitBreaker` is pure regex matching — no IO, no state.
|
|
19
|
+
* It's called by the gate before any other routing so a bypass-mode
|
|
20
|
+
* session that types `rm -rf /` sees the deny path first.
|
|
21
|
+
*/
|
|
22
|
+
/**
|
|
23
|
+
* Pattern list — kept narrow on purpose. Each entry must match the
|
|
24
|
+
* canonical destructive shape; argv variants without the exact form
|
|
25
|
+
* fall through к the regular `dontAsk` / `bypassPermissions` allow
|
|
26
|
+
* path, which is what the operator opted into.
|
|
27
|
+
*/
|
|
28
|
+
const CIRCUIT_BREAKER_PATTERNS = [
|
|
29
|
+
// rm -rf against absolute root, $HOME, ~, $WORKSPACE_ROOT, or `.`
|
|
30
|
+
// with no further token. The negative lookahead на `[/~.]\S` makes
|
|
31
|
+
// sure `rm -rf /tmp/foo` (specific subtree) doesn't trip — only the
|
|
32
|
+
// catastrophic `rm -rf /` or `rm -rf ~` or `rm -rf .` shapes do.
|
|
33
|
+
{
|
|
34
|
+
pattern: /\brm\s+(-[a-z]*r[a-z]*f|-[a-z]*f[a-z]*r)\s+(\/|~|\$HOME|\$\{HOME\}|\.)\s*$/i,
|
|
35
|
+
reason: 'rm -rf against /, $HOME, ~, or workspace root',
|
|
36
|
+
},
|
|
37
|
+
// Fork bomb signature. Whitespace-tolerant но shape-strict.
|
|
38
|
+
{
|
|
39
|
+
pattern: /:\s*\(\s*\)\s*\{\s*:\s*\|\s*:\s*&\s*\}\s*;?\s*:/,
|
|
40
|
+
reason: 'fork bomb (`:(){ :|:& };:`)',
|
|
41
|
+
},
|
|
42
|
+
// dd to/from raw devices. Either direction is catastrophic enough
|
|
43
|
+
// to warrant the breaker (read of /dev/random into a workspace file
|
|
44
|
+
// can fill the disk, write to /dev/sda destroys the disk).
|
|
45
|
+
{
|
|
46
|
+
pattern: /\bdd\b[^|;&]*\b(if|of)=\/dev\//i,
|
|
47
|
+
reason: 'dd reading/writing /dev/* (catastrophic IO)',
|
|
48
|
+
},
|
|
49
|
+
// mkfs against any disk — single regex covers ext*, xfs, btrfs, vfat.
|
|
50
|
+
{
|
|
51
|
+
pattern: /\bmkfs(\.[a-z0-9]+)?\s+\/dev\//i,
|
|
52
|
+
reason: 'mkfs against /dev/* (filesystem format)',
|
|
53
|
+
},
|
|
54
|
+
];
|
|
55
|
+
/**
|
|
56
|
+
* Test the command against every circuit-breaker pattern. Returns the
|
|
57
|
+
* first match (most-catastrophic-first ordering is encoded в the array
|
|
58
|
+
* order); when no pattern matches, the breaker is `tripped: false` so
|
|
59
|
+
* the caller proceeds to the regular gate decision.
|
|
60
|
+
*
|
|
61
|
+
* Pure function — no IO, no module-scoped state. Safe to call from any
|
|
62
|
+
* surface (gate, doctor command, audit replay).
|
|
63
|
+
*/
|
|
64
|
+
export function evaluateCircuitBreaker(command) {
|
|
65
|
+
const trimmed = command.trim();
|
|
66
|
+
if (trimmed.length === 0)
|
|
67
|
+
return { tripped: false, reason: '' };
|
|
68
|
+
for (const entry of CIRCUIT_BREAKER_PATTERNS) {
|
|
69
|
+
if (entry.pattern.test(trimmed)) {
|
|
70
|
+
return { tripped: true, reason: entry.reason };
|
|
71
|
+
}
|
|
72
|
+
}
|
|
73
|
+
return { tripped: false, reason: '' };
|
|
74
|
+
}
|
|
75
|
+
/**
|
|
76
|
+
* Diagnostic accessor — exposed для doctor surfaces + spec coverage so
|
|
77
|
+
* the test layer can iterate the full list and assert each entry trips
|
|
78
|
+
* on representative input.
|
|
79
|
+
*/
|
|
80
|
+
export function listCircuitBreakerPatterns() {
|
|
81
|
+
return CIRCUIT_BREAKER_PATTERNS.map((e) => ({ pattern: e.pattern.source, reason: e.reason }));
|
|
82
|
+
}
|
|
83
|
+
//# sourceMappingURL=circuit-breaker.js.map
|