@orion-agents/orion-code 0.1.8 → 0.1.9
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/CHANGELOG.md +445 -0
- package/README.md +15 -6
- package/README.zh-CN.md +26 -7
- package/dist/agents/coordinator.d.ts.map +1 -1
- package/dist/agents/coordinator.js +49 -9
- package/dist/agents/coordinator.js.map +1 -1
- package/dist/agents/fork.d.ts +5 -1
- package/dist/agents/fork.d.ts.map +1 -1
- package/dist/agents/fork.js +9 -10
- package/dist/agents/fork.js.map +1 -1
- package/dist/agents/worker-pool.d.ts.map +1 -1
- package/dist/agents/worker-pool.js +8 -3
- package/dist/agents/worker-pool.js.map +1 -1
- package/dist/cli.js +6 -6
- package/dist/cli.js.map +1 -1
- package/dist/commands/context-tool-command-handlers.d.ts.map +1 -1
- package/dist/commands/context-tool-command-handlers.js +42 -0
- package/dist/commands/context-tool-command-handlers.js.map +1 -1
- package/dist/commands/model-command-handlers.d.ts +1 -1
- package/dist/commands/model-command-handlers.d.ts.map +1 -1
- package/dist/commands/model-command-handlers.js +166 -1
- package/dist/commands/model-command-handlers.js.map +1 -1
- package/dist/commands/session-command-handlers.d.ts.map +1 -1
- package/dist/commands/session-command-handlers.js +97 -5
- package/dist/commands/session-command-handlers.js.map +1 -1
- package/dist/commands/session-commands.js +2 -2
- package/dist/commands/session-commands.js.map +1 -1
- package/dist/commands/types.d.ts +6 -0
- package/dist/commands/types.d.ts.map +1 -1
- package/dist/commands/types.js.map +1 -1
- package/dist/framework/index.d.ts +5 -3
- package/dist/framework/index.d.ts.map +1 -1
- package/dist/framework/index.js +9 -1
- package/dist/framework/index.js.map +1 -1
- package/dist/framework/query.d.ts +26 -4
- package/dist/framework/query.d.ts.map +1 -1
- package/dist/framework/query.js +319 -62
- package/dist/framework/query.js.map +1 -1
- package/dist/framework/stop-decision.d.ts +56 -0
- package/dist/framework/stop-decision.d.ts.map +1 -0
- package/dist/framework/stop-decision.js +36 -0
- package/dist/framework/stop-decision.js.map +1 -0
- package/dist/framework/tool-scheduler.d.ts +5 -0
- package/dist/framework/tool-scheduler.d.ts.map +1 -1
- package/dist/framework/tool-scheduler.js +24 -9
- package/dist/framework/tool-scheduler.js.map +1 -1
- package/dist/harness/assembler.d.ts.map +1 -1
- package/dist/harness/assembler.js +77 -19
- package/dist/harness/assembler.js.map +1 -1
- package/dist/harness/capability-profile.d.ts +3 -0
- package/dist/harness/capability-profile.d.ts.map +1 -0
- package/dist/harness/capability-profile.js +44 -0
- package/dist/harness/capability-profile.js.map +1 -0
- package/dist/harness/capsule.d.ts.map +1 -1
- package/dist/harness/capsule.js +22 -3
- package/dist/harness/capsule.js.map +1 -1
- package/dist/harness/compact-benchmark-corpus.d.ts +10 -0
- package/dist/harness/compact-benchmark-corpus.d.ts.map +1 -0
- package/dist/harness/compact-benchmark-corpus.js +56 -0
- package/dist/harness/compact-benchmark-corpus.js.map +1 -0
- package/dist/harness/context-harness.d.ts +23 -3
- package/dist/harness/context-harness.d.ts.map +1 -1
- package/dist/harness/context-harness.js +183 -11
- package/dist/harness/context-harness.js.map +1 -1
- package/dist/harness/contract.d.ts.map +1 -1
- package/dist/harness/contract.js +106 -11
- package/dist/harness/contract.js.map +1 -1
- package/dist/harness/drift-guard.d.ts +2 -1
- package/dist/harness/drift-guard.d.ts.map +1 -1
- package/dist/harness/drift-guard.js +315 -20
- package/dist/harness/drift-guard.js.map +1 -1
- package/dist/harness/evidence.d.ts.map +1 -1
- package/dist/harness/evidence.js +25 -12
- package/dist/harness/evidence.js.map +1 -1
- package/dist/harness/index.d.ts +7 -2
- package/dist/harness/index.d.ts.map +1 -1
- package/dist/harness/index.js +19 -1
- package/dist/harness/index.js.map +1 -1
- package/dist/harness/ledger.d.ts.map +1 -1
- package/dist/harness/ledger.js +44 -14
- package/dist/harness/ledger.js.map +1 -1
- package/dist/harness/progress-controller.d.ts +14 -0
- package/dist/harness/progress-controller.d.ts.map +1 -0
- package/dist/harness/progress-controller.js +110 -0
- package/dist/harness/progress-controller.js.map +1 -0
- package/dist/harness/state.d.ts.map +1 -1
- package/dist/harness/state.js +5 -2
- package/dist/harness/state.js.map +1 -1
- package/dist/harness/stop-controller.d.ts +15 -0
- package/dist/harness/stop-controller.d.ts.map +1 -0
- package/dist/harness/stop-controller.js +87 -0
- package/dist/harness/stop-controller.js.map +1 -0
- package/dist/harness/types.d.ts +137 -0
- package/dist/harness/types.d.ts.map +1 -1
- package/dist/harness/verification.d.ts +7 -0
- package/dist/harness/verification.d.ts.map +1 -0
- package/dist/harness/verification.js +122 -0
- package/dist/harness/verification.js.map +1 -0
- package/dist/index.d.ts +5 -5
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +7 -1
- package/dist/index.js.map +1 -1
- package/dist/ink-ui/screens/ReplScreen.d.ts +3 -0
- package/dist/ink-ui/screens/ReplScreen.d.ts.map +1 -1
- package/dist/ink-ui/screens/ReplScreen.js +30 -5
- package/dist/ink-ui/screens/ReplScreen.js.map +1 -1
- package/dist/memory/index.d.ts +1 -0
- package/dist/memory/index.d.ts.map +1 -1
- package/dist/memory/index.js +1 -0
- package/dist/memory/index.js.map +1 -1
- package/dist/memory/prompt-context.d.ts +42 -0
- package/dist/memory/prompt-context.d.ts.map +1 -0
- package/dist/memory/prompt-context.js +129 -0
- package/dist/memory/prompt-context.js.map +1 -0
- package/dist/runtime/chat-compact.d.ts +26 -0
- package/dist/runtime/chat-compact.d.ts.map +1 -0
- package/dist/runtime/chat-compact.js +132 -0
- package/dist/runtime/chat-compact.js.map +1 -0
- package/dist/runtime/chat-controller.d.ts.map +1 -1
- package/dist/runtime/chat-controller.js +64 -74
- package/dist/runtime/chat-controller.js.map +1 -1
- package/dist/runtime/goals/coordinator.d.ts +3 -0
- package/dist/runtime/goals/coordinator.d.ts.map +1 -1
- package/dist/runtime/goals/coordinator.js +5 -15
- package/dist/runtime/goals/coordinator.js.map +1 -1
- package/dist/runtime/goals/prompt.js +1 -1
- package/dist/runtime/goals/prompt.js.map +1 -1
- package/dist/runtime/goals/stop-policy.d.ts +9 -0
- package/dist/runtime/goals/stop-policy.d.ts.map +1 -0
- package/dist/runtime/goals/stop-policy.js +83 -0
- package/dist/runtime/goals/stop-policy.js.map +1 -0
- package/dist/runtime/goals/types.d.ts +0 -1
- package/dist/runtime/goals/types.d.ts.map +1 -1
- package/dist/runtime/goals/types.js +0 -1
- package/dist/runtime/goals/types.js.map +1 -1
- package/dist/runtime/model-coordinator.d.ts +44 -1
- package/dist/runtime/model-coordinator.d.ts.map +1 -1
- package/dist/runtime/model-coordinator.js +161 -19
- package/dist/runtime/model-coordinator.js.map +1 -1
- package/dist/runtime/subagents/index.d.ts +1 -1
- package/dist/runtime/subagents/index.d.ts.map +1 -1
- package/dist/runtime/subagents/index.js.map +1 -1
- package/dist/runtime/subagents/production.d.ts +6 -2
- package/dist/runtime/subagents/production.d.ts.map +1 -1
- package/dist/runtime/subagents/production.js +25 -6
- package/dist/runtime/subagents/production.js.map +1 -1
- package/dist/runtime/subagents/runner.d.ts +12 -1
- package/dist/runtime/subagents/runner.d.ts.map +1 -1
- package/dist/runtime/subagents/runner.js +62 -1
- package/dist/runtime/subagents/runner.js.map +1 -1
- package/dist/runtime/subagents/runtime-integration.d.ts.map +1 -1
- package/dist/runtime/subagents/runtime-integration.js +2 -1
- package/dist/runtime/subagents/runtime-integration.js.map +1 -1
- package/dist/runtime/subagents/supervisor.d.ts.map +1 -1
- package/dist/runtime/subagents/supervisor.js +6 -0
- package/dist/runtime/subagents/supervisor.js.map +1 -1
- package/dist/runtime/subagents/types.d.ts +4 -1
- package/dist/runtime/subagents/types.d.ts.map +1 -1
- package/dist/runtime/subagents/types.js.map +1 -1
- package/dist/runtime/ui-events.d.ts +2 -0
- package/dist/runtime/ui-events.d.ts.map +1 -1
- package/dist/runtime/ui-events.js.map +1 -1
- package/dist/services/compact/auto-compact.d.ts +82 -2
- package/dist/services/compact/auto-compact.d.ts.map +1 -1
- package/dist/services/compact/auto-compact.js +226 -44
- package/dist/services/compact/auto-compact.js.map +1 -1
- package/dist/services/compact/compact.d.ts +54 -37
- package/dist/services/compact/compact.d.ts.map +1 -1
- package/dist/services/compact/compact.js +512 -127
- package/dist/services/compact/compact.js.map +1 -1
- package/dist/services/compact/coordinator.d.ts +5 -1
- package/dist/services/compact/coordinator.d.ts.map +1 -1
- package/dist/services/compact/coordinator.js +10 -1
- package/dist/services/compact/coordinator.js.map +1 -1
- package/dist/services/compact/fingerprint.d.ts +27 -0
- package/dist/services/compact/fingerprint.d.ts.map +1 -0
- package/dist/services/compact/fingerprint.js +69 -0
- package/dist/services/compact/fingerprint.js.map +1 -0
- package/dist/services/compact/index.d.ts +7 -5
- package/dist/services/compact/index.d.ts.map +1 -1
- package/dist/services/compact/index.js +19 -6
- package/dist/services/compact/index.js.map +1 -1
- package/dist/services/compact/planner.d.ts +41 -0
- package/dist/services/compact/planner.d.ts.map +1 -0
- package/dist/services/compact/planner.js +102 -0
- package/dist/services/compact/planner.js.map +1 -0
- package/dist/services/compact/semantic-summary.d.ts +93 -0
- package/dist/services/compact/semantic-summary.d.ts.map +1 -0
- package/dist/services/compact/semantic-summary.js +158 -0
- package/dist/services/compact/semantic-summary.js.map +1 -0
- package/dist/services/compact/summary-generator.d.ts +23 -0
- package/dist/services/compact/summary-generator.d.ts.map +1 -1
- package/dist/services/compact/summary-generator.js +173 -39
- package/dist/services/compact/summary-generator.js.map +1 -1
- package/dist/services/file-context.d.ts.map +1 -1
- package/dist/services/file-context.js +29 -33
- package/dist/services/file-context.js.map +1 -1
- package/dist/services/global-config.d.ts +6 -0
- package/dist/services/global-config.d.ts.map +1 -1
- package/dist/services/global-config.js +8 -0
- package/dist/services/global-config.js.map +1 -1
- package/dist/services/llm.d.ts +3 -0
- package/dist/services/llm.d.ts.map +1 -1
- package/dist/services/llm.js +7 -0
- package/dist/services/llm.js.map +1 -1
- package/dist/services/project-instructions.d.ts.map +1 -1
- package/dist/services/project-instructions.js +10 -17
- package/dist/services/project-instructions.js.map +1 -1
- package/dist/services/safe-project-reader.d.ts +30 -0
- package/dist/services/safe-project-reader.d.ts.map +1 -0
- package/dist/services/safe-project-reader.js +141 -0
- package/dist/services/safe-project-reader.js.map +1 -0
- package/dist/services/session-storage.d.ts +134 -5
- package/dist/services/session-storage.d.ts.map +1 -1
- package/dist/services/session-storage.js +727 -57
- package/dist/services/session-storage.js.map +1 -1
- package/dist/services/usage-state.d.ts +7 -0
- package/dist/services/usage-state.d.ts.map +1 -1
- package/dist/services/usage-state.js +117 -16
- package/dist/services/usage-state.js.map +1 -1
- package/dist/skills/runtime.d.ts.map +1 -1
- package/dist/skills/runtime.js +34 -35
- package/dist/skills/runtime.js.map +1 -1
- package/docs/migration/v0.1.8-to-v0.1.9.md +60 -0
- package/docs/plan/v0.1.9-release-checklist.md +64 -0
- package/docs/readme.md +27 -0
- package/npm-shrinkwrap.json +14 -38
- package/package.json +5 -1
- package/dist/services/compact/micro-compact.d.ts +0 -21
- package/dist/services/compact/micro-compact.d.ts.map +0 -1
- package/dist/services/compact/micro-compact.js +0 -99
- package/dist/services/compact/micro-compact.js.map +0 -1
|
@@ -2,6 +2,231 @@
|
|
|
2
2
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
3
|
exports.checkToolDrift = checkToolDrift;
|
|
4
4
|
exports.evaluateCompletionGate = evaluateCompletionGate;
|
|
5
|
+
const path_1 = require("path");
|
|
6
|
+
const contract_1 = require("./contract");
|
|
7
|
+
const verification_1 = require("./verification");
|
|
8
|
+
const PATH_ARGUMENT_KEYS = new Set([
|
|
9
|
+
'cwd',
|
|
10
|
+
'dir',
|
|
11
|
+
'directory',
|
|
12
|
+
'file',
|
|
13
|
+
'file_path',
|
|
14
|
+
'file_paths',
|
|
15
|
+
'filePath',
|
|
16
|
+
'filePaths',
|
|
17
|
+
'new_path',
|
|
18
|
+
'newPath',
|
|
19
|
+
'old_path',
|
|
20
|
+
'oldPath',
|
|
21
|
+
'path',
|
|
22
|
+
'paths',
|
|
23
|
+
'source_path',
|
|
24
|
+
'sourcePath',
|
|
25
|
+
'destination_path',
|
|
26
|
+
'destinationPath',
|
|
27
|
+
'workdir',
|
|
28
|
+
'working_directory',
|
|
29
|
+
'workingDirectory',
|
|
30
|
+
]);
|
|
31
|
+
const WORKING_DIRECTORY_KEYS = new Set(['cwd', 'workdir', 'working_directory', 'workingDirectory']);
|
|
32
|
+
const COMMAND_ARGUMENT_KEYS = new Set(['cmd', 'command', 'commands']);
|
|
33
|
+
function valuesForTypedArgument(key, value, malformed) {
|
|
34
|
+
if (typeof value === 'string' && value.trim())
|
|
35
|
+
return [value.trim()];
|
|
36
|
+
if (Array.isArray(value) &&
|
|
37
|
+
value.length > 0 &&
|
|
38
|
+
value.every(item => typeof item === 'string' && item.trim())) {
|
|
39
|
+
return value.map(item => item.trim());
|
|
40
|
+
}
|
|
41
|
+
malformed.push(key);
|
|
42
|
+
return [];
|
|
43
|
+
}
|
|
44
|
+
/** Extract only explicitly path- and command-typed fields; arbitrary prompt text is not policy. */
|
|
45
|
+
function projectTypedArguments(args) {
|
|
46
|
+
const projection = {
|
|
47
|
+
paths: [],
|
|
48
|
+
workingDirectories: [],
|
|
49
|
+
commands: [],
|
|
50
|
+
malformed: [],
|
|
51
|
+
};
|
|
52
|
+
const seen = new WeakSet();
|
|
53
|
+
let visited = 0;
|
|
54
|
+
const visit = (value, depth, inheritedBase) => {
|
|
55
|
+
if (!value || typeof value !== 'object')
|
|
56
|
+
return;
|
|
57
|
+
if (seen.has(value))
|
|
58
|
+
return;
|
|
59
|
+
if (depth > 8 || ++visited > 1000) {
|
|
60
|
+
throw new Error('tool arguments exceed the drift validation complexity limit');
|
|
61
|
+
}
|
|
62
|
+
seen.add(value);
|
|
63
|
+
if (Array.isArray(value)) {
|
|
64
|
+
for (const item of value)
|
|
65
|
+
visit(item, depth + 1, inheritedBase);
|
|
66
|
+
return;
|
|
67
|
+
}
|
|
68
|
+
const entries = Object.entries(value);
|
|
69
|
+
let localBase = inheritedBase;
|
|
70
|
+
for (const [key, item] of entries) {
|
|
71
|
+
if (!WORKING_DIRECTORY_KEYS.has(key))
|
|
72
|
+
continue;
|
|
73
|
+
const projected = valuesForTypedArgument(key, item, projection.malformed).map(path => ({
|
|
74
|
+
key,
|
|
75
|
+
value: path,
|
|
76
|
+
base: inheritedBase,
|
|
77
|
+
}));
|
|
78
|
+
projection.paths.push(...projected);
|
|
79
|
+
projection.workingDirectories.push(...projected);
|
|
80
|
+
if (projected[0])
|
|
81
|
+
localBase = combineWorkingDirectory(inheritedBase, projected[0].value);
|
|
82
|
+
}
|
|
83
|
+
for (const [key, item] of entries) {
|
|
84
|
+
if (WORKING_DIRECTORY_KEYS.has(key))
|
|
85
|
+
continue;
|
|
86
|
+
if (PATH_ARGUMENT_KEYS.has(key)) {
|
|
87
|
+
const projected = valuesForTypedArgument(key, item, projection.malformed).map(path => ({
|
|
88
|
+
key,
|
|
89
|
+
value: path,
|
|
90
|
+
base: localBase,
|
|
91
|
+
}));
|
|
92
|
+
projection.paths.push(...projected);
|
|
93
|
+
continue;
|
|
94
|
+
}
|
|
95
|
+
if (COMMAND_ARGUMENT_KEYS.has(key)) {
|
|
96
|
+
projection.commands.push(...valuesForTypedArgument(key, item, projection.malformed).map(command => ({
|
|
97
|
+
key,
|
|
98
|
+
value: command,
|
|
99
|
+
})));
|
|
100
|
+
continue;
|
|
101
|
+
}
|
|
102
|
+
visit(item, depth + 1, localBase);
|
|
103
|
+
}
|
|
104
|
+
};
|
|
105
|
+
visit(args, 0);
|
|
106
|
+
return projection;
|
|
107
|
+
}
|
|
108
|
+
function isContained(root, candidate) {
|
|
109
|
+
const rel = (0, path_1.relative)(root, candidate);
|
|
110
|
+
return rel === '' || (rel !== '..' && !rel.startsWith(`..${path_1.sep}`) && !(0, path_1.isAbsolute)(rel));
|
|
111
|
+
}
|
|
112
|
+
function resolveFrom(base, value) {
|
|
113
|
+
return (0, path_1.resolve)(base, value);
|
|
114
|
+
}
|
|
115
|
+
function normalizeCommand(value) {
|
|
116
|
+
return value.trim().replace(/\s+/gu, ' ');
|
|
117
|
+
}
|
|
118
|
+
function combineWorkingDirectory(parent, child) {
|
|
119
|
+
if ((0, path_1.isAbsolute)(child) || !parent)
|
|
120
|
+
return child;
|
|
121
|
+
return (0, path_1.isAbsolute)(parent) ? (0, path_1.resolve)(parent, child) : (0, path_1.join)(parent, child);
|
|
122
|
+
}
|
|
123
|
+
function profileViolation(profile, toolName) {
|
|
124
|
+
if (!profile)
|
|
125
|
+
return;
|
|
126
|
+
if (!profile.model.toolCalling) {
|
|
127
|
+
return {
|
|
128
|
+
reason: `Capability profile v${profile.revision} does not permit tool calling.`,
|
|
129
|
+
correction: 'Refresh the model capability profile before scheduling a tool call.',
|
|
130
|
+
};
|
|
131
|
+
}
|
|
132
|
+
if (!profile.tools.includes(toolName)) {
|
|
133
|
+
return {
|
|
134
|
+
reason: `Tool ${toolName} is absent from capability profile v${profile.revision}.`,
|
|
135
|
+
correction: 'Use a tool listed in the active capability profile or refresh the profile.',
|
|
136
|
+
};
|
|
137
|
+
}
|
|
138
|
+
return;
|
|
139
|
+
}
|
|
140
|
+
function allowedScopeViolation(contract, profile, projection) {
|
|
141
|
+
if (!contract)
|
|
142
|
+
return;
|
|
143
|
+
if (!contract.allowedScope.cwd?.trim()) {
|
|
144
|
+
return {
|
|
145
|
+
reason: 'TaskContract allowedScope.cwd is missing.',
|
|
146
|
+
correction: 'Repair the TaskContract project scope before using tools.',
|
|
147
|
+
};
|
|
148
|
+
}
|
|
149
|
+
const root = (0, path_1.resolve)(contract.allowedScope.cwd);
|
|
150
|
+
if (profile && (0, path_1.resolve)(profile.projectRoot) !== root) {
|
|
151
|
+
return {
|
|
152
|
+
reason: `Capability project root does not match TaskContract allowedScope.cwd (${contract.allowedScope.cwd}).`,
|
|
153
|
+
correction: 'Refresh the capability profile for the active project before using tools.',
|
|
154
|
+
};
|
|
155
|
+
}
|
|
156
|
+
if (projection.malformed.length > 0) {
|
|
157
|
+
return {
|
|
158
|
+
reason: `Cannot validate malformed typed tool argument(s): ${[...new Set(projection.malformed)].join(', ')}.`,
|
|
159
|
+
correction: 'Provide non-empty string path and command arguments.',
|
|
160
|
+
};
|
|
161
|
+
}
|
|
162
|
+
const workingDirectories = projection.workingDirectories.map(item => {
|
|
163
|
+
const parentBase = item.base ? resolveFrom(root, item.base) : root;
|
|
164
|
+
return { ...item, resolved: resolveFrom(parentBase, item.value) };
|
|
165
|
+
});
|
|
166
|
+
const escapedWorkingDirectory = workingDirectories.find(item => !isContained(root, item.resolved));
|
|
167
|
+
if (escapedWorkingDirectory) {
|
|
168
|
+
return {
|
|
169
|
+
reason: `Tool working directory ${escapedWorkingDirectory.value} is outside allowedScope.cwd.`,
|
|
170
|
+
correction: `Keep the tool working directory within ${contract.allowedScope.cwd}.`,
|
|
171
|
+
};
|
|
172
|
+
}
|
|
173
|
+
if (contract.allowedScope.files?.some(file => typeof file !== 'string' || !file.trim())) {
|
|
174
|
+
return {
|
|
175
|
+
reason: 'TaskContract allowedScope.files contains an invalid path.',
|
|
176
|
+
correction: 'Repair the TaskContract file scope before using path-based tools.',
|
|
177
|
+
};
|
|
178
|
+
}
|
|
179
|
+
const allowedFiles = contract.allowedScope.files?.map(file => resolveFrom(root, file));
|
|
180
|
+
const invalidAllowedFile = allowedFiles?.find(file => !isContained(root, file));
|
|
181
|
+
if (invalidAllowedFile) {
|
|
182
|
+
return {
|
|
183
|
+
reason: 'TaskContract allowedScope.files contains a path outside allowedScope.cwd.',
|
|
184
|
+
correction: 'Repair the TaskContract file scope before using path-based tools.',
|
|
185
|
+
};
|
|
186
|
+
}
|
|
187
|
+
for (const item of projection.paths) {
|
|
188
|
+
const base = item.base ? resolveFrom(root, item.base) : root;
|
|
189
|
+
const candidate = resolveFrom(base, item.value);
|
|
190
|
+
if (!isContained(root, candidate)) {
|
|
191
|
+
return {
|
|
192
|
+
reason: `Tool path ${item.value} is outside TaskContract allowedScope.cwd.`,
|
|
193
|
+
correction: `Keep file operations within ${contract.allowedScope.cwd}.`,
|
|
194
|
+
};
|
|
195
|
+
}
|
|
196
|
+
if (!WORKING_DIRECTORY_KEYS.has(item.key) &&
|
|
197
|
+
allowedFiles !== undefined &&
|
|
198
|
+
!allowedFiles.some(file => isContained(file, candidate))) {
|
|
199
|
+
return {
|
|
200
|
+
reason: `Tool path ${item.value} is not listed by TaskContract allowedScope.files.`,
|
|
201
|
+
correction: 'Use a file path inside the explicitly allowed file scope.',
|
|
202
|
+
};
|
|
203
|
+
}
|
|
204
|
+
}
|
|
205
|
+
if (contract.allowedScope.commands !== undefined) {
|
|
206
|
+
if (contract.allowedScope.commands.some(command => typeof command !== 'string' || !command.trim())) {
|
|
207
|
+
return {
|
|
208
|
+
reason: 'TaskContract allowedScope.commands contains an invalid command.',
|
|
209
|
+
correction: 'Repair the TaskContract command scope before using command tools.',
|
|
210
|
+
};
|
|
211
|
+
}
|
|
212
|
+
const allowedCommands = new Set(contract.allowedScope.commands.map(normalizeCommand));
|
|
213
|
+
const denied = projection.commands.find(item => !allowedCommands.has(normalizeCommand(item.value)));
|
|
214
|
+
if (denied) {
|
|
215
|
+
return {
|
|
216
|
+
reason: `Tool command ${denied.value} is not listed by TaskContract allowedScope.commands.`,
|
|
217
|
+
correction: 'Use an explicitly allowed command or update the TaskContract with user authority.',
|
|
218
|
+
};
|
|
219
|
+
}
|
|
220
|
+
}
|
|
221
|
+
return;
|
|
222
|
+
}
|
|
223
|
+
function driftResult(mode, violation) {
|
|
224
|
+
return {
|
|
225
|
+
status: mode === 'block' ? 'block' : 'warn',
|
|
226
|
+
reason: violation.reason,
|
|
227
|
+
correction: violation.correction,
|
|
228
|
+
};
|
|
229
|
+
}
|
|
5
230
|
function hasExplicitVerificationNeed(contract) {
|
|
6
231
|
if (!contract)
|
|
7
232
|
return false;
|
|
@@ -28,40 +253,110 @@ function hasExplicitVerificationNeed(contract) {
|
|
|
28
253
|
});
|
|
29
254
|
}
|
|
30
255
|
function checkToolDrift(params) {
|
|
31
|
-
if (params.mode === 'off'
|
|
256
|
+
if (params.mode === 'off')
|
|
257
|
+
return { status: 'ok' };
|
|
258
|
+
try {
|
|
259
|
+
if (params.mode === 'block' && !params.capabilityProfile) {
|
|
260
|
+
return driftResult(params.mode, {
|
|
261
|
+
reason: 'Capability profile is unavailable, so this tool call cannot be validated.',
|
|
262
|
+
correction: 'Create or refresh the active capability profile before using tools.',
|
|
263
|
+
});
|
|
264
|
+
}
|
|
265
|
+
const capabilityMismatch = profileViolation(params.capabilityProfile, params.toolName);
|
|
266
|
+
if (capabilityMismatch)
|
|
267
|
+
return driftResult(params.mode, capabilityMismatch);
|
|
268
|
+
const projection = projectTypedArguments(params.args);
|
|
269
|
+
const scopeMismatch = allowedScopeViolation(params.contract, params.capabilityProfile, projection);
|
|
270
|
+
if (scopeMismatch)
|
|
271
|
+
return driftResult(params.mode, scopeMismatch);
|
|
272
|
+
if (params.contract) {
|
|
273
|
+
const argsText = JSON.stringify(params.args).toLowerCase();
|
|
274
|
+
const prohibitionHit = params.contract.prohibitions.find(item => {
|
|
275
|
+
const normalized = item.toLowerCase();
|
|
276
|
+
return normalized && argsText.includes(normalized);
|
|
277
|
+
});
|
|
278
|
+
if (prohibitionHit) {
|
|
279
|
+
return driftResult(params.mode, {
|
|
280
|
+
reason: `Tool arguments may violate prohibition: ${prohibitionHit}`,
|
|
281
|
+
correction: 'Choose a safer tool call or explain why this action is required.',
|
|
282
|
+
});
|
|
283
|
+
}
|
|
284
|
+
}
|
|
32
285
|
return { status: 'ok' };
|
|
33
|
-
const argsText = JSON.stringify(params.args).toLowerCase();
|
|
34
|
-
const prohibitionHit = params.contract.prohibitions.find(item => {
|
|
35
|
-
const normalized = item.toLowerCase();
|
|
36
|
-
return normalized && argsText.includes(normalized);
|
|
37
|
-
});
|
|
38
|
-
if (prohibitionHit) {
|
|
39
|
-
return {
|
|
40
|
-
status: params.mode === 'block' ? 'block' : 'warn',
|
|
41
|
-
reason: `Tool arguments may violate prohibition: ${prohibitionHit}`,
|
|
42
|
-
correction: 'Choose a safer tool call or explain why this action is required.',
|
|
43
|
-
};
|
|
44
286
|
}
|
|
45
|
-
|
|
287
|
+
catch (error) {
|
|
288
|
+
return driftResult(params.mode, {
|
|
289
|
+
reason: `Drift guard could not validate this tool call: ${error instanceof Error ? error.message : String(error)}`,
|
|
290
|
+
correction: 'Use simple typed path/command arguments or refresh the task capability state.',
|
|
291
|
+
});
|
|
292
|
+
}
|
|
46
293
|
}
|
|
47
294
|
function evaluateCompletionGate(params) {
|
|
48
295
|
const evidence = [];
|
|
49
296
|
const missing = [];
|
|
50
|
-
const
|
|
51
|
-
entry.metadata?.success === true);
|
|
297
|
+
const byEvidenceRef = new Map();
|
|
52
298
|
for (const entry of params.ledger) {
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
evidence.push(entry.content);
|
|
56
|
-
}
|
|
299
|
+
byEvidenceRef.set(entry.id, entry);
|
|
300
|
+
byEvidenceRef.set(`ledger:${entry.id}`, entry);
|
|
57
301
|
}
|
|
58
|
-
|
|
302
|
+
const contract = params.contract ? (0, contract_1.normalizeTaskContract)(params.contract) : undefined;
|
|
303
|
+
const criterionResults = (contract?.criteria ?? []).map(criterion => {
|
|
304
|
+
const requiredKinds = (0, verification_1.requiredVerificationKinds)(criterion.statement);
|
|
305
|
+
const applicable = requiredKinds.length > 0;
|
|
306
|
+
const linked = criterion.evidenceRefs
|
|
307
|
+
.map(ref => ({ ref, entry: byEvidenceRef.get(ref) }))
|
|
308
|
+
.filter((item) => item.entry !== undefined);
|
|
309
|
+
if ((0, verification_1.criterionHasAuthorizedWaiver)(criterion)) {
|
|
310
|
+
return {
|
|
311
|
+
criterionId: criterion.id,
|
|
312
|
+
statement: criterion.statement,
|
|
313
|
+
status: 'waived',
|
|
314
|
+
applicable,
|
|
315
|
+
evidenceRefs: linked.map(item => item.ref),
|
|
316
|
+
requiredKinds,
|
|
317
|
+
missingKinds: [],
|
|
318
|
+
failedKinds: [],
|
|
319
|
+
};
|
|
320
|
+
}
|
|
321
|
+
const trusted = linked.filter(item => (0, verification_1.isTrustedEvidence)(item.entry));
|
|
322
|
+
const passedKinds = new Set(trusted
|
|
323
|
+
.filter(item => item.entry.metadata?.success === true)
|
|
324
|
+
.map(item => (0, verification_1.verificationKindForEntry)(item.entry)));
|
|
325
|
+
const failedKinds = requiredKinds.filter(kind => trusted.some(item => item.entry.metadata?.success === false && (0, verification_1.verificationKindForEntry)(item.entry) === kind));
|
|
326
|
+
const missingKinds = requiredKinds.filter(kind => !passedKinds.has(kind));
|
|
327
|
+
const status = !applicable
|
|
328
|
+
? (criterion.status ?? 'pending')
|
|
329
|
+
: missingKinds.length === 0
|
|
330
|
+
? 'passed'
|
|
331
|
+
: failedKinds.length > 0
|
|
332
|
+
? 'failed'
|
|
333
|
+
: 'pending';
|
|
334
|
+
for (const item of trusted) {
|
|
335
|
+
if (item.entry.metadata?.success === true && !evidence.includes(item.entry.content)) {
|
|
336
|
+
evidence.push(item.entry.content);
|
|
337
|
+
}
|
|
338
|
+
}
|
|
339
|
+
return {
|
|
340
|
+
criterionId: criterion.id,
|
|
341
|
+
statement: criterion.statement,
|
|
342
|
+
status,
|
|
343
|
+
applicable,
|
|
344
|
+
evidenceRefs: linked.map(item => item.ref),
|
|
345
|
+
requiredKinds,
|
|
346
|
+
missingKinds,
|
|
347
|
+
failedKinds,
|
|
348
|
+
};
|
|
349
|
+
});
|
|
350
|
+
const unsatisfied = criterionResults.filter(result => result.applicable && result.status !== 'passed' && result.status !== 'waived');
|
|
351
|
+
if (unsatisfied.length > 0 ||
|
|
352
|
+
(criterionResults.length === 0 && hasExplicitVerificationNeed(contract))) {
|
|
59
353
|
missing.push('Required verification has not passed yet.');
|
|
60
354
|
}
|
|
61
355
|
return {
|
|
62
356
|
canComplete: missing.length === 0,
|
|
63
357
|
missing,
|
|
64
358
|
evidence,
|
|
359
|
+
criterionResults,
|
|
65
360
|
};
|
|
66
361
|
}
|
|
67
362
|
//# sourceMappingURL=drift-guard.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"drift-guard.js","sourceRoot":"","sources":["../../src/harness/drift-guard.ts"],"names":[],"mappings":";;AAwCA,wCAuBC;AAED,wDA+BC;AAzFD,SAAS,2BAA2B,CAAC,QAAkC;IACrE,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,YAAY,EAAE,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;IAEtE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACvB,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAE7C,yEAAyE;QACzE,uEAAuE;QACvE,sEAAsE;QACtE,IAAI,oDAAoD,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,OAAO,KAAK,CAAC;QACxF,IAAI,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAEpE,2EAA2E;QAC3E,2EAA2E;QAC3E,wDAAwD;QACxD,MAAM,aAAa,GACjB,wEAAwE,CAAC,IAAI,CAAC,UAAU,CAAC;YACzF,iKAAiK,CAAC,IAAI,CACpK,UAAU,CACX;YACD,oIAAoI,CAAC,IAAI,CACvI,UAAU,CACX,CAAC;QACJ,MAAM,aAAa,GACjB,+CAA+C,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1D,mDAAmD,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9D,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEpD,OAAO,aAAa,IAAI,aAAa,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAgB,cAAc,CAAC,MAK9B;IACC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,MAAM,CAAC,QAAQ;QAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAEvE,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IAC3D,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACtC,OAAO,UAAU,IAAI,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;YAClD,MAAM,EAAE,2CAA2C,cAAc,EAAE;YACnE,UAAU,EAAE,kEAAkE;SAC/E,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC1B,CAAC;AAED,SAAgB,sBAAsB,CAAC,MAGtC;IACC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC3C,KAAK,CAAC,EAAE,CACN,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC;QAC/D,KAAK,CAAC,QAAQ,EAAE,OAAO,KAAK,IAAI,CACnC,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,IACE,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC;YAC/D,KAAK,CAAC,QAAQ,EAAE,OAAO,KAAK,IAAI,EAChC,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,IAAI,2BAA2B,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxE,OAAO,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IAC5D,CAAC;IAED,OAAO;QACL,WAAW,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;QACjC,OAAO;QACP,QAAQ;KACT,CAAC;AACJ,CAAC"}
|
|
1
|
+
{"version":3,"file":"drift-guard.js","sourceRoot":"","sources":["../../src/harness/drift-guard.ts"],"names":[],"mappings":";;AA4TA,wCAgDC;AAED,wDA0FC;AAxcD,+BAAgE;AAQhE,yCAAmD;AACnD,iDAKwB;AAExB,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,KAAK;IACL,KAAK;IACL,WAAW;IACX,MAAM;IACN,WAAW;IACX,YAAY;IACZ,UAAU;IACV,WAAW;IACX,UAAU;IACV,SAAS;IACT,UAAU;IACV,SAAS;IACT,MAAM;IACN,OAAO;IACP,aAAa;IACb,YAAY;IACZ,kBAAkB;IAClB,iBAAiB;IACjB,SAAS;IACT,mBAAmB;IACnB,kBAAkB;CACnB,CAAC,CAAC;AACH,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,mBAAmB,EAAE,kBAAkB,CAAC,CAAC,CAAC;AACpG,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;AAoBtE,SAAS,sBAAsB,CAAC,GAAW,EAAE,KAAc,EAAE,SAAmB;IAC9E,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE;QAAE,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACrE,IACE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,KAAK,CAAC,MAAM,GAAG,CAAC;QAChB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,EAC5D,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,IAAe,CAAC,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpB,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,mGAAmG;AACnG,SAAS,qBAAqB,CAAC,IAA6B;IAC1D,MAAM,UAAU,GAAuB;QACrC,KAAK,EAAE,EAAE;QACT,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,EAAE;KACd,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,OAAO,EAAU,CAAC;IACnC,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,MAAM,KAAK,GAAG,CAAC,KAAc,EAAE,KAAa,EAAE,aAAsB,EAAQ,EAAE;QAC5E,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO;QAChD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO;QAC5B,IAAI,KAAK,GAAG,CAAC,IAAI,EAAE,OAAO,GAAG,IAAK,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,aAAa,CAAC,CAAC;YAChE,OAAO;QACT,CAAC;QAED,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,SAAS,GAAG,aAAa,CAAC;QAC9B,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;YAClC,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC/C,MAAM,SAAS,GAAG,sBAAsB,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACrF,GAAG;gBACH,KAAK,EAAE,IAAI;gBACX,IAAI,EAAE,aAAa;aACpB,CAAC,CAAC,CAAC;YACJ,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YACpC,UAAU,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YACjD,IAAI,SAAS,CAAC,CAAC,CAAC;gBAAE,SAAS,GAAG,uBAAuB,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3F,CAAC;QAED,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;YAClC,IAAI,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC9C,IAAI,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChC,MAAM,SAAS,GAAG,sBAAsB,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACrF,GAAG;oBACH,KAAK,EAAE,IAAI;oBACX,IAAI,EAAE,SAAS;iBAChB,CAAC,CAAC,CAAC;gBACJ,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;gBACpC,SAAS;YACX,CAAC;YACD,IAAI,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,UAAU,CAAC,QAAQ,CAAC,IAAI,CACtB,GAAG,sBAAsB,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;oBACzE,GAAG;oBACH,KAAK,EAAE,OAAO;iBACf,CAAC,CAAC,CACJ,CAAC;gBACF,SAAS;YACX,CAAC;YACD,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACf,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,SAAiB;IAClD,MAAM,GAAG,GAAG,IAAA,eAAQ,EAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACtC,OAAO,GAAG,KAAK,EAAE,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,UAAG,EAAE,CAAC,IAAI,CAAC,IAAA,iBAAU,EAAC,GAAG,CAAC,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,OAAO,IAAA,cAAO,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,uBAAuB,CAAC,MAA0B,EAAE,KAAa;IACxE,IAAI,IAAA,iBAAU,EAAC,KAAK,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC/C,OAAO,IAAA,iBAAU,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAA,cAAO,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAA,WAAI,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAsC,EACtC,QAAgB;IAEhB,IAAI,CAAC,OAAO;QAAE,OAAO;IACrB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;QAC/B,OAAO;YACL,MAAM,EAAE,uBAAuB,OAAO,CAAC,QAAQ,gCAAgC;YAC/E,UAAU,EAAE,qEAAqE;SAClF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtC,OAAO;YACL,MAAM,EAAE,QAAQ,QAAQ,uCAAuC,OAAO,CAAC,QAAQ,GAAG;YAClF,UAAU,EAAE,4EAA4E;SACzF,CAAC;IACJ,CAAC;IACD,OAAO;AACT,CAAC;AAED,SAAS,qBAAqB,CAC5B,QAAkC,EAClC,OAAsC,EACtC,UAA8B;IAE9B,IAAI,CAAC,QAAQ;QAAE,OAAO;IACtB,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC;QACvC,OAAO;YACL,MAAM,EAAE,2CAA2C;YACnD,UAAU,EAAE,2DAA2D;SACxE,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAA,cAAO,EAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,OAAO,IAAI,IAAA,cAAO,EAAC,OAAO,CAAC,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC;QACrD,OAAO;YACL,MAAM,EAAE,yEAAyE,QAAQ,CAAC,YAAY,CAAC,GAAG,IAAI;YAC9G,UAAU,EAAE,2EAA2E;SACxF,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,OAAO;YACL,MAAM,EAAE,qDAAqD,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC7G,UAAU,EAAE,sDAAsD;SACnE,CAAC;IACJ,CAAC;IAED,MAAM,kBAAkB,GAAG,UAAU,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;QAClE,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACnE,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IACpE,CAAC,CAAC,CAAC;IACH,MAAM,uBAAuB,GAAG,kBAAkB,CAAC,IAAI,CACrD,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAC1C,CAAC;IACF,IAAI,uBAAuB,EAAE,CAAC;QAC5B,OAAO;YACL,MAAM,EAAE,0BAA0B,uBAAuB,CAAC,KAAK,+BAA+B;YAC9F,UAAU,EAAE,0CAA0C,QAAQ,CAAC,YAAY,CAAC,GAAG,GAAG;SACnF,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QACxF,OAAO;YACL,MAAM,EAAE,2DAA2D;YACnE,UAAU,EAAE,mEAAmE;SAChF,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACvF,MAAM,kBAAkB,GAAG,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAChF,IAAI,kBAAkB,EAAE,CAAC;QACvB,OAAO;YACL,MAAM,EAAE,2EAA2E;YACnF,UAAU,EAAE,mEAAmE;SAChF,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7D,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAChD,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;YAClC,OAAO;gBACL,MAAM,EAAE,aAAa,IAAI,CAAC,KAAK,4CAA4C;gBAC3E,UAAU,EAAE,+BAA+B,QAAQ,CAAC,YAAY,CAAC,GAAG,GAAG;aACxE,CAAC;QACJ,CAAC;QACD,IACE,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;YACrC,YAAY,KAAK,SAAS;YAC1B,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,EACxD,CAAC;YACD,OAAO;gBACL,MAAM,EAAE,aAAa,IAAI,CAAC,KAAK,oDAAoD;gBACnF,UAAU,EAAE,2DAA2D;aACxE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,YAAY,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACjD,IACE,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAC9F,CAAC;YACD,OAAO;gBACL,MAAM,EAAE,iEAAiE;gBACzE,UAAU,EAAE,mEAAmE;aAChF,CAAC;QACJ,CAAC;QACD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtF,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CACrC,IAAI,CAAC,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAC3D,CAAC;QACF,IAAI,MAAM,EAAE,CAAC;YACX,OAAO;gBACL,MAAM,EAAE,gBAAgB,MAAM,CAAC,KAAK,uDAAuD;gBAC3F,UAAU,EACR,mFAAmF;aACtF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO;AACT,CAAC;AAED,SAAS,WAAW,CAAC,IAAsB,EAAE,SAAyB;IACpE,OAAO;QACL,MAAM,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;QAC3C,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,UAAU,EAAE,SAAS,CAAC,UAAU;KACjC,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,QAAkC;IACrE,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,YAAY,EAAE,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;IAEtE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACvB,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAE7C,yEAAyE;QACzE,uEAAuE;QACvE,sEAAsE;QACtE,IAAI,oDAAoD,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,OAAO,KAAK,CAAC;QACxF,IAAI,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAEpE,2EAA2E;QAC3E,2EAA2E;QAC3E,wDAAwD;QACxD,MAAM,aAAa,GACjB,wEAAwE,CAAC,IAAI,CAAC,UAAU,CAAC;YACzF,iKAAiK,CAAC,IAAI,CACpK,UAAU,CACX;YACD,oIAAoI,CAAC,IAAI,CACvI,UAAU,CACX,CAAC;QACJ,MAAM,aAAa,GACjB,+CAA+C,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1D,mDAAmD,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9D,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEpD,OAAO,aAAa,IAAI,aAAa,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAgB,cAAc,CAAC,MAM9B;IACC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAEnD,IAAI,CAAC;QACH,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC;YACzD,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE;gBAC9B,MAAM,EAAE,2EAA2E;gBACnF,UAAU,EAAE,qEAAqE;aAClF,CAAC,CAAC;QACL,CAAC;QACD,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,MAAM,CAAC,iBAAiB,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACvF,IAAI,kBAAkB;YAAE,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAE5E,MAAM,UAAU,GAAG,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,aAAa,GAAG,qBAAqB,CACzC,MAAM,CAAC,QAAQ,EACf,MAAM,CAAC,iBAAiB,EACxB,UAAU,CACX,CAAC;QACF,IAAI,aAAa;YAAE,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QAElE,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAC3D,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;gBACtC,OAAO,UAAU,IAAI,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACrD,CAAC,CAAC,CAAC;YACH,IAAI,cAAc,EAAE,CAAC;gBACnB,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE;oBAC9B,MAAM,EAAE,2CAA2C,cAAc,EAAE;oBACnE,UAAU,EAAE,kEAAkE;iBAC/E,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC1B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE;YAC9B,MAAM,EAAE,kDAAkD,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;YAClH,UAAU,EAAE,+EAA+E;SAC5F,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAgB,sBAAsB,CAAC,MAGtC;IACC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,aAAa,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC5D,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACnC,aAAa,CAAC,GAAG,CAAC,UAAU,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IACjD,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAA,gCAAqB,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,MAAM,gBAAgB,GAAG,CAAC,QAAQ,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE;QAClE,MAAM,aAAa,GAAG,IAAA,wCAAyB,EAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACrE,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY;aAClC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;aACpD,MAAM,CACL,CAAC,IAAI,EAAsD,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CACvF,CAAC;QAEJ,IAAI,IAAA,2CAA4B,EAAC,SAAS,CAAC,EAAE,CAAC;YAC5C,OAAO;gBACL,WAAW,EAAE,SAAS,CAAC,EAAE;gBACzB,SAAS,EAAE,SAAS,CAAC,SAAS;gBAC9B,MAAM,EAAE,QAAiB;gBACzB,UAAU;gBACV,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;gBAC1C,aAAa;gBACb,YAAY,EAAE,EAAE;gBAChB,WAAW,EAAE,EAAE;aAChB,CAAC;QACJ,CAAC;QAED,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAA,gCAAiB,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACrE,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,OAAO;aACJ,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,KAAK,IAAI,CAAC;aACrD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAA,uCAAwB,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CACrD,CAAC;QACF,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAC9C,OAAO,CAAC,IAAI,CACV,IAAI,CAAC,EAAE,CACL,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,KAAK,KAAK,IAAI,IAAA,uCAAwB,EAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAC1F,CACF,CAAC;QACF,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1E,MAAM,MAAM,GAAG,CAAC,UAAU;YACxB,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC;YACjC,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;gBACzB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;oBACtB,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,SAAS,CAAC;QAElB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YAC3B,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpF,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QAED,OAAO;YACL,WAAW,EAAE,SAAS,CAAC,EAAE;YACzB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,MAAM;YACN,UAAU;YACV,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;YAC1C,aAAa;YACb,YAAY;YACZ,WAAW;SACZ,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CACzC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CACxF,CAAC;IACF,IACE,WAAW,CAAC,MAAM,GAAG,CAAC;QACtB,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,2BAA2B,CAAC,QAAQ,CAAC,CAAC,EACxE,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IAC5D,CAAC;IAED,OAAO;QACL,WAAW,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;QACjC,OAAO;QACP,QAAQ;QACR,gBAAgB;KACjB,CAAC;AACJ,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"evidence.d.ts","sourceRoot":"","sources":["../../src/harness/evidence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,kBAAkB,EAElB,cAAc,EACd,oBAAoB,EACpB,WAAW,EACZ,MAAM,SAAS,CAAC;AAGjB,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEnD;
|
|
1
|
+
{"version":3,"file":"evidence.d.ts","sourceRoot":"","sources":["../../src/harness/evidence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,kBAAkB,EAElB,cAAc,EACd,oBAAoB,EACpB,WAAW,EACZ,MAAM,SAAS,CAAC;AAGjB,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEnD;AA4HD,wBAAgB,kBAAkB,CAAC,MAAM,EAAE;IACzC,MAAM,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAC9B,aAAa,CAAC,EAAE,WAAW,EAAE,CAAC;IAC9B,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC;CAC7B,GAAG,cAAc,EAAE,CAyBnB;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,cAAc,EAAE,EACzB,WAAW,EAAE,MAAM,EAAE,GACpB,cAAc,EAAE,CAKlB;AAED,wBAAgB,YAAY,CAC1B,OAAO,EAAE,cAAc,EAAE,EACzB,MAAM,GAAE;IACN,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,GAAG,CAAC,EAAE,MAAM,CAAC;CACT,GACL,oBAAoB,EAAE,CAkExB"}
|
package/dist/harness/evidence.js
CHANGED
|
@@ -47,7 +47,9 @@ function tokenize(text) {
|
|
|
47
47
|
return new Set([...ascii, ...chinese]);
|
|
48
48
|
}
|
|
49
49
|
function tagsFor(content, extras = []) {
|
|
50
|
-
return [
|
|
50
|
+
return [
|
|
51
|
+
...new Set([...tokenize(content), ...extras.map(item => item.toLowerCase()).filter(Boolean)]),
|
|
52
|
+
].slice(0, 32);
|
|
51
53
|
}
|
|
52
54
|
function evidenceFromLedger(entry) {
|
|
53
55
|
const toolName = asString(entry.metadata?.toolName);
|
|
@@ -84,10 +86,16 @@ function evidenceFromTurnSummary(summary) {
|
|
|
84
86
|
summary.assistantOutcome ? `Outcome: ${summary.assistantOutcome}` : '',
|
|
85
87
|
summary.filesTouched.length > 0 ? `Files: ${summary.filesTouched.join(', ')}` : '',
|
|
86
88
|
summary.toolsUsed.length > 0 ? `Tools: ${summary.toolsUsed.join(', ')}` : '',
|
|
87
|
-
summary.verification.passed.length > 0
|
|
88
|
-
|
|
89
|
+
summary.verification.passed.length > 0
|
|
90
|
+
? `Passed: ${summary.verification.passed.join('; ')}`
|
|
91
|
+
: '',
|
|
92
|
+
summary.verification.failed.length > 0
|
|
93
|
+
? `Failed: ${summary.verification.failed.join('; ')}`
|
|
94
|
+
: '',
|
|
89
95
|
summary.unresolved.length > 0 ? `Unresolved: ${summary.unresolved.join('; ')}` : '',
|
|
90
|
-
]
|
|
96
|
+
]
|
|
97
|
+
.filter(Boolean)
|
|
98
|
+
.join(' '));
|
|
91
99
|
return {
|
|
92
100
|
id: `turn:${summary.id}`,
|
|
93
101
|
kind: 'turn_summary',
|
|
@@ -110,7 +118,13 @@ function evidenceFromTurnSummary(summary) {
|
|
|
110
118
|
}
|
|
111
119
|
function buildEvidenceIndex(params) {
|
|
112
120
|
const byId = new Map();
|
|
121
|
+
const liveLedgerIds = new Set((params.ledger ?? []).map(entry => `ledger:${entry.id}`));
|
|
122
|
+
const liveTurnIds = new Set((params.turnSummaries ?? []).map(summary => `turn:${summary.id}`));
|
|
113
123
|
for (const record of params.existing ?? []) {
|
|
124
|
+
if (record.id.startsWith('ledger:') && !liveLedgerIds.has(record.id))
|
|
125
|
+
continue;
|
|
126
|
+
if (record.id.startsWith('turn:') && !liveTurnIds.has(record.id))
|
|
127
|
+
continue;
|
|
114
128
|
byId.set(record.id, record);
|
|
115
129
|
}
|
|
116
130
|
for (const entry of params.ledger ?? []) {
|
|
@@ -139,13 +153,10 @@ function bumpIncludedEvidence(records, includedIds) {
|
|
|
139
153
|
return records.map(r => idSet.has(r.id) ? { ...r, includedCount: (r.includedCount ?? 0) + 1 } : r);
|
|
140
154
|
}
|
|
141
155
|
function rankEvidence(records, params = {}) {
|
|
142
|
-
const queryTokens = tokenize([
|
|
143
|
-
params.query ?? '',
|
|
144
|
-
params.activeInstruction ?? '',
|
|
145
|
-
params.rootObjective ?? '',
|
|
146
|
-
].join(' '));
|
|
156
|
+
const queryTokens = tokenize([params.query ?? '', params.activeInstruction ?? '', params.rootObjective ?? ''].join(' '));
|
|
147
157
|
const now = params.now ?? Date.now();
|
|
148
|
-
return records
|
|
158
|
+
return records
|
|
159
|
+
.map(record => {
|
|
149
160
|
let score = record.importance * 10;
|
|
150
161
|
const reasons = [`importance ${record.importance}`];
|
|
151
162
|
if (params.taskEpoch !== undefined && record.taskEpoch === params.taskEpoch) {
|
|
@@ -171,7 +182,8 @@ function rankEvidence(records, params = {}) {
|
|
|
171
182
|
score += 12;
|
|
172
183
|
reasons.push('mentioned path');
|
|
173
184
|
}
|
|
174
|
-
if (record.toolName &&
|
|
185
|
+
if (record.toolName &&
|
|
186
|
+
(params.query ?? '').toLowerCase().includes(record.toolName.toLowerCase())) {
|
|
175
187
|
score += 8;
|
|
176
188
|
reasons.push('mentioned tool');
|
|
177
189
|
}
|
|
@@ -191,6 +203,7 @@ function rankEvidence(records, params = {}) {
|
|
|
191
203
|
reasons.push(`included ${record.includedCount}x before`);
|
|
192
204
|
}
|
|
193
205
|
return { ...record, score, reasons };
|
|
194
|
-
})
|
|
206
|
+
})
|
|
207
|
+
.sort((a, b) => b.score - a.score || b.createdAt - a.createdAt);
|
|
195
208
|
}
|
|
196
209
|
//# sourceMappingURL=evidence.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../src/harness/evidence.ts"],"names":[],"mappings":";;AASA,wCAEC;
|
|
1
|
+
{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../src/harness/evidence.ts"],"names":[],"mappings":";;AASA,wCAEC;AA4HD,gDA6BC;AAMD,oDAQC;AAED,oCA2EC;AAxPD,4DAA+E;AAE/E,SAAgB,cAAc,CAAC,IAAY;IACzC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAA,+BAAkB,EAAC,IAAI,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,GAAG,GAAG,GAAG;IACtC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACpD,OAAO,UAAU,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC;AACrF,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAChE,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACxD,CAAC;AAED,SAAS,UAAU,CAAC,IAAgC;IAClD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,kBAAkB;YACrB,OAAO,aAAa,CAAC;QACvB,KAAK,aAAa,CAAC;QACnB,KAAK,cAAc;YACjB,OAAO,cAAc,CAAC;QACxB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,WAAW,CAAC;QACrB,KAAK,UAAU;YACb,OAAO,UAAU,CAAC;QACpB;YACE,OAAO,aAAa,CAAC;IACzB,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC;IACpD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,sBAAsB,CAAC,IAAI,EAAE,CAAC;IAC1D,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,OAAO,CAAC,OAAe,EAAE,SAAmB,EAAE;IACrD,OAAO;QACL,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;KAC9F,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAyB;IACnD,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACrF,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,kBAAkB,GACtB,IAAI,KAAK,cAAc;QACrB,CAAC,CAAC,OAAO,KAAK,IAAI;YAChB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,OAAO,KAAK,KAAK;gBACjB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,SAAS;QACf,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAEvC,OAAO;QACL,EAAE,EAAE,UAAU,KAAK,CAAC,EAAE,EAAE;QACxB,IAAI;QACJ,OAAO;QACP,MAAM,EAAE,QAAQ;QAChB,QAAQ,EAAE,KAAK,CAAC,EAAE;QAClB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,aAAa,EAAE,cAAc,CAAC,OAAO,CAAC;QACtC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,EAAE,QAAQ,IAAI,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;QAC9F,IAAI;QACJ,QAAQ;QACR,kBAAkB;QAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,OAAoB;IACnD,MAAM,OAAO,GAAG,OAAO,CACrB;QACE,QAAQ,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,UAAU,EAAE;QAC7C,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,YAAY,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE;QACtE,OAAO,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QAClF,OAAO,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QAC5E,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YACpC,CAAC,CAAC,WAAW,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACrD,CAAC,CAAC,EAAE;QACN,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YACpC,CAAC,CAAC,WAAW,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACrD,CAAC,CAAC,EAAE;QACN,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;KACpF;SACE,MAAM,CAAC,OAAO,CAAC;SACf,IAAI,CAAC,GAAG,CAAC,CACb,CAAC;IAEF,OAAO;QACL,EAAE,EAAE,QAAQ,OAAO,CAAC,EAAE,EAAE;QACxB,IAAI,EAAE,cAAc;QACpB,OAAO;QACP,MAAM,EAAE,cAAc;QACtB,QAAQ,EAAE,OAAO,CAAC,EAAE;QACpB,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,aAAa,EAAE,cAAc,CAAC,OAAO,CAAC;QACtC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QAC3F,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;QAC7B,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;QAC9B,kBAAkB,EAChB,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YACpC,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;gBACtC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,SAAS;KAClB,CAAC;AACJ,CAAC;AAED,SAAgB,kBAAkB,CAAC,MAIlC;IACC,MAAM,IAAI,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC/C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACxF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC/F,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QAC3C,IAAI,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAAE,SAAS;QAC/E,IAAI,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAAE,SAAS;QAC3E,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACzC,8CAA8C;QAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,QAAQ;YAAE,MAAM,CAAC,aAAa,GAAG,QAAQ,CAAC,aAAa,CAAC;QAC5D,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,QAAQ;YAAE,MAAM,CAAC,aAAa,GAAG,QAAQ,CAAC,aAAa,CAAC;QAC5D,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAC5B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CACnE,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,oBAAoB,CAClC,OAAyB,EACzB,WAAqB;IAErB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC;IACnC,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACrB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAC1E,CAAC;AACJ,CAAC;AAED,SAAgB,YAAY,CAC1B,OAAyB,EACzB,SAMI,EAAE;IAEN,MAAM,WAAW,GAAG,QAAQ,CAC1B,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,EAAE,MAAM,CAAC,iBAAiB,IAAI,EAAE,EAAE,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAC3F,CAAC;IACF,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;IAErC,OAAO,OAAO;SACX,GAAG,CAAC,MAAM,CAAC,EAAE;QACZ,IAAI,KAAK,GAAG,MAAM,CAAC,UAAU,GAAG,EAAE,CAAC;QACnC,MAAM,OAAO,GAAa,CAAC,cAAc,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;QAE9D,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,EAAE,CAAC;YAC5E,KAAK,IAAI,EAAE,CAAC;YACZ,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAClC,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,OAAS,CAAC,CAAC;QACnE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;YAChB,KAAK,IAAI,OAAO,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzB,CAAC;QAED,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC9B,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,EAAE,CAAC;QACtC,CAAC;QACD,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;YAChB,KAAK,IAAI,OAAO,GAAG,CAAC,CAAC;YACrB,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,iBAAiB,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,KAAK,IAAI,EAAE,CAAC;YACZ,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACjC,CAAC;QAED,IACE,MAAM,CAAC,QAAQ;YACf,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,EAC1E,CAAC;YACD,KAAK,IAAI,CAAC,CAAC;YACX,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACjC,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACnC,KAAK,IAAI,MAAM,CAAC,kBAAkB,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1D,OAAO,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACxC,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrD,KAAK,IAAI,CAAC,CAAC;YACX,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACpC,CAAC;QAED,yEAAyE;QACzE,2EAA2E;QAC3E,IAAI,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,aAAa,GAAG,CAAC,EAAE,CAAC;YACrD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,GAAG,GAAG,CAAC;YAC3E,KAAK,IAAI,KAAK,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,aAAa,UAAU,CAAC,CAAC;QAC3D,CAAC;QAED,OAAO,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACvC,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;AACpE,CAAC"}
|
package/dist/harness/index.d.ts
CHANGED
|
@@ -1,4 +1,5 @@
|
|
|
1
|
-
export { ContextHarness, createContextHarness } from './context-harness';
|
|
1
|
+
export { ContextHarness, HarnessKernel, createContextHarness, createHarnessKernel, } from './context-harness';
|
|
2
|
+
export { createCapabilityProfile } from './capability-profile';
|
|
2
3
|
export type { ContextHarnessOptions } from './context-harness';
|
|
3
4
|
export { createTaskContract, extractExplicitObjective, normalizeTaskContract, updateTaskContract, } from './contract';
|
|
4
5
|
export { ContextLedger } from './ledger';
|
|
@@ -9,8 +10,12 @@ export type { HarnessContextBuildResult, PromptAssemblyOptions } from './assembl
|
|
|
9
10
|
export { buildEvidenceIndex, bumpIncludedEvidence, estimateTokens, rankEvidence } from './evidence';
|
|
10
11
|
export { classifyIntent, shouldReplaceActiveInstruction } from './intent';
|
|
11
12
|
export { summarizeHarnessStateForMeta, upgradeHarnessState } from './state';
|
|
13
|
+
export { ProgressController } from './progress-controller';
|
|
14
|
+
export { StopController, type StopControllerOptions } from './stop-controller';
|
|
12
15
|
export { createTurnSummary } from './turn-summary';
|
|
16
|
+
export { COMPACT_BENCHMARK_CORPUS_V1, canonicalCompactBenchmarkCorpus, compactBenchmarkCorpusHash, type CompactBenchmarkCase, } from './compact-benchmark-corpus';
|
|
13
17
|
export type { CreateTurnSummaryInput, SessionMessageLike } from './turn-summary';
|
|
14
18
|
export { checkToolDrift, evaluateCompletionGate } from './drift-guard';
|
|
15
|
-
export
|
|
19
|
+
export { classifyVerificationCommand, criterionHasAuthorizedWaiver, isTrustedEvidence, requiredVerificationKinds, verificationKindForEntry, } from './verification';
|
|
20
|
+
export type { CapabilityProfile, CapabilityProfileInput, CompletionCriterionResult, CompletionGateResult, ContextCapsule, ContextLedgerEntry, DriftCheckResult, EvidenceKind, EvidenceRecord, HarnessConfig, HarnessProgressState, HarnessSidecar, HarnessState, IntentKind, IntentUpdate, LedgerEntryType, LedgerSource, PlanStep, PromptAssemblyStats, PromptSectionManifestEntry, ProgressDelta, ProgressSnapshot, RankedEvidenceRecord, TaskContract, TaskCriterion, TaskCriterionScope, TaskCriterionSource, TaskCriterionStatus, TaskCriterionWaiver, TurnSummary, VerificationKind, } from './types';
|
|
16
21
|
//# sourceMappingURL=index.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/harness/index.ts"],"names":[],"mappings":"AAAA,OAAO,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/harness/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,cAAc,EACd,aAAa,EACb,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,YAAY,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EACL,kBAAkB,EAClB,wBAAwB,EACxB,qBAAqB,EACrB,kBAAkB,GACnB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,YAAY,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAC;AACpD,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,oBAAoB,EACpB,4BAA4B,GAC7B,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACjG,YAAY,EAAE,yBAAyB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACpF,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACpG,OAAO,EAAE,cAAc,EAAE,8BAA8B,EAAE,MAAM,UAAU,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,mBAAmB,EAAE,MAAM,SAAS,CAAC;AAC5E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,KAAK,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC/E,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,2BAA2B,EAC3B,+BAA+B,EAC/B,0BAA0B,EAC1B,KAAK,oBAAoB,GAC1B,MAAM,4BAA4B,CAAC;AACpC,YAAY,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AACvE,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,EAC5B,iBAAiB,EACjB,yBAAyB,EACzB,wBAAwB,GACzB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,iBAAiB,EACjB,sBAAsB,EACtB,yBAAyB,EACzB,oBAAoB,EACpB,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,YAAY,EACZ,cAAc,EACd,aAAa,EACb,oBAAoB,EACpB,cAAc,EACd,YAAY,EACZ,UAAU,EACV,YAAY,EACZ,eAAe,EACf,YAAY,EACZ,QAAQ,EACR,mBAAmB,EACnB,0BAA0B,EAC1B,aAAa,EACb,gBAAgB,EAChB,oBAAoB,EACpB,YAAY,EACZ,aAAa,EACb,kBAAkB,EAClB,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,WAAW,EACX,gBAAgB,GACjB,MAAM,SAAS,CAAC"}
|
package/dist/harness/index.js
CHANGED
|
@@ -1,9 +1,13 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.evaluateCompletionGate = exports.checkToolDrift = exports.createTurnSummary = exports.upgradeHarnessState = exports.summarizeHarnessStateForMeta = exports.shouldReplaceActiveInstruction = exports.classifyIntent = exports.rankEvidence = exports.estimateTokens = exports.bumpIncludedEvidence = exports.buildEvidenceIndex = exports.renderHarnessContext = exports.buildHarnessContext = exports.assembleHarnessMessages = exports.renderHarnessStateForCompact = exports.renderContextCapsule = exports.normalizeContextCapsule = exports.createContextCapsule = exports.ContextLedger = exports.updateTaskContract = exports.normalizeTaskContract = exports.extractExplicitObjective = exports.createTaskContract = exports.createContextHarness = exports.ContextHarness = void 0;
|
|
3
|
+
exports.verificationKindForEntry = exports.requiredVerificationKinds = exports.isTrustedEvidence = exports.criterionHasAuthorizedWaiver = exports.classifyVerificationCommand = exports.evaluateCompletionGate = exports.checkToolDrift = exports.compactBenchmarkCorpusHash = exports.canonicalCompactBenchmarkCorpus = exports.COMPACT_BENCHMARK_CORPUS_V1 = exports.createTurnSummary = exports.StopController = exports.ProgressController = exports.upgradeHarnessState = exports.summarizeHarnessStateForMeta = exports.shouldReplaceActiveInstruction = exports.classifyIntent = exports.rankEvidence = exports.estimateTokens = exports.bumpIncludedEvidence = exports.buildEvidenceIndex = exports.renderHarnessContext = exports.buildHarnessContext = exports.assembleHarnessMessages = exports.renderHarnessStateForCompact = exports.renderContextCapsule = exports.normalizeContextCapsule = exports.createContextCapsule = exports.ContextLedger = exports.updateTaskContract = exports.normalizeTaskContract = exports.extractExplicitObjective = exports.createTaskContract = exports.createCapabilityProfile = exports.createHarnessKernel = exports.createContextHarness = exports.HarnessKernel = exports.ContextHarness = void 0;
|
|
4
4
|
var context_harness_1 = require("./context-harness");
|
|
5
5
|
Object.defineProperty(exports, "ContextHarness", { enumerable: true, get: function () { return context_harness_1.ContextHarness; } });
|
|
6
|
+
Object.defineProperty(exports, "HarnessKernel", { enumerable: true, get: function () { return context_harness_1.HarnessKernel; } });
|
|
6
7
|
Object.defineProperty(exports, "createContextHarness", { enumerable: true, get: function () { return context_harness_1.createContextHarness; } });
|
|
8
|
+
Object.defineProperty(exports, "createHarnessKernel", { enumerable: true, get: function () { return context_harness_1.createHarnessKernel; } });
|
|
9
|
+
var capability_profile_1 = require("./capability-profile");
|
|
10
|
+
Object.defineProperty(exports, "createCapabilityProfile", { enumerable: true, get: function () { return capability_profile_1.createCapabilityProfile; } });
|
|
7
11
|
var contract_1 = require("./contract");
|
|
8
12
|
Object.defineProperty(exports, "createTaskContract", { enumerable: true, get: function () { return contract_1.createTaskContract; } });
|
|
9
13
|
Object.defineProperty(exports, "extractExplicitObjective", { enumerable: true, get: function () { return contract_1.extractExplicitObjective; } });
|
|
@@ -31,9 +35,23 @@ Object.defineProperty(exports, "shouldReplaceActiveInstruction", { enumerable: t
|
|
|
31
35
|
var state_1 = require("./state");
|
|
32
36
|
Object.defineProperty(exports, "summarizeHarnessStateForMeta", { enumerable: true, get: function () { return state_1.summarizeHarnessStateForMeta; } });
|
|
33
37
|
Object.defineProperty(exports, "upgradeHarnessState", { enumerable: true, get: function () { return state_1.upgradeHarnessState; } });
|
|
38
|
+
var progress_controller_1 = require("./progress-controller");
|
|
39
|
+
Object.defineProperty(exports, "ProgressController", { enumerable: true, get: function () { return progress_controller_1.ProgressController; } });
|
|
40
|
+
var stop_controller_1 = require("./stop-controller");
|
|
41
|
+
Object.defineProperty(exports, "StopController", { enumerable: true, get: function () { return stop_controller_1.StopController; } });
|
|
34
42
|
var turn_summary_1 = require("./turn-summary");
|
|
35
43
|
Object.defineProperty(exports, "createTurnSummary", { enumerable: true, get: function () { return turn_summary_1.createTurnSummary; } });
|
|
44
|
+
var compact_benchmark_corpus_1 = require("./compact-benchmark-corpus");
|
|
45
|
+
Object.defineProperty(exports, "COMPACT_BENCHMARK_CORPUS_V1", { enumerable: true, get: function () { return compact_benchmark_corpus_1.COMPACT_BENCHMARK_CORPUS_V1; } });
|
|
46
|
+
Object.defineProperty(exports, "canonicalCompactBenchmarkCorpus", { enumerable: true, get: function () { return compact_benchmark_corpus_1.canonicalCompactBenchmarkCorpus; } });
|
|
47
|
+
Object.defineProperty(exports, "compactBenchmarkCorpusHash", { enumerable: true, get: function () { return compact_benchmark_corpus_1.compactBenchmarkCorpusHash; } });
|
|
36
48
|
var drift_guard_1 = require("./drift-guard");
|
|
37
49
|
Object.defineProperty(exports, "checkToolDrift", { enumerable: true, get: function () { return drift_guard_1.checkToolDrift; } });
|
|
38
50
|
Object.defineProperty(exports, "evaluateCompletionGate", { enumerable: true, get: function () { return drift_guard_1.evaluateCompletionGate; } });
|
|
51
|
+
var verification_1 = require("./verification");
|
|
52
|
+
Object.defineProperty(exports, "classifyVerificationCommand", { enumerable: true, get: function () { return verification_1.classifyVerificationCommand; } });
|
|
53
|
+
Object.defineProperty(exports, "criterionHasAuthorizedWaiver", { enumerable: true, get: function () { return verification_1.criterionHasAuthorizedWaiver; } });
|
|
54
|
+
Object.defineProperty(exports, "isTrustedEvidence", { enumerable: true, get: function () { return verification_1.isTrustedEvidence; } });
|
|
55
|
+
Object.defineProperty(exports, "requiredVerificationKinds", { enumerable: true, get: function () { return verification_1.requiredVerificationKinds; } });
|
|
56
|
+
Object.defineProperty(exports, "verificationKindForEntry", { enumerable: true, get: function () { return verification_1.verificationKindForEntry; } });
|
|
39
57
|
//# sourceMappingURL=index.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/harness/index.ts"],"names":[],"mappings":";;;AAAA,
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/harness/index.ts"],"names":[],"mappings":";;;AAAA,qDAK2B;AAJzB,iHAAA,cAAc,OAAA;AACd,gHAAA,aAAa,OAAA;AACb,uHAAA,oBAAoB,OAAA;AACpB,sHAAA,mBAAmB,OAAA;AAErB,2DAA+D;AAAtD,6HAAA,uBAAuB,OAAA;AAEhC,uCAKoB;AAJlB,8GAAA,kBAAkB,OAAA;AAClB,oHAAA,wBAAwB,OAAA;AACxB,iHAAA,qBAAqB,OAAA;AACrB,8GAAA,kBAAkB,OAAA;AAEpB,mCAAyC;AAAhC,uGAAA,aAAa,OAAA;AAEtB,qCAKmB;AAJjB,+GAAA,oBAAoB,OAAA;AACpB,kHAAA,uBAAuB,OAAA;AACvB,+GAAA,oBAAoB,OAAA;AACpB,uHAAA,4BAA4B,OAAA;AAE9B,yCAAiG;AAAxF,oHAAA,uBAAuB,OAAA;AAAE,gHAAA,mBAAmB,OAAA;AAAE,iHAAA,oBAAoB,OAAA;AAE3E,uCAAoG;AAA3F,8GAAA,kBAAkB,OAAA;AAAE,gHAAA,oBAAoB,OAAA;AAAE,0GAAA,cAAc,OAAA;AAAE,wGAAA,YAAY,OAAA;AAC/E,mCAA0E;AAAjE,wGAAA,cAAc,OAAA;AAAE,wHAAA,8BAA8B,OAAA;AACvD,iCAA4E;AAAnE,qHAAA,4BAA4B,OAAA;AAAE,4GAAA,mBAAmB,OAAA;AAC1D,6DAA2D;AAAlD,yHAAA,kBAAkB,OAAA;AAC3B,qDAA+E;AAAtE,iHAAA,cAAc,OAAA;AACvB,+CAAmD;AAA1C,iHAAA,iBAAiB,OAAA;AAC1B,uEAKoC;AAJlC,uIAAA,2BAA2B,OAAA;AAC3B,2IAAA,+BAA+B,OAAA;AAC/B,sIAAA,0BAA0B,OAAA;AAI5B,6CAAuE;AAA9D,6GAAA,cAAc,OAAA;AAAE,qHAAA,sBAAsB,OAAA;AAC/C,+CAMwB;AALtB,2HAAA,2BAA2B,OAAA;AAC3B,4HAAA,4BAA4B,OAAA;AAC5B,iHAAA,iBAAiB,OAAA;AACjB,yHAAA,yBAAyB,OAAA;AACzB,wHAAA,wBAAwB,OAAA"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ledger.d.ts","sourceRoot":"","sources":["../../src/harness/ledger.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;
|
|
1
|
+
{"version":3,"file":"ledger.d.ts","sourceRoot":"","sources":["../../src/harness/ledger.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAGjF,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,eAAe,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,YAAY,CAAC;IACrB,UAAU,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/B,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,YAAY,CAAC;IACjD,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AA2DD,qBAAa,aAAa;IACxB,MAAM,CAAC,QAAQ,CAAC,WAAW,OAAO;IAClC,OAAO,CAAC,OAAO,CAAuB;gBAE1B,OAAO,GAAE,kBAAkB,EAAO;IAI9C,GAAG,CAAC,KAAK,EAAE,mBAAmB,GAAG,kBAAkB;IA4BnD,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,kBAAkB;IAU1D,uBAAuB,CAAC,OAAO,EAAE,MAAM,GAAG,kBAAkB,GAAG,IAAI;IAWnE,gBAAgB,CAAC,MAAM,EAAE;QACvB,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC9B,MAAM,EAAE,MAAM,CAAC;QACf,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,OAAO,CAAC;QACjB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,OAAO,CAAC,EAAE,MAAM,CAAC;KAClB,GAAG,kBAAkB;IAiDtB,UAAU,IAAI,kBAAkB,EAAE;IAIlC,YAAY,CAAC,KAAK,SAAK,GAAG,kBAAkB,EAAE;IAM9C,SAAS,CAAC,IAAI,EAAE,eAAe,GAAG,kBAAkB,EAAE;IAItD,MAAM,IAAI,kBAAkB,EAAE;CAG/B"}
|