@mcp-audit-gateway/core 0.1.0 → 0.4.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/.github/workflows/ci.yml +37 -0
- package/.well-known/agent-governance.json +47 -0
- package/.well-known/security-insights-snippet.yml +9 -0
- package/CHANGELOG.md +32 -0
- package/README.md +31 -3
- package/dist/attestation/audit-log.d.ts +35 -3
- package/dist/attestation/audit-log.d.ts.map +1 -1
- package/dist/attestation/audit-log.js +303 -8
- package/dist/attestation/audit-log.js.map +1 -1
- package/dist/attestation/checkpoint.test.d.ts +2 -0
- package/dist/attestation/checkpoint.test.d.ts.map +1 -0
- package/dist/attestation/checkpoint.test.js +870 -0
- package/dist/attestation/checkpoint.test.js.map +1 -0
- package/dist/attestation/signer.d.ts +24 -9
- package/dist/attestation/signer.d.ts.map +1 -1
- package/dist/attestation/signer.js +151 -10
- package/dist/attestation/signer.js.map +1 -1
- package/dist/attestation/signer.test.js +83 -0
- package/dist/attestation/signer.test.js.map +1 -1
- package/dist/attestation/verify.d.ts +23 -2
- package/dist/attestation/verify.d.ts.map +1 -1
- package/dist/attestation/verify.js +219 -2
- package/dist/attestation/verify.js.map +1 -1
- package/dist/index.d.ts +1 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1 -1
- package/dist/index.js.map +1 -1
- package/dist/integration.test.js +1 -0
- package/dist/integration.test.js.map +1 -1
- package/dist/policy/engine.d.ts +12 -1
- package/dist/policy/engine.d.ts.map +1 -1
- package/dist/policy/engine.js +26 -4
- package/dist/policy/engine.js.map +1 -1
- package/dist/policy/engine.test.js +42 -1
- package/dist/policy/engine.test.js.map +1 -1
- package/dist/proxy/gateway.d.ts +4 -0
- package/dist/proxy/gateway.d.ts.map +1 -1
- package/dist/proxy/gateway.js +9 -2
- package/dist/proxy/gateway.js.map +1 -1
- package/dist/proxy/gateway.test.js +19 -0
- package/dist/proxy/gateway.test.js.map +1 -1
- package/dist/proxy/mcp-server-adapter.d.ts +1 -0
- package/dist/proxy/mcp-server-adapter.d.ts.map +1 -1
- package/dist/proxy/mcp-server-adapter.js +28 -1
- package/dist/proxy/mcp-server-adapter.js.map +1 -1
- package/dist/proxy/mcp-server-adapter.test.js +1 -0
- package/dist/proxy/mcp-server-adapter.test.js.map +1 -1
- package/dist/types.d.ts +81 -0
- package/dist/types.d.ts.map +1 -1
- package/dist/types.js +13 -0
- package/dist/types.js.map +1 -1
- package/dist/wrap/proxy.test.js +2 -2
- package/dist/wrap/proxy.test.js.map +1 -1
- package/docs/BACKLOG.md +33 -0
- package/docs/SECURITY-DESIGN.md +126 -0
- package/docs/v0.4.0-patch-audit.md +115 -0
- package/package.json +1 -1
- package/src/attestation/audit-log.ts +357 -13
- package/src/attestation/checkpoint.test.ts +956 -0
- package/src/attestation/signer.test.ts +98 -0
- package/src/attestation/signer.ts +159 -19
- package/src/attestation/verify.ts +270 -4
- package/src/index.ts +1 -1
- package/src/integration.test.ts +1 -0
- package/src/policy/engine.test.ts +47 -1
- package/src/policy/engine.ts +38 -5
- package/src/proxy/gateway.test.ts +18 -0
- package/src/proxy/gateway.ts +10 -1
- package/src/proxy/mcp-server-adapter.test.ts +1 -0
- package/src/proxy/mcp-server-adapter.ts +26 -0
- package/src/types.ts +56 -0
- package/src/wrap/proxy.test.ts +2 -2
- package/test/vectors/README.md +44 -0
- package/test/vectors/aps-action-ref-v1-vectors.json +351 -0
- package/test/vectors/aps-action-ref-v1.mjs +145 -0
- package/test/vectors/canonicalization.json +764 -0
- package/test/vectors/checkpoint.json +450 -0
- package/test/vectors/generate.mjs +354 -0
- package/test/vectors/verify-checkpoint.mjs +344 -0
- package/test/vectors/verify-checkpoint.py +358 -0
- package/test/vectors/verify.mjs +346 -0
- package/test/vectors/verify.py +354 -0
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
import { createReadStream } from "node:fs";
|
|
2
2
|
import { createInterface } from "node:readline";
|
|
3
|
+
import { isCheckpoint, isChainBreak } from "../types.js";
|
|
3
4
|
import { hashRecord } from "./audit-log.js";
|
|
4
5
|
export async function verifyAuditLog(path, signer, options) {
|
|
5
6
|
const result = { total: 0, valid: 0, invalid: 0, errors: [] };
|
|
@@ -71,13 +72,31 @@ export async function verifyAuditLog(path, signer, options) {
|
|
|
71
72
|
}
|
|
72
73
|
return result;
|
|
73
74
|
}
|
|
75
|
+
function getRecordPreviousHash(record) {
|
|
76
|
+
if (isChainBreak(record))
|
|
77
|
+
return undefined;
|
|
78
|
+
return record.previousHash;
|
|
79
|
+
}
|
|
74
80
|
export async function verifyChain(records) {
|
|
75
81
|
const result = { total: records.length, valid: true, errors: [] };
|
|
76
82
|
for (let i = 0; i < records.length; i++) {
|
|
77
83
|
const record = records[i];
|
|
78
84
|
const lineNum = i + 1;
|
|
85
|
+
// chain_break records are valid chain starts (no previousHash required)
|
|
86
|
+
if (isChainBreak(record)) {
|
|
87
|
+
if (i !== 0) {
|
|
88
|
+
result.valid = false;
|
|
89
|
+
result.errors.push({
|
|
90
|
+
line: lineNum,
|
|
91
|
+
id: record.id,
|
|
92
|
+
reason: "chain_break record must be at position 0",
|
|
93
|
+
});
|
|
94
|
+
}
|
|
95
|
+
continue;
|
|
96
|
+
}
|
|
97
|
+
const prevHash = getRecordPreviousHash(record);
|
|
79
98
|
if (i === 0) {
|
|
80
|
-
if (
|
|
99
|
+
if (prevHash !== "genesis") {
|
|
81
100
|
result.valid = false;
|
|
82
101
|
result.errors.push({
|
|
83
102
|
line: lineNum,
|
|
@@ -89,7 +108,7 @@ export async function verifyChain(records) {
|
|
|
89
108
|
else {
|
|
90
109
|
const prevRecord = records[i - 1];
|
|
91
110
|
const expectedHash = hashRecord(prevRecord);
|
|
92
|
-
if (
|
|
111
|
+
if (prevHash !== expectedHash) {
|
|
93
112
|
result.valid = false;
|
|
94
113
|
result.errors.push({
|
|
95
114
|
line: lineNum,
|
|
@@ -101,4 +120,202 @@ export async function verifyChain(records) {
|
|
|
101
120
|
}
|
|
102
121
|
return result;
|
|
103
122
|
}
|
|
123
|
+
export function verifyCompleteness(records, externalCheckpoint, options) {
|
|
124
|
+
const mode = options?.mode ?? "strict";
|
|
125
|
+
const actualRecordCount = records.length;
|
|
126
|
+
let foundCheckpoint = null;
|
|
127
|
+
let checkpointIndex = -1;
|
|
128
|
+
for (let i = 0; i < records.length; i++) {
|
|
129
|
+
const record = records[i];
|
|
130
|
+
if (isCheckpoint(record)) {
|
|
131
|
+
if (record.previousHash === externalCheckpoint.previousHash &&
|
|
132
|
+
record.sequence === externalCheckpoint.sequence &&
|
|
133
|
+
record.recordCount === externalCheckpoint.recordCount) {
|
|
134
|
+
foundCheckpoint = record;
|
|
135
|
+
checkpointIndex = i;
|
|
136
|
+
break;
|
|
137
|
+
}
|
|
138
|
+
}
|
|
139
|
+
}
|
|
140
|
+
if (!foundCheckpoint) {
|
|
141
|
+
let hasDescendant = false;
|
|
142
|
+
for (const record of records) {
|
|
143
|
+
if (isCheckpoint(record) && record.sequence > externalCheckpoint.sequence) {
|
|
144
|
+
hasDescendant = true;
|
|
145
|
+
break;
|
|
146
|
+
}
|
|
147
|
+
}
|
|
148
|
+
if (hasDescendant) {
|
|
149
|
+
// In relative mode: descendant is acceptable, but absolute counts are unverified
|
|
150
|
+
if (mode === "relative") {
|
|
151
|
+
const deltaResult = verifyAdjacentDeltas(records, "relative");
|
|
152
|
+
if (deltaResult)
|
|
153
|
+
return { ...deltaResult, verificationMode: "relative" };
|
|
154
|
+
return {
|
|
155
|
+
truncated: false,
|
|
156
|
+
lastCheckpoint: null,
|
|
157
|
+
expectedRecordCount: externalCheckpoint.recordCount,
|
|
158
|
+
actualRecordCount,
|
|
159
|
+
absoluteCountVerified: false,
|
|
160
|
+
verificationMode: "relative",
|
|
161
|
+
};
|
|
162
|
+
}
|
|
163
|
+
return {
|
|
164
|
+
truncated: false,
|
|
165
|
+
lastCheckpoint: null,
|
|
166
|
+
expectedRecordCount: externalCheckpoint.recordCount,
|
|
167
|
+
actualRecordCount,
|
|
168
|
+
verificationMode: "strict",
|
|
169
|
+
};
|
|
170
|
+
}
|
|
171
|
+
return {
|
|
172
|
+
truncated: true,
|
|
173
|
+
lastCheckpoint: null,
|
|
174
|
+
expectedRecordCount: externalCheckpoint.recordCount,
|
|
175
|
+
actualRecordCount,
|
|
176
|
+
failureCode: "head_missing",
|
|
177
|
+
verificationMode: mode,
|
|
178
|
+
reason: "externalized checkpoint not found in chain and no descendant checkpoint exists",
|
|
179
|
+
};
|
|
180
|
+
}
|
|
181
|
+
// Check for sequence regression, segmented at chain_break boundaries.
|
|
182
|
+
// A chain_break legitimately resets counters, so monotonicity is only
|
|
183
|
+
// enforced within each segment (between breaks).
|
|
184
|
+
const regressionResult = checkSequenceRegression(records, externalCheckpoint, actualRecordCount, mode);
|
|
185
|
+
if (regressionResult)
|
|
186
|
+
return regressionResult;
|
|
187
|
+
// Verify recordCount against prefix (strict mode: absolute; relative mode: delta only)
|
|
188
|
+
if (mode === "strict") {
|
|
189
|
+
let nonCheckpointsBefore = 0;
|
|
190
|
+
for (let i = 0; i < checkpointIndex; i++) {
|
|
191
|
+
if (!isCheckpoint(records[i]))
|
|
192
|
+
nonCheckpointsBefore++;
|
|
193
|
+
}
|
|
194
|
+
const recordCountValid = nonCheckpointsBefore === foundCheckpoint.recordCount;
|
|
195
|
+
if (!recordCountValid) {
|
|
196
|
+
return {
|
|
197
|
+
truncated: true,
|
|
198
|
+
lastCheckpoint: foundCheckpoint,
|
|
199
|
+
expectedRecordCount: externalCheckpoint.recordCount,
|
|
200
|
+
actualRecordCount,
|
|
201
|
+
recordCountValid,
|
|
202
|
+
absoluteCountVerified: true,
|
|
203
|
+
failureCode: "count_mismatch",
|
|
204
|
+
verificationMode: "strict",
|
|
205
|
+
reason: `recordCount mismatch: checkpoint claims ${foundCheckpoint.recordCount} records but ${nonCheckpointsBefore} non-checkpoint records precede it`,
|
|
206
|
+
};
|
|
207
|
+
}
|
|
208
|
+
}
|
|
209
|
+
// Adjacent-pair delta checks (both modes; segment-initial anchor only in strict)
|
|
210
|
+
const deltaResult = verifyAdjacentDeltas(records, mode);
|
|
211
|
+
if (deltaResult)
|
|
212
|
+
return { ...deltaResult, verificationMode: mode };
|
|
213
|
+
const chainContainsBreak = records.some(isChainBreak);
|
|
214
|
+
return {
|
|
215
|
+
truncated: false,
|
|
216
|
+
lastCheckpoint: foundCheckpoint,
|
|
217
|
+
expectedRecordCount: externalCheckpoint.recordCount,
|
|
218
|
+
actualRecordCount,
|
|
219
|
+
recordCountValid: true,
|
|
220
|
+
absoluteCountVerified: mode === "strict",
|
|
221
|
+
verificationMode: mode,
|
|
222
|
+
hasChainBreak: chainContainsBreak || undefined,
|
|
223
|
+
};
|
|
224
|
+
}
|
|
225
|
+
/**
|
|
226
|
+
* Check sequence monotonicity, segmented at chain_break boundaries.
|
|
227
|
+
* A chain_break legitimately resets counters, so regression is only
|
|
228
|
+
* flagged within a contiguous segment.
|
|
229
|
+
*/
|
|
230
|
+
function checkSequenceRegression(records, externalCheckpoint, actualRecordCount, mode) {
|
|
231
|
+
let segmentCheckpoints = [];
|
|
232
|
+
for (const record of records) {
|
|
233
|
+
if (isChainBreak(record)) {
|
|
234
|
+
segmentCheckpoints = [];
|
|
235
|
+
continue;
|
|
236
|
+
}
|
|
237
|
+
if (isCheckpoint(record)) {
|
|
238
|
+
if (segmentCheckpoints.length > 0) {
|
|
239
|
+
const prev = segmentCheckpoints[segmentCheckpoints.length - 1];
|
|
240
|
+
if (record.sequence <= prev.sequence) {
|
|
241
|
+
return {
|
|
242
|
+
truncated: true,
|
|
243
|
+
lastCheckpoint: record,
|
|
244
|
+
expectedRecordCount: externalCheckpoint.recordCount,
|
|
245
|
+
actualRecordCount,
|
|
246
|
+
failureCode: "sequence_regression",
|
|
247
|
+
verificationMode: mode,
|
|
248
|
+
reason: `checkpoint sequence regressed: ${record.sequence} <= ${prev.sequence}`,
|
|
249
|
+
};
|
|
250
|
+
}
|
|
251
|
+
}
|
|
252
|
+
segmentCheckpoints.push(record);
|
|
253
|
+
}
|
|
254
|
+
}
|
|
255
|
+
return null;
|
|
256
|
+
}
|
|
257
|
+
/**
|
|
258
|
+
* Verify that the recordCount delta between adjacent checkpoints matches
|
|
259
|
+
* the actual number of non-checkpoint records between them.
|
|
260
|
+
* Segmented at chain_break boundaries (delta resets across breaks).
|
|
261
|
+
*/
|
|
262
|
+
function verifyAdjacentDeltas(records, mode) {
|
|
263
|
+
const checkpoints = [];
|
|
264
|
+
// Segment start: index after the most recent chain_break (or 0 if none).
|
|
265
|
+
// No chain_break can occur between same-segment checkpoints — the reset clears the list.
|
|
266
|
+
let segmentStart = 0;
|
|
267
|
+
for (let i = 0; i < records.length; i++) {
|
|
268
|
+
if (isChainBreak(records[i])) {
|
|
269
|
+
checkpoints.length = 0;
|
|
270
|
+
segmentStart = i + 1;
|
|
271
|
+
continue;
|
|
272
|
+
}
|
|
273
|
+
if (isCheckpoint(records[i])) {
|
|
274
|
+
checkpoints.push({ checkpoint: records[i], index: i });
|
|
275
|
+
}
|
|
276
|
+
}
|
|
277
|
+
// Segment-initial checkpoint absolute anchor (strict mode only — relative mode
|
|
278
|
+
// receives a suffix and can't verify absolute counts).
|
|
279
|
+
if (mode === "strict" && checkpoints.length > 0) {
|
|
280
|
+
const first = checkpoints[0];
|
|
281
|
+
let nonCheckpointsBefore = 0;
|
|
282
|
+
for (let j = segmentStart; j < first.index; j++) {
|
|
283
|
+
if (!isCheckpoint(records[j]) && !isChainBreak(records[j]))
|
|
284
|
+
nonCheckpointsBefore++;
|
|
285
|
+
}
|
|
286
|
+
if (nonCheckpointsBefore !== first.checkpoint.recordCount) {
|
|
287
|
+
return {
|
|
288
|
+
truncated: true,
|
|
289
|
+
lastCheckpoint: first.checkpoint,
|
|
290
|
+
expectedRecordCount: null,
|
|
291
|
+
actualRecordCount: records.length,
|
|
292
|
+
recordCountValid: false,
|
|
293
|
+
failureCode: "count_mismatch",
|
|
294
|
+
reason: `segment-initial checkpoint claims recordCount ${first.checkpoint.recordCount} but ${nonCheckpointsBefore} non-checkpoint records precede it in segment`,
|
|
295
|
+
};
|
|
296
|
+
}
|
|
297
|
+
}
|
|
298
|
+
for (let i = 1; i < checkpoints.length; i++) {
|
|
299
|
+
const prev = checkpoints[i - 1];
|
|
300
|
+
const curr = checkpoints[i];
|
|
301
|
+
const expectedDelta = curr.checkpoint.recordCount - prev.checkpoint.recordCount;
|
|
302
|
+
let actualNonCheckpoints = 0;
|
|
303
|
+
for (let j = prev.index + 1; j < curr.index; j++) {
|
|
304
|
+
if (!isCheckpoint(records[j]))
|
|
305
|
+
actualNonCheckpoints++;
|
|
306
|
+
}
|
|
307
|
+
if (actualNonCheckpoints !== expectedDelta) {
|
|
308
|
+
return {
|
|
309
|
+
truncated: true,
|
|
310
|
+
lastCheckpoint: curr.checkpoint,
|
|
311
|
+
expectedRecordCount: null,
|
|
312
|
+
actualRecordCount: records.length,
|
|
313
|
+
recordCountValid: false,
|
|
314
|
+
failureCode: "count_mismatch",
|
|
315
|
+
reason: `adjacent checkpoint delta mismatch: checkpoints ${prev.checkpoint.sequence}->${curr.checkpoint.sequence} claim delta ${expectedDelta} but ${actualNonCheckpoints} non-checkpoint records found between them`,
|
|
316
|
+
};
|
|
317
|
+
}
|
|
318
|
+
}
|
|
319
|
+
return null;
|
|
320
|
+
}
|
|
104
321
|
//# sourceMappingURL=verify.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../src/attestation/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;
|
|
1
|
+
{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../src/attestation/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEzD,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAe5C,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,IAAY,EACZ,MAAc,EACd,OAAmC;IAEnC,MAAM,MAAM,GAAiB,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAE5E,MAAM,EAAE,GAAG,eAAe,CAAC;QACzB,KAAK,EAAE,gBAAgB,CAAC,IAAI,CAAC;QAC7B,SAAS,EAAE,QAAQ;KACpB,CAAC,CAAC;IAEH,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,YAAY,GAAkB,IAAI,CAAC;IAEvC,IAAI,KAAK,EAAE,MAAM,IAAI,IAAI,EAAE,EAAE,CAAC;QAC5B,OAAO,EAAE,CAAC;QACV,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;YAAE,SAAS;QAE3B,IAAI,MAAmB,CAAC;QACxB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;YACvE,MAAM,CAAC,KAAK,EAAE,CAAC;YACf,SAAS;QACX,CAAC;QAED,MAAM,CAAC,KAAK,EAAE,CAAC;QACf,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC;QACrC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,MAAM,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAC;YACpF,SAAS;QACX,CAAC;QAED,MAAM,gBAAgB,GAAG,EAAE,GAAG,MAAM,EAAE,CAAC;QACvC,OAAO,gBAAgB,CAAC,WAAW,CAAC;QAEpC,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,gBAA+B,EAAE,SAAS,CAAC,CAAC;QAC9E,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC,CAAC;QACrF,CAAC;QAED,IAAI,OAAO,EAAE,WAAW,EAAE,CAAC;YACzB,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;gBACtC,IAAI,KAAK,EAAE,CAAC;oBACV,MAAM,CAAC,OAAO,EAAE,CAAC;oBACjB,MAAM,CAAC,KAAK,EAAE,CAAC;gBACjB,CAAC;gBACD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;oBACjB,IAAI,EAAE,OAAO;oBACb,EAAE,EAAE,MAAM,CAAC,EAAE;oBACb,MAAM,EAAE,oCAAoC;iBAC7C,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,gBAAgB,GAAG,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC;gBAC1E,IAAI,MAAM,CAAC,YAAY,KAAK,gBAAgB,EAAE,CAAC;oBAC7C,IAAI,KAAK,EAAE,CAAC;wBACV,MAAM,CAAC,OAAO,EAAE,CAAC;wBACjB,MAAM,CAAC,KAAK,EAAE,CAAC;oBACjB,CAAC;oBACD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;wBACjB,IAAI,EAAE,OAAO;wBACb,EAAE,EAAE,MAAM,CAAC,EAAE;wBACb,MAAM,EAAE,qBAAqB;qBAC9B,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAmB;IAChD,IAAI,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAQ,MAAyC,CAAC,YAAY,CAAC;AACjE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,OAAsB;IACtD,MAAM,MAAM,GAAsB,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAErF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;QAEtB,wEAAwE;QACxE,IAAI,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACZ,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;gBACrB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;oBACjB,IAAI,EAAE,OAAO;oBACb,EAAE,EAAE,MAAM,CAAC,EAAE;oBACb,MAAM,EAAE,0CAA0C;iBACnD,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,QAAQ,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;QAC/C,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACZ,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;gBACrB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;oBACjB,IAAI,EAAE,OAAO;oBACb,EAAE,EAAE,MAAM,CAAC,EAAE;oBACb,MAAM,EAAE,+CAA+C;iBACxD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAClC,MAAM,YAAY,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;YAC5C,IAAI,QAAQ,KAAK,YAAY,EAAE,CAAC;gBAC9B,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;gBACrB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;oBACjB,IAAI,EAAE,OAAO;oBACb,EAAE,EAAE,MAAM,CAAC,EAAE;oBACb,MAAM,EAAE,kDAAkD;iBAC3D,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAwBD,MAAM,UAAU,kBAAkB,CAChC,OAAsB,EACtB,kBAAmF,EACnF,OAAmC;IAEnC,MAAM,IAAI,GAAG,OAAO,EAAE,IAAI,IAAI,QAAQ,CAAC;IACvC,MAAM,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC;IACzC,IAAI,eAAe,GAA4B,IAAI,CAAC;IACpD,IAAI,eAAe,GAAG,CAAC,CAAC,CAAC;IAEzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,IACE,MAAM,CAAC,YAAY,KAAK,kBAAkB,CAAC,YAAY;gBACvD,MAAM,CAAC,QAAQ,KAAK,kBAAkB,CAAC,QAAQ;gBAC/C,MAAM,CAAC,WAAW,KAAK,kBAAkB,CAAC,WAAW,EACrD,CAAC;gBACD,eAAe,GAAG,MAAM,CAAC;gBACzB,eAAe,GAAG,CAAC,CAAC;gBACpB,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,IAAI,aAAa,GAAG,KAAK,CAAC;QAC1B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,EAAE,CAAC;gBAC1E,aAAa,GAAG,IAAI,CAAC;gBACrB,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,aAAa,EAAE,CAAC;YAClB,iFAAiF;YACjF,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;gBACxB,MAAM,WAAW,GAAG,oBAAoB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;gBAC9D,IAAI,WAAW;oBAAE,OAAO,EAAE,GAAG,WAAW,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC;gBACzE,OAAO;oBACL,SAAS,EAAE,KAAK;oBAChB,cAAc,EAAE,IAAI;oBACpB,mBAAmB,EAAE,kBAAkB,CAAC,WAAW;oBACnD,iBAAiB;oBACjB,qBAAqB,EAAE,KAAK;oBAC5B,gBAAgB,EAAE,UAAU;iBAC7B,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,SAAS,EAAE,KAAK;gBAChB,cAAc,EAAE,IAAI;gBACpB,mBAAmB,EAAE,kBAAkB,CAAC,WAAW;gBACnD,iBAAiB;gBACjB,gBAAgB,EAAE,QAAQ;aAC3B,CAAC;QACJ,CAAC;QAED,OAAO;YACL,SAAS,EAAE,IAAI;YACf,cAAc,EAAE,IAAI;YACpB,mBAAmB,EAAE,kBAAkB,CAAC,WAAW;YACnD,iBAAiB;YACjB,WAAW,EAAE,cAAc;YAC3B,gBAAgB,EAAE,IAAI;YACtB,MAAM,EAAE,gFAAgF;SACzF,CAAC;IACJ,CAAC;IAED,sEAAsE;IACtE,sEAAsE;IACtE,iDAAiD;IACjD,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,IAAI,CAAC,CAAC;IACvG,IAAI,gBAAgB;QAAE,OAAO,gBAAgB,CAAC;IAE9C,uFAAuF;IACvF,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,IAAI,oBAAoB,GAAG,CAAC,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAAE,oBAAoB,EAAE,CAAC;QACxD,CAAC;QACD,MAAM,gBAAgB,GAAG,oBAAoB,KAAK,eAAe,CAAC,WAAW,CAAC;QAE9E,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,OAAO;gBACL,SAAS,EAAE,IAAI;gBACf,cAAc,EAAE,eAAe;gBAC/B,mBAAmB,EAAE,kBAAkB,CAAC,WAAW;gBACnD,iBAAiB;gBACjB,gBAAgB;gBAChB,qBAAqB,EAAE,IAAI;gBAC3B,WAAW,EAAE,gBAAgB;gBAC7B,gBAAgB,EAAE,QAAQ;gBAC1B,MAAM,EAAE,2CAA2C,eAAe,CAAC,WAAW,gBAAgB,oBAAoB,oCAAoC;aACvJ,CAAC;QACJ,CAAC;IACH,CAAC;IAED,iFAAiF;IACjF,MAAM,WAAW,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,WAAW;QAAE,OAAO,EAAE,GAAG,WAAW,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;IAEnE,MAAM,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAEtD,OAAO;QACL,SAAS,EAAE,KAAK;QAChB,cAAc,EAAE,eAAe;QAC/B,mBAAmB,EAAE,kBAAkB,CAAC,WAAW;QACnD,iBAAiB;QACjB,gBAAgB,EAAE,IAAI;QACtB,qBAAqB,EAAE,IAAI,KAAK,QAAQ;QACxC,gBAAgB,EAAE,IAAI;QACtB,aAAa,EAAE,kBAAkB,IAAI,SAAS;KAC/C,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,uBAAuB,CAC9B,OAAsB,EACtB,kBAAmF,EACnF,iBAAyB,EACzB,IAA2B;IAE3B,IAAI,kBAAkB,GAAuB,EAAE,CAAC;IAEhD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,kBAAkB,GAAG,EAAE,CAAC;YACxB,SAAS;QACX,CAAC;QACD,IAAI,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClC,MAAM,IAAI,GAAG,kBAAkB,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC/D,IAAI,MAAM,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACrC,OAAO;wBACL,SAAS,EAAE,IAAI;wBACf,cAAc,EAAE,MAAM;wBACtB,mBAAmB,EAAE,kBAAkB,CAAC,WAAW;wBACnD,iBAAiB;wBACjB,WAAW,EAAE,qBAAqB;wBAClC,gBAAgB,EAAE,IAAI;wBACtB,MAAM,EAAE,kCAAkC,MAAM,CAAC,QAAQ,OAAO,IAAI,CAAC,QAAQ,EAAE;qBAChF,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,oBAAoB,CAAC,OAAsB,EAAE,IAA4B;IAChF,MAAM,WAAW,GAAsD,EAAE,CAAC;IAC1E,yEAAyE;IACzE,yFAAyF;IACzF,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;YACvB,YAAY,GAAG,CAAC,GAAG,CAAC,CAAC;YACrB,SAAS;QACX,CAAC;QACD,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,WAAW,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAqB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IAED,+EAA+E;IAC/E,uDAAuD;IACvD,IAAI,IAAI,KAAK,QAAQ,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,oBAAoB,GAAG,CAAC,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,YAAY,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAAE,oBAAoB,EAAE,CAAC;QACrF,CAAC;QACD,IAAI,oBAAoB,KAAK,KAAK,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;YAC1D,OAAO;gBACL,SAAS,EAAE,IAAI;gBACf,cAAc,EAAE,KAAK,CAAC,UAAU;gBAChC,mBAAmB,EAAE,IAAI;gBACzB,iBAAiB,EAAE,OAAO,CAAC,MAAM;gBACjC,gBAAgB,EAAE,KAAK;gBACvB,WAAW,EAAE,gBAAgB;gBAC7B,MAAM,EAAE,iDAAiD,KAAK,CAAC,UAAU,CAAC,WAAW,QAAQ,oBAAoB,+CAA+C;aACjK,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;QAEhF,IAAI,oBAAoB,GAAG,CAAC,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YACjD,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAAE,oBAAoB,EAAE,CAAC;QACxD,CAAC;QAED,IAAI,oBAAoB,KAAK,aAAa,EAAE,CAAC;YAC3C,OAAO;gBACL,SAAS,EAAE,IAAI;gBACf,cAAc,EAAE,IAAI,CAAC,UAAU;gBAC/B,mBAAmB,EAAE,IAAI;gBACzB,iBAAiB,EAAE,OAAO,CAAC,MAAM;gBACjC,gBAAgB,EAAE,KAAK;gBACvB,WAAW,EAAE,gBAAgB;gBAC7B,MAAM,EAAE,mDAAmD,IAAI,CAAC,UAAU,CAAC,QAAQ,KAAK,IAAI,CAAC,UAAU,CAAC,QAAQ,gBAAgB,aAAa,QAAQ,oBAAoB,4CAA4C;aACtN,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}
|
package/dist/index.d.ts
CHANGED
|
@@ -2,7 +2,7 @@ export { Gateway, ToolCallError } from "./proxy/gateway.js";
|
|
|
2
2
|
export { runWrapProxy } from "./wrap/proxy.js";
|
|
3
3
|
export { McpServerAdapter } from "./proxy/mcp-server-adapter.js";
|
|
4
4
|
export { UpstreamManager } from "./proxy/upstream-manager.js";
|
|
5
|
-
export { PolicyEngine } from "./policy/engine.js";
|
|
5
|
+
export { PolicyEngine, computeDecisionContextDigest, type DecisionContext } from "./policy/engine.js";
|
|
6
6
|
export { AuditLog } from "./attestation/audit-log.js";
|
|
7
7
|
export { createSigner, HmacSigner, Ed25519Signer } from "./attestation/signer.js";
|
|
8
8
|
export { verifyAuditLog } from "./attestation/verify.js";
|
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,4BAA4B,EAAE,KAAK,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACtG,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAClF,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EACL,mBAAmB,EACnB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,cAAc,GACpB,MAAM,YAAY,CAAC"}
|
package/dist/index.js
CHANGED
|
@@ -2,7 +2,7 @@ export { Gateway, ToolCallError } from "./proxy/gateway.js";
|
|
|
2
2
|
export { runWrapProxy } from "./wrap/proxy.js";
|
|
3
3
|
export { McpServerAdapter } from "./proxy/mcp-server-adapter.js";
|
|
4
4
|
export { UpstreamManager } from "./proxy/upstream-manager.js";
|
|
5
|
-
export { PolicyEngine } from "./policy/engine.js";
|
|
5
|
+
export { PolicyEngine, computeDecisionContextDigest } from "./policy/engine.js";
|
|
6
6
|
export { AuditLog } from "./attestation/audit-log.js";
|
|
7
7
|
export { createSigner, HmacSigner, Ed25519Signer } from "./attestation/signer.js";
|
|
8
8
|
export { verifyAuditLog } from "./attestation/verify.js";
|
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,4BAA4B,EAAwB,MAAM,oBAAoB,CAAC;AACtG,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAClF,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EACL,mBAAmB,GASpB,MAAM,YAAY,CAAC"}
|
package/dist/integration.test.js
CHANGED
|
@@ -22,6 +22,7 @@ const config = {
|
|
|
22
22
|
attestation: { enabled: true, algorithm: "hmac-sha256", secret: "c".repeat(64), includeParams: false, includeResult: false },
|
|
23
23
|
telemetry: { enabled: false, serviceName: "test", sampleRate: 0 },
|
|
24
24
|
auditLog: { enabled: true, path: AUDIT_PATH, rotateAfterMb: 10 },
|
|
25
|
+
checkpoint: { enabled: false, intervalRecords: 100, intervalSeconds: 60, trigger: "whichever_first" },
|
|
25
26
|
};
|
|
26
27
|
describe("Integration: Gateway with in-memory MCP server", () => {
|
|
27
28
|
afterEach(async () => {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"integration.test.js","sourceRoot":"","sources":["../src/integration.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AACnG,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAG1C,MAAM,UAAU,GAAG,mCAAmC,CAAC;AAEvD,MAAM,MAAM,GAAkB;IAC5B,IAAI,EAAE,kBAAkB;IACxB,OAAO,EAAE,OAAO;IAChB,MAAM,EAAE,EAAE,SAAS,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE;IACvE,SAAS,EAAE,EAAE;IACb,MAAM,EAAE;QACN,aAAa,EAAE,OAAO;QACtB,KAAK,EAAE;YACL,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,CAAC,YAAY,CAAC,EAAE;SACzE;KACF;IACD,WAAW,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE;IAC5H,SAAS,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE;IACjE,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,EAAE,EAAE;
|
|
1
|
+
{"version":3,"file":"integration.test.js","sourceRoot":"","sources":["../src/integration.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AACnG,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAG1C,MAAM,UAAU,GAAG,mCAAmC,CAAC;AAEvD,MAAM,MAAM,GAAkB;IAC5B,IAAI,EAAE,kBAAkB;IACxB,OAAO,EAAE,OAAO;IAChB,MAAM,EAAE,EAAE,SAAS,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE;IACvE,SAAS,EAAE,EAAE;IACb,MAAM,EAAE;QACN,aAAa,EAAE,OAAO;QACtB,KAAK,EAAE;YACL,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,CAAC,YAAY,CAAC,EAAE;SACzE;KACF;IACD,WAAW,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE;IAC5H,SAAS,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE;IACjE,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,EAAE,EAAE;IAChE,UAAU,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,GAAG,EAAE,eAAe,EAAE,EAAE,EAAE,OAAO,EAAE,iBAA0B,EAAE;CAC/G,CAAC;AAEF,QAAQ,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,SAAS,CAAC,KAAK,IAAI,EAAE;QACnB,IAAI,CAAC;YAAC,MAAM,MAAM,CAAC,UAAU,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAA,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,KAAK,IAAI,EAAE;QAC7F,MAAM,MAAM,GAAG,IAAI,MAAM,CACvB,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,OAAO,EAAE,EACzC,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAChC,CAAC;QAEF,MAAM,CAAC,iBAAiB,CACtB,sBAAsB,EACtB,KAAK,IAAI,EAAE,CAAC,CAAC;YACX,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,cAAc,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,QAAiB,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE;gBAChI,EAAE,IAAI,EAAE,aAAa,EAAE,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,QAAiB,EAAE,EAAE;aACzF;SACF,CAAC,CACH,CAAC;QAEF,MAAM,CAAC,iBAAiB,CACtB,qBAAqB,EACrB,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;YAClB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC;SAC5E,CAAC,CACH,CAAC;QAEF,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,OAAO,CAAC,IAAI,EAAE,CAAC;QAErB,MAAM,CAAC,eAAe,EAAE,eAAe,CAAC,GAAG,iBAAiB,CAAC,gBAAgB,EAAE,CAAC;QAChF,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC;QAE3F,MAAM,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QACtC,MAAM,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QAEtC,MAAM,WAAW,GAAG,MAAM,MAAM,CAAC,SAAS,EAAE,CAAC;QAC7C,OAAO,CAAC,qBAAqB,CAAC,aAAa,EAAE,MAAM,EAAE,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACjF,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,WAAW,EAAE,CAAC,CAAC,WAAW;YAC1B,WAAW,EAAE,CAAC,CAAC,WAAW;SAC3B,CAAC,CAAC,CAAC,CAAC;QAEL,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,eAAe,EAAE,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAE5C,MAAM,YAAY,GAAG,MAAM,OAAO,CAAC,eAAe,CAAC,eAAe,CAAC,CAAC;QACpE,MAAM,aAAa,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACjE,MAAM,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC7C,MAAM,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAExD,iDAAiD;QACjD,IAAI,CAAC;YACH,MAAM,OAAO,CAAC,eAAe,CAAC,kBAAkB,EAAE,EAAE,EAAE,eAAe,CAAC,CAAC;QACzE,CAAC;QAAC,MAAM,CAAC;YACP,kBAAkB;QACpB,CAAC;QAED,+DAA+D;QAC/D,IAAI,CAAC;YACH,MAAM,OAAO,CAAC,eAAe,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;QACxD,CAAC;QAAC,MAAM,CAAC;YACP,WAAW;QACb,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9C,MAAM,YAAY,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC9D,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAErC,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;QACrB,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
package/dist/policy/engine.d.ts
CHANGED
|
@@ -7,12 +7,23 @@ export interface PolicyDecision {
|
|
|
7
7
|
maxPerHour?: number;
|
|
8
8
|
};
|
|
9
9
|
}
|
|
10
|
+
export interface DecisionContext {
|
|
11
|
+
principal: string | null;
|
|
12
|
+
toolName: string;
|
|
13
|
+
toolNamespace: string;
|
|
14
|
+
toolUpstream: string;
|
|
15
|
+
matchedRule: PolicyRule | null;
|
|
16
|
+
effect: "allow" | "deny";
|
|
17
|
+
}
|
|
18
|
+
export declare function computeDecisionContextDigest(ctx: DecisionContext): string;
|
|
10
19
|
export declare class PolicyEngine {
|
|
11
20
|
private defaultEffect;
|
|
12
21
|
private rules;
|
|
13
22
|
private rateLimitState;
|
|
14
23
|
constructor(defaultEffect: "allow" | "deny", rules: PolicyRule[]);
|
|
15
|
-
evaluate(principal: string | undefined, tool: ToolEntry): PolicyDecision
|
|
24
|
+
evaluate(principal: string | undefined, tool: ToolEntry): PolicyDecision & {
|
|
25
|
+
decisionContext: DecisionContext;
|
|
26
|
+
};
|
|
16
27
|
filterTools(principal: string | undefined, tools: ToolEntry[]): ToolEntry[];
|
|
17
28
|
recordInvocation(principal: string | undefined, tool: ToolEntry): void;
|
|
18
29
|
private ruleMatches;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/policy/engine.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/policy/engine.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAEzD,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAC5D;AAED,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,UAAU,GAAG,IAAI,CAAC;IAC/B,MAAM,EAAE,OAAO,GAAG,MAAM,CAAC;CAC1B;AAED,wBAAgB,4BAA4B,CAAC,GAAG,EAAE,eAAe,GAAG,MAAM,CAWzE;AAOD,qBAAa,YAAY;IAOrB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,KAAK;IAPf,OAAO,CAAC,cAAc,CAGpB;gBAGQ,aAAa,EAAE,OAAO,GAAG,MAAM,EAC/B,KAAK,EAAE,UAAU,EAAE;IAG7B,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,EAAE,IAAI,EAAE,SAAS,GAAG,cAAc,GAAG;QAAE,eAAe,EAAE,eAAe,CAAA;KAAE;IAuC/G,WAAW,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,SAAS,EAAE;IAI3E,gBAAgB,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,EAAE,IAAI,EAAE,SAAS,GAAG,IAAI;IAKtE,OAAO,CAAC,WAAW;IA2BnB,OAAO,CAAC,cAAc;IAItB,OAAO,CAAC,SAAS;IA4BjB,OAAO,CAAC,cAAc;IAuBtB,OAAO,CAAC,gBAAgB;CAiBzB"}
|
package/dist/policy/engine.js
CHANGED
|
@@ -1,3 +1,16 @@
|
|
|
1
|
+
import { createHash } from "node:crypto";
|
|
2
|
+
export function computeDecisionContextDigest(ctx) {
|
|
3
|
+
const ordered = [
|
|
4
|
+
["principal", ctx.principal],
|
|
5
|
+
["toolName", ctx.toolName],
|
|
6
|
+
["toolNamespace", ctx.toolNamespace],
|
|
7
|
+
["toolUpstream", ctx.toolUpstream],
|
|
8
|
+
["matchedRule", ctx.matchedRule],
|
|
9
|
+
["effect", ctx.effect],
|
|
10
|
+
];
|
|
11
|
+
const canonical = JSON.stringify(ordered);
|
|
12
|
+
return createHash("sha256").update(canonical).digest("hex");
|
|
13
|
+
}
|
|
1
14
|
export class PolicyEngine {
|
|
2
15
|
defaultEffect;
|
|
3
16
|
rules;
|
|
@@ -17,20 +30,29 @@ export class PolicyEngine {
|
|
|
17
30
|
break;
|
|
18
31
|
}
|
|
19
32
|
}
|
|
33
|
+
const buildContext = (effect) => ({
|
|
34
|
+
principal: principal ?? null,
|
|
35
|
+
toolName: tool.name,
|
|
36
|
+
toolNamespace: tool.namespace,
|
|
37
|
+
toolUpstream: tool.upstream,
|
|
38
|
+
matchedRule,
|
|
39
|
+
effect,
|
|
40
|
+
});
|
|
20
41
|
if (!matchedRule) {
|
|
21
|
-
|
|
42
|
+
const allowed = this.defaultEffect === "allow";
|
|
43
|
+
return { allowed, decisionContext: buildContext(allowed ? "allow" : "deny") };
|
|
22
44
|
}
|
|
23
45
|
if (matchedRule.effect === "deny") {
|
|
24
|
-
return { allowed: false, reason: "denied by policy rule" };
|
|
46
|
+
return { allowed: false, reason: "denied by policy rule", decisionContext: buildContext("deny") };
|
|
25
47
|
}
|
|
26
48
|
if (matchedRule.rateLimit) {
|
|
27
49
|
const key = `${principal ?? "anonymous"}:${tool.name}`;
|
|
28
50
|
const rateLimited = this.checkRateLimit(key, matchedRule.rateLimit);
|
|
29
51
|
if (rateLimited) {
|
|
30
|
-
return { allowed: false, reason: "rate limit exceeded", rateLimit: matchedRule.rateLimit };
|
|
52
|
+
return { allowed: false, reason: "rate limit exceeded", rateLimit: matchedRule.rateLimit, decisionContext: buildContext("deny") };
|
|
31
53
|
}
|
|
32
54
|
}
|
|
33
|
-
return { allowed: true, rateLimit: matchedRule.rateLimit };
|
|
55
|
+
return { allowed: true, rateLimit: matchedRule.rateLimit, decisionContext: buildContext("allow") };
|
|
34
56
|
}
|
|
35
57
|
filterTools(principal, tools) {
|
|
36
58
|
return tools.filter((tool) => this.evaluate(principal, tool).allowed);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/policy/engine.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/policy/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAkBzC,MAAM,UAAU,4BAA4B,CAAC,GAAoB;IAC/D,MAAM,OAAO,GAAwB;QACnC,CAAC,WAAW,EAAE,GAAG,CAAC,SAAS,CAAC;QAC5B,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC;QAC1B,CAAC,eAAe,EAAE,GAAG,CAAC,aAAa,CAAC;QACpC,CAAC,cAAc,EAAE,GAAG,CAAC,YAAY,CAAC;QAClC,CAAC,aAAa,EAAE,GAAG,CAAC,WAAW,CAAC;QAChC,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC;KACvB,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC1C,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC;AAOD,MAAM,OAAO,YAAY;IAOb;IACA;IAPF,cAAc,GAAmB;QACvC,YAAY,EAAE,IAAI,GAAG,EAAE;QACvB,UAAU,EAAE,IAAI,GAAG,EAAE;KACtB,CAAC;IAEF,YACU,aAA+B,EAC/B,KAAmB;QADnB,kBAAa,GAAb,aAAa,CAAkB;QAC/B,UAAK,GAAL,KAAK,CAAc;IAC1B,CAAC;IAEJ,QAAQ,CAAC,SAA6B,EAAE,IAAe;QACrD,IAAI,WAAW,GAAsB,IAAI,CAAC;QAE1C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;gBAC5C,WAAW,GAAG,IAAI,CAAC;gBACnB,MAAM;YACR,CAAC;QACH,CAAC;QAED,MAAM,YAAY,GAAG,CAAC,MAAwB,EAAmB,EAAE,CAAC,CAAC;YACnE,SAAS,EAAE,SAAS,IAAI,IAAI;YAC5B,QAAQ,EAAE,IAAI,CAAC,IAAI;YACnB,aAAa,EAAE,IAAI,CAAC,SAAS;YAC7B,YAAY,EAAE,IAAI,CAAC,QAAQ;YAC3B,WAAW;YACX,MAAM;SACP,CAAC,CAAC;QAEH,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,KAAK,OAAO,CAAC;YAC/C,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QAChF,CAAC;QAED,IAAI,WAAW,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAClC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,EAAE,eAAe,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QACpG,CAAC;QAED,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,GAAG,SAAS,IAAI,WAAW,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACvD,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;YACpE,IAAI,WAAW,EAAE,CAAC;gBAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB,EAAE,SAAS,EAAE,WAAW,CAAC,SAAS,EAAE,eAAe,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YACpI,CAAC;QACH,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,CAAC,SAAS,EAAE,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;IACrG,CAAC;IAED,WAAW,CAAC,SAA6B,EAAE,KAAkB;QAC3D,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC;IACxE,CAAC;IAED,gBAAgB,CAAC,SAA6B,EAAE,IAAe;QAC7D,MAAM,GAAG,GAAG,GAAG,SAAS,IAAI,WAAW,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACvD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IAEO,WAAW,CACjB,IAAgB,EAChB,SAA6B,EAC7B,IAAe;QAEf,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;gBACnE,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC9C,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;gBAC3C,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,cAAc,CAAC,KAAa,EAAE,QAAkB;QACtD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IACpE,CAAC;IAEO,SAAS,CAAC,OAAe,EAAE,KAAa;QAC9C,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,OAAO,KAAK,KAAK,CAAC;QAErD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,GAAG,GAAG,CAAC,CAAC;QAEZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,IAAI,KAAK,EAAE;gBAAE,SAAS;YAE1B,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACZ,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC1C,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC;YACpB,CAAC;iBAAM,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClC,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBACnD,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACxC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;gBAC/C,IAAI,WAAW,GAAG,GAAG;oBAAE,OAAO,KAAK,CAAC;YACtC,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACrC,IAAI,GAAG,KAAK,CAAC,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC7B,GAAG,GAAG,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC;YAC1B,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,cAAc,CACpB,GAAW,EACX,KAAqD;QAErD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAEvB,IAAI,KAAK,CAAC,YAAY,IAAI,IAAI,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACxD,IAAI,KAAK,IAAI,KAAK,CAAC,OAAO,GAAG,GAAG,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;gBACtE,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAED,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACtD,IAAI,KAAK,IAAI,KAAK,CAAC,OAAO,GAAG,GAAG,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACpE,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,gBAAgB,CAAC,GAAW;QAClC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAEvB,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,IAAI,GAAG,EAAE,CAAC;YACrC,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,GAAG,MAAM,EAAE,CAAC,CAAC;QACjF,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,IAAI,GAAG,EAAE,CAAC;YACjC,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,GAAG,SAAS,EAAE,CAAC,CAAC;QAClF,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,CAAC;IACH,CAAC;CACF"}
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { describe, it, expect } from "vitest";
|
|
2
|
-
import { PolicyEngine } from "./engine.js";
|
|
2
|
+
import { PolicyEngine, computeDecisionContextDigest } from "./engine.js";
|
|
3
3
|
const tool = (name, ns) => ({
|
|
4
4
|
name: `${ns}/${name}`,
|
|
5
5
|
originalName: name,
|
|
@@ -76,5 +76,46 @@ describe("PolicyEngine", () => {
|
|
|
76
76
|
expect(filtered.map((t) => t.originalName)).not.toContain("dangerous_delete");
|
|
77
77
|
});
|
|
78
78
|
});
|
|
79
|
+
describe("decisionContext", () => {
|
|
80
|
+
const engine = new PolicyEngine("allow", [
|
|
81
|
+
{ effect: "deny", principals: ["agent:readonly-*"], tools: ["*/write_*"] },
|
|
82
|
+
]);
|
|
83
|
+
it("returns decision context with evaluation", () => {
|
|
84
|
+
const t = tool("write_file", "fs");
|
|
85
|
+
const result = engine.evaluate("agent:readonly-bot", t);
|
|
86
|
+
expect(result.decisionContext).toBeDefined();
|
|
87
|
+
expect(result.decisionContext.principal).toBe("agent:readonly-bot");
|
|
88
|
+
expect(result.decisionContext.toolName).toBe("fs/write_file");
|
|
89
|
+
expect(result.decisionContext.toolNamespace).toBe("fs");
|
|
90
|
+
expect(result.decisionContext.effect).toBe("deny");
|
|
91
|
+
expect(result.decisionContext.matchedRule).toEqual({
|
|
92
|
+
effect: "deny",
|
|
93
|
+
principals: ["agent:readonly-*"],
|
|
94
|
+
tools: ["*/write_*"],
|
|
95
|
+
});
|
|
96
|
+
});
|
|
97
|
+
it("produces stable digest for same input", () => {
|
|
98
|
+
const t = tool("write_file", "fs");
|
|
99
|
+
const r1 = engine.evaluate("agent:readonly-bot", t);
|
|
100
|
+
const r2 = engine.evaluate("agent:readonly-bot", t);
|
|
101
|
+
const d1 = computeDecisionContextDigest(r1.decisionContext);
|
|
102
|
+
const d2 = computeDecisionContextDigest(r2.decisionContext);
|
|
103
|
+
expect(d1).toBe(d2);
|
|
104
|
+
expect(d1).toHaveLength(64);
|
|
105
|
+
});
|
|
106
|
+
it("produces different digest for different principal", () => {
|
|
107
|
+
const t = tool("read_data", "github");
|
|
108
|
+
const r1 = engine.evaluate("agent:alpha", t);
|
|
109
|
+
const r2 = engine.evaluate("agent:beta", t);
|
|
110
|
+
const d1 = computeDecisionContextDigest(r1.decisionContext);
|
|
111
|
+
const d2 = computeDecisionContextDigest(r2.decisionContext);
|
|
112
|
+
expect(d1).not.toBe(d2);
|
|
113
|
+
});
|
|
114
|
+
it("includes null principal when undefined", () => {
|
|
115
|
+
const t = tool("read_data", "github");
|
|
116
|
+
const result = engine.evaluate(undefined, t);
|
|
117
|
+
expect(result.decisionContext.principal).toBeNull();
|
|
118
|
+
});
|
|
119
|
+
});
|
|
79
120
|
});
|
|
80
121
|
//# sourceMappingURL=engine.test.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"engine.test.js","sourceRoot":"","sources":["../../src/policy/engine.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;
|
|
1
|
+
{"version":3,"file":"engine.test.js","sourceRoot":"","sources":["../../src/policy/engine.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,4BAA4B,EAAE,MAAM,aAAa,CAAC;AAGzE,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAU,EAAa,EAAE,CAAC,CAAC;IACrD,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,EAAE;IACrB,YAAY,EAAE,IAAI;IAClB,SAAS,EAAE,EAAE;IACb,QAAQ,EAAE,GAAG,EAAE,SAAS;CACzB,CAAC,CAAC;AAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC,OAAO,EAAE;YACvC,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,kBAAkB,CAAC,EAAE,KAAK,EAAE,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE;YACxF,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,gBAAgB,CAAC,EAAE;SAC9C,CAAC,CAAC;QAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC3E,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,oBAAoB,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC;YACjF,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC;YAC1E,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;YAC3E,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC,MAAM,EAAE;YACtC,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,iBAAiB,CAAC,EAAE,UAAU,EAAE,CAAC,QAAQ,CAAC,EAAE;SAC7E,CAAC,CAAC;QAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,eAAe,EAAE,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,kBAAkB,EAAE,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;YAClF,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,kBAAkB,EAAE,IAAI,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;YACrF,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC,OAAO,EAAE;gBACvC,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAAE,YAAY,EAAE,CAAC,EAAE,EAAE;aAC/E,CAAC,CAAC;YAEH,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAC9B,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;YAChC,MAAM,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;YACxC,MAAM,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;YACxC,MAAM,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;YAExC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;YACjD,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;QAC3B,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC,OAAO,EAAE;YACvC,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,CAAC,eAAe,CAAC,EAAE;SAC5E,CAAC,CAAC;QAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;YACxC,MAAM,KAAK,GAAG;gBACZ,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC;gBACvB,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC;gBAC9B,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC;aACzB,CAAC;YACF,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;YAC5D,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAChF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC,OAAO,EAAE;YACvC,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,kBAAkB,CAAC,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,EAAE;SAC3E,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,CAAC,GAAG,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACnC,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC;YACxD,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,WAAW,EAAE,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;YACpE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YAC9D,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnD,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC;gBACjD,MAAM,EAAE,MAAM;gBACd,UAAU,EAAE,CAAC,kBAAkB,CAAC;gBAChC,KAAK,EAAE,CAAC,WAAW,CAAC;aACrB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACnC,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC;YACpD,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC;YACpD,MAAM,EAAE,GAAG,4BAA4B,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC;YAC5D,MAAM,EAAE,GAAG,4BAA4B,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC;YAC5D,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpB,MAAM,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;YACtC,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;YAC7C,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;YAC5C,MAAM,EAAE,GAAG,4BAA4B,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC;YAC5D,MAAM,EAAE,GAAG,4BAA4B,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC;YAC5D,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;YACtC,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,CAAC;QACtD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
package/dist/proxy/gateway.d.ts
CHANGED
|
@@ -18,6 +18,10 @@ export declare class Gateway {
|
|
|
18
18
|
handleToolsCall(toolName: string, args: Record<string, unknown>, principal?: string, traceContext?: {
|
|
19
19
|
traceparent?: string;
|
|
20
20
|
tracestate?: string;
|
|
21
|
+
}, aiInvocation?: {
|
|
22
|
+
turnId?: string;
|
|
23
|
+
invocationReason?: string;
|
|
24
|
+
model?: string;
|
|
21
25
|
}): Promise<{
|
|
22
26
|
result: unknown;
|
|
23
27
|
auditRecord: AuditRecord;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"gateway.d.ts","sourceRoot":"","sources":["../../src/proxy/gateway.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,aAAa,EAEb,cAAc,EAEd,WAAW,EACZ,MAAM,aAAa,CAAC;AAQrB,qBAAa,OAAO;IASN,OAAO,CAAC,MAAM;IAR1B,OAAO,CAAC,WAAW,CAAqC;IACxD,OAAO,CAAC,cAAc,CAAC,CAA8B;IACrD,OAAO,CAAC,YAAY,CAAe;IACnC,OAAO,CAAC,QAAQ,CAAW;IAC3B,OAAO,CAAC,MAAM,CAAgB;IAC9B,OAAO,CAAC,OAAO,CAAiB;IAChC,OAAO,CAAC,eAAe,CAAkB;gBAErB,MAAM,EAAE,aAAa;IAkBnC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;YAOb,eAAe;IAavB,eAAe,CACnB,SAAS,CAAC,EAAE,MAAM,EAClB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC9B,OAAO,CAAC;QAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC;IA8B3D,eAAe,CACnB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,SAAS,CAAC,EAAE,MAAM,EAClB,YAAY,CAAC,EAAE;QAAE,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,
|
|
1
|
+
{"version":3,"file":"gateway.d.ts","sourceRoot":"","sources":["../../src/proxy/gateway.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,aAAa,EAEb,cAAc,EAEd,WAAW,EACZ,MAAM,aAAa,CAAC;AAQrB,qBAAa,OAAO;IASN,OAAO,CAAC,MAAM;IAR1B,OAAO,CAAC,WAAW,CAAqC;IACxD,OAAO,CAAC,cAAc,CAAC,CAA8B;IACrD,OAAO,CAAC,YAAY,CAAe;IACnC,OAAO,CAAC,QAAQ,CAAW;IAC3B,OAAO,CAAC,MAAM,CAAgB;IAC9B,OAAO,CAAC,OAAO,CAAiB;IAChC,OAAO,CAAC,eAAe,CAAkB;gBAErB,MAAM,EAAE,aAAa;IAkBnC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;YAOb,eAAe;IAavB,eAAe,CACnB,SAAS,CAAC,EAAE,MAAM,EAClB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC9B,OAAO,CAAC;QAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC;IA8B3D,eAAe,CACnB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,SAAS,CAAC,EAAE,MAAM,EAClB,YAAY,CAAC,EAAE;QAAE,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,EAC5D,YAAY,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,GAC5E,OAAO,CAAC;QAAE,MAAM,EAAE,OAAO,CAAC;QAAC,WAAW,EAAE,WAAW,CAAA;KAAE,CAAC;IAsHzD,SAAS,IAAI;QACX,OAAO,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAA;SAAE,CAAC;QAC7C,SAAS,EAAE,cAAc,EAAE,CAAC;QAC5B,SAAS,EAAE;YACT,cAAc,EAAE,MAAM,CAAC;YACvB,gBAAgB,EAAE,MAAM,CAAC;YACzB,iBAAiB,EAAE,MAAM,CAAC;YAC1B,oBAAoB,EAAE,MAAM,CAAC;YAC7B,UAAU,EAAE,MAAM,CAAC;SACpB,CAAC;KACH;IAoBD,iBAAiB,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAoB5C,qBAAqB,CACnB,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,KAAK,CAAC;QACX,IAAI,EAAE,MAAM,CAAC;QACb,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,WAAW,CAAC,EAAE,OAAO,CAAC;QACtB,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KACvC,CAAC,GACD,IAAI;YA2BO,eAAe;IAkBvB,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC;CAGhC;AAED,qBAAa,aAAc,SAAQ,KAAK;IAE7B,IAAI,EAAE,MAAM;IAEZ,WAAW,EAAE,WAAW;gBAFxB,IAAI,EAAE,MAAM,EACnB,OAAO,EAAE,MAAM,EACR,WAAW,EAAE,WAAW;CAKlC"}
|
package/dist/proxy/gateway.js
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { PolicyEngine } from "../policy/engine.js";
|
|
1
|
+
import { PolicyEngine, computeDecisionContextDigest } from "../policy/engine.js";
|
|
2
2
|
import { AuditLog } from "../attestation/audit-log.js";
|
|
3
3
|
import { createSigner } from "../attestation/signer.js";
|
|
4
4
|
import { GatewayTracer } from "../telemetry/tracer.js";
|
|
@@ -64,7 +64,7 @@ export class Gateway {
|
|
|
64
64
|
},
|
|
65
65
|
};
|
|
66
66
|
}
|
|
67
|
-
async handleToolsCall(toolName, args, principal, traceContext) {
|
|
67
|
+
async handleToolsCall(toolName, args, principal, traceContext, aiInvocation) {
|
|
68
68
|
const startTime = Date.now();
|
|
69
69
|
const tool = this.toolCatalog.get(toolName);
|
|
70
70
|
if (!tool) {
|
|
@@ -78,6 +78,7 @@ export class Gateway {
|
|
|
78
78
|
throw new ToolCallError(-32602, `Unknown tool: ${toolName}`, record);
|
|
79
79
|
}
|
|
80
80
|
const decision = this.policyEngine.evaluate(principal, tool);
|
|
81
|
+
const contextDigest = computeDecisionContextDigest(decision.decisionContext);
|
|
81
82
|
if (!decision.allowed) {
|
|
82
83
|
this.metrics.recordPolicyDenial({
|
|
83
84
|
principal: principal ?? "anonymous",
|
|
@@ -92,6 +93,8 @@ export class Gateway {
|
|
|
92
93
|
durationMs: Date.now() - startTime,
|
|
93
94
|
success: false,
|
|
94
95
|
errorCode: -32603,
|
|
96
|
+
decisionContextDigest: contextDigest,
|
|
97
|
+
aiInvocation,
|
|
95
98
|
});
|
|
96
99
|
throw new ToolCallError(-32603, decision.reason ?? "unauthorized", record);
|
|
97
100
|
}
|
|
@@ -119,6 +122,8 @@ export class Gateway {
|
|
|
119
122
|
principal,
|
|
120
123
|
durationMs,
|
|
121
124
|
success: true,
|
|
125
|
+
decisionContextDigest: contextDigest,
|
|
126
|
+
aiInvocation,
|
|
122
127
|
});
|
|
123
128
|
return { result, auditRecord: record };
|
|
124
129
|
}
|
|
@@ -146,6 +151,8 @@ export class Gateway {
|
|
|
146
151
|
durationMs,
|
|
147
152
|
success: false,
|
|
148
153
|
errorCode: -32603,
|
|
154
|
+
decisionContextDigest: contextDigest,
|
|
155
|
+
aiInvocation,
|
|
149
156
|
});
|
|
150
157
|
throw new ToolCallError(-32603, "Upstream server error", record);
|
|
151
158
|
}
|