candor-ts 0.28.2 → 0.29.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/AGENTS.md +1 -1
- package/README.md +2 -2
- package/contract.mjs +68 -7
- package/lsp.mjs +15 -3
- package/mcp.mjs +19 -3
- package/package.json +2 -2
- package/policy.mjs +156 -5
- package/query.mjs +47 -22
- package/scan.mjs +490 -37
- package/sensitivity.mjs +2 -2
- package/transitive-recall.mjs +2 -2
package/sensitivity.mjs
CHANGED
|
@@ -20,10 +20,10 @@
|
|
|
20
20
|
// INDEPENDENT witness that the effect executed (needed to distinguish a true ESCAPE from a path not taken).
|
|
21
21
|
|
|
22
22
|
import fs from "node:fs";
|
|
23
|
-
import os from "node:os";
|
|
24
23
|
import path from "node:path";
|
|
25
24
|
import { spawnSync } from "node:child_process";
|
|
26
25
|
import { fileURLToPath } from "node:url";
|
|
26
|
+
import { scratch } from "./scratch.mjs";
|
|
27
27
|
|
|
28
28
|
const HERE = path.dirname(fileURLToPath(import.meta.url));
|
|
29
29
|
const wantJson = process.argv.includes("--json");
|
|
@@ -106,7 +106,7 @@ function runVerify(dir, prefix, appPath, outPath) {
|
|
|
106
106
|
return { j, ran, raw: r };
|
|
107
107
|
}
|
|
108
108
|
|
|
109
|
-
const root =
|
|
109
|
+
const root = scratch("candor-sensitivity-");
|
|
110
110
|
const results = [];
|
|
111
111
|
for (const mech of MECHANISMS) {
|
|
112
112
|
const dir = path.join(root, mech.id);
|
package/transitive-recall.mjs
CHANGED
|
@@ -31,10 +31,10 @@
|
|
|
31
31
|
// node transitive-recall.mjs [--json] [--keep]
|
|
32
32
|
|
|
33
33
|
import fs from "node:fs";
|
|
34
|
-
import os from "node:os";
|
|
35
34
|
import path from "node:path";
|
|
36
35
|
import { spawnSync } from "node:child_process";
|
|
37
36
|
import { fileURLToPath } from "node:url";
|
|
37
|
+
import { scratch } from "./scratch.mjs";
|
|
38
38
|
|
|
39
39
|
const HERE = path.dirname(fileURLToPath(import.meta.url));
|
|
40
40
|
const wantJson = process.argv.includes("--json");
|
|
@@ -221,7 +221,7 @@ function depthProbe(root) {
|
|
|
221
221
|
return { depth: DEPTH, reached: reached.length, ran, deepest: reached.length ? Math.max(...reached) : -1 };
|
|
222
222
|
}
|
|
223
223
|
|
|
224
|
-
const root =
|
|
224
|
+
const root = scratch("candor-transitive-recall-");
|
|
225
225
|
const results = [];
|
|
226
226
|
for (const shape of SHAPES) {
|
|
227
227
|
const dir = path.join(root, shape.id);
|