jev-agent-tools 0.1.4 → 0.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +70 -1
- package/CONTRIBUTING.md +40 -0
- package/README.md +42 -9
- package/SECURITY.md +27 -0
- package/dist/adapters/analysis-context.js +75 -0
- package/dist/adapters/ask-files.js +189 -0
- package/dist/adapters/ask-proof.js +144 -0
- package/dist/adapters/ask-syntax.js +385 -0
- package/dist/adapters/canonical-path.js +17 -0
- package/dist/adapters/command.js +181 -0
- package/dist/adapters/docs.js +172 -0
- package/dist/adapters/exec.js +207 -0
- package/dist/adapters/files.js +293 -0
- package/dist/adapters/find.js +122 -0
- package/dist/adapters/git-base.js +26 -0
- package/dist/adapters/git-inventory.js +71 -0
- package/dist/adapters/git.js +439 -0
- package/dist/adapters/locate-file.js +159 -0
- package/dist/adapters/output-lines.js +46 -0
- package/dist/adapters/private-storage.js +98 -0
- package/dist/adapters/risk-callers.js +426 -0
- package/dist/adapters/runner-version.js +78 -0
- package/dist/adapters/shell.js +76 -0
- package/dist/adapters/syntax.js +187 -0
- package/dist/adapters/test-inventory.js +131 -0
- package/dist/adapters/usage.js +20 -0
- package/dist/adapters/utf8.js +47 -0
- package/dist/configuration.js +257 -0
- package/dist/constants.js +119 -0
- package/dist/core/ask-closure.js +282 -0
- package/dist/core/ask-proof.js +1 -0
- package/dist/core/ask-references.js +194 -0
- package/dist/core/asks.js +436 -0
- package/dist/core/batches.js +65 -0
- package/dist/core/command-output.js +224 -0
- package/dist/core/diff.js +178 -0
- package/dist/core/docs.js +302 -0
- package/dist/core/find.js +108 -0
- package/dist/core/git.js +1 -0
- package/dist/core/imports.js +550 -0
- package/dist/core/integrity.js +45 -0
- package/dist/core/lexical.js +132 -0
- package/dist/core/locate.js +169 -0
- package/dist/core/output.js +120 -0
- package/dist/core/pointer.js +29 -0
- package/dist/core/risk-callers.js +851 -0
- package/dist/core/runner-version.js +45 -0
- package/dist/core/sections.js +230 -0
- package/dist/core/state.js +44 -0
- package/dist/core/syntax.js +1 -0
- package/dist/core/test-commands.js +334 -0
- package/dist/core/test-coverage.js +74 -0
- package/dist/core/test-discovery.js +1382 -0
- package/dist/core/test-evidence.js +527 -0
- package/dist/core/test-state.js +81 -0
- package/dist/core/truncate.js +12 -0
- package/dist/core/units.js +349 -0
- package/dist/describe.js +23 -0
- package/dist/guide.js +33 -0
- package/dist/host.js +24 -0
- package/dist/jev/client.js +434 -0
- package/dist/jev/pool.js +54 -0
- package/dist/jev/types.js +1 -0
- package/dist/mcp/main.js +124 -0
- package/dist/mcp/protocol.js +187 -0
- package/dist/mcp/tools.js +116 -0
- package/dist/presets/docs.js +62 -0
- package/dist/presets/risk.js +179 -0
- package/dist/presets/spec.js +81 -0
- package/dist/presets/witnesses.js +249 -0
- package/dist/render.js +42 -0
- package/dist/result.js +3 -0
- package/dist/runtime.js +1 -0
- package/dist/session.js +147 -0
- package/dist/texts/ask-files.js +1 -0
- package/dist/texts/ask.js +2 -0
- package/dist/texts/check-diff.js +17 -0
- package/dist/texts/configuration.js +1 -0
- package/dist/texts/find.js +14 -0
- package/dist/texts/guide.js +16 -0
- package/dist/texts/locate.js +10 -0
- package/dist/texts/select-tests.js +2 -0
- package/dist/tools/ask-files.js +217 -0
- package/dist/tools/ask-schema.js +70 -0
- package/dist/tools/ask.js +686 -0
- package/dist/tools/check-diff.js +402 -0
- package/dist/tools/docs-check.js +299 -0
- package/dist/tools/find.js +389 -0
- package/dist/tools/locate.js +303 -0
- package/dist/tools/select-tests.js +567 -0
- package/dist/tools/spec-check.js +166 -0
- package/docs/adr/0001-strict-typescript-pure-core-offline-tests.md +31 -0
- package/docs/adr/0002-one-http-protocol-across-hosts.md +17 -0
- package/docs/adr/0003-explicit-scope-conservative-automation.md +19 -0
- package/docs/adr/0004-compiled-typed-intents.md +19 -0
- package/docs/adr/0005-evidence-construction-before-judgment.md +19 -0
- package/docs/adr/0006-visible-uncertainty-constrained-controls.md +21 -0
- package/docs/adr/0007-bounded-evidence-visible-limits.md +21 -0
- package/docs/adr/0008-static-test-discovery-conservative-plans.md +19 -0
- package/docs/adr/0009-session-cache-requested-model-identity.md +17 -0
- package/docs/adr/0010-mcp-server-thin-host.md +23 -0
- package/docs/agent-instructions.md +91 -0
- package/docs/design.md +3 -3
- package/docs/mcp.md +231 -0
- package/package.json +19 -4
- package/server.json +57 -0
- package/src/adapters/canonical-path.ts +18 -0
- package/src/adapters/command.ts +7 -4
- package/src/adapters/exec.ts +226 -0
- package/src/adapters/private-storage.ts +143 -0
- package/src/adapters/risk-callers.ts +4 -2
- package/src/adapters/shell.ts +97 -0
- package/src/configuration.ts +39 -12
- package/src/constants.ts +11 -0
- package/src/core/command-output.ts +17 -1
- package/src/host.ts +11 -0
- package/src/jev/client.ts +12 -0
- package/src/jev/types.ts +6 -0
- package/src/mcp/main.ts +135 -0
- package/src/mcp/protocol.ts +282 -0
- package/src/mcp/tools.ts +166 -0
- package/src/session.ts +59 -0
- package/src/setup.ts +13 -5
- package/src/tools/ask-files.ts +5 -7
- package/src/tools/ask.ts +26 -22
- package/src/tools/check-diff.ts +8 -5
- package/src/tools/docs-check.ts +1 -0
- package/src/tools/find.ts +5 -2
- package/src/tools/locate.ts +5 -8
- package/src/tools/select-tests.ts +7 -4
- package/src/tools/spec-check.ts +1 -0
|
@@ -0,0 +1,74 @@
|
|
|
1
|
+
import { posix } from "node:path";
|
|
2
|
+
/** Keep synthetic execution evidence in every real residual batch. */
|
|
3
|
+
export function prepareCoverageWitnesses(state, questions, witnesses) {
|
|
4
|
+
const file = state.testFile;
|
|
5
|
+
const testFile = file && typeof file === "object" && !Array.isArray(file)
|
|
6
|
+
? file
|
|
7
|
+
: { path: "test/preset-check.test.ts", text: "" };
|
|
8
|
+
const path = typeof testFile.path === "string"
|
|
9
|
+
? testFile.path
|
|
10
|
+
: "test/preset-check.test.ts";
|
|
11
|
+
const bodies = [];
|
|
12
|
+
const imports = [];
|
|
13
|
+
const scenarios = ["direct call", "renamed call", "indirect read"];
|
|
14
|
+
let referenceIndex = 0;
|
|
15
|
+
const expectations = [];
|
|
16
|
+
const witnessQuestions = {};
|
|
17
|
+
for (const witness of witnesses) {
|
|
18
|
+
const { unit } = witness;
|
|
19
|
+
if (witness.evidenceOnly)
|
|
20
|
+
continue;
|
|
21
|
+
const scenario = witness.reference
|
|
22
|
+
? (scenarios[referenceIndex++] ?? "direct call")
|
|
23
|
+
: "direct call";
|
|
24
|
+
if (witness.reference) {
|
|
25
|
+
const callable = unit.name === "LIMIT"
|
|
26
|
+
? "withinLimit"
|
|
27
|
+
: unit.after?.match(/export\s+function\s+([\w$]+)/)?.[1];
|
|
28
|
+
if (callable) {
|
|
29
|
+
const imported = posix.relative(posix.dirname(path), unit.file);
|
|
30
|
+
imports.push(`import {${callable}} from '${imported.startsWith(".") ? imported : `./${imported}`}';`);
|
|
31
|
+
bodies.push(`test('${scenario}', () => ${callable}(2));`);
|
|
32
|
+
}
|
|
33
|
+
}
|
|
34
|
+
const id = `coverage_${unit.id}`;
|
|
35
|
+
expectations.push({
|
|
36
|
+
id,
|
|
37
|
+
expected: witness.reference ? "yes" : "no",
|
|
38
|
+
label: witness.label,
|
|
39
|
+
limit: witness.limit,
|
|
40
|
+
});
|
|
41
|
+
witnessQuestions[id] = {
|
|
42
|
+
type: "bool",
|
|
43
|
+
instructions: `When test ${scenario} runs, does the after version of unit ${unit.id} (${unit.after?.match(/export\s+function\s+([\w$]+)/)?.[1] ?? unit.name}) execute or get read, directly or through functions it calls?`,
|
|
44
|
+
};
|
|
45
|
+
}
|
|
46
|
+
return {
|
|
47
|
+
state: {
|
|
48
|
+
...state,
|
|
49
|
+
...(witnesses.length
|
|
50
|
+
? {
|
|
51
|
+
testFile: {
|
|
52
|
+
...testFile,
|
|
53
|
+
text: `${testFile.text ?? ""}\n${imports.join("\n")}\n${bodies.join("\n")}`,
|
|
54
|
+
},
|
|
55
|
+
}
|
|
56
|
+
: {}),
|
|
57
|
+
changedUnits: [
|
|
58
|
+
...(Array.isArray(state.changedUnits) ? state.changedUnits : []),
|
|
59
|
+
...witnesses.map(({ unit }) => ({
|
|
60
|
+
id: unit.id,
|
|
61
|
+
kind: unit.kind,
|
|
62
|
+
file: unit.file,
|
|
63
|
+
name: unit.name,
|
|
64
|
+
exported: unit.exported,
|
|
65
|
+
before: unit.before,
|
|
66
|
+
after: unit.after,
|
|
67
|
+
usedBy: [],
|
|
68
|
+
})),
|
|
69
|
+
],
|
|
70
|
+
},
|
|
71
|
+
questions: { ...questions, ...witnessQuestions },
|
|
72
|
+
witnesses: expectations,
|
|
73
|
+
};
|
|
74
|
+
}
|