dsh-kingdom 0.8.0 → 2.0.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/ASSETS_NOTICE.md +22 -0
- package/LICENSE +661 -29
- package/NOTICE +9 -0
- package/README.md +93 -94
- package/THIRD_PARTY_NOTICES.md +92 -0
- package/cordis.patch.yml +6 -6
- package/docs/V2.0-RELEASE-NOTES.md +30 -0
- package/docs/V2.0-USER-GUIDE.md +74 -0
- package/lib/adapter/dsh-backend.js +327 -24
- package/lib/adapter/dsh-backend.js.map +1 -1
- package/lib/adapter/dsh-cost.js +68 -0
- package/lib/adapter/dsh-cost.js.map +1 -0
- package/lib/adapter/dsh-session-events.js +86 -0
- package/lib/adapter/dsh-session-events.js.map +1 -0
- package/lib/adapter/dsh-usage.js +159 -0
- package/lib/adapter/dsh-usage.js.map +1 -0
- package/lib/capability/admin.js +72 -0
- package/lib/capability/admin.js.map +1 -0
- package/lib/capability/dsh-enforcement.js +143 -34
- package/lib/capability/dsh-enforcement.js.map +1 -1
- package/lib/capability/resolver.js +21 -8
- package/lib/capability/resolver.js.map +1 -1
- package/lib/capability/service.js +169 -26
- package/lib/capability/service.js.map +1 -1
- package/lib/capability/tool-disclosure.js +144 -0
- package/lib/capability/tool-disclosure.js.map +1 -0
- package/lib/core/binding.js +52 -34
- package/lib/core/binding.js.map +1 -1
- package/lib/core/budget.js +304 -0
- package/lib/core/budget.js.map +1 -0
- package/lib/core/collaboration.js +422 -0
- package/lib/core/collaboration.js.map +1 -0
- package/lib/core/cost.js +212 -0
- package/lib/core/cost.js.map +1 -0
- package/lib/core/db.js +197 -4
- package/lib/core/db.js.map +1 -1
- package/lib/core/execution.js +2 -2
- package/lib/core/execution.js.map +1 -1
- package/lib/core/governed-claim.js +46 -0
- package/lib/core/governed-claim.js.map +1 -0
- package/lib/core/governed.js +891 -98
- package/lib/core/governed.js.map +1 -1
- package/lib/core/kingdom.js +78 -70
- package/lib/core/kingdom.js.map +1 -1
- package/lib/core/owner-binding-intent.js +732 -0
- package/lib/core/owner-binding-intent.js.map +1 -0
- package/lib/core/owner-control.js +86 -0
- package/lib/core/owner-control.js.map +1 -0
- package/lib/core/owner-window.js +822 -0
- package/lib/core/owner-window.js.map +1 -0
- package/lib/core/task-service.js +296 -133
- package/lib/core/task-service.js.map +1 -1
- package/lib/core/territory.js +44 -14
- package/lib/core/territory.js.map +1 -1
- package/lib/core/usage.js +39 -0
- package/lib/core/usage.js.map +1 -0
- package/lib/core/workspace-admission.js +225 -0
- package/lib/core/workspace-admission.js.map +1 -0
- package/lib/dispatch/evidence.js +5 -2
- package/lib/dispatch/evidence.js.map +1 -1
- package/lib/dispatch/reconcile.js +3 -9
- package/lib/dispatch/reconcile.js.map +1 -1
- package/lib/dispatch/service.js +464 -64
- package/lib/dispatch/service.js.map +1 -1
- package/lib/gui/assets/characters/chancellor-idle.svg +67 -0
- package/lib/gui/assets/characters/chancellor-sleeping.svg +67 -0
- package/lib/gui/assets/characters/chancellor-thinking.svg +67 -0
- package/lib/gui/assets/characters/chancellor-working.svg +67 -0
- package/lib/gui/assets/characters/knight-redraw-r1-idle.svg +67 -0
- package/lib/gui/assets/characters/knight-redraw-r1-sleeping.svg +67 -0
- package/lib/gui/assets/characters/knight-redraw-r1-thinking.svg +67 -0
- package/lib/gui/assets/characters/knight-redraw-r1-working.svg +67 -0
- package/lib/gui/assets/characters/supervisor-idle.svg +67 -0
- package/lib/gui/assets/characters/supervisor-sleeping.svg +67 -0
- package/lib/gui/assets/characters/supervisor-thinking.svg +67 -0
- package/lib/gui/assets/characters/supervisor-working.svg +67 -0
- package/lib/gui/console-app.js +2330 -0
- package/lib/gui/console-app.js.map +1 -0
- package/lib/gui/contract.js +5 -5
- package/lib/gui/contract.js.map +1 -1
- package/lib/gui/control-contract.js +232 -0
- package/lib/gui/control-contract.js.map +1 -0
- package/lib/gui/local-control.js +423 -0
- package/lib/gui/local-control.js.map +1 -0
- package/lib/gui/owner-control.js +310 -0
- package/lib/gui/owner-control.js.map +1 -0
- package/lib/gui/owner-ui.js +191 -0
- package/lib/gui/owner-ui.js.map +1 -0
- package/lib/gui/server.js +445 -35
- package/lib/gui/server.js.map +1 -1
- package/lib/gui/snapshot.js +1346 -67
- package/lib/gui/snapshot.js.map +1 -1
- package/lib/gui/visual-assets.js +56 -0
- package/lib/gui/visual-assets.js.map +1 -0
- package/lib/gui/visual-system.js +272 -0
- package/lib/gui/visual-system.js.map +1 -0
- package/lib/gui/workbench-ui.js +358 -0
- package/lib/gui/workbench-ui.js.map +1 -0
- package/lib/gui/workbench.js +163 -0
- package/lib/gui/workbench.js.map +1 -0
- package/lib/index.js +1384 -361
- package/lib/index.js.map +1 -1
- package/lib/runner-context-broker.js +1134 -0
- package/lib/runner-context-broker.js.map +1 -0
- package/lib/runtime-cost-observer.js +145 -0
- package/lib/runtime-cost-observer.js.map +1 -0
- package/lib/types/adapter/contract.d.ts +61 -1
- package/lib/types/adapter/dsh-backend.d.ts +32 -13
- package/lib/types/adapter/dsh-cost.d.ts +13 -0
- package/lib/types/adapter/dsh-session-events.d.ts +16 -0
- package/lib/types/adapter/dsh-usage.d.ts +36 -0
- package/lib/types/capability/admin.d.ts +13 -0
- package/lib/types/capability/dsh-enforcement.d.ts +11 -7
- package/lib/types/capability/service.d.ts +10 -3
- package/lib/types/capability/tool-disclosure.d.ts +36 -0
- package/lib/types/core/binding.d.ts +19 -10
- package/lib/types/core/budget.d.ts +81 -0
- package/lib/types/core/collaboration.d.ts +110 -0
- package/lib/types/core/cost.d.ts +99 -0
- package/lib/types/core/db.d.ts +44 -4
- package/lib/types/core/execution.d.ts +1 -1
- package/lib/types/core/governed-claim.d.ts +7 -0
- package/lib/types/core/governed.d.ts +182 -1
- package/lib/types/core/kingdom.d.ts +3 -0
- package/lib/types/core/owner-binding-intent.d.ts +176 -0
- package/lib/types/core/owner-control.d.ts +53 -0
- package/lib/types/core/owner-window.d.ts +226 -0
- package/lib/types/core/task-service.d.ts +60 -13
- package/lib/types/core/territory.d.ts +9 -2
- package/lib/types/core/usage.d.ts +26 -0
- package/lib/types/core/workspace-admission.d.ts +43 -0
- package/lib/types/dispatch/evidence.d.ts +2 -5
- package/lib/types/dispatch/service.d.ts +62 -4
- package/lib/types/gui/console-app.d.ts +137 -0
- package/lib/types/gui/contract.d.ts +396 -16
- package/lib/types/gui/control-contract.d.ts +111 -0
- package/lib/types/gui/local-control.d.ts +120 -0
- package/lib/types/gui/owner-control.d.ts +45 -0
- package/lib/types/gui/owner-ui.d.ts +2 -0
- package/lib/types/gui/server.d.ts +17 -3
- package/lib/types/gui/snapshot.d.ts +33 -11
- package/lib/types/gui/visual-assets.d.ts +27 -0
- package/lib/types/gui/visual-system.d.ts +2 -0
- package/lib/types/gui/workbench-ui.d.ts +5 -0
- package/lib/types/gui/workbench.d.ts +33 -0
- package/lib/types/index.d.ts +157 -6
- package/lib/types/runner-context-broker.d.ts +119 -0
- package/lib/types/runtime-cost-observer.d.ts +22 -0
- package/lib/types/worker/collaboration.d.ts +35 -0
- package/lib/types/worker/dsh-subagent.d.ts +4 -4
- package/lib/types/worker/executor-factory.d.ts +2 -1
- package/lib/types/worker/executor.d.ts +8 -3
- package/lib/types/worker/governed-executor.d.ts +8 -1
- package/lib/worker/collaboration.js +172 -0
- package/lib/worker/collaboration.js.map +1 -0
- package/lib/worker/dsh-subagent.js +4 -4
- package/lib/worker/executor-factory.js.map +1 -1
- package/lib/worker/executor.js +7 -2
- package/lib/worker/executor.js.map +1 -1
- package/lib/worker/governed-executor.js +295 -84
- package/lib/worker/governed-executor.js.map +1 -1
- package/package.json +23 -8
|
@@ -13,7 +13,48 @@ function parseJson(json) {
|
|
|
13
13
|
return null;
|
|
14
14
|
}
|
|
15
15
|
}
|
|
16
|
-
/**
|
|
16
|
+
/**
|
|
17
|
+
* requested mode 只能被 Effective Capability 收窄,不能反向扩大授权:
|
|
18
|
+
* - 只有 effective 含 filesystem.write 时,workspace-write 才可 materialize;
|
|
19
|
+
* - 没有 write 时,非 write-required Task 只能以 read-only 继续;
|
|
20
|
+
* - write-required Task 在交集缺失时由调用方 fail-closed。
|
|
21
|
+
*/
|
|
22
|
+
function selectSandboxMode(requested, resolution) {
|
|
23
|
+
const effective = requested === 'workspace-write' && resolution.effective['filesystem.write'] === true
|
|
24
|
+
? 'workspace-write'
|
|
25
|
+
: 'read-only';
|
|
26
|
+
return {
|
|
27
|
+
requested,
|
|
28
|
+
effective,
|
|
29
|
+
boundedNarrowing: requested !== effective,
|
|
30
|
+
};
|
|
31
|
+
}
|
|
32
|
+
/**
|
|
33
|
+
* A read-only request is also an upper bound on the materialized effective set.
|
|
34
|
+
* The resolver may observe an extra write grant/ceiling/runtime capability, but
|
|
35
|
+
* that capability is not materialized when the caller requested read-only.
|
|
36
|
+
*/
|
|
37
|
+
function boundResolutionToRequestedSandbox(requested, resolution) {
|
|
38
|
+
if (requested !== 'read-only' || resolution.effective['filesystem.write'] !== true)
|
|
39
|
+
return resolution;
|
|
40
|
+
const effective = { ...resolution.effective };
|
|
41
|
+
delete effective['filesystem.write'];
|
|
42
|
+
return { ...resolution, effective };
|
|
43
|
+
}
|
|
44
|
+
/** 为 typed Runtime evidence 增加本次 requested/effective mode 及收窄事实。 */
|
|
45
|
+
function annotateSandboxEvidence(evidenceJson, mode) {
|
|
46
|
+
const parsed = JSON.parse(evidenceJson);
|
|
47
|
+
return JSON.stringify({
|
|
48
|
+
...parsed,
|
|
49
|
+
payload: {
|
|
50
|
+
...(parsed.payload ?? {}),
|
|
51
|
+
requestedSandboxMode: mode.requested,
|
|
52
|
+
effectiveSandboxMode: mode.effective,
|
|
53
|
+
boundedNarrowing: mode.boundedNarrowing,
|
|
54
|
+
},
|
|
55
|
+
});
|
|
56
|
+
}
|
|
57
|
+
/** 从 effective 集 + 已收窄 mode 构建 EnforcementRequest。 */
|
|
17
58
|
function buildRequest(resolution, sandboxMode, territoryPath, presetId) {
|
|
18
59
|
return {
|
|
19
60
|
tools: effectiveTools(resolution.effective),
|
|
@@ -23,6 +64,16 @@ function buildRequest(resolution, sandboxMode, territoryPath, presetId) {
|
|
|
23
64
|
...(presetId ? { presetId } : {}),
|
|
24
65
|
};
|
|
25
66
|
}
|
|
67
|
+
/** cleanup 必须同时有成功标记和 teardown evidence;缺任一项都属于未知。 */
|
|
68
|
+
async function cleanupConfirmed(adapter, request, context) {
|
|
69
|
+
try {
|
|
70
|
+
const result = await adapter.cleanup(request, context);
|
|
71
|
+
return result.ok && typeof result.evidenceJson === 'string' && result.evidenceJson.length > 0;
|
|
72
|
+
}
|
|
73
|
+
catch {
|
|
74
|
+
return false;
|
|
75
|
+
}
|
|
76
|
+
}
|
|
26
77
|
/** 释放 lease 的 zero-execution 收尾(合法源:RECOVERING/MATERIALIZING/RELEASING)。 */
|
|
27
78
|
function zeroExecutionRelease(store, leaseId, reason) {
|
|
28
79
|
const lease = store.getLease(leaseId);
|
|
@@ -36,6 +87,18 @@ function zeroExecutionRelease(store, leaseId, reason) {
|
|
|
36
87
|
void recovering;
|
|
37
88
|
return releaseExecutionLease(store, leaseId, { phase: 'capability-gate', reason }, reason);
|
|
38
89
|
}
|
|
90
|
+
/** cleanup 不可确认时保留 Lease,避免把未知 Runtime policy 状态伪装成 RELEASED。 */
|
|
91
|
+
function keepLeaseInRecovery(store, leaseId, reason) {
|
|
92
|
+
const lease = store.getLease(leaseId);
|
|
93
|
+
if (!lease)
|
|
94
|
+
throw new Error(`keepLeaseInRecovery: lease ${leaseId} 不存在`);
|
|
95
|
+
// RECOVERING 仍未释放;把原因持久化,返回值必须反映实际 Ledger 行。
|
|
96
|
+
advanceLeaseState(store, leaseId, 'RECOVERING', { releaseReason: reason });
|
|
97
|
+
const recovering = store.getLease(leaseId);
|
|
98
|
+
if (!recovering)
|
|
99
|
+
throw new Error(`keepLeaseInRecovery: lease ${leaseId} vanished`);
|
|
100
|
+
return recovering;
|
|
101
|
+
}
|
|
39
102
|
/**
|
|
40
103
|
* 完整能力闸门(TX-0D..TX-2S/2F):
|
|
41
104
|
* - 返回 materialized=false + DENIED Decision = zero execution(无 Execution / Dispatch);
|
|
@@ -45,9 +108,7 @@ export async function runCapabilityGate(input) {
|
|
|
45
108
|
const { store, adapter, kingdomId, taskId, attemptNo, workerBindingId, supervisorBindingId, leaseId } = input;
|
|
46
109
|
const requirement = parseJson(input.requirementJson) ?? {};
|
|
47
110
|
const ceiling = parseJson(input.ceilingJson);
|
|
48
|
-
const
|
|
49
|
-
const resolution = resolveEffectiveCapability({ requirement, grant: input.grant, ceiling, enforceable });
|
|
50
|
-
const deny = (enforcementStatus, reasonCode) => {
|
|
111
|
+
const deny = (resolution, enforcementStatus, reasonCode, cleanupConfirmed = true) => {
|
|
51
112
|
const decision = recordCapabilityDecision(store, {
|
|
52
113
|
kingdomId, taskId, workerBindingId, supervisorBindingId,
|
|
53
114
|
requirementSnapshot: input.requirementJson ?? undefined,
|
|
@@ -59,59 +120,141 @@ export async function runCapabilityGate(input) {
|
|
|
59
120
|
requirementCoverage: resolution.coverage,
|
|
60
121
|
reasonCode: reasonCode ?? resolution.deniedReasons[0] ?? null,
|
|
61
122
|
});
|
|
62
|
-
const
|
|
63
|
-
|
|
123
|
+
const closeReason = `capability-denied:${enforcementStatus}`;
|
|
124
|
+
const lease = cleanupConfirmed
|
|
125
|
+
? zeroExecutionRelease(store, leaseId, closeReason)
|
|
126
|
+
: keepLeaseInRecovery(store, leaseId, closeReason);
|
|
127
|
+
return { decision, lease, materialized: false, enforcementRequest: null };
|
|
64
128
|
};
|
|
65
|
-
|
|
129
|
+
const emptyEnforceable = { tools: [], sandboxMode: null, approvalPolicy: null, presetId: null };
|
|
130
|
+
if (input.stillAuthorized && !input.stillAuthorized()) {
|
|
131
|
+
return deny(resolveEffectiveCapability({ requirement, grant: input.grant, ceiling, enforceable: emptyEnforceable }), 'NOT_ATTEMPTED', 'AUTHORITY_CHANGED');
|
|
132
|
+
}
|
|
133
|
+
// TX-0D:ceiling 缺失 → 拒(B-7),且不触碰 Runtime。
|
|
66
134
|
if (ceiling === null) {
|
|
67
|
-
|
|
135
|
+
const resolution = resolveEffectiveCapability({ requirement, grant: input.grant, ceiling, enforceable: emptyEnforceable });
|
|
136
|
+
return deny(resolution, 'NOT_ATTEMPTED', 'CEILING_NOT_CONFIGURED');
|
|
137
|
+
}
|
|
138
|
+
// Supervisor Grant 是权威输入;没有任何 true Grant 时 fail-closed,
|
|
139
|
+
// 不能因 requirement 为空而把无授权执行误当作 coverage=NONE 的允许。
|
|
140
|
+
if (!Object.values(input.grant).some(value => value === true)) {
|
|
141
|
+
const resolution = resolveEffectiveCapability({ requirement, grant: input.grant, ceiling, enforceable: emptyEnforceable });
|
|
142
|
+
return deny(resolution, 'NOT_ATTEMPTED', 'GRANT_NOT_CONFIGURED');
|
|
143
|
+
}
|
|
144
|
+
let enforceable;
|
|
145
|
+
try {
|
|
146
|
+
enforceable = await adapter.capabilities(input.context);
|
|
147
|
+
}
|
|
148
|
+
catch (error) {
|
|
149
|
+
const resolution = resolveEffectiveCapability({ requirement, grant: input.grant, ceiling, enforceable: emptyEnforceable });
|
|
150
|
+
const detail = error instanceof Error ? error.message : String(error);
|
|
151
|
+
return deny(resolution, 'UNAVAILABLE', `ENFORCEABLE_SET_FAILED:${detail}`);
|
|
152
|
+
}
|
|
153
|
+
const resolution = resolveEffectiveCapability({ requirement, grant: input.grant, ceiling, enforceable });
|
|
154
|
+
if (input.stillAuthorized && !input.stillAuthorized())
|
|
155
|
+
return deny(resolution, 'NOT_ATTEMPTED', 'AUTHORITY_CHANGED');
|
|
156
|
+
const writeRequired = requirement['filesystem.write'] === true;
|
|
157
|
+
const writeEffective = resolution.effective['filesystem.write'] === true;
|
|
158
|
+
if (writeRequired && !writeEffective) {
|
|
159
|
+
const writeUnavailable = resolution.deniedReasons.some(reason => reason.startsWith('filesystem.write: Runtime 无法证明 enforce'));
|
|
160
|
+
return deny(resolution, writeUnavailable ? 'UNAVAILABLE' : 'NOT_ATTEMPTED', 'REQUIRED_WRITE_NOT_EFFECTIVE');
|
|
161
|
+
}
|
|
162
|
+
if (writeRequired && input.sandboxMode === 'read-only') {
|
|
163
|
+
return deny(resolution, 'NOT_ATTEMPTED', 'REQUIRED_WRITE_NOT_REQUESTED');
|
|
164
|
+
}
|
|
165
|
+
// coverage 是信息字段;只有 Grant∩Ceiling∩EnforceableSet 为空才阻断。
|
|
166
|
+
if (Object.keys(resolution.effective).length === 0) {
|
|
167
|
+
const runtimeUnavailable = resolution.deniedReasons.some(reason => reason.includes('Runtime 无法证明 enforce'));
|
|
168
|
+
return deny(resolution, runtimeUnavailable ? 'UNAVAILABLE' : 'NOT_ATTEMPTED', resolution.deniedReasons[0] ?? 'NO_EFFECTIVE_CAPABILITY');
|
|
68
169
|
}
|
|
69
|
-
//
|
|
70
|
-
|
|
71
|
-
|
|
170
|
+
// The requested mode also constrains what can be recorded as the effective
|
|
171
|
+
// snapshot. Without this second bound, an extra filesystem.write grant could
|
|
172
|
+
// remain in the decision while materialization is read-only.
|
|
173
|
+
const materializationResolution = boundResolutionToRequestedSandbox(input.sandboxMode, resolution);
|
|
174
|
+
if (Object.keys(materializationResolution.effective).length === 0) {
|
|
175
|
+
const runtimeUnavailable = materializationResolution.deniedReasons.some(reason => reason.includes('Runtime 无法证明 enforce'));
|
|
176
|
+
return deny(materializationResolution, runtimeUnavailable ? 'UNAVAILABLE' : 'NOT_ATTEMPTED', materializationResolution.deniedReasons[0] ?? 'NO_EFFECTIVE_CAPABILITY');
|
|
72
177
|
}
|
|
178
|
+
const boundedSandbox = selectSandboxMode(input.sandboxMode, materializationResolution);
|
|
73
179
|
// TX-1:写 plan → PREPARING → MATERIALIZING
|
|
74
180
|
const plan = {
|
|
75
181
|
type: 'DshEnforcementPlan/v1',
|
|
76
182
|
payload: {
|
|
77
|
-
tools: effectiveTools(
|
|
78
|
-
sandboxMode:
|
|
183
|
+
tools: effectiveTools(materializationResolution.effective),
|
|
184
|
+
sandboxMode: boundedSandbox.effective,
|
|
185
|
+
requestedSandboxMode: boundedSandbox.requested,
|
|
186
|
+
effectiveSandboxMode: boundedSandbox.effective,
|
|
187
|
+
boundedNarrowing: boundedSandbox.boundedNarrowing,
|
|
79
188
|
approvalPolicy: 'never',
|
|
80
189
|
presetId: input.presetId ?? null,
|
|
81
|
-
coverage:
|
|
82
|
-
effective:
|
|
190
|
+
coverage: materializationResolution.coverage,
|
|
191
|
+
effective: materializationResolution.effective,
|
|
83
192
|
},
|
|
84
193
|
};
|
|
85
194
|
setLeasePlan(store, leaseId, JSON.stringify(plan));
|
|
86
195
|
advanceLeaseState(store, leaseId, 'PREPARING');
|
|
87
196
|
advanceLeaseState(store, leaseId, 'MATERIALIZING');
|
|
88
197
|
const territoryPath = input.context.agent.session.header?.cwd ?? '';
|
|
89
|
-
const request = buildRequest(
|
|
198
|
+
const request = buildRequest(materializationResolution, boundedSandbox.effective, territoryPath, input.presetId);
|
|
90
199
|
// TX-2 前置:preflight(无副作用)
|
|
91
|
-
|
|
200
|
+
let preflight;
|
|
201
|
+
try {
|
|
202
|
+
preflight = await adapter.preflight(request, input.context);
|
|
203
|
+
}
|
|
204
|
+
catch (error) {
|
|
205
|
+
const detail = error instanceof Error ? error.message : String(error);
|
|
206
|
+
const cleanupOk = await cleanupConfirmed(adapter, request, input.context);
|
|
207
|
+
return deny(materializationResolution, 'UNAVAILABLE', `PREFLIGHT_FAILED:${detail}`, cleanupOk);
|
|
208
|
+
}
|
|
92
209
|
if (!preflight.ok) {
|
|
93
|
-
await adapter
|
|
94
|
-
return deny('UNAVAILABLE', `PREFLIGHT_FAILED:${preflight.reasons.join(';')}
|
|
210
|
+
const cleanupOk = await cleanupConfirmed(adapter, request, input.context);
|
|
211
|
+
return deny(materializationResolution, 'UNAVAILABLE', `PREFLIGHT_FAILED:${preflight.reasons.join(';')}`, cleanupOk);
|
|
95
212
|
}
|
|
96
213
|
// TX-2S/2F:materialize
|
|
97
|
-
|
|
214
|
+
if (input.stillAuthorized && !input.stillAuthorized())
|
|
215
|
+
return deny(materializationResolution, 'NOT_ATTEMPTED', 'AUTHORITY_CHANGED');
|
|
216
|
+
let materialized;
|
|
217
|
+
try {
|
|
218
|
+
materialized = await adapter.materialize(request, input.context);
|
|
219
|
+
}
|
|
220
|
+
catch (error) {
|
|
221
|
+
const detail = error instanceof Error ? error.message : String(error);
|
|
222
|
+
const cleanupOk = await cleanupConfirmed(adapter, request, input.context);
|
|
223
|
+
return deny(materializationResolution, 'FAILED', `MATERIALIZE_FAILED:${detail}`, cleanupOk);
|
|
224
|
+
}
|
|
98
225
|
if (!materialized.ok || !materialized.evidenceJson) {
|
|
99
|
-
await adapter
|
|
100
|
-
return deny('FAILED', `MATERIALIZE_FAILED:${(materialized.reasons ?? []).join(';') || 'no-reason'}
|
|
226
|
+
const cleanupOk = await cleanupConfirmed(adapter, request, input.context);
|
|
227
|
+
return deny(materializationResolution, 'FAILED', `MATERIALIZE_FAILED:${(materialized.reasons ?? []).join(';') || 'no-reason'}`, cleanupOk);
|
|
228
|
+
}
|
|
229
|
+
if (input.stillAuthorized && !input.stillAuthorized()) {
|
|
230
|
+
const cleanupOk = await cleanupConfirmed(adapter, request, input.context);
|
|
231
|
+
return deny(materializationResolution, 'FAILED', 'AUTHORITY_CHANGED', cleanupOk);
|
|
232
|
+
}
|
|
233
|
+
let enforcementEvidenceJson;
|
|
234
|
+
try {
|
|
235
|
+
enforcementEvidenceJson = annotateSandboxEvidence(materialized.evidenceJson, boundedSandbox);
|
|
236
|
+
}
|
|
237
|
+
catch (error) {
|
|
238
|
+
const detail = error instanceof Error ? error.message : String(error);
|
|
239
|
+
const cleanupOk = await cleanupConfirmed(adapter, request, input.context);
|
|
240
|
+
return deny(materializationResolution, 'FAILED', `MATERIALIZE_EVIDENCE_INVALID:${detail}`, cleanupOk);
|
|
101
241
|
}
|
|
102
242
|
const decision = recordCapabilityDecision(store, {
|
|
103
243
|
kingdomId, taskId, workerBindingId, supervisorBindingId,
|
|
104
244
|
requirementSnapshot: input.requirementJson ?? undefined,
|
|
105
245
|
ceilingSnapshot: input.ceilingJson ?? undefined,
|
|
106
246
|
proposedGrantSnapshot: JSON.stringify(input.grant),
|
|
107
|
-
effectiveSnapshot: JSON.stringify(
|
|
247
|
+
effectiveSnapshot: JSON.stringify(materializationResolution.effective),
|
|
108
248
|
decision: 'GRANTED',
|
|
109
249
|
enforcementStatus: 'ENFORCED',
|
|
110
|
-
enforcementEvidenceJson
|
|
111
|
-
requirementCoverage:
|
|
250
|
+
enforcementEvidenceJson,
|
|
251
|
+
requirementCoverage: materializationResolution.coverage,
|
|
252
|
+
reasonCode: boundedSandbox.boundedNarrowing ? 'BOUNDED_SANDBOX_NARROWING' : null,
|
|
112
253
|
});
|
|
113
254
|
bindCapabilityDecision(store, leaseId, decision.decision_id);
|
|
114
255
|
const lease = advanceLeaseState(store, leaseId, 'DISPATCH_READY');
|
|
115
|
-
|
|
256
|
+
// 返回 buildRequest 生成且已通过本次 preflight/materialize 的同一对象;
|
|
257
|
+
// 后续 teardown 必须消费它,不得依据 capability snapshot 重新推导。
|
|
258
|
+
return { decision, lease, materialized: true, enforcementRequest: request };
|
|
116
259
|
}
|
|
117
260
|
//# sourceMappingURL=service.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"service.js","sourceRoot":"","sources":["../../src/capability/service.ts"],"names":[],"mappings":"AAaA,OAAO,EACL,iBAAiB,EACjB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,EACxB,YAAY,GACb,MAAM,qBAAqB,CAAA;AAG5B,OAAO,EAAE,cAAc,EAAE,0BAA0B,EAAkC,MAAM,eAAe,CAAA;AA8B1G,SAAS,SAAS,CAAC,IAAmB;IACpC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAA;IACtB,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAA;QACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,KAAgC,CAAA;QACjH,OAAO,IAAI,CAAA;IACb,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED,+CAA+C;AAC/C,SAAS,YAAY,CAAC,UAAsB,EAAE,WAA4C,EAAE,aAAqB,EAAE,QAAiB;IAClI,OAAO;QACL,KAAK,EAAE,cAAc,CAAC,UAAU,CAAC,SAAS,CAAC;QAC3C,aAAa;QACb,WAAW;QACX,cAAc,EAAE,OAAO;QACvB,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClC,CAAA;AACH,CAAC;AAED,4EAA4E;AAC5E,SAAS,oBAAoB,CAAC,KAAmB,EAAE,OAAe,EAAE,MAAc;IAChF,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;IACrC,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,OAAO,MAAM,CAAC,CAAA;IACzE,IAAI,KAAK,CAAC,KAAK,KAAK,eAAe,IAAI,KAAK,CAAC,KAAK,KAAK,WAAW,IAAI,KAAK,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;QACnG,OAAO,qBAAqB,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,CAAA;IAC5F,CAAC;IACD,6CAA6C;IAC7C,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,CAAC,CAAA;IAClE,KAAK,UAAU,CAAA;IACf,OAAO,qBAAqB,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,CAAA;AAC5F,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,KAA0B;IAChE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,eAAe,EAAE,mBAAmB,EAAE,OAAO,EAAE,GAAG,KAAK,CAAA;IAC7G,MAAM,WAAW,GAAG,SAAS,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,CAAA;IAC1D,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;IAC5C,MAAM,WAAW,GAAG,MAAM,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IAC7D,MAAM,UAAU,GAAG,0BAA0B,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAA;IAExG,MAAM,IAAI,GAAG,CAAC,iBAA6D,EAAE,UAAyB,EAAwB,EAAE;QAC9H,MAAM,QAAQ,GAAG,wBAAwB,CAAC,KAAK,EAAE;YAC/C,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,mBAAmB;YACvD,mBAAmB,EAAE,KAAK,CAAC,eAAe,IAAI,SAAS;YACvD,eAAe,EAAE,KAAK,CAAC,WAAW,IAAI,SAAS;YAC/C,qBAAqB,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;YAClD,iBAAiB,EAAE,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC;YACvD,QAAQ,EAAE,QAAQ;YAClB,iBAAiB;YACjB,mBAAmB,EAAE,UAAU,CAAC,QAAQ;YACxC,UAAU,EAAE,UAAU,IAAI,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI;SAC9D,CAAC,CAAA;QACF,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,qBAAqB,iBAAiB,EAAE,CAAC,CAAA;QAC5F,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAA;IACjD,CAAC,CAAA;IAED,4BAA4B;IAC5B,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC,aAAa,EAAE,wBAAwB,CAAC,CAAA;IACtD,CAAC;IACD,wCAAwC;IACxC,IAAI,UAAU,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC,eAAe,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,iCAAiC,CAAC,CAAA;IAChG,CAAC;IAED,0CAA0C;IAC1C,MAAM,IAAI,GAAG;QACX,IAAI,EAAE,uBAAuB;QAC7B,OAAO,EAAE;YACP,KAAK,EAAE,cAAc,CAAC,UAAU,CAAC,SAAS,CAAC;YAC3C,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,cAAc,EAAE,OAAO;YACvB,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,IAAI;YAChC,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,SAAS,EAAE,UAAU,CAAC,SAAS;SAChC;KACF,CAAA;IACD,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAA;IAClD,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,CAAA;IAC9C,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,eAAe,CAAC,CAAA;IAElD,MAAM,aAAa,GAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAoD,CAAC,MAAM,EAAE,GAAG,IAAI,EAAE,CAAA;IACjH,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,EAAE,KAAK,CAAC,WAAW,EAAE,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAA;IAE1F,0BAA0B;IAC1B,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IACjE,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;QAClB,MAAM,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;QAC7C,OAAO,IAAI,CAAC,aAAa,EAAE,oBAAoB,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC/E,CAAC;IAED,uBAAuB;IACvB,MAAM,YAAY,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IACtE,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,YAAY,EAAE,CAAC;QACnD,MAAM,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;QAC7C,OAAO,IAAI,CAAC,QAAQ,EAAE,sBAAsB,CAAC,YAAY,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,WAAW,EAAE,CAAC,CAAA;IACtG,CAAC;IAED,MAAM,QAAQ,GAAG,wBAAwB,CAAC,KAAK,EAAE;QAC/C,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,mBAAmB;QACvD,mBAAmB,EAAE,KAAK,CAAC,eAAe,IAAI,SAAS;QACvD,eAAe,EAAE,KAAK,CAAC,WAAW,IAAI,SAAS;QAC/C,qBAAqB,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QAClD,iBAAiB,EAAE,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC;QACvD,QAAQ,EAAE,SAAS;QACnB,iBAAiB,EAAE,UAAU;QAC7B,uBAAuB,EAAE,YAAY,CAAC,YAAY;QAClD,mBAAmB,EAAE,UAAU,CAAC,QAAQ;KACzC,CAAC,CAAA;IACF,sBAAsB,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAA;IAC5D,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAA;IACjE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAA;AAChD,CAAC"}
|
|
1
|
+
{"version":3,"file":"service.js","sourceRoot":"","sources":["../../src/capability/service.ts"],"names":[],"mappings":"AAcA,OAAO,EACL,iBAAiB,EACjB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,EACxB,YAAY,GACb,MAAM,qBAAqB,CAAA;AAG5B,OAAO,EAAE,cAAc,EAAE,0BAA0B,EAAkC,MAAM,eAAe,CAAA;AA4C1G,SAAS,SAAS,CAAC,IAAmB;IACpC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAA;IACtB,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAA;QACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,KAAgC,CAAA;QACjH,OAAO,IAAI,CAAA;IACb,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,iBAAiB,CAAC,SAA+B,EAAE,UAAsB;IAChF,MAAM,SAAS,GAAG,SAAS,KAAK,iBAAiB,IAAI,UAAU,CAAC,SAAS,CAAC,kBAAkB,CAAC,KAAK,IAAI;QACpG,CAAC,CAAC,iBAAiB;QACnB,CAAC,CAAC,WAAW,CAAA;IACf,OAAO;QACL,SAAS;QACT,SAAS;QACT,gBAAgB,EAAE,SAAS,KAAK,SAAS;KAC1C,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,iCAAiC,CAAC,SAA+B,EAAE,UAAsB;IAChG,IAAI,SAAS,KAAK,WAAW,IAAI,UAAU,CAAC,SAAS,CAAC,kBAAkB,CAAC,KAAK,IAAI;QAAE,OAAO,UAAU,CAAA;IACrG,MAAM,SAAS,GAAG,EAAE,GAAG,UAAU,CAAC,SAAS,EAAE,CAAA;IAC7C,OAAO,SAAS,CAAC,kBAAkB,CAAC,CAAA;IACpC,OAAO,EAAE,GAAG,UAAU,EAAE,SAAS,EAAE,CAAA;AACrC,CAAC;AAED,oEAAoE;AACpE,SAAS,uBAAuB,CAAC,YAAoB,EAAE,IAA0B;IAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAA0C,CAAA;IAChF,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,GAAG,MAAM;QACT,OAAO,EAAE;YACP,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC;YACzB,oBAAoB,EAAE,IAAI,CAAC,SAAS;YACpC,oBAAoB,EAAE,IAAI,CAAC,SAAS;YACpC,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;SACxC;KACF,CAAC,CAAA;AACJ,CAAC;AAED,sDAAsD;AACtD,SAAS,YAAY,CAAC,UAAsB,EAAE,WAAiC,EAAE,aAAqB,EAAE,QAAiB;IACvH,OAAO;QACL,KAAK,EAAE,cAAc,CAAC,UAAU,CAAC,SAAS,CAAC;QAC3C,aAAa;QACb,WAAW;QACX,cAAc,EAAE,OAAO;QACvB,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClC,CAAA;AACH,CAAC;AAED,sDAAsD;AACtD,KAAK,UAAU,gBAAgB,CAC7B,OAAuB,EACvB,OAA2B,EAC3B,OAA8B;IAE9B,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;QACtD,OAAO,MAAM,CAAC,EAAE,IAAI,OAAO,MAAM,CAAC,YAAY,KAAK,QAAQ,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAA;IAC/F,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAA;IACd,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,SAAS,oBAAoB,CAAC,KAAmB,EAAE,OAAe,EAAE,MAAc;IAChF,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;IACrC,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,OAAO,MAAM,CAAC,CAAA;IACzE,IAAI,KAAK,CAAC,KAAK,KAAK,eAAe,IAAI,KAAK,CAAC,KAAK,KAAK,WAAW,IAAI,KAAK,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;QACnG,OAAO,qBAAqB,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,CAAA;IAC5F,CAAC;IACD,6CAA6C;IAC7C,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,CAAC,CAAA;IAClE,KAAK,UAAU,CAAA;IACf,OAAO,qBAAqB,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,CAAA;AAC5F,CAAC;AAED,iEAAiE;AACjE,SAAS,mBAAmB,CAAC,KAAmB,EAAE,OAAe,EAAE,MAAc;IAC/E,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;IACrC,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,OAAO,MAAM,CAAC,CAAA;IACxE,6CAA6C;IAC7C,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAA;IAC1E,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;IAC1C,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,OAAO,WAAW,CAAC,CAAA;IAClF,OAAO,UAAU,CAAA;AACnB,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,KAA0B;IAChE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,eAAe,EAAE,mBAAmB,EAAE,OAAO,EAAE,GAAG,KAAK,CAAA;IAC7G,MAAM,WAAW,GAAG,SAAS,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,CAAA;IAC1D,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;IAC5C,MAAM,IAAI,GAAG,CACX,UAAsB,EACtB,iBAA6D,EAC7D,UAAyB,EACzB,gBAAgB,GAAG,IAAI,EACD,EAAE;QACxB,MAAM,QAAQ,GAAG,wBAAwB,CAAC,KAAK,EAAE;YAC/C,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,mBAAmB;YACvD,mBAAmB,EAAE,KAAK,CAAC,eAAe,IAAI,SAAS;YACvD,eAAe,EAAE,KAAK,CAAC,WAAW,IAAI,SAAS;YAC/C,qBAAqB,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;YAClD,iBAAiB,EAAE,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC;YACvD,QAAQ,EAAE,QAAQ;YAClB,iBAAiB;YACjB,mBAAmB,EAAE,UAAU,CAAC,QAAQ;YACxC,UAAU,EAAE,UAAU,IAAI,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI;SAC9D,CAAC,CAAA;QACF,MAAM,WAAW,GAAG,qBAAqB,iBAAiB,EAAE,CAAA;QAC5D,MAAM,KAAK,GAAG,gBAAgB;YAC5B,CAAC,CAAC,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC;YACnD,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,CAAA;QACpD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAA;IAC3E,CAAC,CAAA;IAED,MAAM,gBAAgB,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAW,CAAA;IACxG,IAAI,KAAK,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC,0BAA0B,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAC,EAAE,eAAe,EAAE,mBAAmB,CAAC,CAAA;IAC5J,CAAC;IAED,0CAA0C;IAC1C,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,MAAM,UAAU,GAAG,0BAA0B,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAC,CAAA;QAC1H,OAAO,IAAI,CAAC,UAAU,EAAE,eAAe,EAAE,wBAAwB,CAAC,CAAA;IACpE,CAAC;IAED,wDAAwD;IACxD,kDAAkD;IAClD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,UAAU,GAAG,0BAA0B,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAC,CAAA;QAC1H,OAAO,IAAI,CAAC,UAAU,EAAE,eAAe,EAAE,sBAAsB,CAAC,CAAA;IAClE,CAAC;IAED,IAAI,WAAgE,CAAA;IACpE,IAAI,CAAC;QACH,WAAW,GAAG,MAAM,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACzD,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,UAAU,GAAG,0BAA0B,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAC,CAAA;QAC1H,MAAM,MAAM,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACrE,OAAO,IAAI,CAAC,UAAU,EAAE,aAAa,EAAE,0BAA0B,MAAM,EAAE,CAAC,CAAA;IAC5E,CAAC;IACD,MAAM,UAAU,GAAG,0BAA0B,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAA;IACxG,IAAI,KAAK,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE;QAAE,OAAO,IAAI,CAAC,UAAU,EAAE,eAAe,EAAE,mBAAmB,CAAC,CAAA;IAEpH,MAAM,aAAa,GAAG,WAAW,CAAC,kBAAkB,CAAC,KAAK,IAAI,CAAA;IAC9D,MAAM,cAAc,GAAG,UAAU,CAAC,SAAS,CAAC,kBAAkB,CAAC,KAAK,IAAI,CAAA;IACxE,IAAI,aAAa,IAAI,CAAC,cAAc,EAAE,CAAC;QACrC,MAAM,gBAAgB,GAAG,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAC9D,MAAM,CAAC,UAAU,CAAC,wCAAwC,CAAC,CAAC,CAAA;QAC9D,OAAO,IAAI,CACT,UAAU,EACV,gBAAgB,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe,EAClD,8BAA8B,CAC/B,CAAA;IACH,CAAC;IACD,IAAI,aAAa,IAAI,KAAK,CAAC,WAAW,KAAK,WAAW,EAAE,CAAC;QACvD,OAAO,IAAI,CAAC,UAAU,EAAE,eAAe,EAAE,8BAA8B,CAAC,CAAA;IAC1E,CAAC;IAED,wDAAwD;IACxD,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,MAAM,kBAAkB,GAAG,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAA;QAC3G,OAAO,IAAI,CACT,UAAU,EACV,kBAAkB,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe,EACpD,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,yBAAyB,CACzD,CAAA;IACH,CAAC;IAED,2EAA2E;IAC3E,6EAA6E;IAC7E,6DAA6D;IAC7D,MAAM,yBAAyB,GAAG,iCAAiC,CAAC,KAAK,CAAC,WAAW,EAAE,UAAU,CAAC,CAAA;IAClG,IAAI,MAAM,CAAC,IAAI,CAAC,yBAAyB,CAAC,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClE,MAAM,kBAAkB,GAAG,yBAAyB,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAA;QAC1H,OAAO,IAAI,CACT,yBAAyB,EACzB,kBAAkB,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe,EACpD,yBAAyB,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,yBAAyB,CACxE,CAAA;IACH,CAAC;IACD,MAAM,cAAc,GAAG,iBAAiB,CAAC,KAAK,CAAC,WAAW,EAAE,yBAAyB,CAAC,CAAA;IAEtF,0CAA0C;IAC1C,MAAM,IAAI,GAAG;QACX,IAAI,EAAE,uBAAuB;QAC7B,OAAO,EAAE;YACP,KAAK,EAAE,cAAc,CAAC,yBAAyB,CAAC,SAAS,CAAC;YAC1D,WAAW,EAAE,cAAc,CAAC,SAAS;YACrC,oBAAoB,EAAE,cAAc,CAAC,SAAS;YAC9C,oBAAoB,EAAE,cAAc,CAAC,SAAS;YAC9C,gBAAgB,EAAE,cAAc,CAAC,gBAAgB;YACjD,cAAc,EAAE,OAAO;YACvB,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,IAAI;YAChC,QAAQ,EAAE,yBAAyB,CAAC,QAAQ;YAC5C,SAAS,EAAE,yBAAyB,CAAC,SAAS;SAC/C;KACF,CAAA;IACD,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAA;IAClD,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,CAAA;IAC9C,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,eAAe,CAAC,CAAA;IAElD,MAAM,aAAa,GAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAoD,CAAC,MAAM,EAAE,GAAG,IAAI,EAAE,CAAA;IACjH,MAAM,OAAO,GAAG,YAAY,CAAC,yBAAyB,EAAE,cAAc,CAAC,SAAS,EAAE,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAA;IAEhH,0BAA0B;IAC1B,IAAI,SAA2D,CAAA;IAC/D,IAAI,CAAC;QACH,SAAS,GAAG,MAAM,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC7D,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACrE,MAAM,SAAS,GAAG,MAAM,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;QACzE,OAAO,IAAI,CAAC,yBAAyB,EAAE,aAAa,EAAE,oBAAoB,MAAM,EAAE,EAAE,SAAS,CAAC,CAAA;IAChG,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;QAClB,MAAM,SAAS,GAAG,MAAM,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;QACzE,OAAO,IAAI,CAAC,yBAAyB,EAAE,aAAa,EAAE,oBAAoB,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,CAAA;IACrH,CAAC;IAED,uBAAuB;IACvB,IAAI,KAAK,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE;QAAE,OAAO,IAAI,CAAC,yBAAyB,EAAE,eAAe,EAAE,mBAAmB,CAAC,CAAA;IACnI,IAAI,YAAgE,CAAA;IACpE,IAAI,CAAC;QACH,YAAY,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAClE,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACrE,MAAM,SAAS,GAAG,MAAM,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;QACzE,OAAO,IAAI,CAAC,yBAAyB,EAAE,QAAQ,EAAE,sBAAsB,MAAM,EAAE,EAAE,SAAS,CAAC,CAAA;IAC7F,CAAC;IACD,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,YAAY,EAAE,CAAC;QACnD,MAAM,SAAS,GAAG,MAAM,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;QACzE,OAAO,IAAI,CACT,yBAAyB,EACzB,QAAQ,EACR,sBAAsB,CAAC,YAAY,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,WAAW,EAAE,EAC7E,SAAS,CACV,CAAA;IACH,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,CAAC;QACtD,MAAM,SAAS,GAAG,MAAM,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;QACzE,OAAO,IAAI,CAAC,yBAAyB,EAAE,QAAQ,EAAE,mBAAmB,EAAE,SAAS,CAAC,CAAA;IAClF,CAAC;IAED,IAAI,uBAA+B,CAAA;IACnC,IAAI,CAAC;QACH,uBAAuB,GAAG,uBAAuB,CAAC,YAAY,CAAC,YAAY,EAAE,cAAc,CAAC,CAAA;IAC9F,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACrE,MAAM,SAAS,GAAG,MAAM,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;QACzE,OAAO,IAAI,CAAC,yBAAyB,EAAE,QAAQ,EAAE,gCAAgC,MAAM,EAAE,EAAE,SAAS,CAAC,CAAA;IACvG,CAAC;IAED,MAAM,QAAQ,GAAG,wBAAwB,CAAC,KAAK,EAAE;QAC/C,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,mBAAmB;QACvD,mBAAmB,EAAE,KAAK,CAAC,eAAe,IAAI,SAAS;QACvD,eAAe,EAAE,KAAK,CAAC,WAAW,IAAI,SAAS;QAC/C,qBAAqB,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QAClD,iBAAiB,EAAE,IAAI,CAAC,SAAS,CAAC,yBAAyB,CAAC,SAAS,CAAC;QACtE,QAAQ,EAAE,SAAS;QACnB,iBAAiB,EAAE,UAAU;QAC7B,uBAAuB;QACvB,mBAAmB,EAAE,yBAAyB,CAAC,QAAQ;QACvD,UAAU,EAAE,cAAc,CAAC,gBAAgB,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,IAAI;KACjF,CAAC,CAAA;IACF,sBAAsB,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAA;IAC5D,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAA;IACjE,wDAAwD;IACxD,mDAAmD;IACnD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAA;AAC7E,CAAC"}
|
|
@@ -0,0 +1,144 @@
|
|
|
1
|
+
export const DISCOVERY_TOOL_NAME = 'kingdom_find_tools';
|
|
2
|
+
const bytes = (value) => Buffer.byteLength(JSON.stringify(value), 'utf8');
|
|
3
|
+
const object = (value) => !!value && typeof value === 'object' && !Array.isArray(value);
|
|
4
|
+
const toolName = (value) => typeof value === 'string' && /^[A-Za-z0-9_.:-]{1,128}$/u.test(value);
|
|
5
|
+
/** Display policy only. The existing Capability Gate remains authoritative for calls. */
|
|
6
|
+
export class ToolDisclosureRuntime {
|
|
7
|
+
config;
|
|
8
|
+
states = new WeakMap();
|
|
9
|
+
active = new Set();
|
|
10
|
+
observations = new WeakMap();
|
|
11
|
+
constructor(config) {
|
|
12
|
+
if (!config || !['off', 'pilot'].includes(config.mode))
|
|
13
|
+
throw new Error('Invalid tool disclosure mode');
|
|
14
|
+
const residentTools = [...new Set(config.residentTools ?? [])], phaseTools = [...new Set(config.phaseTools ?? [])];
|
|
15
|
+
const maxResults = config.maxResults ?? 3, maxResultBytes = config.maxResultBytes ?? 12000;
|
|
16
|
+
if (residentTools.length > 64 || phaseTools.length > 64 || ![...residentTools, ...phaseTools].every(toolName)
|
|
17
|
+
|| !Number.isSafeInteger(maxResults) || maxResults < 1 || maxResults > 5
|
|
18
|
+
|| !Number.isSafeInteger(maxResultBytes) || maxResultBytes < 1024 || maxResultBytes > 64000)
|
|
19
|
+
throw new Error('Invalid tool disclosure bounds');
|
|
20
|
+
this.config = Object.freeze({ mode: config.mode, residentTools, phaseTools, maxResults, maxResultBytes });
|
|
21
|
+
}
|
|
22
|
+
metadata(assembly) { return this.observations.get(assembly); }
|
|
23
|
+
catalog(agent, state) {
|
|
24
|
+
const raw = agent.ctx.tools.schemas();
|
|
25
|
+
if (!Array.isArray(raw))
|
|
26
|
+
throw new Error('TOOL_CATALOG_UNAVAILABLE');
|
|
27
|
+
const result = [], names = new Set(), identities = new Map();
|
|
28
|
+
for (const entry of raw) {
|
|
29
|
+
if (!object(entry) || !toolName(entry.name) || !state.allowed.has(entry.name))
|
|
30
|
+
continue;
|
|
31
|
+
if (names.has(entry.name) || typeof entry.description !== 'string' || !object(entry.parameters))
|
|
32
|
+
throw new Error('TOOL_CATALOG_AMBIGUOUS');
|
|
33
|
+
const definition = agent.ctx.tools.get(entry.name);
|
|
34
|
+
if (!definition)
|
|
35
|
+
continue;
|
|
36
|
+
names.add(entry.name);
|
|
37
|
+
identities.set(entry.name, definition);
|
|
38
|
+
result.push({ name: entry.name, description: entry.description, parameters: structuredClone(entry.parameters) });
|
|
39
|
+
}
|
|
40
|
+
const stamp = JSON.stringify(result);
|
|
41
|
+
if (state.catalogStamp !== stamp || [...identities].some(([name, definition]) => state.identities.get(name) !== definition)) {
|
|
42
|
+
state.discovered.clear();
|
|
43
|
+
state.catalogStamp = stamp;
|
|
44
|
+
state.identities = identities;
|
|
45
|
+
state.fallback = null;
|
|
46
|
+
}
|
|
47
|
+
return result;
|
|
48
|
+
}
|
|
49
|
+
install(agent, allowedTools) {
|
|
50
|
+
if (this.config.mode === 'off')
|
|
51
|
+
return () => { };
|
|
52
|
+
if (!agent || typeof agent.ctx?.on !== 'function' || typeof agent.ctx.tools?.schemas !== 'function' || typeof agent.ctx.tools.get !== 'function') {
|
|
53
|
+
throw new Error('TOOL_DISCLOSURE_SEAM_UNAVAILABLE');
|
|
54
|
+
}
|
|
55
|
+
if (this.states.get(agent)?.active)
|
|
56
|
+
throw new Error('TOOL_DISCLOSURE_ALREADY_ACTIVE');
|
|
57
|
+
if (!allowedTools.every(toolName))
|
|
58
|
+
throw new Error('TOOL_DISCLOSURE_ALLOWED_SET_INVALID');
|
|
59
|
+
const state = { active: true, allowed: new Set(allowedTools), discovered: new Set(), catalogStamp: '', identities: new Map(), fallback: null, dispose() { } };
|
|
60
|
+
this.catalog(agent, state);
|
|
61
|
+
const listener = agent.ctx.on('system-prompt/assemble', async (_before, context, next) => {
|
|
62
|
+
const result = await next();
|
|
63
|
+
if (!state.active || context.agent !== agent)
|
|
64
|
+
return result;
|
|
65
|
+
if (!result || !Array.isArray(result.tools))
|
|
66
|
+
throw new Error('TOOL_DISCLOSURE_ASSEMBLY_INVALID');
|
|
67
|
+
const allowed = result.tools.filter(schema => state.allowed.has(schema.name));
|
|
68
|
+
const beforeBytes = bytes(allowed);
|
|
69
|
+
let reason = state.fallback, catalog = [];
|
|
70
|
+
try {
|
|
71
|
+
catalog = this.catalog(agent, state);
|
|
72
|
+
reason = state.fallback;
|
|
73
|
+
}
|
|
74
|
+
catch {
|
|
75
|
+
reason = 'TOOL_CATALOG_UNAVAILABLE';
|
|
76
|
+
state.discovered.clear();
|
|
77
|
+
}
|
|
78
|
+
if (!state.allowed.has(DISCOVERY_TOOL_NAME))
|
|
79
|
+
reason = 'DISCOVERY_NOT_GRANTED';
|
|
80
|
+
else if (!catalog.some(schema => schema.name === DISCOVERY_TOOL_NAME) || !allowed.some(schema => schema.name === DISCOVERY_TOOL_NAME))
|
|
81
|
+
reason = 'DISCOVERY_SCHEMA_UNAVAILABLE';
|
|
82
|
+
const visible = new Set([DISCOVERY_TOOL_NAME, ...this.config.residentTools, ...this.config.phaseTools, ...state.discovered]);
|
|
83
|
+
const selected = reason ? allowed : allowed.filter(schema => visible.has(schema.name));
|
|
84
|
+
// Keep the provider's native schemas and stable order. Never synthesize a
|
|
85
|
+
// tool wrapper, grant a hidden capability, or re-install the Gate guard.
|
|
86
|
+
const transformed = { ...result, tools: selected };
|
|
87
|
+
this.observations.set(transformed, { toolsBefore: allowed.length, toolsAfter: selected.length, toolsBytesBefore: beforeBytes,
|
|
88
|
+
toolsBytesAfter: bytes(selected), mode: reason ? 'off' : 'pilot', reasonCode: reason });
|
|
89
|
+
return transformed;
|
|
90
|
+
});
|
|
91
|
+
state.dispose = () => {
|
|
92
|
+
if (!state.active)
|
|
93
|
+
return;
|
|
94
|
+
// The listener must be gone before declaring teardown successful.
|
|
95
|
+
listener();
|
|
96
|
+
state.active = false;
|
|
97
|
+
state.discovered.clear();
|
|
98
|
+
this.states.delete(agent);
|
|
99
|
+
this.active.delete(state);
|
|
100
|
+
};
|
|
101
|
+
this.states.set(agent, state);
|
|
102
|
+
this.active.add(state);
|
|
103
|
+
return state.dispose;
|
|
104
|
+
}
|
|
105
|
+
find(input, execution) {
|
|
106
|
+
const agent = execution.agent, state = agent && this.states.get(agent);
|
|
107
|
+
if (execution.signal?.aborted || !state?.active || !state.allowed.has(DISCOVERY_TOOL_NAME))
|
|
108
|
+
throw new Error('TOOL_DISCOVERY_NOT_AUTHORIZED');
|
|
109
|
+
if (!object(input) || Object.keys(input).some(key => key !== 'query') || typeof input.query !== 'string'
|
|
110
|
+
|| !input.query.trim() || input.query.length > 160)
|
|
111
|
+
throw new Error('TOOL_DISCOVERY_QUERY_INVALID');
|
|
112
|
+
const query = input.query.trim().toLocaleLowerCase(), terms = query.split(/\s+/u).filter(Boolean).slice(0, 8);
|
|
113
|
+
const catalog = this.catalog(agent, state);
|
|
114
|
+
const scored = catalog.filter(schema => schema.name !== DISCOVERY_TOOL_NAME).map(schema => {
|
|
115
|
+
const name = schema.name.toLocaleLowerCase(), description = schema.description.toLocaleLowerCase();
|
|
116
|
+
const score = name === query ? 1000 : terms.reduce((score, term) => score + (name.includes(term) ? 10 : 0) + (description.includes(term) ? 1 : 0), 0);
|
|
117
|
+
return { schema, score };
|
|
118
|
+
}).filter(item => item.score > 0).sort((a, b) => b.score - a.score || a.schema.name.localeCompare(b.schema.name));
|
|
119
|
+
const selected = [];
|
|
120
|
+
for (const { schema } of scored) {
|
|
121
|
+
if (selected.length === this.config.maxResults)
|
|
122
|
+
break;
|
|
123
|
+
const proposed = [...selected, schema];
|
|
124
|
+
const response = { tools: proposed, availableNextStep: true, truncated: false };
|
|
125
|
+
if (bytes(response) > this.config.maxResultBytes) {
|
|
126
|
+
// A schema too large to return is not silently undiscoverable. Restore
|
|
127
|
+
// the same authorized native surface on the next step, with no resend.
|
|
128
|
+
state.fallback = 'DISCOVERY_RESULT_TOO_LARGE';
|
|
129
|
+
return { tools: [], availableNextStep: true, fallback: 'AUTHORIZED_NATIVE_SURFACE_NEXT_STEP', reasonCode: state.fallback };
|
|
130
|
+
}
|
|
131
|
+
selected.push(schema);
|
|
132
|
+
}
|
|
133
|
+
if (state.discovered.size + selected.filter(schema => !state.discovered.has(schema.name)).length > 32) {
|
|
134
|
+
state.fallback = 'DISCOVERY_SET_LIMIT';
|
|
135
|
+
return { tools: [], availableNextStep: true, fallback: 'AUTHORIZED_NATIVE_SURFACE_NEXT_STEP', reasonCode: state.fallback };
|
|
136
|
+
}
|
|
137
|
+
for (const schema of selected)
|
|
138
|
+
state.discovered.add(schema.name);
|
|
139
|
+
return { tools: selected, availableNextStep: true, truncated: scored.length > selected.length };
|
|
140
|
+
}
|
|
141
|
+
dispose() { for (const state of [...this.active])
|
|
142
|
+
state.dispose(); }
|
|
143
|
+
}
|
|
144
|
+
//# sourceMappingURL=tool-disclosure.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"tool-disclosure.js","sourceRoot":"","sources":["../../src/capability/tool-disclosure.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,mBAAmB,GAAG,oBAAoB,CAAA;AAwBvD,MAAM,KAAK,GAAG,CAAC,KAAc,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAA;AAClF,MAAM,MAAM,GAAG,CAAC,KAAc,EAAoC,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAClI,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAE1H,yFAAyF;AACzF,MAAM,OAAO,qBAAqB;IACvB,MAAM,CAA0C;IACxC,MAAM,GAAG,IAAI,OAAO,EAAiB,CAAA;IACrC,MAAM,GAAG,IAAI,GAAG,EAAS,CAAA;IACzB,YAAY,GAAG,IAAI,OAAO,EAA8B,CAAA;IAEzE,YAAY,MAA4B;QACtC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;QACvG,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAA;QAClH,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,IAAI,CAAC,EAAE,cAAc,GAAG,MAAM,CAAC,cAAc,IAAI,KAAK,CAAA;QAC1F,IAAI,aAAa,CAAC,MAAM,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,GAAG,EAAE,IAAI,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,UAAU,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;eACxG,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC;eACrE,CAAC,MAAM,CAAC,aAAa,CAAC,cAAc,CAAC,IAAI,cAAc,GAAG,IAAI,IAAI,cAAc,GAAG,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAA;QAChJ,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC,CAAA;IAC3G,CAAC;IAED,QAAQ,CAAC,QAAgB,IAAoC,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA,CAAC,CAAC;IAE7F,OAAO,CAAC,KAAY,EAAE,KAAY;QACxC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,KAAM,CAAC,OAAQ,EAAE,CAAA;QACvC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAA;QACpE,MAAM,MAAM,GAAa,EAAE,EAAE,KAAK,GAAG,IAAI,GAAG,EAAU,EAAE,UAAU,GAAG,IAAI,GAAG,EAAmB,CAAA;QAC/F,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;YACxB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,SAAQ;YACvF,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAA;YAC1I,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,KAAM,CAAC,GAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YACpD,IAAI,CAAC,UAAU;gBAAE,SAAQ;YACzB,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;YAC7D,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,UAAU,EAAE,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;QAClH,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;QACpC,IAAI,KAAK,CAAC,YAAY,KAAK,KAAK,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,EAAE,CAAC;YAC5H,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;YAAC,KAAK,CAAC,YAAY,GAAG,KAAK,CAAC;YAAC,KAAK,CAAC,UAAU,GAAG,UAAU,CAAA;YACnF,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAA;QACvB,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,OAAO,CAAC,KAAY,EAAE,YAA+B;QACnD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,GAAG,EAAE,GAAE,CAAC,CAAA;QAC/C,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,CAAC,GAAG,EAAE,EAAE,KAAK,UAAU,IAAI,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,UAAU,IAAI,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,KAAK,UAAU,EAAE,CAAC;YACjJ,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAA;QACrD,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAA;QACrF,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAA;QACzF,MAAM,KAAK,GAAU,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,IAAI,GAAG,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,KAAI,CAAC,EAAE,CAAA;QACnK,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC1B,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,wBAAwB,EAAE,KAAK,EAAE,OAAiB,EAAE,OAA4B,EAAE,IAA6B,EAAE,EAAE;YAC/I,MAAM,MAAM,GAAG,MAAM,IAAI,EAAE,CAAA;YAC3B,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,KAAK,KAAK;gBAAE,OAAO,MAAM,CAAA;YAC3D,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAA;YAChG,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;YAC7E,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,CAAA;YAClC,IAAI,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,OAAO,GAAa,EAAE,CAAA;YACnD,IAAI,CAAC;gBAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAA;YAAC,CAAC;YACrE,MAAM,CAAC;gBAAC,MAAM,GAAG,0BAA0B,CAAC;gBAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,CAAA;YAAC,CAAC;YACvE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC;gBAAE,MAAM,GAAG,uBAAuB,CAAA;iBACxE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC;gBAAE,MAAM,GAAG,8BAA8B,CAAA;YAC9K,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,mBAAmB,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAA;YAC5H,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;YACtF,0EAA0E;YAC1E,yEAAyE;YACzE,MAAM,WAAW,GAAG,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAA;YAClD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC,MAAM,EAAE,gBAAgB,EAAE,WAAW;gBAC1H,eAAe,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAA;YACzF,OAAO,WAAW,CAAA;QACpB,CAAC,CAAC,CAAA;QACF,KAAK,CAAC,OAAO,GAAG,GAAG,EAAE;YACnB,IAAI,CAAC,KAAK,CAAC,MAAM;gBAAE,OAAM;YACzB,kEAAkE;YAClE,QAAQ,EAAE,CAAC;YAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC;YAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;YAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QAClH,CAAC,CAAA;QACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACrD,OAAO,KAAK,CAAC,OAAO,CAAA;IACtB,CAAC;IAED,IAAI,CAAC,KAAc,EAAE,SAAoD;QACvE,MAAM,KAAK,GAAG,SAAS,CAAC,KAA0B,EAAE,KAAK,GAAG,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAC3F,IAAI,SAAS,CAAC,MAAM,EAAE,OAAO,IAAI,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;QAC5I,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,OAAO,CAAC,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;eACnG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,GAAG;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;QACrG,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,iBAAiB,EAAE,EAAE,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAC7G,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAM,EAAE,KAAK,CAAC,CAAA;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;YACxF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,iBAAiB,EAAE,EAAE,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,iBAAiB,EAAE,CAAA;YAClG,MAAM,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YACrJ,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA;QAC1B,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;QACjH,MAAM,QAAQ,GAAa,EAAE,CAAA;QAC7B,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,UAAU;gBAAE,MAAK;YACrD,MAAM,QAAQ,GAAG,CAAC,GAAG,QAAQ,EAAE,MAAM,CAAC,CAAA;YACtC,MAAM,QAAQ,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,iBAAiB,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;YAC/E,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;gBACjD,uEAAuE;gBACvE,uEAAuE;gBACvE,KAAK,CAAC,QAAQ,GAAG,4BAA4B,CAAA;gBAC7C,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,QAAQ,EAAE,qCAAqC,EAAE,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAA;YAC5H,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACvB,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YACtG,KAAK,CAAC,QAAQ,GAAG,qBAAqB,CAAA;YACtC,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,QAAQ,EAAE,qCAAqC,EAAE,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAA;QAC5H,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,QAAQ;YAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAChE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,iBAAiB,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAA;IACjG,CAAC;IAED,OAAO,KAAW,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;QAAE,KAAK,CAAC,OAAO,EAAE,CAAA,CAAC,CAAC;CAC1E"}
|