@coderifts/agent-guard 1.0.0 → 1.2.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/README.md +27 -2
- package/dist/cjs/artifact-resolver.d.ts +76 -0
- package/dist/cjs/artifact-resolver.d.ts.map +1 -0
- package/dist/cjs/artifact-resolver.js +413 -0
- package/dist/cjs/artifact-resolver.js.map +1 -0
- 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 +87 -29
- package/dist/cjs/guard.js.map +1 -1
- package/dist/cjs/index.d.ts +11 -0
- package/dist/cjs/index.d.ts.map +1 -1
- package/dist/cjs/index.js +35 -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/resolver-glob.d.ts +15 -0
- package/dist/cjs/resolver-glob.d.ts.map +1 -0
- package/dist/cjs/resolver-glob.js +65 -0
- package/dist/cjs/resolver-glob.js.map +1 -0
- package/dist/cjs/resolver-yaml.d.ts +20 -0
- package/dist/cjs/resolver-yaml.d.ts.map +1 -0
- package/dist/cjs/resolver-yaml.js +235 -0
- package/dist/cjs/resolver-yaml.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/tool-registry.d.ts +88 -0
- package/dist/cjs/tool-registry.d.ts.map +1 -0
- package/dist/cjs/tool-registry.js +274 -0
- package/dist/cjs/tool-registry.js.map +1 -0
- package/dist/cjs/types.d.ts +2 -2
- package/dist/cjs/types.d.ts.map +1 -1
- package/dist/esm/artifact-resolver.d.ts +76 -0
- package/dist/esm/artifact-resolver.d.ts.map +1 -0
- package/dist/esm/artifact-resolver.js +410 -0
- package/dist/esm/artifact-resolver.js.map +1 -0
- 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 +87 -29
- package/dist/esm/guard.js.map +1 -1
- package/dist/esm/index.d.ts +11 -0
- package/dist/esm/index.d.ts.map +1 -1
- package/dist/esm/index.js +13 -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/resolver-glob.d.ts +15 -0
- package/dist/esm/resolver-glob.d.ts.map +1 -0
- package/dist/esm/resolver-glob.js +59 -0
- package/dist/esm/resolver-glob.js.map +1 -0
- package/dist/esm/resolver-yaml.d.ts +20 -0
- package/dist/esm/resolver-yaml.d.ts.map +1 -0
- package/dist/esm/resolver-yaml.js +229 -0
- package/dist/esm/resolver-yaml.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/tool-registry.d.ts +88 -0
- package/dist/esm/tool-registry.d.ts.map +1 -0
- package/dist/esm/tool-registry.js +269 -0
- package/dist/esm/tool-registry.js.map +1 -0
- package/dist/esm/types.d.ts +2 -2
- 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"}
|
|
@@ -0,0 +1,88 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* guardToolRegistry — the agent-runtime inescapability layer (guard-tool-registry-SPEC v1.0).
|
|
3
|
+
*
|
|
4
|
+
* The layer ABOVE the shipped `guardToolCall`: it takes the host's raw tool list and returns the ONLY
|
|
5
|
+
* tool table the agent is allowed to see — every mutating capability wrapped so it cannot execute
|
|
6
|
+
* without entering `guardToolCall`, and construction FAILS CLOSED if a mutator would remain raw.
|
|
7
|
+
*
|
|
8
|
+
* Scope honesty (enforcement-architecture §1): this secures **Placement A — the agent-host runtime
|
|
9
|
+
* tool boundary ONLY**. It NEVER claims merge (Placement B / sibling #7) or deploy inescapability;
|
|
10
|
+
* `claim.inescapable_merge` / `claim.inescapable_deploy` are ALWAYS false here.
|
|
11
|
+
*
|
|
12
|
+
* Determinism (§7): same tool names + classes + config flags → same registry, coverage, guarded set.
|
|
13
|
+
* Anti-fabrication: unknown tools default to MUTATING (never a false COMPLETE); never invent a tool.
|
|
14
|
+
* Non-leakage (§1.2): each raw `execute` is captured in a NEW closure, is never a property of the
|
|
15
|
+
* returned ProtectedTool, the tools array + each tool are frozen, and raw executors live only in a
|
|
16
|
+
* WeakMap keyed by the protected object. `result.tools` is the sole return surface.
|
|
17
|
+
*/
|
|
18
|
+
import type { GuardConfig, ToolCallDescriptor } from './types.js';
|
|
19
|
+
export type ToolMutationClass = 'readonly' | 'mutating' | 'mutating_shell' | 'mutating_vcs' | 'mutating_deploy' | 'mutating_publish' | 'mutating_schema';
|
|
20
|
+
export type RawTool = {
|
|
21
|
+
name: string;
|
|
22
|
+
description?: string;
|
|
23
|
+
inputSchema?: unknown;
|
|
24
|
+
execute: (args: unknown) => Promise<unknown> | unknown;
|
|
25
|
+
mutationClass?: ToolMutationClass;
|
|
26
|
+
meta?: Record<string, unknown>;
|
|
27
|
+
};
|
|
28
|
+
export type ProtectedTool = {
|
|
29
|
+
readonly name: string;
|
|
30
|
+
readonly description?: string;
|
|
31
|
+
readonly inputSchema?: unknown;
|
|
32
|
+
readonly meta?: Record<string, unknown>;
|
|
33
|
+
/** The ONLY entry point exposed to the agent runtime (guarded for mutators, direct for readonly). */
|
|
34
|
+
readonly execute: (args: unknown) => Promise<unknown>;
|
|
35
|
+
readonly _coderifts: {
|
|
36
|
+
readonly guarded: boolean;
|
|
37
|
+
readonly mutationClass: ToolMutationClass;
|
|
38
|
+
/** guard operation bound for this tool (diagnostic; mutators only). */
|
|
39
|
+
readonly operation?: string;
|
|
40
|
+
};
|
|
41
|
+
};
|
|
42
|
+
export type EnforcementCoverage = 'COMPLETE' | 'PARTIAL' | 'BYPASSED' | 'UNKNOWN';
|
|
43
|
+
export type RegistryCoverageReport = {
|
|
44
|
+
version: 'guard-tool-registry-report/1.0';
|
|
45
|
+
coverage: EnforcementCoverage;
|
|
46
|
+
protected_tools: string[];
|
|
47
|
+
guarded_mutators: string[];
|
|
48
|
+
readonly_passthrough: string[];
|
|
49
|
+
unguarded_mutators: string[];
|
|
50
|
+
unknown_treated_as: 'mutating' | 'readonly' | 'reject';
|
|
51
|
+
claim: {
|
|
52
|
+
inescapable_runtime: boolean;
|
|
53
|
+
inescapable_merge: false;
|
|
54
|
+
inescapable_deploy: false;
|
|
55
|
+
};
|
|
56
|
+
siblings: {
|
|
57
|
+
merge_gate: 'required_separate_#7';
|
|
58
|
+
artifact_resolver: 'sibling_#4';
|
|
59
|
+
};
|
|
60
|
+
warnings: string[];
|
|
61
|
+
};
|
|
62
|
+
export type ToolBinder = (tool: RawTool, args: unknown, cls: ToolMutationClass) => ToolCallDescriptor;
|
|
63
|
+
export type GuardToolRegistryConfig = {
|
|
64
|
+
guard?: GuardConfig;
|
|
65
|
+
unknownToolPolicy?: 'mutating' | 'readonly' | 'reject';
|
|
66
|
+
classify?: Record<string, ToolMutationClass>;
|
|
67
|
+
failOnUnguardedMutator?: boolean;
|
|
68
|
+
binders?: Record<string, ToolBinder>;
|
|
69
|
+
forceReadonly?: string[];
|
|
70
|
+
};
|
|
71
|
+
export type RegistryResult = {
|
|
72
|
+
tools: ProtectedTool[];
|
|
73
|
+
coverage: EnforcementCoverage;
|
|
74
|
+
report: RegistryCoverageReport;
|
|
75
|
+
};
|
|
76
|
+
export type RegistryConstructionErrorCode = 'GUARD_CONFIG_INVALID' | 'UNKNOWN_TOOL' | 'DUPLICATE_TOOL_NAME' | 'INVALID_TOOL' | 'FORCE_READONLY_MUTATOR';
|
|
77
|
+
/** Fail-closed construction error (§3) — thrown at CONSTRUCTION, never at first agent call. */
|
|
78
|
+
export declare class RegistryConstructionError extends Error {
|
|
79
|
+
readonly code: RegistryConstructionErrorCode;
|
|
80
|
+
readonly toolName?: string;
|
|
81
|
+
constructor(code: RegistryConstructionErrorCode, message: string, toolName?: string);
|
|
82
|
+
}
|
|
83
|
+
/**
|
|
84
|
+
* Construct the frozen, fail-closed protected tool registry (§1.3). Pure + deterministic.
|
|
85
|
+
* @throws {RegistryConstructionError} per §3 (default failOnUnguardedMutator=true).
|
|
86
|
+
*/
|
|
87
|
+
export declare function guardToolRegistry(rawTools: RawTool[], config?: GuardToolRegistryConfig): RegistryResult;
|
|
88
|
+
//# sourceMappingURL=tool-registry.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"tool-registry.d.ts","sourceRoot":"","sources":["../../src/tool-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,KAAK,EAAE,WAAW,EAAE,kBAAkB,EAA0B,MAAM,YAAY,CAAC;AAG1F,MAAM,MAAM,iBAAiB,GACzB,UAAU,GACV,UAAU,GACV,gBAAgB,GAChB,cAAc,GACd,iBAAiB,GACjB,kBAAkB,GAClB,iBAAiB,CAAC;AAEtB,MAAM,MAAM,OAAO,GAAG;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,OAAO,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;IACvD,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAClC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxC,qGAAqG;IACrG,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE;QACnB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;QAC1B,QAAQ,CAAC,aAAa,EAAE,iBAAiB,CAAC;QAC1C,uEAAuE;QACvE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;KAC7B,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAAC;AAElF,MAAM,MAAM,sBAAsB,GAAG;IACnC,OAAO,EAAE,gCAAgC,CAAC;IAC1C,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,kBAAkB,EAAE,UAAU,GAAG,UAAU,GAAG,QAAQ,CAAC;IACvD,KAAK,EAAE;QACL,mBAAmB,EAAE,OAAO,CAAC;QAC7B,iBAAiB,EAAE,KAAK,CAAC;QACzB,kBAAkB,EAAE,KAAK,CAAC;KAC3B,CAAC;IACF,QAAQ,EAAE;QACR,UAAU,EAAE,sBAAsB,CAAC;QACnC,iBAAiB,EAAE,YAAY,CAAC;KACjC,CAAC;IACF,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,iBAAiB,KAAK,kBAAkB,CAAC;AAEtG,MAAM,MAAM,uBAAuB,GAAG;IACpC,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,iBAAiB,CAAC,EAAE,UAAU,GAAG,UAAU,GAAG,QAAQ,CAAC;IACvD,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC7C,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACrC,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,MAAM,EAAE,sBAAsB,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,6BAA6B,GACrC,sBAAsB,GACtB,cAAc,GACd,qBAAqB,GACrB,cAAc,GACd,wBAAwB,CAAC;AAE7B,+FAA+F;AAC/F,qBAAa,yBAA0B,SAAQ,KAAK;IAClD,QAAQ,CAAC,IAAI,EAAE,6BAA6B,CAAC;IAC7C,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;gBACf,IAAI,EAAE,6BAA6B,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM;CAMpF;AA2HD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,MAAM,GAAE,uBAA4B,GAAG,cAAc,CAoI3G"}
|