@kici-dev/engine 0.4.0 → 0.5.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.
Files changed (41) hide show
  1. package/dist/context/host-match.js +2 -1
  2. package/dist/index.d.ts +3 -1
  3. package/dist/index.js +7 -5
  4. package/dist/labels/compile.d.ts +2 -7
  5. package/dist/labels/compile.js +1 -10
  6. package/dist/labels.d.ts +8 -0
  7. package/dist/labels.js +9 -1
  8. package/dist/metrics/catalog-policy.d.ts +11 -0
  9. package/dist/metrics/catalog-policy.js +13 -3
  10. package/dist/metrics/metric-catalog.generated.d.ts +30 -0
  11. package/dist/metrics/metric-catalog.generated.js +36 -0
  12. package/dist/protocol/messages/dashboard-global-workflows.d.ts +8 -3
  13. package/dist/protocol/messages/dashboard-global-workflows.js +20 -3
  14. package/dist/protocol/messages/dashboard.d.ts +5 -2
  15. package/dist/protocol/messages/dashboard.js +7 -0
  16. package/dist/protocol/messages/execution-status.d.ts +3 -0
  17. package/dist/protocol/messages/execution-status.js +16 -0
  18. package/dist/protocol/messages/orchestrator-agent.d.ts +49 -0
  19. package/dist/protocol/messages/orchestrator-agent.js +34 -1
  20. package/dist/protocol/messages/platform-orchestrator.d.ts +5 -2
  21. package/dist/protocol/messages/platform-orchestrator.js +14 -0
  22. package/dist/provider/check-status-poster.d.ts +14 -0
  23. package/dist/provider/file-contents-fetcher.d.ts +39 -0
  24. package/dist/provider/file-contents-fetcher.js +2 -0
  25. package/dist/provider/index.d.ts +2 -0
  26. package/dist/safe-regex.d.ts +16 -0
  27. package/dist/safe-regex.js +24 -0
  28. package/dist/trigger/compiled-matchers.d.ts +21 -1
  29. package/dist/trigger/compiled-matchers.js +30 -3
  30. package/dist/trigger/content-requirements.d.ts +31 -0
  31. package/dist/trigger/content-requirements.js +125 -0
  32. package/dist/trigger/decision-trace.d.ts +89 -0
  33. package/dist/trigger/decision-trace.js +96 -1
  34. package/dist/trigger/jsonpath-matcher.js +5 -1
  35. package/dist/trigger/matcher.js +57 -8
  36. package/dist/trigger/text-match.d.ts +27 -0
  37. package/dist/trigger/text-match.js +86 -0
  38. package/dist/trigger/types.d.ts +179 -17
  39. package/dist/trigger/types.js +32 -5
  40. package/package.json +10 -1
  41. package/sbom.spdx.json +30 -5
