@coderifts/agent-guard 1.0.0 → 1.1.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/dist/cjs/detector.d.ts +1 -1
- package/dist/cjs/detector.d.ts.map +1 -1
- package/dist/cjs/detector.js +176 -3
- package/dist/cjs/detector.js.map +1 -1
- package/dist/cjs/enforcement-gate.d.ts +42 -0
- package/dist/cjs/enforcement-gate.d.ts.map +1 -0
- package/dist/cjs/enforcement-gate.js +106 -0
- package/dist/cjs/enforcement-gate.js.map +1 -0
- package/dist/cjs/guard.d.ts.map +1 -1
- package/dist/cjs/guard.js +56 -29
- package/dist/cjs/guard.js.map +1 -1
- package/dist/cjs/index.d.ts +6 -0
- package/dist/cjs/index.d.ts.map +1 -1
- package/dist/cjs/index.js +24 -1
- package/dist/cjs/index.js.map +1 -1
- package/dist/cjs/receipt-binding.d.ts +60 -0
- package/dist/cjs/receipt-binding.d.ts.map +1 -0
- package/dist/cjs/receipt-binding.js +110 -0
- package/dist/cjs/receipt-binding.js.map +1 -0
- package/dist/cjs/session-taint.d.ts +97 -0
- package/dist/cjs/session-taint.d.ts.map +1 -0
- package/dist/cjs/session-taint.js +317 -0
- package/dist/cjs/session-taint.js.map +1 -0
- package/dist/cjs/types.d.ts +1 -1
- package/dist/cjs/types.d.ts.map +1 -1
- package/dist/esm/detector.d.ts +1 -1
- package/dist/esm/detector.d.ts.map +1 -1
- package/dist/esm/detector.js +176 -3
- package/dist/esm/detector.js.map +1 -1
- package/dist/esm/enforcement-gate.d.ts +42 -0
- package/dist/esm/enforcement-gate.d.ts.map +1 -0
- package/dist/esm/enforcement-gate.js +101 -0
- package/dist/esm/enforcement-gate.js.map +1 -0
- package/dist/esm/guard.d.ts.map +1 -1
- package/dist/esm/guard.js +56 -29
- package/dist/esm/guard.js.map +1 -1
- package/dist/esm/index.d.ts +6 -0
- package/dist/esm/index.d.ts.map +1 -1
- package/dist/esm/index.js +7 -0
- package/dist/esm/index.js.map +1 -1
- package/dist/esm/receipt-binding.d.ts +60 -0
- package/dist/esm/receipt-binding.d.ts.map +1 -0
- package/dist/esm/receipt-binding.js +105 -0
- package/dist/esm/receipt-binding.js.map +1 -0
- package/dist/esm/session-taint.d.ts +97 -0
- package/dist/esm/session-taint.d.ts.map +1 -0
- package/dist/esm/session-taint.js +305 -0
- package/dist/esm/session-taint.js.map +1 -0
- package/dist/esm/types.d.ts +1 -1
- package/dist/esm/types.d.ts.map +1 -1
- package/package.json +2 -2
|
@@ -0,0 +1,317 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* @coderifts/agent-guard — process-local session-taint detector (SEPARATE surface).
|
|
4
|
+
*
|
|
5
|
+
* Implements session-taint-detector-SPEC.md verbatim: a multi-call taint tracker that flags when a
|
|
6
|
+
* session both accumulates contract taint AND emits an SSOT sink — closing the gap where a sequence
|
|
7
|
+
* passes single-call DG-1 yet mutates SSOT. Additive: the frozen `builtinDetector.detect()` is NOT
|
|
8
|
+
* touched. Versioned SEPARATELY (session-taint/1.0.0), monotonic toward caution.
|
|
9
|
+
*
|
|
10
|
+
* Normative: flag ⇔ ssot_sink_events ≠ ∅ ∧ tainted. Fixture-faithful classifier order (§1.6: NON_SINK
|
|
11
|
+
* first, so snapshot/prettier stay under-set — a documented, Peter-accepted quirk; flag unaffected).
|
|
12
|
+
*/
|
|
13
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
14
|
+
exports.SessionTaintTracker = exports.SESSION_TAINT_VERSION = void 0;
|
|
15
|
+
exports.pathClass = pathClass;
|
|
16
|
+
exports.emptySessionState = emptySessionState;
|
|
17
|
+
exports.projectState = projectState;
|
|
18
|
+
exports.classifyCommand = classifyCommand;
|
|
19
|
+
exports.updateSession = updateSession;
|
|
20
|
+
exports.computeTainted = computeTainted;
|
|
21
|
+
exports.deriveKeySignal = deriveKeySignal;
|
|
22
|
+
exports.evaluate = evaluate;
|
|
23
|
+
exports.SESSION_TAINT_VERSION = 'session-taint/1.0.0';
|
|
24
|
+
// ── §1.3 classifiers ─────────────────────────────────────────────────────────────────────────
|
|
25
|
+
const NON_SSOT_RE = /(^|\/)(tests?|__tests__|fixtures?|__mocks__|src\/internal)\//i;
|
|
26
|
+
const PIPELINE_SCRATCH_RE = /(^|\/)(build|\.cache|codegen|idl)(\/|$)/i;
|
|
27
|
+
const PROSE_RE = /(^|\/)(README|CHANGELOG|LICENSE)(\.\w+)?$|\.md$/i;
|
|
28
|
+
const SSOT_PATH_RE = /(^|\/)(openapi|swagger|asyncapi)[^/]*\.(ya?ml|json)$|(^|\/)mcp\.json$|\.graphql$|\.gql$|(^|\/)idl\/.*\.proto$|(^|\/)specs?\/.*\.(ya?ml|json)$|openapi\.yaml|schema\.graphql|asyncapi\.yaml/i;
|
|
29
|
+
const MIGRATION_RE = /(^|\/)migrations?\//i;
|
|
30
|
+
const CODE_OR_CONFIG_RE = /\.(ts|tsx|js|jsx)$/i;
|
|
31
|
+
const CONTRACT_CONTENT_RE = /\bopenapi\s*[:=]|\bswagger\s*[:=]|\basyncapi\s*[:=]|syntax\s*=\s*["']proto3|["']inputSchema["']|\btype\s+Query\b|(^|\n)\s*paths\s*:/i;
|
|
32
|
+
const STAGING_NAME_RE = /\.b64$|enc\/|field-map|flags\.json|optional_fields|required_fields|service\.idl|frags\/|BREAKING_DROP/i;
|
|
33
|
+
const NON_SINK_RE = /validate-frags|gen-docs|reload-flags|snapshot-spec|prettier|npm test|npm install|npx prettier/i;
|
|
34
|
+
const SSOT_INVALIDATE_RE = /archive-old-spec/i;
|
|
35
|
+
const SSOT_SINK_RE = /dsl-to-openapi|merge-spec|publish-fixture|promote-spec|sync-graphql|b64join-write|decode-promote|apply-field-map|render-openapi|idl\/compile|generate-and-test|compile_spec_bundle|install-proto|install-mcp|promote-asyncapi|repack-extract|codegen\/build\.js|codegen\/apply|codegen\/render/i;
|
|
36
|
+
function pathClass(p) {
|
|
37
|
+
if (PROSE_RE.test(p))
|
|
38
|
+
return 'prose';
|
|
39
|
+
if (NON_SSOT_RE.test(p) || PIPELINE_SCRATCH_RE.test(p))
|
|
40
|
+
return 'scratch';
|
|
41
|
+
if (MIGRATION_RE.test(p))
|
|
42
|
+
return 'migration';
|
|
43
|
+
if (SSOT_PATH_RE.test(p))
|
|
44
|
+
return 'ssot';
|
|
45
|
+
if (CODE_OR_CONFIG_RE.test(p) || p.startsWith('src/') || p.startsWith('config/') || p === 'package.json')
|
|
46
|
+
return 'code_or_config';
|
|
47
|
+
return 'other';
|
|
48
|
+
}
|
|
49
|
+
function emptySessionState() {
|
|
50
|
+
return {
|
|
51
|
+
scratch_writes: [], contract_looking_scratch: [], encoded_fragments: [], intermediate_artifacts: [],
|
|
52
|
+
pending_renames: [], optional_fields_added: [], required_fields_declared: [], ssot_paths_touched: [],
|
|
53
|
+
ssot_sink_events: [], ssot_invalidated: false, reverse_snapshot: false, formatter_only_ssot: false,
|
|
54
|
+
store_keys: [], tainted: false,
|
|
55
|
+
};
|
|
56
|
+
}
|
|
57
|
+
/** Serialize to the fixture's projected form (pending_renames -> "from->to" | "drop:name"). */
|
|
58
|
+
function projectState(s) {
|
|
59
|
+
return {
|
|
60
|
+
scratch_writes: s.scratch_writes.slice(),
|
|
61
|
+
encoded_fragments: s.encoded_fragments.slice(),
|
|
62
|
+
pending_renames: s.pending_renames.map((r) => ('drop' in r ? `drop:${r.drop}` : `${r.from}->${r.to}`)),
|
|
63
|
+
optional_fields_added: s.optional_fields_added.slice(),
|
|
64
|
+
required_fields_declared: s.required_fields_declared.slice(),
|
|
65
|
+
ssot_paths_touched: s.ssot_paths_touched.slice(),
|
|
66
|
+
contract_looking_scratch: s.contract_looking_scratch.slice(),
|
|
67
|
+
intermediate_artifacts: s.intermediate_artifacts.slice(),
|
|
68
|
+
ssot_sink_events: s.ssot_sink_events.slice(),
|
|
69
|
+
ssot_invalidated: s.ssot_invalidated,
|
|
70
|
+
reverse_snapshot: s.reverse_snapshot,
|
|
71
|
+
formatter_only_ssot: s.formatter_only_ssot,
|
|
72
|
+
store_keys: s.store_keys.slice(),
|
|
73
|
+
tainted: s.tainted,
|
|
74
|
+
};
|
|
75
|
+
}
|
|
76
|
+
// ── §2.2 extractors ──────────────────────────────────────────────────────────────────────────
|
|
77
|
+
function asRecord(args) { return args && typeof args === 'object' ? args : {}; }
|
|
78
|
+
function extractPaths(args) {
|
|
79
|
+
const a = asRecord(args);
|
|
80
|
+
const out = [];
|
|
81
|
+
for (const k of ['path', 'target', 'file', 'dest', 'filename', 'destination'])
|
|
82
|
+
if (typeof a[k] === 'string')
|
|
83
|
+
out.push(a[k]);
|
|
84
|
+
return out;
|
|
85
|
+
}
|
|
86
|
+
function extractContent(args) {
|
|
87
|
+
const a = asRecord(args);
|
|
88
|
+
const parts = [];
|
|
89
|
+
for (const k of ['contents', 'content', 'new_string', 'old_string', 'patch', 'value', 'command'])
|
|
90
|
+
if (typeof a[k] === 'string')
|
|
91
|
+
parts.push(a[k]);
|
|
92
|
+
return parts.join('\n');
|
|
93
|
+
}
|
|
94
|
+
// ── §2.3 encoded-fragment heuristic (fixture-faithful — do not "fix" without regenerating) ──────
|
|
95
|
+
function isEncodedFragment(path, content) {
|
|
96
|
+
if (path && /part\.|enc\/|\.b64$|pkg\.part/i.test(path))
|
|
97
|
+
return true;
|
|
98
|
+
const c = content.replace(/\s+/g, '');
|
|
99
|
+
if (c.length >= 8 && c.length < 80 && /^[A-Za-z0-9+/=]+$/.test(c))
|
|
100
|
+
return true;
|
|
101
|
+
return false;
|
|
102
|
+
}
|
|
103
|
+
function classifyCommand(command, action, cfg = {}) {
|
|
104
|
+
const s = `${command || ''} ${action || ''}`;
|
|
105
|
+
const extraNon = cfg.extraNonSinkPatterns || [];
|
|
106
|
+
const extraSink = cfg.extraSinkPatterns || [];
|
|
107
|
+
if (NON_SINK_RE.test(s) || extraNon.some((r) => r.test(s)))
|
|
108
|
+
return 'non_sink';
|
|
109
|
+
if (SSOT_INVALIDATE_RE.test(s))
|
|
110
|
+
return 'ssot_invalidate';
|
|
111
|
+
if (SSOT_SINK_RE.test(s) || action === 'compile_spec_bundle' || extraSink.some((r) => r.test(s)))
|
|
112
|
+
return 'ssot_sink';
|
|
113
|
+
if (/snapshot/i.test(s))
|
|
114
|
+
return 'reverse_snapshot';
|
|
115
|
+
if (/prettier|format/i.test(s))
|
|
116
|
+
return 'formatter';
|
|
117
|
+
return 'unknown_script';
|
|
118
|
+
}
|
|
119
|
+
function pushUniq(arr, v) { if (v != null && !arr.includes(v))
|
|
120
|
+
arr.push(v); }
|
|
121
|
+
// ── §2.5 transition ────────────────────────────────────────────────────────────────────────────
|
|
122
|
+
function updateSession(state, call, cfg = {}) {
|
|
123
|
+
const s = JSON.parse(JSON.stringify(state)); // pure: new state
|
|
124
|
+
const args = asRecord(call && call.arguments);
|
|
125
|
+
const paths = extractPaths(args);
|
|
126
|
+
const content = extractContent(args);
|
|
127
|
+
const tool = call && call.toolName;
|
|
128
|
+
// store
|
|
129
|
+
if (tool === 'store' && typeof args.key === 'string') {
|
|
130
|
+
pushUniq(s.store_keys, args.key);
|
|
131
|
+
if (/spec_|api_|openapi|schema/i.test(args.key) || /BREAKING|ROUTE|FIELD|REMOVE|MANDATORY|required|optional/i.test(String(args.value))) {
|
|
132
|
+
pushUniq(s.intermediate_artifacts, `store:${args.key}`);
|
|
133
|
+
}
|
|
134
|
+
}
|
|
135
|
+
// apply
|
|
136
|
+
if (tool === 'apply' && typeof args.action === 'string') {
|
|
137
|
+
if (classifyCommand('', args.action, cfg) === 'ssot_sink')
|
|
138
|
+
s.ssot_sink_events.push(args.action);
|
|
139
|
+
}
|
|
140
|
+
// Bash / command
|
|
141
|
+
if (tool === 'Bash' || typeof args.command === 'string') {
|
|
142
|
+
const cmd = typeof args.command === 'string' ? args.command : '';
|
|
143
|
+
const kind = classifyCommand(cmd, '', cfg);
|
|
144
|
+
if (kind === 'ssot_sink')
|
|
145
|
+
s.ssot_sink_events.push(cmd);
|
|
146
|
+
if (kind === 'ssot_invalidate')
|
|
147
|
+
s.ssot_invalidated = true;
|
|
148
|
+
if (kind === 'reverse_snapshot')
|
|
149
|
+
s.reverse_snapshot = true;
|
|
150
|
+
if (kind === 'formatter' && (SSOT_PATH_RE.test(cmd) || /openapi|swagger|asyncapi|\.graphql|\.gql|mcp\.json|schema/i.test(cmd)))
|
|
151
|
+
s.formatter_only_ssot = true;
|
|
152
|
+
}
|
|
153
|
+
// path-bearing writes/edits
|
|
154
|
+
for (const p of paths) {
|
|
155
|
+
const pc = pathClass(p);
|
|
156
|
+
const isScratch = pc === 'scratch' || NON_SSOT_RE.test(p) || PIPELINE_SCRATCH_RE.test(p);
|
|
157
|
+
if (isScratch) {
|
|
158
|
+
pushUniq(s.scratch_writes, p);
|
|
159
|
+
if (CONTRACT_CONTENT_RE.test(content) || STAGING_NAME_RE.test(p + content))
|
|
160
|
+
pushUniq(s.contract_looking_scratch, p);
|
|
161
|
+
if (PIPELINE_SCRATCH_RE.test(p))
|
|
162
|
+
pushUniq(s.intermediate_artifacts, p);
|
|
163
|
+
if (isEncodedFragment(p, content) || /\.b64$/i.test(p) || /enc\//i.test(p) || /pkg\.part/i.test(p))
|
|
164
|
+
pushUniq(s.encoded_fragments, p);
|
|
165
|
+
if (/field-map|flags\.json|optional_fields|required_fields|\.idl$/i.test(p))
|
|
166
|
+
pushUniq(s.intermediate_artifacts, p);
|
|
167
|
+
}
|
|
168
|
+
if (pc === 'ssot' && !(tool === 'Bash' && /prettier/i.test(typeof args.command === 'string' ? args.command : '')))
|
|
169
|
+
pushUniq(s.ssot_paths_touched, p);
|
|
170
|
+
// field-map JSON
|
|
171
|
+
if (/field-map/i.test(p)) {
|
|
172
|
+
let obj;
|
|
173
|
+
try {
|
|
174
|
+
obj = JSON.parse(content);
|
|
175
|
+
}
|
|
176
|
+
catch {
|
|
177
|
+
obj = null;
|
|
178
|
+
}
|
|
179
|
+
if (obj && typeof obj === 'object' && !Array.isArray(obj)) {
|
|
180
|
+
for (const [k, v] of Object.entries(obj)) {
|
|
181
|
+
if (k === '__drop' && Array.isArray(v)) {
|
|
182
|
+
for (const d of v)
|
|
183
|
+
s.pending_renames.push({ drop: String(d) });
|
|
184
|
+
}
|
|
185
|
+
else if (typeof v === 'string')
|
|
186
|
+
s.pending_renames.push({ from: k, to: v });
|
|
187
|
+
}
|
|
188
|
+
}
|
|
189
|
+
}
|
|
190
|
+
// flags.json optional/required
|
|
191
|
+
if (/flags\.json/i.test(p)) {
|
|
192
|
+
for (const m of content.matchAll(/"(\w+)":\s*"optional"/g))
|
|
193
|
+
pushUniq(s.optional_fields_added, m[1]);
|
|
194
|
+
for (const m of content.matchAll(/"(\w+)":\s*"required"/g))
|
|
195
|
+
pushUniq(s.required_fields_declared, m[1]);
|
|
196
|
+
}
|
|
197
|
+
// list files
|
|
198
|
+
if (/optional_fields/i.test(p))
|
|
199
|
+
for (const line of content.split('\n'))
|
|
200
|
+
if (line.trim())
|
|
201
|
+
pushUniq(s.optional_fields_added, line.trim());
|
|
202
|
+
if (/required_fields/i.test(p))
|
|
203
|
+
for (const line of content.split('\n'))
|
|
204
|
+
if (line.trim())
|
|
205
|
+
pushUniq(s.required_fields_declared, line.trim());
|
|
206
|
+
// ST-009 yaml heuristics
|
|
207
|
+
if (NON_SSOT_RE.test(p) && /required:\s*\[[^\]]*owner_id/.test(content))
|
|
208
|
+
pushUniq(s.required_fields_declared, 'owner_id');
|
|
209
|
+
if (NON_SSOT_RE.test(p) && /owner_id:\s*\{type: string\}/.test(content))
|
|
210
|
+
pushUniq(s.optional_fields_added, 'owner_id');
|
|
211
|
+
if (/\.idl$/i.test(p) || p.startsWith('idl/'))
|
|
212
|
+
pushUniq(s.intermediate_artifacts, p);
|
|
213
|
+
}
|
|
214
|
+
// body flags (with/without path)
|
|
215
|
+
if (/BREAKING_DROP|FIELD .* REMOVE|MANDATORY/i.test(content))
|
|
216
|
+
pushUniq(s.intermediate_artifacts, paths[0] || 'inline_flag');
|
|
217
|
+
s.tainted = computeTainted(s);
|
|
218
|
+
return s;
|
|
219
|
+
}
|
|
220
|
+
// ── §3.2 taint predicate ─────────────────────────────────────────────────────────────────────
|
|
221
|
+
function computeTainted(s) {
|
|
222
|
+
return (s.contract_looking_scratch.length > 0
|
|
223
|
+
|| s.encoded_fragments.length > 0
|
|
224
|
+
|| s.intermediate_artifacts.length > 0
|
|
225
|
+
|| s.store_keys.some((k) => /spec_|api_|schema|openapi/i.test(k))
|
|
226
|
+
|| s.pending_renames.length > 0
|
|
227
|
+
|| s.optional_fields_added.some((f) => s.required_fields_declared.includes(f))
|
|
228
|
+
|| (s.required_fields_declared.length > 0 && s.optional_fields_added.length > 0)
|
|
229
|
+
|| s.ssot_invalidated === true);
|
|
230
|
+
}
|
|
231
|
+
function deriveKeySignal(s) {
|
|
232
|
+
if (s.ssot_invalidated)
|
|
233
|
+
return 'delete_recreate_ssot_via_session';
|
|
234
|
+
if (s.encoded_fragments.length)
|
|
235
|
+
return 'encoded_scratch_then_ssot_promotion';
|
|
236
|
+
if (s.optional_fields_added.some((f) => s.required_fields_declared.includes(f)) || (s.required_fields_declared.length && s.optional_fields_added.length))
|
|
237
|
+
return 'cumulative_required_flip';
|
|
238
|
+
if (s.pending_renames.length)
|
|
239
|
+
return 'cumulative_rename_via_codegen';
|
|
240
|
+
if (s.contract_looking_scratch.length)
|
|
241
|
+
return 'scratch_to_ssot_promotion';
|
|
242
|
+
if (s.intermediate_artifacts.length)
|
|
243
|
+
return 'cross_call_reassembly_to_ssot';
|
|
244
|
+
return 'session_ssot_sink_with_taint';
|
|
245
|
+
}
|
|
246
|
+
/** flag ⇔ (ssot_sink_events ≠ ∅ || sink_seen) ∧ (tainted || overflow). */
|
|
247
|
+
function evaluate(state, prevFlagged = false, opts = {}) {
|
|
248
|
+
const sink = state.ssot_sink_events.length > 0 || opts.sinkSeen === true;
|
|
249
|
+
const taint = state.tainted || opts.overflow === true;
|
|
250
|
+
const flag = sink && taint;
|
|
251
|
+
return { flag, trip: flag && !prevFlagged, key_signal: flag ? deriveKeySignal(state) : null };
|
|
252
|
+
}
|
|
253
|
+
const DEF = { maxCalls: 256, maxPathsTracked: 512, maxSinkEvents: 64, maxStateBytes: 256_000, ttlMs: 3_600_000 };
|
|
254
|
+
class SessionTaintTracker {
|
|
255
|
+
version = exports.SESSION_TAINT_VERSION;
|
|
256
|
+
state = emptySessionState();
|
|
257
|
+
prevFlag = false;
|
|
258
|
+
callCount = 0;
|
|
259
|
+
overflow = false;
|
|
260
|
+
sinkSeen = false;
|
|
261
|
+
lastObserveAt = 0;
|
|
262
|
+
cfg;
|
|
263
|
+
constructor(config = {}) { this.cfg = config; }
|
|
264
|
+
pathTotal() {
|
|
265
|
+
const s = this.state;
|
|
266
|
+
return s.scratch_writes.length + s.contract_looking_scratch.length + s.encoded_fragments.length
|
|
267
|
+
+ s.intermediate_artifacts.length + s.ssot_paths_touched.length;
|
|
268
|
+
}
|
|
269
|
+
observe(call) {
|
|
270
|
+
const now = this.now();
|
|
271
|
+
// §4.3 TTL: soft reset to a fresh session on expiry.
|
|
272
|
+
if (this.lastObserveAt && now - this.lastObserveAt > (this.cfg.ttlMs ?? DEF.ttlMs))
|
|
273
|
+
this.reset();
|
|
274
|
+
this.lastObserveAt = now;
|
|
275
|
+
const next = updateSession(this.state, call, this.cfg);
|
|
276
|
+
// §4.3 caps → sticky overflow forces taint (monotonic caution; NOT drop-oldest).
|
|
277
|
+
this.callCount++;
|
|
278
|
+
if (this.callCount > (this.cfg.maxCalls ?? DEF.maxCalls))
|
|
279
|
+
this.overflow = true;
|
|
280
|
+
if (this.pathTotal() > (this.cfg.maxPathsTracked ?? DEF.maxPathsTracked))
|
|
281
|
+
this.overflow = true;
|
|
282
|
+
if (JSON.stringify(next).length > (this.cfg.maxStateBytes ?? DEF.maxStateBytes))
|
|
283
|
+
this.overflow = true;
|
|
284
|
+
// maxSinkEvents: stop growing the list but keep sink presence sticky.
|
|
285
|
+
if (next.ssot_sink_events.length > (this.cfg.maxSinkEvents ?? DEF.maxSinkEvents)) {
|
|
286
|
+
next.ssot_sink_events = next.ssot_sink_events.slice(0, this.cfg.maxSinkEvents ?? DEF.maxSinkEvents);
|
|
287
|
+
}
|
|
288
|
+
this.state = next;
|
|
289
|
+
if (this.state.ssot_sink_events.length > 0)
|
|
290
|
+
this.sinkSeen = true;
|
|
291
|
+
return this.snapshot();
|
|
292
|
+
}
|
|
293
|
+
status() { return this.snapshot(); }
|
|
294
|
+
reset() {
|
|
295
|
+
this.state = emptySessionState();
|
|
296
|
+
this.prevFlag = false;
|
|
297
|
+
this.callCount = 0;
|
|
298
|
+
this.overflow = false;
|
|
299
|
+
this.sinkSeen = false;
|
|
300
|
+
this.lastObserveAt = 0;
|
|
301
|
+
}
|
|
302
|
+
snapshot() {
|
|
303
|
+
const eva = evaluate(this.state, this.prevFlag, { overflow: this.overflow, sinkSeen: this.sinkSeen });
|
|
304
|
+
if (eva.flag)
|
|
305
|
+
this.prevFlag = true;
|
|
306
|
+
return {
|
|
307
|
+
flag: eva.flag, trip: eva.trip, key_signal: eva.key_signal,
|
|
308
|
+
state: projectState(this.state),
|
|
309
|
+
version: exports.SESSION_TAINT_VERSION, overflow: this.overflow,
|
|
310
|
+
severity: this.cfg.sessionTaintSeverity || 'caution',
|
|
311
|
+
};
|
|
312
|
+
}
|
|
313
|
+
// Date.now is fine at runtime; isolated for testability.
|
|
314
|
+
now() { return Date.now(); }
|
|
315
|
+
}
|
|
316
|
+
exports.SessionTaintTracker = SessionTaintTracker;
|
|
317
|
+
//# sourceMappingURL=session-taint.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"session-taint.js","sourceRoot":"","sources":["../../src/session-taint.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;AAuBH,8BAOC;AAsBD,8CAOC;AAGD,oCAiBC;AA2BD,0CAUC;AAKD,sCA0EC;AAGD,wCAWC;AAKD,0CAQC;AAGD,4BAKC;AAlOY,QAAA,qBAAqB,GAAG,qBAAqB,CAAC;AAE3D,gGAAgG;AAChG,MAAM,WAAW,GAAG,+DAA+D,CAAC;AACpF,MAAM,mBAAmB,GAAG,0CAA0C,CAAC;AACvE,MAAM,QAAQ,GAAG,kDAAkD,CAAC;AACpE,MAAM,YAAY,GAAG,6LAA6L,CAAC;AACnN,MAAM,YAAY,GAAG,sBAAsB,CAAC;AAC5C,MAAM,iBAAiB,GAAG,qBAAqB,CAAC;AAEhD,MAAM,mBAAmB,GAAG,sIAAsI,CAAC;AACnK,MAAM,eAAe,GAAG,wGAAwG,CAAC;AAEjI,MAAM,WAAW,GAAG,gGAAgG,CAAC;AACrH,MAAM,kBAAkB,GAAG,mBAAmB,CAAC;AAC/C,MAAM,YAAY,GAAG,iSAAiS,CAAC;AAIvT,SAAgB,SAAS,CAAC,CAAS;IACjC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC;IACrC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACzE,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,WAAW,CAAC;IAC7C,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACxC,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,cAAc;QAAE,OAAO,gBAAgB,CAAC;IAClI,OAAO,OAAO,CAAC;AACjB,CAAC;AAsBD,SAAgB,iBAAiB;IAC/B,OAAO;QACL,cAAc,EAAE,EAAE,EAAE,wBAAwB,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,sBAAsB,EAAE,EAAE;QACnG,eAAe,EAAE,EAAE,EAAE,qBAAqB,EAAE,EAAE,EAAE,wBAAwB,EAAE,EAAE,EAAE,kBAAkB,EAAE,EAAE;QACpG,gBAAgB,EAAE,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK;QAClG,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK;KAC/B,CAAC;AACJ,CAAC;AAED,+FAA+F;AAC/F,SAAgB,YAAY,CAAC,CAAe;IAC1C,OAAO;QACL,cAAc,EAAE,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE;QACxC,iBAAiB,EAAE,CAAC,CAAC,iBAAiB,CAAC,KAAK,EAAE;QAC9C,eAAe,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtG,qBAAqB,EAAE,CAAC,CAAC,qBAAqB,CAAC,KAAK,EAAE;QACtD,wBAAwB,EAAE,CAAC,CAAC,wBAAwB,CAAC,KAAK,EAAE;QAC5D,kBAAkB,EAAE,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE;QAChD,wBAAwB,EAAE,CAAC,CAAC,wBAAwB,CAAC,KAAK,EAAE;QAC5D,sBAAsB,EAAE,CAAC,CAAC,sBAAsB,CAAC,KAAK,EAAE;QACxD,gBAAgB,EAAE,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE;QAC5C,gBAAgB,EAAE,CAAC,CAAC,gBAAgB;QACpC,gBAAgB,EAAE,CAAC,CAAC,gBAAgB;QACpC,mBAAmB,EAAE,CAAC,CAAC,mBAAmB;QAC1C,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE;QAChC,OAAO,EAAE,CAAC,CAAC,OAAO;KACnB,CAAC;AACJ,CAAC;AAED,gGAAgG;AAChG,SAAS,QAAQ,CAAC,IAAa,IAA6B,OAAO,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAE,IAAgC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE/I,SAAS,YAAY,CAAC,IAAa;IACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAAC,MAAM,GAAG,GAAa,EAAE,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,CAAC;QAAE,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAW,CAAC,CAAC;IACtI,OAAO,GAAG,CAAC;AACb,CAAC;AACD,SAAS,cAAc,CAAC,IAAa;IACnC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAAC,MAAM,KAAK,GAAa,EAAE,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC;QAAE,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAW,CAAC,CAAC;IAC3J,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,mGAAmG;AACnG,SAAS,iBAAiB,CAAC,IAAwB,EAAE,OAAe;IAClE,IAAI,IAAI,IAAI,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACrE,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACtC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,EAAE,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,OAAO,KAAK,CAAC;AACf,CAAC;AAKD,SAAgB,eAAe,CAAC,OAAe,EAAE,MAAc,EAAE,MAA0B,EAAE;IAC3F,MAAM,CAAC,GAAG,GAAG,OAAO,IAAI,EAAE,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC;IAC7C,MAAM,QAAQ,GAAG,GAAG,CAAC,oBAAoB,IAAI,EAAE,CAAC;IAChD,MAAM,SAAS,GAAG,GAAG,CAAC,iBAAiB,IAAI,EAAE,CAAC;IAC9C,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,UAAU,CAAC;IAC9E,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,iBAAiB,CAAC;IACzD,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,MAAM,KAAK,qBAAqB,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,WAAW,CAAC;IACrH,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,kBAAkB,CAAC;IACnD,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,WAAW,CAAC;IACnD,OAAO,gBAAgB,CAAC;AAC1B,CAAC;AAED,SAAS,QAAQ,CAAC,GAAa,EAAE,CAAS,IAAU,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;IAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAErG,kGAAkG;AAClG,SAAgB,aAAa,CAAC,KAAmB,EAAE,IAAgD,EAAE,MAA0B,EAAE;IAC/H,MAAM,CAAC,GAAiB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,kBAAkB;IAC7E,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC;IAEnC,QAAQ;IACR,IAAI,IAAI,KAAK,OAAO,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;QACrD,QAAQ,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,0DAA0D,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACvI,QAAQ,CAAC,CAAC,CAAC,sBAAsB,EAAE,SAAS,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IACD,QAAQ;IACR,IAAI,IAAI,KAAK,OAAO,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxD,IAAI,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,WAAW;YAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClG,CAAC;IACD,iBAAiB;IACjB,IAAI,IAAI,KAAK,MAAM,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACxD,MAAM,GAAG,GAAG,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;QAC3C,IAAI,IAAI,KAAK,WAAW;YAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvD,IAAI,IAAI,KAAK,iBAAiB;YAAE,CAAC,CAAC,gBAAgB,GAAG,IAAI,CAAC;QAC1D,IAAI,IAAI,KAAK,kBAAkB;YAAE,CAAC,CAAC,gBAAgB,GAAG,IAAI,CAAC;QAC3D,IAAI,IAAI,KAAK,WAAW,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,4DAA4D,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAAE,CAAC,CAAC,mBAAmB,GAAG,IAAI,CAAC;IAC/J,CAAC;IAED,4BAA4B;IAC5B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,SAAS,GAAG,EAAE,KAAK,SAAS,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEzF,IAAI,SAAS,EAAE,CAAC;YACd,QAAQ,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;YAC9B,IAAI,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC;gBAAE,QAAQ,CAAC,CAAC,CAAC,wBAAwB,EAAE,CAAC,CAAC,CAAC;YACpH,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,QAAQ,CAAC,CAAC,CAAC,sBAAsB,EAAE,CAAC,CAAC,CAAC;YACvE,IAAI,iBAAiB,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,QAAQ,CAAC,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC;YACrI,IAAI,+DAA+D,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,QAAQ,CAAC,CAAC,CAAC,sBAAsB,EAAE,CAAC,CAAC,CAAC;QACrH,CAAC;QAED,IAAI,EAAE,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAAE,QAAQ,CAAC,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC;QAErJ,iBAAiB;QACjB,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,IAAI,GAAY,CAAC;YACjB,IAAI,CAAC;gBAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC;gBAAC,GAAG,GAAG,IAAI,CAAC;YAAC,CAAC;YACxD,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC1D,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,EAAE,CAAC;oBACpE,IAAI,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;wBAAC,KAAK,MAAM,CAAC,IAAI,CAAC;4BAAE,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBAAC,CAAC;yBACtG,IAAI,OAAO,CAAC,KAAK,QAAQ;wBAAE,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC7E,CAAC;YACH,CAAC;QACH,CAAC;QACD,+BAA+B;QAC/B,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3B,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,wBAAwB,CAAC;gBAAE,QAAQ,CAAC,CAAC,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpG,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,wBAAwB,CAAC;gBAAE,QAAQ,CAAC,CAAC,CAAC,wBAAwB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzG,CAAC;QACD,aAAa;QACb,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,IAAI,IAAI,CAAC,IAAI,EAAE;oBAAE,QAAQ,CAAC,CAAC,CAAC,qBAAqB,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACxI,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,IAAI,IAAI,CAAC,IAAI,EAAE;oBAAE,QAAQ,CAAC,CAAC,CAAC,wBAAwB,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3I,yBAAyB;QACzB,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,8BAA8B,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,QAAQ,CAAC,CAAC,CAAC,wBAAwB,EAAE,UAAU,CAAC,CAAC;QAC1H,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,8BAA8B,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,QAAQ,CAAC,CAAC,CAAC,qBAAqB,EAAE,UAAU,CAAC,CAAC;QAEvH,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,QAAQ,CAAC,CAAC,CAAC,sBAAsB,EAAE,CAAC,CAAC,CAAC;IACvF,CAAC;IAED,iCAAiC;IACjC,IAAI,0CAA0C,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,QAAQ,CAAC,CAAC,CAAC,sBAAsB,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC;IAE5H,CAAC,CAAC,OAAO,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IAC9B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,gGAAgG;AAChG,SAAgB,cAAc,CAAC,CAAe;IAC5C,OAAO,CACL,CAAC,CAAC,wBAAwB,CAAC,MAAM,GAAG,CAAC;WAClC,CAAC,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;WAC9B,CAAC,CAAC,sBAAsB,CAAC,MAAM,GAAG,CAAC;WACnC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;WAC9D,CAAC,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;WAC5B,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;WAC3E,CAAC,CAAC,CAAC,wBAAwB,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,CAAC;WAC7E,CAAC,CAAC,gBAAgB,KAAK,IAAI,CAC/B,CAAC;AACJ,CAAC;AAKD,SAAgB,eAAe,CAAC,CAAe;IAC7C,IAAI,CAAC,CAAC,gBAAgB;QAAE,OAAO,kCAAkC,CAAC;IAClE,IAAI,CAAC,CAAC,iBAAiB,CAAC,MAAM;QAAE,OAAO,qCAAqC,CAAC;IAC7E,IAAI,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,MAAM,IAAI,CAAC,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAAE,OAAO,0BAA0B,CAAC;IAC5L,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM;QAAE,OAAO,+BAA+B,CAAC;IACrE,IAAI,CAAC,CAAC,wBAAwB,CAAC,MAAM;QAAE,OAAO,2BAA2B,CAAC;IAC1E,IAAI,CAAC,CAAC,sBAAsB,CAAC,MAAM;QAAE,OAAO,+BAA+B,CAAC;IAC5E,OAAO,8BAA8B,CAAC;AACxC,CAAC;AAED,0EAA0E;AAC1E,SAAgB,QAAQ,CAAC,KAAmB,EAAE,WAAW,GAAG,KAAK,EAAE,OAAmD,EAAE;IACtH,MAAM,IAAI,GAAG,KAAK,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;IACzE,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;IACtD,MAAM,IAAI,GAAG,IAAI,IAAI,KAAK,CAAC;IAC3B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAChG,CAAC;AA0BD,MAAM,GAAG,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE,aAAa,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAEjH,MAAa,mBAAmB;IACrB,OAAO,GAAG,6BAAqB,CAAC;IACjC,KAAK,GAAG,iBAAiB,EAAE,CAAC;IAC5B,QAAQ,GAAG,KAAK,CAAC;IACjB,SAAS,GAAG,CAAC,CAAC;IACd,QAAQ,GAAG,KAAK,CAAC;IACjB,QAAQ,GAAG,KAAK,CAAC;IACjB,aAAa,GAAG,CAAC,CAAC;IAClB,GAAG,CAAqB;IAEhC,YAAY,SAA6B,EAAE,IAAI,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC;IAE3D,SAAS;QACf,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;QACrB,OAAO,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,wBAAwB,CAAC,MAAM,GAAG,CAAC,CAAC,iBAAiB,CAAC,MAAM;cAC3F,CAAC,CAAC,sBAAsB,CAAC,MAAM,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC;IACpE,CAAC;IAED,OAAO,CAAC,IAAwB;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,qDAAqD;QACrD,IAAI,IAAI,CAAC,aAAa,IAAI,GAAG,GAAG,IAAI,CAAC,aAAa,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC;YAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QACjG,IAAI,CAAC,aAAa,GAAG,GAAG,CAAC;QAEzB,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACvD,iFAAiF;QACjF,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC;YAAE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QAC/E,IAAI,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,IAAI,GAAG,CAAC,eAAe,CAAC;YAAE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QAC/F,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,IAAI,GAAG,CAAC,aAAa,CAAC;YAAE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACtG,sEAAsE;QACtE,IAAI,IAAI,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,IAAI,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;YACjF,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,aAAa,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;QACtG,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;YAAE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QAEjE,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC;IAED,MAAM,KAA8B,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IAE7D,KAAK;QACH,IAAI,CAAC,KAAK,GAAG,iBAAiB,EAAE,CAAC;QAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;QAAC,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC;QAC5E,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;QAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;QAAC,IAAI,CAAC,aAAa,GAAG,CAAC,CAAC;IACvE,CAAC;IAEO,QAAQ;QACd,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QACtG,IAAI,GAAG,CAAC,IAAI;YAAE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1D,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAA4B;YAC1D,OAAO,EAAE,6BAAqB,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvD,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,oBAAoB,IAAI,SAAS;SACrD,CAAC;IACJ,CAAC;IAED,yDAAyD;IACjD,GAAG,KAAa,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;CAC7C;AA5DD,kDA4DC"}
|
package/dist/cjs/types.d.ts
CHANGED
|
@@ -142,7 +142,7 @@ export type UnavailableVerdict = {
|
|
|
142
142
|
lkgEnvelope: ReceiptVerifiedEnvelope;
|
|
143
143
|
});
|
|
144
144
|
export type AvailabilityCause = 'TIMEOUT' | 'NETWORK' | 'SERVER_ERROR' | 'RATE_LIMITED';
|
|
145
|
-
export type IntegrityCause = 'INVALID_RESPONSE' | 'UNSUPPORTED_VERSION' | 'SCHEMA_INVALID' | 'RECEIPT_UNVERIFIED' | 'DETECTOR_ERROR' | 'CONFIG_ERROR' | 'PAYLOAD_TOO_LARGE' | 'REQUEST_REJECTED';
|
|
145
|
+
export type IntegrityCause = 'INVALID_RESPONSE' | 'UNSUPPORTED_VERSION' | 'SCHEMA_INVALID' | 'RECEIPT_UNVERIFIED' | 'DETECTOR_ERROR' | 'CONFIG_ERROR' | 'PAYLOAD_TOO_LARGE' | 'REQUEST_REJECTED' | 'RECEIPT_ENVELOPE_MISMATCH' | 'DECISION_INCONSISTENT' | 'ANALYSIS_DEGRADED' | 'ARTIFACT_MISMATCH' | 'RECEIPT_MISSING' | 'MONITORING_UNWIRED';
|
|
146
146
|
export type UnavailableCause = AvailabilityCause | IntegrityCause;
|
|
147
147
|
export interface TriggerDetector {
|
|
148
148
|
version: string;
|
package/dist/cjs/types.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,sBAAsB,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAEnG,YAAY,EAAE,SAAS,EAAE,sBAAsB,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAInG,MAAM,MAAM,uBAAuB,GACjC,sBAAsB,GAAG;IAAE,QAAQ,CAAC,iBAAiB,EAAE,OAAO,MAAM,CAAA;CAAE,CAAC;AAEzE,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,SAAS,CAAC;IAClB,UAAU,CAAC,EAAE,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC;IACvC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,wBAAwB,CAAC,EAAE,OAAO,CAAC;IACnC,GAAG,CAAC,EAAE,QAAQ,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,kBAAkB,KAAK,kBAAkB,CAAC;IACzD,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,KAAK,IAAI,CAAC;CACnC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;IACvB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAKD,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,sBAAsB,GAAG,IAAI,EAAE,YAAY,EAAE,kBAAkB,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;AAI1H,MAAM,MAAM,eAAe,GACzB,CAAE;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,sBAAsB,CAAA;CAAE,GACvE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,0BAA0B,CAAC;IAAC,QAAQ,EAAE,sBAAsB,CAAA;CAAE,CAAE,GAC3F;IAAE,eAAe,EAAE,IAAI,CAAA;CAAE,CAAC;AAE9B,MAAM,MAAM,YAAY,CAAC,CAAC,IAEtB;IAAE,kBAAkB,EAAE,IAAI,CAAC;IAAE,QAAQ,EAAE,IAAI,CAAC;IAAE,QAAQ,EAAE,IAAI,CAAC;IAAE,MAAM,EAAE,CAAC,CAAC;IAAG,OAAO,EAAE,eAAe,CAAC;IAAC,WAAW,EAAE,IAAI,CAAA;CAAE,GAEzH;IAAE,kBAAkB,EAAE,IAAI,CAAC;IAAE,QAAQ,EAAE,IAAI,CAAC;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,CAAC,CAAC;IAAG,OAAO,EAAE,YAAY,CAAC;IAAC,WAAW,EAAE,OAAO,CAAA;CAAE,GAEzH;IAAE,kBAAkB,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,KAAK,CAAC;IAAc,OAAO,EAAE,YAAY,CAAC;IAAC,WAAW,EAAE,OAAO,CAAA;CAAE,GAEzH;IAAE,kBAAkB,EAAE,IAAI,CAAC;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,IAAI,CAAC;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,eAAe,CAAC;IAAC,WAAW,EAAE,IAAI,CAAA;CAAE,GAE5H;IAAE,kBAAkB,EAAE,IAAI,CAAC;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,YAAY,CAAC;IAAC,WAAW,EAAE,OAAO,CAAA;CAAE,CAAC;AAIjI,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAI,MAAM,EAAE,UAAU,CAAC;IAAiB,QAAQ,EAAE,sBAAsB,CAAC;IAAC,eAAe,EAAE,OAAO,CAAA;CAAE,GACpH;IAAE,IAAI,EAAE,SAAS,CAAC;IAAE,MAAM,EAAE,0BAA0B,CAAC;IAAC,QAAQ,EAAE,sBAAsB,CAAC;IAAC,eAAe,EAAE,OAAO,CAAA;CAAE,GACpH;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAC;IAAS,QAAQ,EAAE,sBAAsB,CAAC;IAAC,eAAe,EAAE,OAAO,CAAA;CAAE,GACpH;IAAE,IAAI,EAAE,OAAO,CAAC;IAAI,MAAM,EAAE,MAAM,CAAC;IAAqB,QAAQ,EAAE,sBAAsB,CAAC;IAAC,eAAe,EAAE,OAAO,CAAA;CAAE,GACpH;IAAE,IAAI,EAAE,SAAS,CAAC;IAAE,MAAM,EAAE,qBAAqB,CAAC;IAAM,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,GACpG,kBAAkB,CAAC;AAIvB,MAAM,MAAM,kBAAkB,GAAG;IAAE,IAAI,EAAE,aAAa,CAAC;IACnD,eAAe,EAAE,IAAI,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAA;CAAE,GAAG,CAEpD;IAAE,KAAK,EAAE,cAAc,CAAC;IAAI,UAAU,EAAE,QAAQ,GAAC,MAAM,GAAC,KAAK,CAAC;IAAC,UAAU,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAErG;IAAE,KAAK,EAAE,iBAAiB,CAAC;IAAC,UAAU,EAAE,QAAQ,GAAC,MAAM,GAAC,KAAK,CAAC;IAAC,UAAU,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAErG;IAAE,KAAK,EAAE,iBAAiB,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,kBAAkB,CAAC;IAAC,MAAM,EAAE,UAAU,CAAA;CAAE,GAEpG;IAAE,KAAK,EAAE,iBAAiB,CAAC;IAAC,UAAU,EAAE,KAAK,CAAC;IAAC,UAAU,EAAE,kBAAkB,CAAC;IAC5E,MAAM,EAAE,UAAU,GAAG,0BAA0B,CAAC;IAAC,WAAW,EAAE,uBAAuB,CAAA;CAAE,CAC5F,CAAC;AAKF,MAAM,MAAM,iBAAiB,GAAG,SAAS,GAAG,SAAS,GAAG,cAAc,GAAG,cAAc,CAAC;AACxF,MAAM,MAAM,cAAc,GACxB,kBAAkB,GAAG,qBAAqB,GAAG,gBAAgB,GAC3D,oBAAoB,GAAG,gBAAgB,GAAG,cAAc,GACxD,mBAAmB,GACnB,kBAAkB,CAAC;
|
|
1
|
+
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,sBAAsB,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAEnG,YAAY,EAAE,SAAS,EAAE,sBAAsB,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAInG,MAAM,MAAM,uBAAuB,GACjC,sBAAsB,GAAG;IAAE,QAAQ,CAAC,iBAAiB,EAAE,OAAO,MAAM,CAAA;CAAE,CAAC;AAEzE,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,SAAS,CAAC;IAClB,UAAU,CAAC,EAAE,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC;IACvC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,wBAAwB,CAAC,EAAE,OAAO,CAAC;IACnC,GAAG,CAAC,EAAE,QAAQ,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,kBAAkB,KAAK,kBAAkB,CAAC;IACzD,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,KAAK,IAAI,CAAC;CACnC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;IACvB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAKD,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,sBAAsB,GAAG,IAAI,EAAE,YAAY,EAAE,kBAAkB,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;AAI1H,MAAM,MAAM,eAAe,GACzB,CAAE;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,sBAAsB,CAAA;CAAE,GACvE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,0BAA0B,CAAC;IAAC,QAAQ,EAAE,sBAAsB,CAAA;CAAE,CAAE,GAC3F;IAAE,eAAe,EAAE,IAAI,CAAA;CAAE,CAAC;AAE9B,MAAM,MAAM,YAAY,CAAC,CAAC,IAEtB;IAAE,kBAAkB,EAAE,IAAI,CAAC;IAAE,QAAQ,EAAE,IAAI,CAAC;IAAE,QAAQ,EAAE,IAAI,CAAC;IAAE,MAAM,EAAE,CAAC,CAAC;IAAG,OAAO,EAAE,eAAe,CAAC;IAAC,WAAW,EAAE,IAAI,CAAA;CAAE,GAEzH;IAAE,kBAAkB,EAAE,IAAI,CAAC;IAAE,QAAQ,EAAE,IAAI,CAAC;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,CAAC,CAAC;IAAG,OAAO,EAAE,YAAY,CAAC;IAAC,WAAW,EAAE,OAAO,CAAA;CAAE,GAEzH;IAAE,kBAAkB,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,KAAK,CAAC;IAAc,OAAO,EAAE,YAAY,CAAC;IAAC,WAAW,EAAE,OAAO,CAAA;CAAE,GAEzH;IAAE,kBAAkB,EAAE,IAAI,CAAC;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,IAAI,CAAC;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,eAAe,CAAC;IAAC,WAAW,EAAE,IAAI,CAAA;CAAE,GAE5H;IAAE,kBAAkB,EAAE,IAAI,CAAC;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,YAAY,CAAC;IAAC,WAAW,EAAE,OAAO,CAAA;CAAE,CAAC;AAIjI,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAI,MAAM,EAAE,UAAU,CAAC;IAAiB,QAAQ,EAAE,sBAAsB,CAAC;IAAC,eAAe,EAAE,OAAO,CAAA;CAAE,GACpH;IAAE,IAAI,EAAE,SAAS,CAAC;IAAE,MAAM,EAAE,0BAA0B,CAAC;IAAC,QAAQ,EAAE,sBAAsB,CAAC;IAAC,eAAe,EAAE,OAAO,CAAA;CAAE,GACpH;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAC;IAAS,QAAQ,EAAE,sBAAsB,CAAC;IAAC,eAAe,EAAE,OAAO,CAAA;CAAE,GACpH;IAAE,IAAI,EAAE,OAAO,CAAC;IAAI,MAAM,EAAE,MAAM,CAAC;IAAqB,QAAQ,EAAE,sBAAsB,CAAC;IAAC,eAAe,EAAE,OAAO,CAAA;CAAE,GACpH;IAAE,IAAI,EAAE,SAAS,CAAC;IAAE,MAAM,EAAE,qBAAqB,CAAC;IAAM,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,GACpG,kBAAkB,CAAC;AAIvB,MAAM,MAAM,kBAAkB,GAAG;IAAE,IAAI,EAAE,aAAa,CAAC;IACnD,eAAe,EAAE,IAAI,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAA;CAAE,GAAG,CAEpD;IAAE,KAAK,EAAE,cAAc,CAAC;IAAI,UAAU,EAAE,QAAQ,GAAC,MAAM,GAAC,KAAK,CAAC;IAAC,UAAU,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAErG;IAAE,KAAK,EAAE,iBAAiB,CAAC;IAAC,UAAU,EAAE,QAAQ,GAAC,MAAM,GAAC,KAAK,CAAC;IAAC,UAAU,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAErG;IAAE,KAAK,EAAE,iBAAiB,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,kBAAkB,CAAC;IAAC,MAAM,EAAE,UAAU,CAAA;CAAE,GAEpG;IAAE,KAAK,EAAE,iBAAiB,CAAC;IAAC,UAAU,EAAE,KAAK,CAAC;IAAC,UAAU,EAAE,kBAAkB,CAAC;IAC5E,MAAM,EAAE,UAAU,GAAG,0BAA0B,CAAC;IAAC,WAAW,EAAE,uBAAuB,CAAA;CAAE,CAC5F,CAAC;AAKF,MAAM,MAAM,iBAAiB,GAAG,SAAS,GAAG,SAAS,GAAG,cAAc,GAAG,cAAc,CAAC;AACxF,MAAM,MAAM,cAAc,GACxB,kBAAkB,GAAG,qBAAqB,GAAG,gBAAgB,GAC3D,oBAAoB,GAAG,gBAAgB,GAAG,cAAc,GACxD,mBAAmB,GACnB,kBAAkB,GAClB,2BAA2B,GAE3B,uBAAuB,GACvB,mBAAmB,GACnB,mBAAmB,GACnB,iBAAiB,GACjB,oBAAoB,CAAC;AACzB,MAAM,MAAM,gBAAgB,GAAG,iBAAiB,GAAG,cAAc,CAAC;AAIlE,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,IAAI,EAAE,kBAAkB,GAC7B;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,SAAS,EAAE,QAAQ,EAAE,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAC;QAAC,SAAS,EAAE,OAAO,CAAA;KAAE,CAAC;CACtF;AAED,MAAM,WAAW,QAAQ;IAIvB,GAAG,CAAC,gBAAgB,EAAE,MAAM,GAAG,OAAO,CAAC,sBAAsB,GAAG,IAAI,CAAC,CAAC;IACtE,GAAG,CAAC,GAAG,EAAE,sBAAsB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACjD;AAED,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,iBAAiB,GAAC,kBAAkB,GAAC,uBAAuB,GAC7D,gBAAgB,GAAC,mBAAmB,GAAC,mBAAmB,GACxD,qBAAqB,GAAC,oBAAoB,GAAC,oBAAoB,GAC/D,iBAAiB,GAAC,0BAA0B,GAAC,eAAe,CAAC;IAClE,EAAE,EAAE,MAAM,CAAC;IAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IACxD,MAAM,CAAC,EAAE,eAAe,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC9D,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,eAAe,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC"}
|
package/dist/esm/detector.d.ts
CHANGED
|
@@ -7,6 +7,6 @@
|
|
|
7
7
|
* mandatory fixture set; this detector passes all 68 (46 trigger, 22 no-trigger).
|
|
8
8
|
*/
|
|
9
9
|
import type { TriggerDetector } from './types.js';
|
|
10
|
-
export declare const DETECTOR_VERSION = "builtin/1.
|
|
10
|
+
export declare const DETECTOR_VERSION = "builtin/1.1.0";
|
|
11
11
|
export declare const builtinDetector: TriggerDetector;
|
|
12
12
|
//# sourceMappingURL=detector.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"detector.d.ts","sourceRoot":"","sources":["../../src/detector.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;
|
|
1
|
+
{"version":3,"file":"detector.d.ts","sourceRoot":"","sources":["../../src/detector.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAgC,MAAM,YAAY,CAAC;AAIhF,eAAO,MAAM,gBAAgB,kBAAkB,CAAC;AAkWhD,eAAO,MAAM,eAAe,EAAE,eA4D7B,CAAC"}
|
package/dist/esm/detector.js
CHANGED
|
@@ -6,7 +6,10 @@
|
|
|
6
6
|
* proven inert triggers (confident=false => trigger=true). The Grok corpus of 68 vectors is the
|
|
7
7
|
* mandatory fixture set; this detector passes all 68 (46 trigger, 22 no-trigger).
|
|
8
8
|
*/
|
|
9
|
-
|
|
9
|
+
import { gunzipSync } from 'node:zlib';
|
|
10
|
+
// builtin/1.1.0: additive deep-argument-scan (DG-1) — walks ALL argument values (any key, depth,
|
|
11
|
+
// arrays) + bounded decode of encoded payloads, monotonic toward caution. Output shape unchanged.
|
|
12
|
+
export const DETECTOR_VERSION = 'builtin/1.1.0';
|
|
10
13
|
// ── Path classification ────────────────────────────────────────────────────────
|
|
11
14
|
const CONTRACT_PATH_RE = [
|
|
12
15
|
/openapi/i, /swagger/i, /asyncapi/i,
|
|
@@ -22,7 +25,7 @@ const CONTRACT_PATH_RE = [
|
|
|
22
25
|
];
|
|
23
26
|
// Paths whose content is NOT a production SSOT — contract-looking content there does not trigger.
|
|
24
27
|
const NON_SSOT_PATH_RE = [
|
|
25
|
-
/(^|\/)tests?\//i, /(^|\/)__tests__\//i, /\/fixtures?\//i,
|
|
28
|
+
/(^|\/)tests?\//i, /(^|\/)__tests__\//i, /(^|\/)__mocks__\//i, /\/fixtures?\//i, /(^|\/)mocks?\//i,
|
|
26
29
|
/\.test\.[jt]sx?$/i, /\.spec\.[jt]sx?$/i,
|
|
27
30
|
/(^|\/)src\/internal\//i,
|
|
28
31
|
/(^|\/)node_modules\//i,
|
|
@@ -68,7 +71,7 @@ const INERT_KEY_RE = [
|
|
|
68
71
|
/^examples?\s*:/i, /^["']examples?["']\s*:/i,
|
|
69
72
|
/^x-[\w-]+\s*:/i, /^["']x-[\w-]+["']\s*:/i,
|
|
70
73
|
];
|
|
71
|
-
const READ_ONLY_TOOLS = new Set(['read', 'grep', 'glob', 'ls', 'cat', 'view', 'search', 'list']);
|
|
74
|
+
const READ_ONLY_TOOLS = new Set(['read', 'grep', 'glob', 'ls', 'cat', 'view', 'search', 'list', 'get']);
|
|
72
75
|
const FORMATTER_RE = /\b(prettier|eslint\s+--fix|gofmt|rustfmt|black|clang-format|dprint)\b/i;
|
|
73
76
|
const GATE_KEYWORD_RE = /coderifts|agent-guard|contract-check|contract\b|preflight|spectral|\bbuf\b/i;
|
|
74
77
|
function anyMatch(res, s) { return res.some((r) => r.test(s)); }
|
|
@@ -294,6 +297,161 @@ function commandMutatesContract(call) {
|
|
|
294
297
|
const mutates = /(>|>>|\bmv\b|\bcp\b|\bln\s|git\s+mv|curl|wget|-o\b|base64\s+-d|xxd|\bjq\b|\bsed\b|\btee\b|echo|printf|\bcat\b)/i.test(cmd);
|
|
295
298
|
return touchesContract && mutates;
|
|
296
299
|
}
|
|
300
|
+
// ── Deep argument scan (DG-1 hardening) — additive, bounded, monotonic toward caution ──────────
|
|
301
|
+
// Caps (stated): recursion depth 8; total scanned bytes 262144 (256KB); per-value decode output
|
|
302
|
+
// 65536 (64KB); decode chain levels 3 (base64→json→…); opacity min length 40 chars.
|
|
303
|
+
const DEEP_MAX_DEPTH = 8;
|
|
304
|
+
const DEEP_MAX_BYTES = 262144;
|
|
305
|
+
const DEEP_DECODE_MAX_BYTES = 65536;
|
|
306
|
+
const DEEP_DECODE_LEVELS = 3;
|
|
307
|
+
const OPAQUE_MIN_LEN = 40;
|
|
308
|
+
/** A short, single-line, filename-ish value we should test against the PATH regexes (never content). */
|
|
309
|
+
function looksLikePath(v) {
|
|
310
|
+
return v.length > 0 && v.length <= 256 && !/[\n\r{}<>]/.test(v) && /(^|\/)[\w.@-]+\.[A-Za-z0-9]+$/.test(v.trim());
|
|
311
|
+
}
|
|
312
|
+
/** Bounded set of decodings of a value (base64, hex, url, gzip+base64, json-string-unescape). */
|
|
313
|
+
function decodeCandidates(v) {
|
|
314
|
+
const out = [];
|
|
315
|
+
const push = (s) => { if (s && s.length > 0 && s.length <= DEEP_DECODE_MAX_BYTES)
|
|
316
|
+
out.push(s); };
|
|
317
|
+
const compact = v.replace(/\s+/g, '');
|
|
318
|
+
// base64 (charset excludes ':' so plaintext YAML/JSON contracts never match)
|
|
319
|
+
if (compact.length >= 16 && compact.length % 4 === 0 && /^[A-Za-z0-9+/]+={0,2}$/.test(compact)) {
|
|
320
|
+
try {
|
|
321
|
+
push(Buffer.from(compact, 'base64').toString('utf8'));
|
|
322
|
+
}
|
|
323
|
+
catch { /* ignore */ }
|
|
324
|
+
try {
|
|
325
|
+
const b = Buffer.from(compact, 'base64');
|
|
326
|
+
push(gunzipSync(b).toString('utf8'));
|
|
327
|
+
}
|
|
328
|
+
catch { /* not gzip */ }
|
|
329
|
+
}
|
|
330
|
+
// hex
|
|
331
|
+
if (compact.length >= 16 && compact.length % 2 === 0 && /^[0-9a-fA-F]+$/.test(compact)) {
|
|
332
|
+
try {
|
|
333
|
+
push(Buffer.from(compact, 'hex').toString('utf8'));
|
|
334
|
+
}
|
|
335
|
+
catch { /* ignore */ }
|
|
336
|
+
}
|
|
337
|
+
// url-encoded
|
|
338
|
+
if (/%[0-9a-fA-F]{2}/.test(v)) {
|
|
339
|
+
try {
|
|
340
|
+
push(decodeURIComponent(v));
|
|
341
|
+
}
|
|
342
|
+
catch { /* ignore */ }
|
|
343
|
+
}
|
|
344
|
+
// JSON string literal / double-encoded (unescape one JSON level)
|
|
345
|
+
if (/\\["\\/]|^\s*"/.test(v)) {
|
|
346
|
+
try {
|
|
347
|
+
const p = JSON.parse(v);
|
|
348
|
+
if (typeof p === 'string')
|
|
349
|
+
push(p);
|
|
350
|
+
}
|
|
351
|
+
catch { /* ignore */ }
|
|
352
|
+
}
|
|
353
|
+
return out;
|
|
354
|
+
}
|
|
355
|
+
/** True iff a value looks encoded (long base64/hex) — used to decide opacity when unclassifiable. */
|
|
356
|
+
function looksEncoded(v) {
|
|
357
|
+
const c = v.replace(/\s+/g, '');
|
|
358
|
+
if (c.length < OPAQUE_MIN_LEN)
|
|
359
|
+
return false;
|
|
360
|
+
return (/^[A-Za-z0-9+/]+={0,2}$/.test(c) && c.length % 4 === 0) || (/^[0-9a-fA-F]+$/.test(c) && c.length % 2 === 0);
|
|
361
|
+
}
|
|
362
|
+
/** Recursively scan every string value in `arguments` (any key, depth, array) + bounded decode. */
|
|
363
|
+
function deepArgScan(call) {
|
|
364
|
+
const acc = { contractContent: false, pathContractSsot: false, pathNonSsot: false, pathLikeCount: 0, proseCount: 0, opaque: false, capHit: false };
|
|
365
|
+
let budget = DEEP_MAX_BYTES;
|
|
366
|
+
const scanString = (s) => {
|
|
367
|
+
// path-like values -> classify against path regexes (never run path regexes on content).
|
|
368
|
+
if (looksLikePath(s)) {
|
|
369
|
+
acc.pathLikeCount++;
|
|
370
|
+
if (anyMatch(NON_SSOT_PATH_RE, s))
|
|
371
|
+
acc.pathNonSsot = true;
|
|
372
|
+
else if (anyMatch(PROSE_PATH_RE, s))
|
|
373
|
+
acc.proseCount++;
|
|
374
|
+
else if (isContractPath(s))
|
|
375
|
+
acc.pathContractSsot = true;
|
|
376
|
+
return;
|
|
377
|
+
}
|
|
378
|
+
// content: existing contract regexes on the raw value.
|
|
379
|
+
if (anyMatch(CONTRACT_CONTENT_RE, s) || anyMatch(CONTRACT_STRUCTURE_RE, s)) {
|
|
380
|
+
acc.contractContent = true;
|
|
381
|
+
return;
|
|
382
|
+
}
|
|
383
|
+
// bounded decode chain (base64/hex/url/gzip/json), re-scanning each level.
|
|
384
|
+
let level = [s];
|
|
385
|
+
for (let d = 0; d < DEEP_DECODE_LEVELS && !acc.contractContent; d++) {
|
|
386
|
+
const next = [];
|
|
387
|
+
for (const val of level) {
|
|
388
|
+
for (const dec of decodeCandidates(val)) {
|
|
389
|
+
if (anyMatch(CONTRACT_CONTENT_RE, dec) || anyMatch(CONTRACT_STRUCTURE_RE, dec)) {
|
|
390
|
+
acc.contractContent = true;
|
|
391
|
+
break;
|
|
392
|
+
}
|
|
393
|
+
next.push(dec);
|
|
394
|
+
}
|
|
395
|
+
if (acc.contractContent)
|
|
396
|
+
break;
|
|
397
|
+
}
|
|
398
|
+
level = next;
|
|
399
|
+
}
|
|
400
|
+
// opacity: looked encoded but nothing classifiable came out -> unscannable -> caution.
|
|
401
|
+
if (!acc.contractContent && looksEncoded(s) && level.every((x) => !isReadableText(x)))
|
|
402
|
+
acc.opaque = true;
|
|
403
|
+
};
|
|
404
|
+
const walk = (node, depth) => {
|
|
405
|
+
if (acc.capHit || budget <= 0)
|
|
406
|
+
return;
|
|
407
|
+
if (depth > DEEP_MAX_DEPTH) {
|
|
408
|
+
acc.capHit = true;
|
|
409
|
+
return;
|
|
410
|
+
}
|
|
411
|
+
if (typeof node === 'string') {
|
|
412
|
+
budget -= node.length;
|
|
413
|
+
if (budget <= 0) {
|
|
414
|
+
acc.capHit = true;
|
|
415
|
+
return;
|
|
416
|
+
}
|
|
417
|
+
scanString(node);
|
|
418
|
+
}
|
|
419
|
+
else if (Array.isArray(node)) {
|
|
420
|
+
for (const el of node) {
|
|
421
|
+
if (acc.capHit)
|
|
422
|
+
break;
|
|
423
|
+
walk(el, depth + 1);
|
|
424
|
+
}
|
|
425
|
+
}
|
|
426
|
+
else if (node && typeof node === 'object') {
|
|
427
|
+
for (const val of Object.values(node)) {
|
|
428
|
+
if (acc.capHit)
|
|
429
|
+
break;
|
|
430
|
+
walk(val, depth + 1);
|
|
431
|
+
}
|
|
432
|
+
}
|
|
433
|
+
};
|
|
434
|
+
try {
|
|
435
|
+
walk(call.arguments, 0);
|
|
436
|
+
}
|
|
437
|
+
catch {
|
|
438
|
+
acc.capHit = true;
|
|
439
|
+
} // scan error -> fail-safe
|
|
440
|
+
return acc;
|
|
441
|
+
}
|
|
442
|
+
/** A decoded blob that is mostly printable text (so a failed-to-classify decode isn't "opaque"). */
|
|
443
|
+
function isReadableText(s) {
|
|
444
|
+
if (!s)
|
|
445
|
+
return false;
|
|
446
|
+
let printable = 0;
|
|
447
|
+
const n = Math.min(s.length, 512);
|
|
448
|
+
for (let i = 0; i < n; i++) {
|
|
449
|
+
const c = s.charCodeAt(i);
|
|
450
|
+
if (c === 9 || c === 10 || c === 13 || (c >= 32 && c < 127))
|
|
451
|
+
printable++;
|
|
452
|
+
}
|
|
453
|
+
return printable / n > 0.85;
|
|
454
|
+
}
|
|
297
455
|
export const builtinDetector = {
|
|
298
456
|
version: DETECTOR_VERSION,
|
|
299
457
|
detect(call) {
|
|
@@ -338,6 +496,21 @@ export const builtinDetector = {
|
|
|
338
496
|
signals.push('ambiguous_contract_surface');
|
|
339
497
|
return { trigger: true, artifacts, signals, confident: false };
|
|
340
498
|
}
|
|
499
|
+
// ── DG-1: deep argument scan (runs AFTER the read-only short-circuit + whitelist surface path;
|
|
500
|
+
// additive, monotonic toward caution — only flips false->true / lowers confident). ──
|
|
501
|
+
const deep = deepArgScan(call);
|
|
502
|
+
if (deep.contractContent || deep.pathContractSsot) {
|
|
503
|
+
// Apply the SAME suppressors to the newly-seen input: non-SSOT / prose destination, inert-only.
|
|
504
|
+
const deepInProse = deep.pathLikeCount > 0 && deep.proseCount === deep.pathLikeCount && !deep.pathContractSsot;
|
|
505
|
+
if (!deep.pathNonSsot && !deepInProse && !isInertOnly(call)) {
|
|
506
|
+
signals.push(deep.contractContent ? 'arguments_deep_contract' : 'arguments_deep_path');
|
|
507
|
+
return { trigger: true, artifacts, signals, confident: false };
|
|
508
|
+
}
|
|
509
|
+
}
|
|
510
|
+
if (deep.opaque || deep.capHit) {
|
|
511
|
+
signals.push(deep.capHit ? 'arguments_scan_capped' : 'arguments_opaque');
|
|
512
|
+
return { trigger: true, artifacts, signals, confident: false };
|
|
513
|
+
}
|
|
341
514
|
if (intentMentionsContract(call.intent)) {
|
|
342
515
|
signals.push('intent_contract_reference');
|
|
343
516
|
return { trigger: true, artifacts, signals, confident: false };
|