session-orchestrator 3.23.0 → 3.24.0
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/.claude-plugin/marketplace.json +1 -1
- package/.claude-plugin/plugin.json +1 -1
- package/.codex-plugin/plugin.json +1 -1
- package/.cursor/skills/remote-offload/SKILL.md +13 -0
- package/CHANGELOG.md +278 -0
- package/README.md +16 -14
- package/agents/db-specialist.md +0 -1
- package/docs/ci-setup.md +180 -25
- package/docs/codex-setup.md +1 -1
- package/docs/components.md +3 -3
- package/docs/events-schema.md +46 -8
- package/docs/scope-collision-guard.md +4 -4
- package/docs/session-config-reference.md +64 -6
- package/docs/session-config-template.md +34 -4
- package/docs/telemetry/telemetry-claims.md +11 -10
- package/docs/telemetry.md +30 -1
- package/hooks/_lib/atomic-json.mjs +111 -0
- package/hooks/_lib/subagent-paths.mjs +143 -0
- package/hooks/cwd-change-restore.mjs +9 -29
- package/hooks/enforce-scope.mjs +35 -6
- package/hooks/hooks-codex.json +1 -1
- package/hooks/hooks.json +1 -1
- package/hooks/on-session-end.mjs +278 -12
- package/hooks/on-session-start.mjs +50 -2
- package/hooks/on-stop.mjs +349 -20
- package/hooks/post-bash-write-verify.mjs +104 -4
- package/hooks/post-subagent-discovery-validator.mjs +148 -18
- package/hooks/post-tool-batch-wave-signal.mjs +154 -40
- package/hooks/post-tool-failure-corrective-context.mjs +9 -32
- package/hooks/pre-bash-memory-propose-audit.mjs +13 -7
- package/hooks/subagent-telemetry.mjs +11 -26
- package/package.json +1 -1
- package/scripts/autopilot.mjs +26 -12
- package/scripts/backfill-abandoned-sessions.mjs +80 -11
- package/scripts/emit-event.mjs +10 -2
- package/scripts/lib/auq/parse.mjs +5 -29
- package/scripts/lib/auto-dialectic.mjs +68 -0
- package/scripts/lib/autopilot/worktree-pipeline.mjs +82 -6
- package/scripts/lib/build-live-signals.mjs +25 -22
- package/scripts/lib/cold-start-detector.mjs +23 -14
- package/scripts/lib/config/block-header.mjs +55 -0
- package/scripts/lib/config/discovery-validator.mjs +7 -2
- package/scripts/lib/config/health-endpoints.mjs +383 -0
- package/scripts/lib/config/remote-hosts.mjs +233 -0
- package/scripts/lib/config.mjs +31 -3
- package/scripts/lib/dispatcher/enumerate.mjs +2 -17
- package/scripts/lib/events-schema.mjs +48 -0
- package/scripts/lib/events.mjs +238 -5
- package/scripts/lib/evolve/autonomy-verdict.mjs +9 -4
- package/scripts/lib/evolve/autopilot-effectiveness.mjs +18 -1
- package/scripts/lib/gitlab-portfolio/cli.mjs +3 -15
- package/scripts/lib/harness-audit/categories/category1.mjs +17 -6
- package/scripts/lib/memory-banner.mjs +20 -8
- package/scripts/lib/peer-discovery.mjs +20 -2
- package/scripts/lib/reconcile/engine.mjs +236 -5
- package/scripts/lib/scope-gate.mjs +36 -0
- package/scripts/lib/session-close-backfill.mjs +59 -10
- package/scripts/lib/session-discovery.mjs +57 -3
- package/scripts/lib/session-end/phase-skip.mjs +2 -2
- package/scripts/lib/session-identity/own-session.mjs +62 -1
- package/scripts/lib/session-transition.mjs +1 -1
- package/scripts/lib/sessions-canonical.mjs +446 -0
- package/scripts/lib/telemetry/schema.mjs +74 -8
- package/scripts/lib/telemetry/sync.mjs +49 -12
- package/scripts/lib/tmux-layout/telemetry.mjs +14 -2
- package/scripts/lib/validate/check-doc-cli-commands.mjs +9 -33
- package/scripts/lib/validate/check-hooks-emit-event-guard.mjs +370 -0
- package/scripts/lib/validate/check-skill-script-paths.mjs +436 -0
- package/scripts/lib/validate/check-untracked-test-deps.mjs +10 -0
- package/scripts/lib/validate/check-unwired-features.mjs +0 -7
- package/scripts/lib/validate/check-validator-registration.mjs +248 -0
- package/scripts/lib/validate/check-vcs-repo-flag.mjs +6 -28
- package/scripts/lib/validate/markdown-fences.mjs +196 -0
- package/scripts/lib/vault-status/board-lock.mjs +185 -0
- package/scripts/lib/vault-status/board-writer.mjs +174 -135
- package/scripts/lib/vault-status/narrative-mirror.mjs +2 -19
- package/scripts/lib/wave-executor/foreign-dispatch.mjs +2 -2
- package/scripts/lib/wave-executor/remote-dispatch.mjs +504 -0
- package/scripts/lib/wave-resource-gate.mjs +127 -7
- package/scripts/lib/wave-transcript-tail.mjs +24 -4
- package/scripts/materialize-wave-scope.mjs +20 -4
- package/scripts/memory-propose.mjs +132 -8
- package/scripts/promote-vault-strict.mjs +4 -15
- package/scripts/site-numbers.mjs +36 -4
- package/scripts/validate-plugin.mjs +26 -0
- package/scripts/vault-consolidate.mjs +3 -11
- package/scripts/vault-integration-watcher.mjs +2 -4
- package/scripts/vault-mirror.mjs +111 -26
- package/skills/_shared/parallel-aware-auq.md +31 -2
- package/skills/_shared/parallel-aware-preamble.md +17 -4
- package/skills/_shared/state-ownership.md +1 -1
- package/skills/contract-version-bump/SKILL.md +1 -1
- package/skills/ecosystem-health/SKILL.md +4 -1
- package/skills/ecosystem-health/wizard.md +5 -0
- package/skills/evolve/SKILL.md +38 -1
- package/skills/journey-audit/SKILL.md +6 -5
- package/skills/reconcile/SKILL.md +5 -2
- package/skills/remote-offload/SKILL.md +89 -0
- package/skills/session-end/phase-3-6-tail.md +9 -6
- package/skills/session-start/SKILL.md +26 -3
- package/skills/wave-executor/SKILL.md +1 -1
- package/skills/wave-executor/wave-loop.md +43 -5
|
@@ -19,6 +19,7 @@ import { appendFileSync, mkdirSync, existsSync } from 'node:fs';
|
|
|
19
19
|
import path from 'node:path';
|
|
20
20
|
|
|
21
21
|
import { findProjectRoot } from '../common.mjs';
|
|
22
|
+
import { stampEventSchemaVersion, validateEventRecord } from '../events-schema.mjs';
|
|
22
23
|
|
|
23
24
|
/**
|
|
24
25
|
* Path FRAGMENT joined against a resolved repo root at write time — NOT a
|
|
@@ -58,11 +59,22 @@ export function emit(eventType, payload = {}, { repoRoot } = {}) {
|
|
|
58
59
|
const eventsPath = path.join(repoRoot || findProjectRoot(), ...EVENTS_REL);
|
|
59
60
|
const dir = path.dirname(eventsPath);
|
|
60
61
|
if (!existsSync(dir)) mkdirSync(dir, { recursive: true });
|
|
61
|
-
|
|
62
|
+
// `stampEventSchemaVersion()` rather than an inline `schema_version:` —
|
|
63
|
+
// one stamper for the whole ledger (#1177). It is additive (stamps only
|
|
64
|
+
// when absent), so a payload that carries its own version still wins, and
|
|
65
|
+
// it is pure (no fs), so the sync write path below is unaffected.
|
|
66
|
+
const record = stampEventSchemaVersion({
|
|
62
67
|
event: eventType,
|
|
63
68
|
timestamp: new Date().toISOString(),
|
|
64
69
|
...payload,
|
|
65
|
-
};
|
|
70
|
+
});
|
|
71
|
+
// Same schema contract as emitEvent() (#1177), enforced here too because
|
|
72
|
+
// this is the ONE remaining raw writer of events.jsonl. Kept synchronous on
|
|
73
|
+
// purpose — withTelemetry() wraps sync layout code; validateEventRecord() is
|
|
74
|
+
// pure (no fs), so conformance costs no async hop. An invalid record is
|
|
75
|
+
// DROPPED rather than written: telemetry is best-effort by contract, and a
|
|
76
|
+
// malformed line would outlive this process in the shared ledger.
|
|
77
|
+
if (!validateEventRecord(record).valid) return;
|
|
66
78
|
appendFileSync(eventsPath, JSON.stringify(record) + '\n');
|
|
67
79
|
} catch {
|
|
68
80
|
// Best-effort — swallow all errors. Telemetry must not block layout.
|
|
@@ -67,6 +67,7 @@ import path from 'node:path';
|
|
|
67
67
|
import { spawnSync } from 'node:child_process';
|
|
68
68
|
import { pathToFileURL } from 'node:url';
|
|
69
69
|
import { listRepoFiles } from './repo-files.mjs';
|
|
70
|
+
import { SHELL_LANGS, forEachLine } from './markdown-fences.mjs';
|
|
70
71
|
|
|
71
72
|
/** Directories walked for documentation. Mirrors check-vcs-repo-flag.mjs. */
|
|
72
73
|
const SCAN_DIRS = Object.freeze([
|
|
@@ -80,10 +81,6 @@ const SCAN_DIRS = Object.freeze([
|
|
|
80
81
|
'templates',
|
|
81
82
|
]);
|
|
82
83
|
|
|
83
|
-
/** Never descend into these. */
|
|
84
|
-
/** Fence languages whose body is shell. Anything else is prose. */
|
|
85
|
-
const SHELL_LANGS = Object.freeze(new Set(['bash', 'sh', 'shell', 'console', 'zsh']));
|
|
86
|
-
|
|
87
84
|
/** The CLIs this check knows how to interrogate. */
|
|
88
85
|
const BINS = Object.freeze(['gh', 'glab']);
|
|
89
86
|
|
|
@@ -204,44 +201,23 @@ export function extractCandidates(body) {
|
|
|
204
201
|
const candidates = [];
|
|
205
202
|
/** @type {{line: number, text: string}[]} */
|
|
206
203
|
const shellLines = [];
|
|
207
|
-
/** @type {{marker: string, length: number, shell: boolean} | null} */
|
|
208
|
-
let fence = null;
|
|
209
204
|
|
|
210
|
-
|
|
211
|
-
|
|
212
|
-
|
|
213
|
-
const fenceMatch = raw.match(/^\s*(`{3,}|~{3,})\s*([A-Za-z0-9_+-]*)/);
|
|
214
|
-
if (fenceMatch) {
|
|
215
|
-
const marker = fenceMatch[1][0];
|
|
216
|
-
const length = fenceMatch[1].length;
|
|
217
|
-
const lang = fenceMatch[2].toLowerCase();
|
|
218
|
-
if (fence === null) {
|
|
219
|
-
fence = { marker, length, shell: SHELL_LANGS.has(lang) };
|
|
220
|
-
continue;
|
|
221
|
-
}
|
|
222
|
-
// A closing fence uses the same char, is at least as long, and has no info string.
|
|
223
|
-
if (marker === fence.marker && length >= fence.length && lang === '') {
|
|
224
|
-
fence = null;
|
|
225
|
-
continue;
|
|
226
|
-
}
|
|
227
|
-
// Otherwise it is fence content (a nested fence inside a wider one).
|
|
228
|
-
}
|
|
229
|
-
|
|
230
|
-
if (fence !== null) {
|
|
231
|
-
if (!fence.shell) continue;
|
|
205
|
+
forEachLine(body, (raw, { lineNumber, inFence, lang }) => {
|
|
206
|
+
if (inFence) {
|
|
207
|
+
if (!SHELL_LANGS.has(lang)) return;
|
|
232
208
|
const stripped = raw.replace(/^\s*[$❯>]\s+/, '');
|
|
233
|
-
if (/^\s*#/.test(stripped))
|
|
234
|
-
shellLines.push({ line:
|
|
235
|
-
|
|
209
|
+
if (/^\s*#/.test(stripped)) return;
|
|
210
|
+
shellLines.push({ line: lineNumber, text: stripped });
|
|
211
|
+
return;
|
|
236
212
|
}
|
|
237
213
|
|
|
238
214
|
for (const span of raw.matchAll(/`([^`]+)`/g)) {
|
|
239
215
|
const text = span[1].trim();
|
|
240
216
|
if (/^(?:gh|glab)\s/.test(text)) {
|
|
241
|
-
candidates.push({ line:
|
|
217
|
+
candidates.push({ line: lineNumber, text, channel: 'inline-span' });
|
|
242
218
|
}
|
|
243
219
|
}
|
|
244
|
-
}
|
|
220
|
+
});
|
|
245
221
|
|
|
246
222
|
for (const entry of joinContinuations(shellLines)) {
|
|
247
223
|
candidates.push({ line: entry.line, text: entry.text, channel: 'shell-fence' });
|
|
@@ -0,0 +1,370 @@
|
|
|
1
|
+
#!/usr/bin/env node
|
|
2
|
+
/**
|
|
3
|
+
* check-hooks-emit-event-guard.mjs — every `emitEvent(...)` call site under
|
|
4
|
+
* `hooks/**\/*.mjs` must sit lexically inside a `try {} catch {}`, because
|
|
5
|
+
* `emitEvent()` THROWS `EventValidationError` on a malformed record
|
|
6
|
+
* (`scripts/lib/events.mjs`, #1177). An unguarded call site turns a
|
|
7
|
+
* telemetry-shape defect into an uncaught exception inside a
|
|
8
|
+
* PreToolUse/PostToolUse/Stop/SessionEnd/SessionStart hook — several of
|
|
9
|
+
* which are deny-capable. Per `.claude/rules/` "moving a guard from
|
|
10
|
+
* exit-code signalling to stdout-JSON inverts its failure direction": an
|
|
11
|
+
* aborted hook process writes no `permissionDecision` envelope at all, which
|
|
12
|
+
* several harnesses read as fail-OPEN (no decision → default allow) rather
|
|
13
|
+
* than fail-closed. #1183.
|
|
14
|
+
*
|
|
15
|
+
* SCOPE. `hooks/` is out of the file-scope this checker's OWNING task may
|
|
16
|
+
* edit (see the dispatching wave's FILE-SCOPE) — this checker only REPORTS,
|
|
17
|
+
* it never fixes. Five pre-existing unguarded call sites were census'd at
|
|
18
|
+
* HEAD 2ccea0f2 (2026-09-02, GitLab #1183) and were BASELINED below; all
|
|
19
|
+
* five were fixed in the same wave that added the reason/staleness
|
|
20
|
+
* discipline described next (FX-C, MED-3), so `BASELINE_UNGUARDED` is EMPTY
|
|
21
|
+
* on arrival. It stays a `Map<key, reason>`, not a bare `Set`, so the NEXT
|
|
22
|
+
* addition carries a reason from day one — mirroring
|
|
23
|
+
* `check-unwired-features.mjs`'s `ALLOWLIST` precedent verbatim: "Add an
|
|
24
|
+
* entry to `ALLOWLIST` keyed by the FULL dotted key path, whose value is a
|
|
25
|
+
* non-empty reason naming the actual consumer ... Every entry needs a
|
|
26
|
+
* reason — an empty or whitespace-only one is itself reported
|
|
27
|
+
* (`allowlist-missing-reason`) ... The list also drains itself: an entry is
|
|
28
|
+
* reported as `allowlist-stale` both when its key has left every config
|
|
29
|
+
* surface AND when the key stops triggering a finding (i.e. it finally got
|
|
30
|
+
* wired), so a fixed key does not leave a permanent exemption behind." Any
|
|
31
|
+
* unguarded call NOT in the baseline is a genuine regression and FAILs the
|
|
32
|
+
* build; a baseline entry whose site is now guarded or gone FAILs as
|
|
33
|
+
* `baseline-stale`; an entry with an empty reason FAILs as
|
|
34
|
+
* `baseline-missing-reason`. A baselined-but-still-unguarded site (a valid,
|
|
35
|
+
* reasoned entry that still matches) reports as a WARN, never a FAIL, so
|
|
36
|
+
* this checker can ship blocking-by-default without going red on arrival.
|
|
37
|
+
*
|
|
38
|
+
* METHOD (BV-001.5 substitution). A real AST scope-walk via `@babel/parser`
|
|
39
|
+
* (`sourceType: 'module'`, `topLevelAwait` + `importMeta` plugins — the same
|
|
40
|
+
* combination `check-guard-requires-parity.mjs` already parses every hook
|
|
41
|
+
* with), not brace-depth counting over source text. Brace-depth counting is
|
|
42
|
+
* fooled by a `{`/`}` inside a string, template literal, regex literal or
|
|
43
|
+
* comment; a real parser is immune to that class entirely, and
|
|
44
|
+
* `@babel/parser` is already an installed `dependencies` entry (not just
|
|
45
|
+
* `devDependencies`) used for the identical domain — reasoning about the
|
|
46
|
+
* lexical nesting of `hooks/**\/*.mjs`.
|
|
47
|
+
*
|
|
48
|
+
* GUARD DEFINITION. An `emitEvent(...)` `CallExpression` counts as guarded
|
|
49
|
+
* when walking its AST ancestor chain OUTWARD reaches a `TryStatement` —
|
|
50
|
+
* entered via its `.block` property specifically (not `.handler` /
|
|
51
|
+
* `.finalizer`: sitting INSIDE a catch or finally block is not "guarded by"
|
|
52
|
+
* that try) AND carrying a non-null `.handler` (an actual `catch` clause — a
|
|
53
|
+
* bare `try {} finally {}` does not swallow the throw, so it doesn't count
|
|
54
|
+
* either) — BEFORE crossing a function boundary (`FunctionDeclaration`,
|
|
55
|
+
* `FunctionExpression`, `ArrowFunctionExpression`, `ObjectMethod`,
|
|
56
|
+
* `ClassMethod`, `ClassPrivateMethod`). Crossing a function boundary first
|
|
57
|
+
* means the call can only be guarded by ITS OWN function's try, never by an
|
|
58
|
+
* outer function's — this is what makes the textbook false-negative case
|
|
59
|
+
* (`await helper()` inside an outer `try`, where `helper()` itself calls
|
|
60
|
+
* `emitEvent()` unguarded) correctly report unguarded rather than a false
|
|
61
|
+
* negative from naive text-proximity matching.
|
|
62
|
+
*
|
|
63
|
+
* NAMED CEILING (BV-004): a hook file that fails to parse under the plugin
|
|
64
|
+
* set above is reported as a tool-error FAIL for that file — never silently
|
|
65
|
+
* skipped, because a parse failure hiding a finding is worse than a loud
|
|
66
|
+
* one. REVISIT if `hooks/` ever needs syntax outside `topLevelAwait` +
|
|
67
|
+
* `importMeta` (e.g. decorators) — this repo's own ESLint config would need
|
|
68
|
+
* the same addition first, so the two drift together, not silently.
|
|
69
|
+
*
|
|
70
|
+
* Usage: check-hooks-emit-event-guard.mjs <repo-root>
|
|
71
|
+
* Output: ` PASS: …` / ` WARN: …` / ` FAIL: …` lines (two leading
|
|
72
|
+
* spaces), then `Results: N passed, M failed`. Exit 0 = clean (WARNs do not
|
|
73
|
+
* fail the build), 1 = at least one NEW (non-baselined) finding, 2 = tool
|
|
74
|
+
* error.
|
|
75
|
+
*
|
|
76
|
+
* Import-safety: importing this module MUST NOT execute anything — the
|
|
77
|
+
* isMain guard at the bottom is the only side-effecting path.
|
|
78
|
+
*/
|
|
79
|
+
|
|
80
|
+
import { readFileSync } from 'node:fs';
|
|
81
|
+
import path from 'node:path';
|
|
82
|
+
import { pathToFileURL } from 'node:url';
|
|
83
|
+
import { parse } from '@babel/parser';
|
|
84
|
+
import { listRepoFiles } from './repo-files.mjs';
|
|
85
|
+
|
|
86
|
+
// ---------------------------------------------------------------------------
|
|
87
|
+
// Baseline — Map<key, reason>, keyed on
|
|
88
|
+
// `<repo-relative-file>::<event-type-literal>` rather than a line number:
|
|
89
|
+
// `hooks/` churns under other waves in this repo's normal operation, and a
|
|
90
|
+
// line-number key would silently stop matching (or worse, mismatch a
|
|
91
|
+
// DIFFERENT call) on any unrelated edit above a baselined site. A static
|
|
92
|
+
// string-literal first argument (as every real emitEvent() call in this
|
|
93
|
+
// repo uses) makes the key stable.
|
|
94
|
+
//
|
|
95
|
+
// Empty on arrival (MED-3, FX-C, 2026-09-02): the five sites census'd at
|
|
96
|
+
// HEAD 2ccea0f2 (#1183) were guarded in the same wave that added this Map
|
|
97
|
+
// plus the baseline-stale / baseline-missing-reason detection below. A
|
|
98
|
+
// future addition MUST carry a non-empty reason naming the linked issue —
|
|
99
|
+
// an empty reason fails as `baseline-missing-reason`, and an entry whose
|
|
100
|
+
// site is later guarded (or removed) fails as `baseline-stale` rather than
|
|
101
|
+
// lingering as a silent, permanent WARN exemption.
|
|
102
|
+
// ---------------------------------------------------------------------------
|
|
103
|
+
|
|
104
|
+
const BASELINE_UNGUARDED = new Map();
|
|
105
|
+
|
|
106
|
+
const HOOKS_DIR_REL = 'hooks';
|
|
107
|
+
|
|
108
|
+
const FUNCTION_TYPES = new Set([
|
|
109
|
+
'FunctionDeclaration',
|
|
110
|
+
'FunctionExpression',
|
|
111
|
+
'ArrowFunctionExpression',
|
|
112
|
+
'ObjectMethod',
|
|
113
|
+
'ClassMethod',
|
|
114
|
+
'ClassPrivateMethod',
|
|
115
|
+
]);
|
|
116
|
+
|
|
117
|
+
/** AST metadata keys that are never worth descending into (no code nesting). */
|
|
118
|
+
const SKIP_KEYS = new Set([
|
|
119
|
+
'loc',
|
|
120
|
+
'start',
|
|
121
|
+
'end',
|
|
122
|
+
'extra',
|
|
123
|
+
'tokens',
|
|
124
|
+
'comments',
|
|
125
|
+
'errors',
|
|
126
|
+
'leadingComments',
|
|
127
|
+
'trailingComments',
|
|
128
|
+
'innerComments',
|
|
129
|
+
]);
|
|
130
|
+
|
|
131
|
+
/**
|
|
132
|
+
* Parse a source module with the same syntax family used by this repository
|
|
133
|
+
* for `hooks/**\/*.mjs` (mirrors `check-guard-requires-parity.mjs`).
|
|
134
|
+
*
|
|
135
|
+
* @param {string} source
|
|
136
|
+
* @param {string} filename
|
|
137
|
+
* @returns {import('@babel/parser').ParseResult<import('@babel/types').File>}
|
|
138
|
+
*/
|
|
139
|
+
function parseModule(source, filename) {
|
|
140
|
+
return parse(source, {
|
|
141
|
+
sourceType: 'module',
|
|
142
|
+
sourceFilename: filename,
|
|
143
|
+
errorRecovery: false,
|
|
144
|
+
plugins: ['topLevelAwait', 'importMeta'],
|
|
145
|
+
});
|
|
146
|
+
}
|
|
147
|
+
|
|
148
|
+
/**
|
|
149
|
+
* @param {{node: any, key: string | number}[]} ancestors outer→inner
|
|
150
|
+
* @returns {boolean}
|
|
151
|
+
*/
|
|
152
|
+
function isGuardedByTry(ancestors) {
|
|
153
|
+
for (let i = ancestors.length - 1; i >= 0; i -= 1) {
|
|
154
|
+
const { node, key } = ancestors[i];
|
|
155
|
+
if (FUNCTION_TYPES.has(node.type)) return false; // own function's scope — stop here
|
|
156
|
+
if (node.type === 'TryStatement' && key === 'block' && node.handler !== null && node.handler !== undefined) return true;
|
|
157
|
+
}
|
|
158
|
+
return false;
|
|
159
|
+
}
|
|
160
|
+
|
|
161
|
+
/**
|
|
162
|
+
* @param {any} callNode a CallExpression node
|
|
163
|
+
* @returns {string | null} the first argument's literal string value, else null
|
|
164
|
+
*/
|
|
165
|
+
function eventTypeLiteral(callNode) {
|
|
166
|
+
const arg = callNode.arguments?.[0];
|
|
167
|
+
return arg && arg.type === 'StringLiteral' ? arg.value : null;
|
|
168
|
+
}
|
|
169
|
+
|
|
170
|
+
/**
|
|
171
|
+
* Find every `emitEvent(...)` call site in `source` and classify each as
|
|
172
|
+
* guarded/unguarded per {@link isGuardedByTry}.
|
|
173
|
+
*
|
|
174
|
+
* @param {string} source
|
|
175
|
+
* @param {string} filename repo-relative path, used only for parse error messages
|
|
176
|
+
* @returns {{line: number, guarded: boolean, eventType: string | null}[]}
|
|
177
|
+
*/
|
|
178
|
+
export function findEmitEventCalls(source, filename) {
|
|
179
|
+
const ast = parseModule(source, filename);
|
|
180
|
+
const calls = [];
|
|
181
|
+
|
|
182
|
+
/**
|
|
183
|
+
* @param {any} node
|
|
184
|
+
* @param {{node: any, key: string | number}[]} ancestors
|
|
185
|
+
*/
|
|
186
|
+
function visit(node, ancestors) {
|
|
187
|
+
if (Array.isArray(node)) {
|
|
188
|
+
for (const item of node) visit(item, ancestors);
|
|
189
|
+
return;
|
|
190
|
+
}
|
|
191
|
+
if (!node || typeof node !== 'object' || typeof node.type !== 'string') return;
|
|
192
|
+
|
|
193
|
+
if (
|
|
194
|
+
node.type === 'CallExpression' &&
|
|
195
|
+
node.callee?.type === 'Identifier' &&
|
|
196
|
+
node.callee.name === 'emitEvent'
|
|
197
|
+
) {
|
|
198
|
+
calls.push({
|
|
199
|
+
line: node.loc?.start?.line ?? 0,
|
|
200
|
+
guarded: isGuardedByTry(ancestors),
|
|
201
|
+
eventType: eventTypeLiteral(node),
|
|
202
|
+
});
|
|
203
|
+
}
|
|
204
|
+
|
|
205
|
+
for (const [key, child] of Object.entries(node)) {
|
|
206
|
+
if (SKIP_KEYS.has(key)) continue;
|
|
207
|
+
if (child && typeof child === 'object') {
|
|
208
|
+
ancestors.push({ node, key });
|
|
209
|
+
visit(child, ancestors);
|
|
210
|
+
ancestors.pop();
|
|
211
|
+
}
|
|
212
|
+
}
|
|
213
|
+
}
|
|
214
|
+
|
|
215
|
+
visit(ast.program, []);
|
|
216
|
+
return calls;
|
|
217
|
+
}
|
|
218
|
+
|
|
219
|
+
/**
|
|
220
|
+
* @typedef {{kind: 'unguarded', file: string, line: number, eventType: string | null, baselined: boolean}} UnguardedFinding
|
|
221
|
+
* @typedef {{kind: 'baseline-stale' | 'baseline-missing-reason', key: string, message: string}} BaselineFinding
|
|
222
|
+
* @typedef {UnguardedFinding | BaselineFinding} Finding
|
|
223
|
+
*/
|
|
224
|
+
|
|
225
|
+
/**
|
|
226
|
+
* @param {string} repoRoot
|
|
227
|
+
* @param {{baseline?: Map<string, string>}} [options] `baseline` defaults to
|
|
228
|
+
* the module-level `BASELINE_UNGUARDED` (empty in production); injectable
|
|
229
|
+
* so tests can exercise `baseline-stale` / `baseline-missing-reason`
|
|
230
|
+
* against a synthetic map without mutating the shipped baseline.
|
|
231
|
+
* @returns {{findings: Finding[], parseErrors: {file: string, message: string}[]}}
|
|
232
|
+
*/
|
|
233
|
+
export function scanHooksEmitEventGuard(repoRoot, { baseline = BASELINE_UNGUARDED } = {}) {
|
|
234
|
+
const files = listRepoFiles(repoRoot, { dirs: [HOOKS_DIR_REL], exts: ['mjs'] });
|
|
235
|
+
/** @type {Finding[]} */
|
|
236
|
+
const findings = [];
|
|
237
|
+
/** @type {{file: string, message: string}[]} */
|
|
238
|
+
const parseErrors = [];
|
|
239
|
+
/** @type {Set<string>} baseline keys that matched a real unguarded call site this scan */
|
|
240
|
+
const flagged = new Set();
|
|
241
|
+
|
|
242
|
+
for (const absFile of files) {
|
|
243
|
+
const rel = path.relative(repoRoot, absFile).split(path.sep).join('/');
|
|
244
|
+
let source;
|
|
245
|
+
try {
|
|
246
|
+
source = readFileSync(absFile, 'utf8');
|
|
247
|
+
} catch (err) {
|
|
248
|
+
parseErrors.push({ file: rel, message: `unreadable: ${err?.message ?? String(err)}` });
|
|
249
|
+
continue;
|
|
250
|
+
}
|
|
251
|
+
if (!source.includes('emitEvent(')) continue; // cheap textual pre-filter
|
|
252
|
+
|
|
253
|
+
let calls;
|
|
254
|
+
try {
|
|
255
|
+
calls = findEmitEventCalls(source, rel);
|
|
256
|
+
} catch (err) {
|
|
257
|
+
parseErrors.push({ file: rel, message: err?.message ?? String(err) });
|
|
258
|
+
continue;
|
|
259
|
+
}
|
|
260
|
+
|
|
261
|
+
for (const call of calls) {
|
|
262
|
+
if (call.guarded) continue;
|
|
263
|
+
const key = `${rel}::${call.eventType ?? `L${call.line}`}`;
|
|
264
|
+
const isBaselined = baseline.has(key);
|
|
265
|
+
if (isBaselined) {
|
|
266
|
+
flagged.add(key);
|
|
267
|
+
const reason = baseline.get(key);
|
|
268
|
+
if (String(reason ?? '').trim() === '') {
|
|
269
|
+
findings.push({
|
|
270
|
+
kind: 'baseline-missing-reason',
|
|
271
|
+
key,
|
|
272
|
+
message: 'baseline entry has no reason — name the linked issue or remove the entry',
|
|
273
|
+
});
|
|
274
|
+
}
|
|
275
|
+
}
|
|
276
|
+
findings.push({
|
|
277
|
+
kind: 'unguarded',
|
|
278
|
+
file: rel,
|
|
279
|
+
line: call.line,
|
|
280
|
+
eventType: call.eventType,
|
|
281
|
+
baselined: isBaselined,
|
|
282
|
+
});
|
|
283
|
+
}
|
|
284
|
+
}
|
|
285
|
+
|
|
286
|
+
// Mirrors check-unwired-features.mjs's ALLOWLIST drain (see the header
|
|
287
|
+
// quote above): a baseline entry that no longer matches ANY unguarded call
|
|
288
|
+
// site this scan found — because the site is now guarded, or gone
|
|
289
|
+
// entirely — is stale and must be removed, not left as a permanent
|
|
290
|
+
// exemption.
|
|
291
|
+
for (const key of baseline.keys()) {
|
|
292
|
+
if (flagged.has(key)) continue;
|
|
293
|
+
findings.push({
|
|
294
|
+
kind: 'baseline-stale',
|
|
295
|
+
key,
|
|
296
|
+
message: 'baseline entry no longer matches an unguarded call site (guarded or removed) — remove the entry',
|
|
297
|
+
});
|
|
298
|
+
}
|
|
299
|
+
|
|
300
|
+
return { findings, parseErrors };
|
|
301
|
+
}
|
|
302
|
+
|
|
303
|
+
// ---------------------------------------------------------------------------
|
|
304
|
+
// CLI
|
|
305
|
+
// ---------------------------------------------------------------------------
|
|
306
|
+
|
|
307
|
+
/**
|
|
308
|
+
* Run the check against a repo root, printing the validate-plugin line
|
|
309
|
+
* vocabulary.
|
|
310
|
+
*
|
|
311
|
+
* @param {string} repoRoot
|
|
312
|
+
* @param {{baseline?: Map<string, string>}} [options] forwarded to
|
|
313
|
+
* {@link scanHooksEmitEventGuard} — see its JSDoc for why this is
|
|
314
|
+
* injectable (test-only; the CLI entrypoint below never passes it).
|
|
315
|
+
* @returns {number} 0 = clean (baselined WARNs allowed), 1 = new finding(s), 2 = tool error
|
|
316
|
+
*/
|
|
317
|
+
export function runCheckHooksEmitEventGuard(repoRoot, options) {
|
|
318
|
+
console.log('--- Check: hooks emitEvent() try/catch guard (#1183) ---');
|
|
319
|
+
|
|
320
|
+
const { findings, parseErrors } = scanHooksEmitEventGuard(repoRoot, options);
|
|
321
|
+
|
|
322
|
+
if (parseErrors.length > 0) {
|
|
323
|
+
for (const e of parseErrors) console.log(` FAIL: ${e.file} — ${e.message}`);
|
|
324
|
+
console.log('');
|
|
325
|
+
console.log(`Results: 0 passed, ${parseErrors.length} failed`);
|
|
326
|
+
return 2;
|
|
327
|
+
}
|
|
328
|
+
|
|
329
|
+
const unguarded = findings.filter((f) => f.kind === 'unguarded');
|
|
330
|
+
const baselineIssues = findings.filter((f) => f.kind === 'baseline-stale' || f.kind === 'baseline-missing-reason');
|
|
331
|
+
|
|
332
|
+
const newUnguarded = unguarded.filter((f) => !f.baselined);
|
|
333
|
+
const baselinedUnguarded = unguarded.filter((f) => f.baselined);
|
|
334
|
+
|
|
335
|
+
if (newUnguarded.length === 0 && baselineIssues.length === 0) {
|
|
336
|
+
console.log(
|
|
337
|
+
baselinedUnguarded.length === 0
|
|
338
|
+
? ' PASS: every hooks/**/*.mjs emitEvent() call site is try/catch-guarded'
|
|
339
|
+
: ` PASS: no NEW unguarded emitEvent() call sites (${baselinedUnguarded.length} pre-existing, baselined — see #1183)`,
|
|
340
|
+
);
|
|
341
|
+
}
|
|
342
|
+
for (const f of baselinedUnguarded) {
|
|
343
|
+
console.log(
|
|
344
|
+
` WARN: ${f.file}:${f.line} — emitEvent('${f.eventType ?? '?'}') not inside a try/catch (pre-existing, baselined #1183 — out of this checker's file-scope to fix)`,
|
|
345
|
+
);
|
|
346
|
+
}
|
|
347
|
+
for (const f of newUnguarded) {
|
|
348
|
+
console.log(
|
|
349
|
+
` FAIL: ${f.file}:${f.line} — emitEvent('${f.eventType ?? '?'}') not inside a try/catch — a throw here aborts the hook process`,
|
|
350
|
+
);
|
|
351
|
+
}
|
|
352
|
+
for (const f of baselineIssues) {
|
|
353
|
+
console.log(` FAIL: ${f.key} — ${f.message} (${f.kind})`);
|
|
354
|
+
}
|
|
355
|
+
|
|
356
|
+
const failCount = newUnguarded.length + baselineIssues.length;
|
|
357
|
+
console.log('');
|
|
358
|
+
console.log(`Results: ${failCount === 0 ? 1 : 0} passed, ${failCount} failed`);
|
|
359
|
+
return failCount > 0 ? 1 : 0;
|
|
360
|
+
}
|
|
361
|
+
|
|
362
|
+
const isMain = import.meta.url === pathToFileURL(process.argv[1] || '').href;
|
|
363
|
+
if (isMain) {
|
|
364
|
+
const root = process.argv[2];
|
|
365
|
+
if (!root) {
|
|
366
|
+
console.error('Usage: check-hooks-emit-event-guard.mjs <repo-root>');
|
|
367
|
+
process.exit(2);
|
|
368
|
+
}
|
|
369
|
+
process.exit(runCheckHooksEmitEventGuard(path.resolve(root)));
|
|
370
|
+
}
|