@@ -0,0 +1,125 @@
1
+ import "../rolldown-runtime-ClRpJifh.js";
2
+ import { resolveContentFormat } from "./types.js";
3
+ import { evaluateTextMatch } from "./text-match.js";
4
+ import { matchJsonPath, matchJsonPathNot } from "./jsonpath-matcher.js";
5
+ import { JSONPath } from "jsonpath-plus";
6
+ import { parse } from "yaml";
7
+ //#region src/trigger/content-requirements.ts
8
+ /**
9
+ * Declarative static content-filter matcher.
10
+ *
11
+ * A git-event trigger may carry a `requires` list ({@link LockContentRequirement}):
12
+ * pure DATA describing a query over the bytes of one source file at the event's
13
+ * ref. The orchestrator interprets that data here — it never executes author
14
+ * code — which is what keeps content filtering inside the orchestrator under the
15
+ * execution-purity model.
16
+ *
17
+ * This module imports `yaml`, so it is a Node-safe subpath export
18
+ * (`@kici-dev/engine/trigger/content-requirements`) and is deliberately kept out
19
+ * of the browser-facing engine barrel (`src/index.ts`).
20
+ */
21
+ /** Hard byte cap enforced before any parse: an oversize file is indeterminate. */
22
+ const MAX_CONTENT_BYTES = 1024 * 1024;
23
+ /**
24
+ * Anchor/alias expansion cap for YAML parsing. The `yaml` library's default of
25
+ * 100 does not reject a small billion-laughs bomb; 50 rejects it while staying
26
+ * generous for legitimately-anchored configs (merge keys, shared defaults). The
27
+ * 1 MiB byte cap above bounds total node count as the complementary limit.
28
+ */
29
+ const YAML_MAX_ALIAS_COUNT = 50;
30
+ /**
31
+ * Parse `bytes` for the given concrete format. `text` returns the raw string;
32
+ * `json` uses `JSON.parse`; `yaml` uses a hardened `yaml.parse` with an explicit
33
+ * anchor/alias cap. Throws on a malformed document (the caller treats a throw as
34
+ * indeterminate).
35
+ */
36
+ function parseForFormat(bytes, format) {
37
+ switch (format) {
38
+ case "json": return JSON.parse(bytes);
39
+ case "yaml": return parse(bytes, { maxAliasCount: YAML_MAX_ALIAS_COUNT });
40
+ case "text": return bytes;
41
+ }
42
+ }
43
+ /** True when the JSONPath resolves to ≥1 node in the parsed document. */
44
+ function pathExists(doc, path) {
45
+ return JSONPath({
46
+ path,
47
+ json: doc,
48
+ wrap: true
49
+ }).length > 0;
50
+ }
51
+ /** JSONPath queries need an object root; wrap a non-object parsed doc so lookups stay safe. */
52
+ function asJsonRoot(doc) {
53
+ return typeof doc === "object" && doc !== null ? doc : {};
54
+ }
55
+ /**
56
+ * Evaluate one content requirement against the resolved file map.
57
+ * Returns a per-entry {@link ContentRequirementResult}. `pass:false` with no
58
+ * `indeterminate` is a definite negative; `indeterminate` means the file could
59
+ * not be evaluated (oversize, parse failure, unsafe regex) and is fail-visible.
60
+ */
61
+ function evaluateOne(req, entry) {
62
+ const present = entry?.present === true;
63
+ if (req.absent) return { pass: !present };
64
+ if (!present) return { pass: false };
65
+ const bytes = entry?.bytes ?? "";
66
+ if (Buffer.byteLength(bytes, "utf8") > MAX_CONTENT_BYTES) return {
67
+ pass: false,
68
+ indeterminate: `${req.file}: exceeds 1 MiB size cap`
69
+ };
70
+ const textResult = evaluateTextMatch(bytes, {
71
+ ...req.contains !== void 0 && { contains: req.contains },
72
+ ...req.notContains !== void 0 && { notContains: req.notContains },
73
+ ...req.matches !== void 0 && { matches: req.matches },
74
+ ...req.notMatches !== void 0 && { notMatches: req.notMatches },
75
+ ...req.ignoreCase !== void 0 && { ignoreCase: req.ignoreCase }
76
+ });
77
+ if (textResult.indeterminate) return {
78
+ pass: false,
79
+ indeterminate: `${req.file}: ${textResult.indeterminate}`
80
+ };
81
+ if (!textResult.pass) return { pass: false };
82
+ if (req.exists && req.exists.length > 0 || req.match && Object.keys(req.match).length > 0 || req.not && Object.keys(req.not).length > 0) {
83
+ const format = resolveContentFormat(req.file, req.format);
84
+ let parsed;
85
+ try {
86
+ parsed = parseForFormat(bytes, format);
87
+ } catch (err) {
88
+ const reason = err instanceof Error ? err.message : String(err);
89
+ return {
90
+ pass: false,
91
+ indeterminate: `${req.file}: failed to parse as ${format}: ${reason}`
92
+ };
93
+ }
94
+ const root = asJsonRoot(parsed);
95
+ if (req.exists) {
96
+ for (const path of req.exists) if (!pathExists(parsed, path)) return { pass: false };
97
+ }
98
+ if (req.match && !matchJsonPath(root, req.match)) return { pass: false };
99
+ if (req.not && !matchJsonPathNot(root, req.not)) return { pass: false };
100
+ }
101
+ return { pass: true };
102
+ }
103
+ /**
104
+ * Evaluate an AND-ed list of content requirements against a resolved file map.
105
+ *
106
+ * Every entry must pass for the overall result to pass; an empty list passes.
107
+ * The first indeterminate entry short-circuits and is surfaced (fail-visible):
108
+ * an unevaluable file NEVER passes silently.
109
+ *
110
+ * @param reqs The lock `requires` list (each entry AND-ed).
111
+ * @param files Resolved file contents keyed by repo-relative path. A missing key
112
+ * or `{ present: false }` means the file does not exist at the ref.
113
+ */
114
+ function evaluateContentRequirements(reqs, files) {
115
+ for (const req of reqs) {
116
+ const result = evaluateOne(req, files.get(req.file));
117
+ if (result.indeterminate) return result;
118
+ if (!result.pass) return { pass: false };
119
+ }
120
+ return { pass: true };
121
+ }
122
+ //#endregion
123
+ export { evaluateContentRequirements, parseForFormat };
124
+
125
+ //# sourceMappingURL=content-requirements.js.map
@@ -2,6 +2,7 @@
2
2
  * Decision trace recording for debugging trigger matching.
3
3
  * Records every check performed during trigger evaluation.
4
4
  */
5
+ import type { LockTextMatch } from './types.js';
5
6
  /**
6
7
  * Individual trace entry for a single check.
7
8
  */
@@ -34,6 +35,94 @@ export interface WorkflowDecision {
34
35
  * Create a new trace entry.
35
36
  */
36
37
  export declare function createTraceEntry(check: string, pattern: string, value: string, passed: boolean, reason?: string): TraceEntry;
38
+ /**
39
+ * Stable `check` labels for the gates an organization-wide global workflow
40
+ * passes on its way to dispatch.
41
+ *
42
+ * The other trigger checks are minted with free-text labels because each one
43
+ * names the trigger field it read. These are named constants instead: they are
44
+ * recorded in one package and read back in another — by code, and by whoever is
45
+ * asking "why did nothing run?" — so a typo on either side would silently
46
+ * produce a trace nobody can search for.
47
+ */
48
+ export declare const TraceCheck: {
49
+ /** `repos` glob/regex filter, deciding whether a workflow applies to the event's repo. */
50
+ readonly RepoFilter: 'repo';
51
+ /** Tier-1 declarative `requires` content filter, interpreted by the orchestrator. */
52
+ readonly ContentRequirements: 'requires';
53
+ /** Tier-2 `filter` predicate, run by an agent in the global eval round. */
54
+ readonly GlobalFilter: 'filter';
55
+ /** Tier-0 declarative `commitMessage` filter, read from the normalized event. */
56
+ readonly CommitMessage: 'commitMessage';
57
+ };
58
+ export type TraceCheck = (typeof TraceCheck)[keyof typeof TraceCheck];
59
+ /**
60
+ * Verdict vocabulary shared by both gates.
61
+ *
62
+ * `Indeterminate` is deliberately distinct from `Excluded`: a gate that could
63
+ * not be evaluated did not decide anything, and reporting it as an exclusion
64
+ * would tell a workflow author their filter said no when nothing ever ran it.
65
+ */
66
+ export declare const TraceVerdict: {
67
+ readonly Matched: 'matched';
68
+ readonly Excluded: 'excluded';
69
+ readonly Indeterminate: 'indeterminate';
70
+ };
71
+ export type TraceVerdict = (typeof TraceVerdict)[keyof typeof TraceVerdict];
72
+ /**
73
+ * Record the Tier-1 `requires` content filter's verdict for one workflow.
74
+ *
75
+ * `files` is the set of repo-relative paths the requirement list reads, so the
76
+ * entry names what was inspected as well as what it concluded.
77
+ */
78
+ export declare function createContentRequirementsTraceEntry(args: {
79
+ files: readonly string[];
80
+ passed: boolean;
81
+ /** Set when the requirement list could not be evaluated (unreadable file, bad parse). */
82
+ indeterminate?: boolean;
83
+ reason?: string;
84
+ }): TraceEntry;
85
+ /**
86
+ * Record the Tier-2 `filter` predicate's verdict for one workflow.
87
+ *
88
+ * Without this entry a `filter` exclusion is invisible: the predicate runs on an
89
+ * agent, returns `false`, and the workflow simply never appears — leaving its
90
+ * author nothing to inspect. The entry is the answer to "why did nothing run?".
91
+ */
92
+ export declare function createGlobalFilterTraceEntry(args: {
93
+ /** The round's verdict for this candidate: `true` means the filter admitted it. */
94
+ run: boolean;
95
+ /** True when the round could not decide (a failed round, a budget breach). */
96
+ indeterminate?: boolean;
97
+ reason?: string;
98
+ }): TraceEntry;
99
+ /**
100
+ * Return a copy of `decision` with `entries` appended to its checks.
101
+ *
102
+ * A decision is treated as a value, never mutated in place: the same object is
103
+ * read by the caller that recorded it, and a gate appending to it would
104
+ * retroactively rewrite what an earlier reader saw.
105
+ *
106
+ * A failing appended entry demotes `matched` and replaces `summary`, because a
107
+ * workflow whose triggers matched but whose content filter excluded it did NOT
108
+ * match overall — reporting it as matched is precisely the invisible outcome
109
+ * these entries exist to explain.
110
+ */
111
+ export declare function appendChecks(decision: WorkflowDecision, entries: readonly TraceEntry[]): WorkflowDecision;
112
+ /**
113
+ * Record the Tier-0 `commitMessage` filter's verdict for one trigger.
114
+ *
115
+ * `text: undefined` means the event carried no message — an INDETERMINATE
116
+ * verdict, deliberately distinct from an exclusion: reporting it as "excluded"
117
+ * would tell an author their filter said no when nothing ever read it.
118
+ */
119
+ export declare function createCommitMessageTraceEntry(args: {
120
+ match: LockTextMatch;
121
+ text: string | undefined;
122
+ passed: boolean;
123
+ indeterminate?: boolean;
124
+ reason?: string;
125
+ }): TraceEntry;
37
126
  /**
38
127
  * Create a workflow decision record.
39
128
  */
@@ -1,6 +1,11 @@
1
1
  import "../rolldown-runtime-ClRpJifh.js";
2
+ import { describeTextMatch } from "./text-match.js";
2
3
  //#region src/trigger/decision-trace.ts
3
4
  /**
5
+ * Decision trace recording for debugging trigger matching.
6
+ * Records every check performed during trigger evaluation.
7
+ */
8
+ /**
4
9
  * Create a new trace entry.
5
10
  */
6
11
  function createTraceEntry(check, pattern, value, passed, reason) {
@@ -13,6 +18,96 @@ function createTraceEntry(check, pattern, value, passed, reason) {
13
18
  };
14
19
  }
15
20
  /**
21
+ * Stable `check` labels for the gates an organization-wide global workflow
22
+ * passes on its way to dispatch.
23
+ *
24
+ * The other trigger checks are minted with free-text labels because each one
25
+ * names the trigger field it read. These are named constants instead: they are
26
+ * recorded in one package and read back in another — by code, and by whoever is
27
+ * asking "why did nothing run?" — so a typo on either side would silently
28
+ * produce a trace nobody can search for.
29
+ */
30
+ const TraceCheck = {
31
+ /** `repos` glob/regex filter, deciding whether a workflow applies to the event's repo. */
32
+ RepoFilter: "repo",
33
+ /** Tier-1 declarative `requires` content filter, interpreted by the orchestrator. */
34
+ ContentRequirements: "requires",
35
+ /** Tier-2 `filter` predicate, run by an agent in the global eval round. */
36
+ GlobalFilter: "filter",
37
+ /** Tier-0 declarative `commitMessage` filter, read from the normalized event. */
38
+ CommitMessage: "commitMessage"
39
+ };
40
+ /**
41
+ * Verdict vocabulary shared by both gates.
42
+ *
43
+ * `Indeterminate` is deliberately distinct from `Excluded`: a gate that could
44
+ * not be evaluated did not decide anything, and reporting it as an exclusion
45
+ * would tell a workflow author their filter said no when nothing ever ran it.
46
+ */
47
+ const TraceVerdict = {
48
+ Matched: "matched",
49
+ Excluded: "excluded",
50
+ Indeterminate: "indeterminate"
51
+ };
52
+ /** Pick the verdict for a gate from its pass flag and whether it could decide. */
53
+ function verdictFor(passed, indeterminate) {
54
+ if (indeterminate) return TraceVerdict.Indeterminate;
55
+ return passed ? TraceVerdict.Matched : TraceVerdict.Excluded;
56
+ }
57
+ /**
58
+ * Record the Tier-1 `requires` content filter's verdict for one workflow.
59
+ *
60
+ * `files` is the set of repo-relative paths the requirement list reads, so the
61
+ * entry names what was inspected as well as what it concluded.
62
+ */
63
+ function createContentRequirementsTraceEntry(args) {
64
+ return createTraceEntry(TraceCheck.ContentRequirements, args.files.length > 0 ? args.files.join(", ") : "(no files)", verdictFor(args.passed, args.indeterminate === true), args.passed, args.reason);
65
+ }
66
+ /**
67
+ * Record the Tier-2 `filter` predicate's verdict for one workflow.
68
+ *
69
+ * Without this entry a `filter` exclusion is invisible: the predicate runs on an
70
+ * agent, returns `false`, and the workflow simply never appears — leaving its
71
+ * author nothing to inspect. The entry is the answer to "why did nothing run?".
72
+ */
73
+ function createGlobalFilterTraceEntry(args) {
74
+ return createTraceEntry(TraceCheck.GlobalFilter, "filter(context) === true", verdictFor(args.run, args.indeterminate === true), args.run, args.reason);
75
+ }
76
+ /**
77
+ * Return a copy of `decision` with `entries` appended to its checks.
78
+ *
79
+ * A decision is treated as a value, never mutated in place: the same object is
80
+ * read by the caller that recorded it, and a gate appending to it would
81
+ * retroactively rewrite what an earlier reader saw.
82
+ *
83
+ * A failing appended entry demotes `matched` and replaces `summary`, because a
84
+ * workflow whose triggers matched but whose content filter excluded it did NOT
85
+ * match overall — reporting it as matched is precisely the invisible outcome
86
+ * these entries exist to explain.
87
+ */
88
+ function appendChecks(decision, entries) {
89
+ const failed = entries.find((entry) => !entry.passed);
90
+ return {
91
+ ...decision,
92
+ matched: decision.matched && failed === void 0,
93
+ checks: [...decision.checks, ...entries],
94
+ summary: failed ? failed.reason ?? `Excluded by the ${failed.check} check` : decision.summary
95
+ };
96
+ }
97
+ /** Max characters of the message recorded in a trace, so an essay-length body stays bounded. */
98
+ const TRACE_TEXT_MAX = 200;
99
+ /**
100
+ * Record the Tier-0 `commitMessage` filter's verdict for one trigger.
101
+ *
102
+ * `text: undefined` means the event carried no message — an INDETERMINATE
103
+ * verdict, deliberately distinct from an exclusion: reporting it as "excluded"
104
+ * would tell an author their filter said no when nothing ever read it.
105
+ */
106
+ function createCommitMessageTraceEntry(args) {
107
+ const shown = args.text === void 0 ? "(absent)" : args.text.length > TRACE_TEXT_MAX ? `${args.text.slice(0, TRACE_TEXT_MAX)}…` : args.text;
108
+ return createTraceEntry(TraceCheck.CommitMessage, describeTextMatch(args.match), verdictFor(args.passed, args.indeterminate === true), args.passed, args.reason ?? `message: ${JSON.stringify(shown)}`);
109
+ }
110
+ /**
16
111
  * Create a workflow decision record.
17
112
  */
18
113
  function createWorkflowDecision(workflowName, matched, checks, matchedTrigger, summary) {
@@ -25,6 +120,6 @@ function createWorkflowDecision(workflowName, matched, checks, matchedTrigger, s
25
120
  };
26
121
  }
27
122
  //#endregion
28
- export { createTraceEntry, createWorkflowDecision };
123
+ export { TraceCheck, TraceVerdict, appendChecks, createCommitMessageTraceEntry, createContentRequirementsTraceEntry, createGlobalFilterTraceEntry, createTraceEntry, createWorkflowDecision };
29
124
 
30
125
  //# sourceMappingURL=decision-trace.js.map
@@ -1,4 +1,5 @@
1
1
  import "../rolldown-runtime-ClRpJifh.js";
2
+ import { assertSafeRegex } from "../safe-regex.js";
2
3
  import { JSONPath } from "jsonpath-plus";
3
4
  //#region src/trigger/jsonpath-matcher.ts
4
5
  /**
@@ -81,7 +82,10 @@ function matchValue(results, expected) {
81
82
  function valueEquals(result, expected) {
82
83
  if (typeof expected === "string" && typeof result === "string") {
83
84
  const regexMatch = /^\/(.+)\/([gimsuy]*)$/.exec(expected);
84
- if (regexMatch) return new RegExp(regexMatch[1], regexMatch[2]).test(result);
85
+ if (regexMatch) {
86
+ assertSafeRegex(regexMatch[1], regexMatch[2], "jsonpath match");
87
+ return new RegExp(regexMatch[1], regexMatch[2]).test(result);
88
+ }
85
89
  return result === expected;
86
90
  }
87
91
  return result === expected;
@@ -1,6 +1,7 @@
1
1
  import "../rolldown-runtime-ClRpJifh.js";
2
- import { createTraceEntry, createWorkflowDecision } from "./decision-trace.js";
3
- import { getCompiledRegex, getGlobMatcher } from "./compiled-matchers.js";
2
+ import { evaluateTextMatch } from "./text-match.js";
3
+ import { TraceCheck, createCommitMessageTraceEntry, createTraceEntry, createWorkflowDecision } from "./decision-trace.js";
4
+ import { getCompiledRegex, getGlobMatcher, getRepoGlobMatcher } from "./compiled-matchers.js";
4
5
  import { matchJsonPath, matchJsonPathNot } from "./jsonpath-matcher.js";
5
6
  //#region src/trigger/matcher.ts
6
7
  /**
@@ -35,7 +36,21 @@ function splitBranchPatterns(patterns) {
35
36
  */
36
37
  function matchBranchPattern(pattern, branch) {
37
38
  if (pattern.type === "glob") return getGlobMatcher(pattern.pattern)(branch);
38
- else return getCompiledRegex(pattern.pattern, pattern.flags).test(branch);
39
+ else return getCompiledRegex(pattern.pattern, pattern.flags, "branch/tag/repo pattern").test(branch);
40
+ }
41
+ /**
42
+ * Match a repo pattern against a repository identifier.
43
+ *
44
+ * Same shape as {@link matchBranchPattern}, but glob patterns compile through
45
+ * {@link getRepoGlobMatcher} so a dot-prefixed identifier (`.hidden/repo`) is
46
+ * matched by `**`. Repo identifiers are org/name pairs, not paths, so there is
47
+ * no dotfile convention to respect — and `repos: ['**']` means every repo.
48
+ *
49
+ * Regex patterns are unaffected: `dot` is a glob option with no regex analogue.
50
+ */
51
+ function matchRepoPattern(pattern, repo) {
52
+ if (pattern.type === "glob") return getRepoGlobMatcher(pattern.pattern)(repo);
53
+ return getCompiledRegex(pattern.pattern, pattern.flags, "branch/tag/repo pattern").test(repo);
39
54
  }
40
55
  /**
41
56
  * Match any of the branch patterns.
@@ -73,10 +88,10 @@ function matchRepoPatterns(repos, sourceRepo) {
73
88
  if (repos.length === 0) return true;
74
89
  const { include, exclude } = splitBranchPatterns(repos);
75
90
  if (exclude.length > 0) {
76
- if (exclude.some((p) => matchBranchPattern(p, sourceRepo))) return false;
91
+ if (exclude.some((p) => matchRepoPattern(p, sourceRepo))) return false;
77
92
  }
78
93
  if (include.length === 0) return true;
79
- return include.some((p) => matchBranchPattern(p, sourceRepo));
94
+ return include.some((p) => matchRepoPattern(p, sourceRepo));
80
95
  }
81
96
  /**
82
97
  * Evaluate repo pattern filter for a trigger against an event.
@@ -86,17 +101,48 @@ function matchRepoPatterns(repos, sourceRepo) {
86
101
  function evaluateRepoFilter(trigger, event, traces) {
87
102
  if (trigger.repos?.length) {
88
103
  if (!event.sourceRepo) {
89
- traces.push(createTraceEntry("repo", "required", "(missing)", false));
104
+ traces.push(createTraceEntry(TraceCheck.RepoFilter, "required", "(missing)", false));
90
105
  return false;
91
106
  }
92
107
  const { include, exclude } = splitBranchPatterns(trigger.repos);
93
108
  const repoMatch = matchRepoPatterns(trigger.repos, event.sourceRepo);
94
- traces.push(createTraceEntry("repo", `include:[${include.map((p) => p.pattern).join(",")}] exclude:[${exclude.map((p) => p.pattern).join(",")}]`, event.sourceRepo, repoMatch));
109
+ traces.push(createTraceEntry(TraceCheck.RepoFilter, `include:[${include.map((p) => p.pattern).join(",")}] exclude:[${exclude.map((p) => p.pattern).join(",")}]`, event.sourceRepo, repoMatch));
95
110
  if (!repoMatch) return false;
96
111
  }
97
112
  return true;
98
113
  }
99
114
  /**
115
+ * Evaluate a trigger's `commitMessage` filter. Returns true when the trigger
116
+ * declares none (the fast path).
117
+ *
118
+ * An event with no message is INDETERMINATE, not a clean exclusion: the filter
119
+ * is fail-visible, mirroring the Tier-1 `requires` gate, so a workflow whose
120
+ * declared gate was never evaluated does not run.
121
+ */
122
+ function evaluateCommitMessageFilter(trigger, event, traces) {
123
+ const match = trigger.commitMessage;
124
+ if (!match) return true;
125
+ if (event.commitMessage === void 0) {
126
+ traces.push(createCommitMessageTraceEntry({
127
+ match,
128
+ text: void 0,
129
+ passed: false,
130
+ indeterminate: true,
131
+ reason: "no commit message in payload (provider carries none for this event)"
132
+ }));
133
+ return false;
134
+ }
135
+ const result = evaluateTextMatch(event.commitMessage, match);
136
+ traces.push(createCommitMessageTraceEntry({
137
+ match,
138
+ text: event.commitMessage,
139
+ passed: result.pass,
140
+ indeterminate: result.indeterminate !== void 0,
141
+ ...result.indeterminate !== void 0 && { reason: result.indeterminate }
142
+ }));
143
+ return result.pass;
144
+ }
145
+ /**
100
146
  * Match a PR trigger against a simulated event.
101
147
  */
102
148
  function matchPrTrigger(trigger, event, traces) {
@@ -132,6 +178,7 @@ function matchPrTrigger(trigger, event, traces) {
132
178
  traces.push(createTraceEntry("paths", `include: [${include.join(", ")}] exclude: [${exclude.join(", ")}]`, event.changedFilesStatus === "unavailable" ? "[unavailable — matched conservatively]" : `[${changedFiles.join(", ")}]`, matches));
133
179
  if (!matches) return false;
134
180
  }
181
+ if (!evaluateCommitMessageFilter(trigger, event, traces)) return false;
135
182
  if (!evaluateRepoFilter(trigger, event, traces)) return false;
136
183
  return true;
137
184
  }
@@ -156,6 +203,7 @@ function matchPushTrigger(trigger, event, traces) {
156
203
  traces.push(createTraceEntry("paths", `include: [${include.join(", ")}] exclude: [${exclude.join(", ")}]`, event.changedFilesStatus === "unavailable" ? "[unavailable — matched conservatively]" : `[${changedFiles.join(", ")}]`, matches));
157
204
  if (!matches) return false;
158
205
  }
206
+ if (!evaluateCommitMessageFilter(trigger, event, traces)) return false;
159
207
  if (!evaluateRepoFilter(trigger, event, traces)) return false;
160
208
  return true;
161
209
  }
@@ -174,6 +222,7 @@ function matchTagTrigger(trigger, event, traces) {
174
222
  traces.push(createTraceEntry("tag pattern", trigger.patterns.map((p) => p.pattern).join("|"), event.targetBranch, matches));
175
223
  if (!matches) return false;
176
224
  }
225
+ if (!evaluateCommitMessageFilter(trigger, event, traces)) return false;
177
226
  if (!evaluateRepoFilter(trigger, event, traces)) return false;
178
227
  return true;
179
228
  }
@@ -213,7 +262,7 @@ function matchCommentTrigger(trigger, event, traces) {
213
262
  traces.push(createTraceEntry("bodyMatch (glob)", trigger.bodyMatch.pattern, body, matches));
214
263
  if (!matches) return false;
215
264
  } else {
216
- const matches = getCompiledRegex(trigger.bodyMatch.pattern, trigger.bodyMatch.flags).test(body);
265
+ const matches = getCompiledRegex(trigger.bodyMatch.pattern, trigger.bodyMatch.flags, "comment bodyMatch").test(body);
217
266
  traces.push(createTraceEntry("bodyMatch (regex)", trigger.bodyMatch.pattern, body, matches));
218
267
  if (!matches) return false;
219
268
  }
@@ -0,0 +1,27 @@
1
+ import type { LockTextMatch, TextMatch } from './types.js';
2
+ /** A definite verdict, or fail-visible indeterminate. Mirrors `ContentRequirementResult`. */
3
+ export interface TextMatchResult {
4
+ readonly pass: boolean;
5
+ /** Set (with `pass: false`) when the match could not be evaluated. */
6
+ readonly indeterminate?: string;
7
+ }
8
+ /**
9
+ * Compile a `/pattern/flags` (or bare-pattern) string, rejecting a ReDoS-prone
10
+ * pattern. Returns `null` when the pattern is syntactically invalid or fails the
11
+ * `safe-regex` star-height heuristic — callers treat `null` as indeterminate.
12
+ *
13
+ * Always compiles a FRESH RegExp. A `g`-flagged instance carries `lastIndex`
14
+ * across `.test()` calls, so a cached one would return alternating verdicts for
15
+ * the same input.
16
+ */
17
+ export declare function compileSafeRegex(source: string): RegExp | null;
18
+ /** True when the matcher carries at least one populated query key. */
19
+ export declare function textMatchHasQuery(m: TextMatch | LockTextMatch): boolean;
20
+ /** Render the populated keys for a decision-trace `pattern` field. */
21
+ export declare function describeTextMatch(m: LockTextMatch): string;
22
+ /**
23
+ * Evaluate a text match. Every entry in every list is a conjunct, and every
24
+ * populated key ANDs with the others; an empty matcher passes.
25
+ */
26
+ export declare function evaluateTextMatch(text: string, m: LockTextMatch): TextMatchResult;
27
+ //# sourceMappingURL=text-match.d.ts.map
@@ -0,0 +1,86 @@
1
+ import "../rolldown-runtime-ClRpJifh.js";
2
+ import safeRegex from "safe-regex";
3
+ //#region src/trigger/text-match.ts
4
+ /**
5
+ * The single definition of what `contains` / `notContains` / `matches` /
6
+ * `notMatches` mean.
7
+ *
8
+ * Two sites consume it: the Tier-0 `commitMessage` trigger filter (in
9
+ * `matcher.ts`) and the Tier-1 `requires` content filter (in
10
+ * `content-requirements.ts`). Sharing one function is what keeps them from
11
+ * drifting into two dialects of the same vocabulary.
12
+ *
13
+ * Pure string logic — it imports only `safe-regex` and no Node built-in, so it
14
+ * belongs in the browser-safe barrel rather than a subpath export.
15
+ */
16
+ /**
17
+ * Compile a `/pattern/flags` (or bare-pattern) string, rejecting a ReDoS-prone
18
+ * pattern. Returns `null` when the pattern is syntactically invalid or fails the
19
+ * `safe-regex` star-height heuristic — callers treat `null` as indeterminate.
20
+ *
21
+ * Always compiles a FRESH RegExp. A `g`-flagged instance carries `lastIndex`
22
+ * across `.test()` calls, so a cached one would return alternating verdicts for
23
+ * the same input.
24
+ */
25
+ function compileSafeRegex(source) {
26
+ const wrapped = /^\/(.+)\/([gimsuy]*)$/.exec(source);
27
+ const pattern = wrapped ? wrapped[1] : source;
28
+ const flags = wrapped ? wrapped[2] : "";
29
+ let re;
30
+ try {
31
+ re = new RegExp(pattern, flags);
32
+ } catch {
33
+ return null;
34
+ }
35
+ return safeRegex(re) ? re : null;
36
+ }
37
+ /** True when the matcher carries at least one populated query key. */
38
+ function textMatchHasQuery(m) {
39
+ const populated = (v) => Array.isArray(v) ? v.length > 0 : v !== void 0 && v !== null;
40
+ return populated(m.contains) || populated(m.notContains) || populated(m.matches) || populated(m.notMatches);
41
+ }
42
+ /** Render the populated keys for a decision-trace `pattern` field. */
43
+ function describeTextMatch(m) {
44
+ const parts = [];
45
+ if (m.contains?.length) parts.push(`contains: [${m.contains.join(", ")}]`);
46
+ if (m.notContains?.length) parts.push(`notContains: [${m.notContains.join(", ")}]`);
47
+ if (m.matches?.length) parts.push(`matches: [${m.matches.join(", ")}]`);
48
+ if (m.notMatches?.length) parts.push(`notMatches: [${m.notMatches.join(", ")}]`);
49
+ if (m.ignoreCase) parts.push("ignoreCase");
50
+ return parts.length > 0 ? parts.join("; ") : "(no query)";
51
+ }
52
+ /** Evaluate every regex in `sources`; `expectMatch` selects matches vs notMatches. */
53
+ function evaluateRegexes(text, sources, expectMatch) {
54
+ for (const source of sources) {
55
+ const re = compileSafeRegex(source);
56
+ if (!re) return {
57
+ pass: false,
58
+ indeterminate: `unsafe or invalid regex: ${source}`
59
+ };
60
+ if (re.test(text) !== expectMatch) return { pass: false };
61
+ }
62
+ return { pass: true };
63
+ }
64
+ /**
65
+ * Evaluate a text match. Every entry in every list is a conjunct, and every
66
+ * populated key ANDs with the others; an empty matcher passes.
67
+ */
68
+ function evaluateTextMatch(text, m) {
69
+ const fold = (s) => m.ignoreCase === true ? s.toLowerCase() : s;
70
+ const haystack = fold(text);
71
+ for (const needle of m.contains ?? []) if (!haystack.includes(fold(needle))) return { pass: false };
72
+ for (const needle of m.notContains ?? []) if (haystack.includes(fold(needle))) return { pass: false };
73
+ if (m.matches?.length) {
74
+ const result = evaluateRegexes(text, m.matches, true);
75
+ if (!result.pass) return result;
76
+ }
77
+ if (m.notMatches?.length) {
78
+ const result = evaluateRegexes(text, m.notMatches, false);
79
+ if (!result.pass) return result;
80
+ }
81
+ return { pass: true };
82
+ }
83
+ //#endregion
84
+ export { compileSafeRegex, describeTextMatch, evaluateTextMatch, textMatchHasQuery };
85
+
86
+ //# sourceMappingURL=text-match.js.map