@intent-engine/cli 0.1.40 → 0.1.41
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/dist/src/agent/actions.d.ts +2 -1
- package/dist/src/agent/actions.js.map +1 -1
- package/dist/src/agent/create.d.ts +5 -1
- package/dist/src/agent/create.js +26 -3
- package/dist/src/agent/create.js.map +1 -1
- package/dist/src/agent/everyday.js +3 -0
- package/dist/src/agent/everyday.js.map +1 -1
- package/dist/src/agent/hash.js +1 -1
- package/dist/src/agent/hash.js.map +1 -1
- package/dist/src/agent/jobs.d.ts +2 -0
- package/dist/src/agent/jobs.js +109 -0
- package/dist/src/agent/jobs.js.map +1 -0
- package/dist/src/agent/mcp.d.ts +2 -0
- package/dist/src/agent/mcp.js +30 -7
- package/dist/src/agent/mcp.js.map +1 -1
- package/dist/src/agent/problems.d.ts +3 -0
- package/dist/src/agent/problems.js +7 -4
- package/dist/src/agent/problems.js.map +1 -1
- package/dist/src/agent/profile.js +1 -1
- package/dist/src/agent/profile.js.map +1 -1
- package/dist/src/agent/read.d.ts +1 -1
- package/dist/src/agent/read.js +3 -37
- package/dist/src/agent/read.js.map +1 -1
- package/dist/src/agent/registry.js +2 -1
- package/dist/src/agent/registry.js.map +1 -1
- package/dist/src/agent/reputation.d.ts +13 -0
- package/dist/src/agent/reputation.js +41 -4
- package/dist/src/agent/reputation.js.map +1 -1
- package/dist/src/agent/wallet/delivery.d.ts +2 -0
- package/dist/src/agent/wallet/delivery.js +90 -37
- package/dist/src/agent/wallet/delivery.js.map +1 -1
- package/dist/src/agent/wallet/escrow.d.ts +1 -0
- package/dist/src/agent/wallet/escrow.js +39 -19
- package/dist/src/agent/wallet/escrow.js.map +1 -1
- package/dist/src/agent/wallet/guard.d.ts +1 -0
- package/dist/src/agent/wallet/guard.js.map +1 -1
- package/dist/src/agent/wallet/receipt.d.ts +6 -1
- package/dist/src/agent/wallet/receipt.js +52 -12
- package/dist/src/agent/wallet/receipt.js.map +1 -1
- package/dist/src/agent/wallet/record.d.ts +1 -1
- package/dist/src/agent/wallet/record.js +1 -1
- package/dist/src/agent/wallet/record.js.map +1 -1
- package/dist/src/agent/wallet/unwrap.d.ts +2 -0
- package/dist/src/agent/wallet/unwrap.js +46 -0
- package/dist/src/agent/wallet/unwrap.js.map +1 -0
- package/dist/src/agent/wallet/wait.d.ts +2 -0
- package/dist/src/agent/wallet/wait.js +12 -9
- package/dist/src/agent/wallet/wait.js.map +1 -1
- package/dist/src/agent/wallet.d.ts +3 -2
- package/dist/src/agent/wallet.js +4 -1
- package/dist/src/agent/wallet.js.map +1 -1
- package/dist/src/agent/work-claims.js +1 -1
- package/dist/src/agent/work-claims.js.map +1 -1
- package/dist/src/arg-admin.d.ts +4 -0
- package/dist/src/arg-admin.js +79 -0
- package/dist/src/arg-admin.js.map +1 -0
- package/dist/src/arg-options.d.ts +34 -2
- package/dist/src/arg-options.js +9 -4
- package/dist/src/arg-options.js.map +1 -1
- package/dist/src/arg-solve.d.ts +7 -0
- package/dist/src/arg-solve.js +51 -0
- package/dist/src/arg-solve.js.map +1 -0
- package/dist/src/arg-usage.js +3 -3
- package/dist/src/arg-usage.js.map +1 -1
- package/dist/src/args.d.ts +1 -4
- package/dist/src/args.js +13 -120
- package/dist/src/args.js.map +1 -1
- package/dist/src/check-process.d.ts +3 -24
- package/dist/src/check-process.js +5 -272
- package/dist/src/check-process.js.map +1 -1
- package/dist/src/command-types.d.ts +6 -0
- package/dist/src/commands.js +1 -1
- package/dist/src/commands.js.map +1 -1
- package/dist/src/container-check.d.ts +9 -0
- package/dist/src/container-check.js +82 -0
- package/dist/src/container-check.js.map +1 -0
- package/dist/src/delivery-fetch.d.ts +1 -0
- package/dist/src/delivery-fetch.js +4 -4
- package/dist/src/delivery-fetch.js.map +1 -1
- package/dist/src/draw.d.ts +27 -0
- package/dist/src/draw.js +163 -0
- package/dist/src/draw.js.map +1 -0
- package/dist/src/job-args.d.ts +2 -1
- package/dist/src/job-args.js +18 -0
- package/dist/src/job-args.js.map +1 -1
- package/dist/src/job-commands.js +20 -13
- package/dist/src/job-commands.js.map +1 -1
- package/dist/src/job-filters.d.ts +13 -0
- package/dist/src/job-filters.js +32 -0
- package/dist/src/job-filters.js.map +1 -0
- package/dist/src/judge-watch.d.ts +1 -0
- package/dist/src/judge-watch.js +26 -8
- package/dist/src/judge-watch.js.map +1 -1
- package/dist/src/judge.d.ts +2 -0
- package/dist/src/judge.js +11 -3
- package/dist/src/judge.js.map +1 -1
- package/dist/src/mcp-smoke.d.ts +55 -0
- package/dist/src/mcp-smoke.js +174 -0
- package/dist/src/mcp-smoke.js.map +1 -0
- package/dist/src/process-reap.d.ts +15 -0
- package/dist/src/process-reap.js +121 -0
- package/dist/src/process-reap.js.map +1 -0
- package/dist/src/process-table.d.ts +16 -0
- package/dist/src/process-table.js +78 -0
- package/dist/src/process-table.js.map +1 -0
- package/dist/src/reputation-commands.js +9 -3
- package/dist/src/reputation-commands.js.map +1 -1
- package/dist/src/trust-args.js +12 -1
- package/dist/src/trust-args.js.map +1 -1
- package/dist/src/version.d.ts +1 -1
- package/dist/src/version.js +1 -1
- package/dist/src/viper.d.ts +10 -0
- package/dist/src/viper.js +37 -5
- package/dist/src/viper.js.map +1 -1
- package/dist/src/wallet.d.ts +1 -0
- package/dist/src/wallet.js +2 -1
- package/dist/src/wallet.js.map +1 -1
- package/package.json +4 -4
|
@@ -0,0 +1,174 @@
|
|
|
1
|
+
import { formatAmount, parseAmount } from "@intent-engine/core";
|
|
2
|
+
import { tool } from "./agent/names.js";
|
|
3
|
+
import { clusterUrl } from "./clusters.js";
|
|
4
|
+
export const SMOKE_SOL = "0.01";
|
|
5
|
+
export const SMOKE_RESERVE = "0.01";
|
|
6
|
+
export const SMOKE_WAIT = 40;
|
|
7
|
+
export const SMOKE_USAGE = "usage: bash scripts/mcp-smoke.sh <url> <hirer key> <worker key> <spec url>";
|
|
8
|
+
export const SMOKE_NOT_MAINNET = "mcp-smoke runs on devnet, testnet or localnet only, never mainnet";
|
|
9
|
+
export const SMOKE_SAME_KEY = "mcp-smoke needs two different keys: one for the hirer and one for the worker";
|
|
10
|
+
export const SMOKE_SPEC_HTTPS = "the spec url must be an https url";
|
|
11
|
+
const SOL_DECIMALS = 9;
|
|
12
|
+
export class SmokeUsage extends Error {
|
|
13
|
+
}
|
|
14
|
+
export class SmokeFailed extends Error {
|
|
15
|
+
step;
|
|
16
|
+
problem;
|
|
17
|
+
constructor(step, problem) {
|
|
18
|
+
super(`${step} failed: ${problem}`);
|
|
19
|
+
this.step = step;
|
|
20
|
+
this.problem = problem;
|
|
21
|
+
}
|
|
22
|
+
}
|
|
23
|
+
export function smokeOptions(argv) {
|
|
24
|
+
const [url, hirerKey, workerKey, specUrl, ...rest] = argv;
|
|
25
|
+
if (url === undefined || hirerKey === undefined || workerKey === undefined || specUrl === undefined || rest.length > 0) {
|
|
26
|
+
throw new SmokeUsage(SMOKE_USAGE);
|
|
27
|
+
}
|
|
28
|
+
if (/mainnet/i.test(clusterUrl(url))) {
|
|
29
|
+
throw new SmokeUsage(SMOKE_NOT_MAINNET);
|
|
30
|
+
}
|
|
31
|
+
if (hirerKey === workerKey) {
|
|
32
|
+
throw new SmokeUsage(SMOKE_SAME_KEY);
|
|
33
|
+
}
|
|
34
|
+
if (!specUrl.startsWith("https://")) {
|
|
35
|
+
throw new SmokeUsage(SMOKE_SPEC_HTTPS);
|
|
36
|
+
}
|
|
37
|
+
return { url: clusterUrl(url), hirerKey, workerKey, specUrl };
|
|
38
|
+
}
|
|
39
|
+
export const serverArgs = (url) => ["mcp", "--url", url, "--wallet", "--wallet-per-trade", `SOL=${SMOKE_SOL}`];
|
|
40
|
+
export const smokeWork = (specUrl, at) => `mcp smoke work for ${specUrl} at ${at}\n`;
|
|
41
|
+
export const missing = (field) => `the reply has no ${field}`;
|
|
42
|
+
export const notSent = "the reply does not say it was sent";
|
|
43
|
+
export const previewSent = "the preview says it was sent";
|
|
44
|
+
export const jobMissing = (intent) => `no listed job is the escrow ${intent}`;
|
|
45
|
+
export const specMismatch = (sha256, specHash) => `the spec hashes to ${sha256}, not the escrow's spec_hash ${specHash}`;
|
|
46
|
+
export const deliveryMissing = (sha256, worker) => `no delivery of ${sha256} by ${worker}`;
|
|
47
|
+
export const notReleased = "the escrow is not released";
|
|
48
|
+
export const releaseMismatch = (sha256) => `the release does not record the delivered sha256 ${sha256}`;
|
|
49
|
+
export const releaseOther = (receipt, attest) => `the receipt names the release ${receipt}, not ${attest}`;
|
|
50
|
+
export const tooPoor = (sol, needed) => `the hirer holds ${sol} SOL and needs at least ${needed}`;
|
|
51
|
+
function problemOf(value) {
|
|
52
|
+
const fields = (typeof value === "object" && value !== null ? value : {});
|
|
53
|
+
const head = `${String(fields["code"] ?? "Error")}: ${String(fields["hint"] ?? "")}`;
|
|
54
|
+
const issues = Array.isArray(fields["issues"])
|
|
55
|
+
? fields["issues"].map((issue) => `${String(issue["path"])} ${String(issue["message"])}`)
|
|
56
|
+
: [];
|
|
57
|
+
return issues.length === 0 ? head : `${head} (${issues.join("; ")})`;
|
|
58
|
+
}
|
|
59
|
+
function text(fields, field, step) {
|
|
60
|
+
const value = fields[field];
|
|
61
|
+
if (typeof value !== "string" || value === "") {
|
|
62
|
+
throw new SmokeFailed(step, missing(field));
|
|
63
|
+
}
|
|
64
|
+
return value;
|
|
65
|
+
}
|
|
66
|
+
export async function smoke(parties, run, report = () => undefined) {
|
|
67
|
+
const steps = [];
|
|
68
|
+
const done = (step, detail) => {
|
|
69
|
+
steps.push(step);
|
|
70
|
+
report(`ok ${step}: ${detail}`);
|
|
71
|
+
};
|
|
72
|
+
const call = async (step, caller, name, args) => {
|
|
73
|
+
let result;
|
|
74
|
+
try {
|
|
75
|
+
result = await caller(tool(name), args);
|
|
76
|
+
}
|
|
77
|
+
catch (error) {
|
|
78
|
+
throw new SmokeFailed(step, error instanceof Error ? error.message : String(error));
|
|
79
|
+
}
|
|
80
|
+
if (result.isError === true) {
|
|
81
|
+
throw new SmokeFailed(step, problemOf(result.structuredContent));
|
|
82
|
+
}
|
|
83
|
+
const value = result.structuredContent;
|
|
84
|
+
if (typeof value !== "object" || value === null) {
|
|
85
|
+
throw new SmokeFailed(step, missing("structured content"));
|
|
86
|
+
}
|
|
87
|
+
return value;
|
|
88
|
+
};
|
|
89
|
+
const send = async (step, caller, name, args) => {
|
|
90
|
+
const preview = await call(`${step} preview`, caller, name, args);
|
|
91
|
+
if (preview["sent"] !== false) {
|
|
92
|
+
throw new SmokeFailed(`${step} preview`, previewSent);
|
|
93
|
+
}
|
|
94
|
+
done(`${step} preview`, Array.isArray(preview["summary"]) ? String(preview["summary"][0]) : "shown");
|
|
95
|
+
const approval = typeof preview["approval"] === "string" ? { approval: preview["approval"] } : {};
|
|
96
|
+
const sent = await call(step, caller, name, { ...args, ...approval, send: true });
|
|
97
|
+
if (sent["sent"] !== true) {
|
|
98
|
+
throw new SmokeFailed(step, notSent);
|
|
99
|
+
}
|
|
100
|
+
return { ...preview, ...sent, signature: text(sent, "signature", step) };
|
|
101
|
+
};
|
|
102
|
+
const hirerWallet = await call("hirer wallet", parties.hirer, "wallet_balance", { mints: ["SOL"] });
|
|
103
|
+
const hirer = text(hirerWallet, "address", "hirer wallet");
|
|
104
|
+
const held = text(hirerWallet, "sol", "hirer wallet");
|
|
105
|
+
const needed = parseAmount(SMOKE_SOL, SOL_DECIMALS) + parseAmount(SMOKE_RESERVE, SOL_DECIMALS);
|
|
106
|
+
if (parseAmount(held, SOL_DECIMALS) < needed) {
|
|
107
|
+
throw new SmokeFailed("hirer wallet", tooPoor(held, formatAmount(needed, SOL_DECIMALS)));
|
|
108
|
+
}
|
|
109
|
+
done("hirer wallet", `${hirer} holds ${held} SOL`);
|
|
110
|
+
const worker = text(await call("worker wallet", parties.worker, "wallet_balance", { mints: ["SOL"] }), "address", "worker wallet");
|
|
111
|
+
done("worker wallet", worker);
|
|
112
|
+
const specHash = text(await call("spec hash", parties.hirer, "hash", { text: run.specText }), "sha256", "spec hash");
|
|
113
|
+
done("spec hash", specHash);
|
|
114
|
+
const escrow = await send("escrow", parties.hirer, "wallet_escrow", {
|
|
115
|
+
sell: "SOL",
|
|
116
|
+
amount: SMOKE_SOL,
|
|
117
|
+
attestor: hirer,
|
|
118
|
+
min_result: "1",
|
|
119
|
+
max_result: "1",
|
|
120
|
+
spec_hash: specHash,
|
|
121
|
+
spec_url: run.specUrl,
|
|
122
|
+
});
|
|
123
|
+
const intent = text(escrow, "intent", "escrow");
|
|
124
|
+
const nonce = text(escrow, "nonce", "escrow");
|
|
125
|
+
done("escrow", `${intent} nonce ${nonce} in ${String(escrow["signature"])}`);
|
|
126
|
+
const listed = await call("find job", parties.worker, "find_jobs", { attestor: hirer, wait: run.wait });
|
|
127
|
+
const jobs = Array.isArray(listed["jobs"]) ? listed["jobs"] : [];
|
|
128
|
+
const job = jobs.find((j) => j["intent"] === intent);
|
|
129
|
+
if (job === undefined) {
|
|
130
|
+
throw new SmokeFailed("find job", jobMissing(intent));
|
|
131
|
+
}
|
|
132
|
+
if (job["spec_url"] !== run.specUrl) {
|
|
133
|
+
throw new SmokeFailed("find job", missing(`spec_url ${run.specUrl}`));
|
|
134
|
+
}
|
|
135
|
+
if (job["spec_hash"] !== specHash) {
|
|
136
|
+
throw new SmokeFailed("find job", missing(`spec_hash ${specHash}`));
|
|
137
|
+
}
|
|
138
|
+
done("find job", `${intent} pays ${String(job["net_pay"])}`);
|
|
139
|
+
const spec = await call("get spec", parties.worker, "get_spec", { intent });
|
|
140
|
+
const fetched = text(spec, "sha256", "get spec");
|
|
141
|
+
if (spec["matches"] !== true || fetched !== specHash) {
|
|
142
|
+
throw new SmokeFailed("get spec", specMismatch(fetched, specHash));
|
|
143
|
+
}
|
|
144
|
+
done("get spec", `matches ${specHash}`);
|
|
145
|
+
const work = text(await call("hash work", parties.worker, "hash", { text: run.work }), "sha256", "hash work");
|
|
146
|
+
done("hash work", work);
|
|
147
|
+
const delivered = await send("deliver", parties.worker, "wallet_deliver", { intent, sha256: work, url: run.workUrl });
|
|
148
|
+
done("deliver", `announced in ${String(delivered["signature"])}`);
|
|
149
|
+
const checked = await call("check delivery", parties.worker, "wallet_check_delivery", { intent, sha256: work });
|
|
150
|
+
const own = typeof checked["own"] === "object" && checked["own"] !== null ? checked["own"] : {};
|
|
151
|
+
if (own["landed"] !== true || own["earliest"] !== true) {
|
|
152
|
+
throw new SmokeFailed("check delivery", deliveryMissing(work, worker));
|
|
153
|
+
}
|
|
154
|
+
done("check delivery", `${work} by ${worker}`);
|
|
155
|
+
const attested = await send("attest", parties.hirer, "wallet_attest", { owner: hirer, nonce, pay_to: worker, delivered_sha256: work });
|
|
156
|
+
const release = String(attested["signature"]);
|
|
157
|
+
done("attest", `paid ${String(attested["paid"])} in ${release}`);
|
|
158
|
+
const receipt = await call("receipt", parties.worker, "wallet_receipt", { owner: hirer, nonce, sha256: work, wait: run.wait });
|
|
159
|
+
if (receipt["released"] !== true) {
|
|
160
|
+
throw new SmokeFailed("receipt", notReleased);
|
|
161
|
+
}
|
|
162
|
+
if (receipt["matches"] !== true) {
|
|
163
|
+
throw new SmokeFailed("receipt", releaseMismatch(work));
|
|
164
|
+
}
|
|
165
|
+
const seen = text(receipt, "signature", "receipt");
|
|
166
|
+
if (seen !== release) {
|
|
167
|
+
throw new SmokeFailed("receipt", releaseOther(seen, release));
|
|
168
|
+
}
|
|
169
|
+
done("receipt", `released in ${release}`);
|
|
170
|
+
const unwrapped = await send("unwrap", parties.worker, "wallet_unwrap", {});
|
|
171
|
+
done("unwrap", `${String(unwrapped["wrapped"])} SOL in ${String(unwrapped["signature"])}`);
|
|
172
|
+
return { intent, release, steps };
|
|
173
|
+
}
|
|
174
|
+
//# sourceMappingURL=mcp-smoke.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mcp-smoke.js","sourceRoot":"","sources":["../../src/mcp-smoke.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAW3C,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC;AAChC,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC;AACpC,MAAM,CAAC,MAAM,UAAU,GAAG,EAAE,CAAC;AAC7B,MAAM,CAAC,MAAM,WAAW,GAAG,4EAA4E,CAAC;AACxG,MAAM,CAAC,MAAM,iBAAiB,GAAG,mEAAmE,CAAC;AACrG,MAAM,CAAC,MAAM,cAAc,GAAG,8EAA8E,CAAC;AAC7G,MAAM,CAAC,MAAM,gBAAgB,GAAG,mCAAmC,CAAC;AAEpE,MAAM,YAAY,GAAG,CAAC,CAAC;AAEvB,MAAM,OAAO,UAAW,SAAQ,KAAK;CAAG;AAExC,MAAM,OAAO,WAAY,SAAQ,KAAK;IAEzB,IAAI;IACJ,OAAO;IAFlB,YACW,IAAY,EACZ,OAAe;QAExB,KAAK,CAAC,GAAG,IAAI,YAAY,OAAO,EAAE,CAAC,CAAC;oBAH3B,IAAI;uBACJ,OAAO;IAGlB,CAAC;CACF;AAED,MAAM,UAAU,YAAY,CAAC,IAAuB;IAClD,MAAM,CAAC,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC1D,IAAI,GAAG,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvH,MAAM,IAAI,UAAU,CAAC,WAAW,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,UAAU,CAAC,iBAAiB,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,UAAU,CAAC,cAAc,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,UAAU,CAAC,gBAAgB,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;AAChE,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,GAAW,EAAY,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,oBAAoB,EAAE,OAAO,SAAS,EAAE,CAAC,CAAC;AAEjI,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,OAAe,EAAE,EAAU,EAAU,EAAE,CAAC,sBAAsB,OAAO,OAAO,EAAE,IAAI,CAAC;AAE7G,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,oBAAoB,KAAK,EAAE,CAAC;AAC9E,MAAM,CAAC,MAAM,OAAO,GAAG,oCAAoC,CAAC;AAC5D,MAAM,CAAC,MAAM,WAAW,GAAG,8BAA8B,CAAC;AAC1D,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,+BAA+B,MAAM,EAAE,CAAC;AAC9F,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,QAAgB,EAAU,EAAE,CAAC,sBAAsB,MAAM,gCAAgC,QAAQ,EAAE,CAAC;AACjJ,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAc,EAAE,MAAc,EAAU,EAAE,CAAC,kBAAkB,MAAM,OAAO,MAAM,EAAE,CAAC;AACnH,MAAM,CAAC,MAAM,WAAW,GAAG,4BAA4B,CAAC;AACxD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,oDAAoD,MAAM,EAAE,CAAC;AACxH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,OAAe,EAAE,MAAc,EAAU,EAAE,CAAC,iCAAiC,OAAO,SAAS,MAAM,EAAE,CAAC;AACnI,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,MAAc,EAAU,EAAE,CAAC,mBAAmB,GAAG,2BAA2B,MAAM,EAAE,CAAC;AAE1H,SAAS,SAAS,CAAC,KAAc;IAC/B,MAAM,MAAM,GAAG,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAW,CAAC;IACpF,MAAM,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;IACrF,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC5C,CAAC,CAAE,MAAM,CAAC,QAAQ,CAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QACvG,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACvE,CAAC;AAED,SAAS,IAAI,CAAC,MAAc,EAAE,KAAa,EAAE,IAAY;IACvD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;QAC9C,MAAM,IAAI,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,KAAK,CAAC,OAAqB,EAAE,GAAa,EAAE,MAAM,GAA2B,GAAG,EAAE,CAAC,SAAS;IAChH,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,MAAc,EAAE,EAAE;QAC5C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,MAAM,CAAC,MAAM,IAAI,KAAK,MAAM,EAAE,CAAC,CAAC;IAClC,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,KAAK,EAAE,IAAY,EAAE,MAAkB,EAAE,IAAY,EAAE,IAAY,EAAmB,EAAE;QACnG,IAAI,MAAkB,CAAC;QACvB,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;QAC1C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,WAAW,CAAC,IAAI,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACtF,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAC5B,MAAM,IAAI,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,iBAAiB,CAAC;QACvC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAChD,MAAM,IAAI,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO,KAAe,CAAC;IACzB,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,KAAK,EAAE,IAAY,EAAE,MAAkB,EAAE,IAAY,EAAE,IAAY,EAAmB,EAAE;QACnG,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,GAAG,IAAI,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAClE,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;YAC9B,MAAM,IAAI,WAAW,CAAC,GAAG,IAAI,UAAU,EAAE,WAAW,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,CAAC,GAAG,IAAI,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACrG,MAAM,QAAQ,GAAG,OAAO,OAAO,CAAC,UAAU,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClG,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAClF,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;YAC1B,MAAM,IAAI,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,EAAE,GAAG,OAAO,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,CAAC;IAC3E,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,KAAK,EAAE,gBAAgB,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpG,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,WAAW,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,WAAW,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;IAC/F,IAAI,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,GAAG,MAAM,EAAE,CAAC;QAC7C,MAAM,IAAI,WAAW,CAAC,cAAc,EAAE,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,CAAC,cAAc,EAAE,GAAG,KAAK,UAAU,IAAI,MAAM,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,eAAe,EAAE,OAAO,CAAC,MAAM,EAAE,gBAAgB,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC;IACnI,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;IAE9B,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;IACrH,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IAE5B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,EAAE,eAAe,EAAE;QAClE,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,SAAS;QACjB,QAAQ,EAAE,KAAK;QACf,UAAU,EAAE,GAAG;QACf,UAAU,EAAE,GAAG;QACf,SAAS,EAAE,QAAQ;QACnB,QAAQ,EAAE,GAAG,CAAC,OAAO;KACtB,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC9C,IAAI,CAAC,QAAQ,EAAE,GAAG,MAAM,UAAU,KAAK,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;IAE7E,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IACxG,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,MAAM,CAAC,MAAM,CAAc,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/E,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,MAAM,CAAC,CAAC;IACrD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,IAAI,WAAW,CAAC,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,IAAI,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,YAAY,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,GAAG,CAAC,WAAW,CAAC,KAAK,QAAQ,EAAE,CAAC;QAClC,MAAM,IAAI,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,CAAC,UAAU,EAAE,GAAG,MAAM,SAAS,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC;IAE7D,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IAC5E,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACrD,MAAM,IAAI,WAAW,CAAC,UAAU,EAAE,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,CAAC,UAAU,EAAE,WAAW,QAAQ,EAAE,CAAC,CAAC;IAExC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;IAC9G,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAExB,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE,gBAAgB,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;IACtH,IAAI,CAAC,SAAS,EAAE,gBAAgB,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;IAElE,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,gBAAgB,EAAE,OAAO,CAAC,MAAM,EAAE,uBAAuB,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAChH,MAAM,GAAG,GAAG,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,CAAE,OAAO,CAAC,KAAK,CAAY,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5G,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QACvD,MAAM,IAAI,WAAW,CAAC,gBAAgB,EAAE,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,CAAC,gBAAgB,EAAE,GAAG,IAAI,OAAO,MAAM,EAAE,CAAC,CAAC;IAE/C,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC;IACvI,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,QAAQ,EAAE,QAAQ,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,OAAO,EAAE,CAAC,CAAC;IAEjE,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE,gBAAgB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/H,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QACjC,MAAM,IAAI,WAAW,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;QAChC,MAAM,IAAI,WAAW,CAAC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;IACnD,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,MAAM,IAAI,WAAW,CAAC,SAAS,EAAE,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,CAAC,SAAS,EAAE,eAAe,OAAO,EAAE,CAAC,CAAC;IAE1C,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,eAAe,EAAE,EAAE,CAAC,CAAC;IAC5E,IAAI,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,WAAW,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;IAE3F,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AACpC,CAAC"}
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
import { type Recorded } from "./process-table.js";
|
|
2
|
+
export declare const quietly: (pid: number) => void;
|
|
3
|
+
export type Watch = {
|
|
4
|
+
pid: number;
|
|
5
|
+
started: number | null;
|
|
6
|
+
recorded: Recorded;
|
|
7
|
+
alive: boolean;
|
|
8
|
+
marker: string | undefined;
|
|
9
|
+
cwd: string | undefined;
|
|
10
|
+
};
|
|
11
|
+
export declare const leftRunning: (pids: readonly number[]) => string;
|
|
12
|
+
export declare const stillRunning: (pids: readonly number[]) => string;
|
|
13
|
+
export declare const warn: (text: string) => void;
|
|
14
|
+
export declare function sweep(watch: Watch, report: boolean): Promise<number[]>;
|
|
15
|
+
export declare function taskkill(pid: number): Promise<void>;
|
|
@@ -0,0 +1,121 @@
|
|
|
1
|
+
import { spawn } from "node:child_process";
|
|
2
|
+
import { readFile, readlink } from "node:fs/promises";
|
|
3
|
+
import { claim, living, processTable } from "./process-table.js";
|
|
4
|
+
const SESSION_ROUNDS = 10;
|
|
5
|
+
const ROUND_PAUSE_MS = 10;
|
|
6
|
+
export const quietly = (pid) => {
|
|
7
|
+
try {
|
|
8
|
+
process.kill(pid, "SIGKILL");
|
|
9
|
+
}
|
|
10
|
+
catch {
|
|
11
|
+
return;
|
|
12
|
+
}
|
|
13
|
+
};
|
|
14
|
+
function pkillSession(session) {
|
|
15
|
+
return new Promise((done) => {
|
|
16
|
+
const killer = spawn("pkill", ["-KILL", "-s", String(session)], { stdio: "ignore" });
|
|
17
|
+
killer.once("error", () => done());
|
|
18
|
+
killer.once("exit", () => done());
|
|
19
|
+
});
|
|
20
|
+
}
|
|
21
|
+
function listed(command, args) {
|
|
22
|
+
return new Promise((done) => {
|
|
23
|
+
const lister = spawn(command, args, { stdio: ["ignore", "pipe", "ignore"] });
|
|
24
|
+
let out = "";
|
|
25
|
+
lister.stdout.setEncoding("utf8");
|
|
26
|
+
lister.stdout.on("data", (chunk) => {
|
|
27
|
+
out += chunk;
|
|
28
|
+
});
|
|
29
|
+
lister.once("error", () => done(null));
|
|
30
|
+
lister.once("close", (code) => {
|
|
31
|
+
done(code === 0 || code === 1 ? out.split(/\s+/).filter((field) => /^\d+$/.test(field)).map(Number) : null);
|
|
32
|
+
});
|
|
33
|
+
});
|
|
34
|
+
}
|
|
35
|
+
async function sessionMembers(session) {
|
|
36
|
+
const found = (await listed("pgrep", ["-s", String(session)])) ?? (await listed("ps", ["-o", "pid=", "-g", String(session)])) ?? [];
|
|
37
|
+
return [...new Set(found)].filter((pid) => pid !== process.pid && pid !== session);
|
|
38
|
+
}
|
|
39
|
+
async function marked(running, watch) {
|
|
40
|
+
if (watch.marker !== undefined) {
|
|
41
|
+
try {
|
|
42
|
+
if ((await readFile(`/proc/${running.pid}/environ`, "utf8")).split("\0").includes(watch.marker)) {
|
|
43
|
+
return true;
|
|
44
|
+
}
|
|
45
|
+
}
|
|
46
|
+
catch {
|
|
47
|
+
return false;
|
|
48
|
+
}
|
|
49
|
+
}
|
|
50
|
+
if (watch.cwd !== undefined) {
|
|
51
|
+
try {
|
|
52
|
+
const at = await readlink(`/proc/${running.pid}/cwd`);
|
|
53
|
+
return at === watch.cwd || at.startsWith(`${watch.cwd}/`);
|
|
54
|
+
}
|
|
55
|
+
catch {
|
|
56
|
+
return false;
|
|
57
|
+
}
|
|
58
|
+
}
|
|
59
|
+
return false;
|
|
60
|
+
}
|
|
61
|
+
export const leftRunning = (pids) => `warning: the check left processes running that the judge could not tie to it, so it did not kill them: ${pids.join(", ")}; stop them by hand`;
|
|
62
|
+
export const stillRunning = (pids) => `warning: processes started by the check were still running after ${SESSION_ROUNDS} kill rounds: ${pids.join(", ")}; stop them by hand`;
|
|
63
|
+
async function escapedFrom(table, owned, watch) {
|
|
64
|
+
const { started } = watch;
|
|
65
|
+
if (started === null) {
|
|
66
|
+
return [];
|
|
67
|
+
}
|
|
68
|
+
const ours = new Set(owned.map((running) => running.pid));
|
|
69
|
+
const candidates = table.filter((running) => living(running) && running.pid !== process.pid && !ours.has(running.pid) && running.started >= started);
|
|
70
|
+
const found = await Promise.all(candidates.map(async (running) => ((await marked(running, watch)) ? running.pid : null)));
|
|
71
|
+
return found.filter((pid) => pid !== null);
|
|
72
|
+
}
|
|
73
|
+
export const warn = (text) => {
|
|
74
|
+
process.stderr.write(`${text}\n`);
|
|
75
|
+
};
|
|
76
|
+
export async function sweep(watch, report) {
|
|
77
|
+
for (let round = 0; round <= SESSION_ROUNDS; round++) {
|
|
78
|
+
const table = await processTable();
|
|
79
|
+
if (table === null || watch.started === null) {
|
|
80
|
+
if (watch.alive) {
|
|
81
|
+
quietly(-watch.pid);
|
|
82
|
+
await pkillSession(watch.pid);
|
|
83
|
+
return [];
|
|
84
|
+
}
|
|
85
|
+
if (!report) {
|
|
86
|
+
return [];
|
|
87
|
+
}
|
|
88
|
+
const left = await sessionMembers(watch.pid);
|
|
89
|
+
if (left.length > 0) {
|
|
90
|
+
warn(leftRunning(left));
|
|
91
|
+
}
|
|
92
|
+
return left;
|
|
93
|
+
}
|
|
94
|
+
const owned = claim(table, watch.recorded);
|
|
95
|
+
const live = owned.filter(living);
|
|
96
|
+
if (live.length === 0 || round === SESSION_ROUNDS) {
|
|
97
|
+
if (live.length > 0) {
|
|
98
|
+
warn(stillRunning(live.map((running) => running.pid)));
|
|
99
|
+
}
|
|
100
|
+
if (!report) {
|
|
101
|
+
return [];
|
|
102
|
+
}
|
|
103
|
+
const escaped = await escapedFrom(table, owned, watch);
|
|
104
|
+
if (escaped.length > 0) {
|
|
105
|
+
warn(leftRunning(escaped));
|
|
106
|
+
}
|
|
107
|
+
return escaped;
|
|
108
|
+
}
|
|
109
|
+
live.forEach((running) => quietly(running.pid));
|
|
110
|
+
await new Promise((wake) => setTimeout(wake, round * ROUND_PAUSE_MS));
|
|
111
|
+
}
|
|
112
|
+
return [];
|
|
113
|
+
}
|
|
114
|
+
export function taskkill(pid) {
|
|
115
|
+
return new Promise((done) => {
|
|
116
|
+
const killer = spawn("taskkill", ["/pid", String(pid), "/T", "/F"], { stdio: "ignore", windowsHide: true });
|
|
117
|
+
killer.once("error", () => done());
|
|
118
|
+
killer.once("exit", () => done());
|
|
119
|
+
});
|
|
120
|
+
}
|
|
121
|
+
//# sourceMappingURL=process-reap.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"process-reap.js","sourceRoot":"","sources":["../../src/process-reap.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAA+B,MAAM,oBAAoB,CAAC;AAE9F,MAAM,cAAc,GAAG,EAAE,CAAC;AAC1B,MAAM,cAAc,GAAG,EAAE,CAAC;AAE1B,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,EAAE;IACrC,IAAI,CAAC;QACH,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;IACT,CAAC;AACH,CAAC,CAAC;AAEF,SAAS,YAAY,CAAC,OAAe;IACnC,OAAO,IAAI,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC1B,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;QACrF,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QACnC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,MAAM,CAAC,OAAe,EAAE,IAAuB;IACtD,OAAO,IAAI,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC1B,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC7E,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE;YACzC,GAAG,IAAI,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;YAC5B,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9G,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,OAAe;IAC3C,MAAM,KAAK,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACpI,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,OAAO,CAAC,GAAG,IAAI,GAAG,KAAK,OAAO,CAAC,CAAC;AACrF,CAAC;AAID,KAAK,UAAU,MAAM,CAAC,OAAgB,EAAE,KAAY;IAClD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC;YACH,IAAI,CAAC,MAAM,QAAQ,CAAC,SAAS,OAAO,CAAC,GAAG,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBAChG,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,MAAM,EAAE,GAAG,MAAM,QAAQ,CAAC,SAAS,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC;YACtD,OAAO,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;QAC5D,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAuB,EAAU,EAAE,CAC7D,0GAA0G,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC;AAEjJ,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAuB,EAAU,EAAE,CAC9D,oEAAoE,cAAc,iBAAiB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC;AAE1I,KAAK,UAAU,WAAW,CAAC,KAAyB,EAAE,KAAyB,EAAE,KAAY;IAC3F,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC1B,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,GAAG,KAAK,OAAO,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,CAAC;IACrJ,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1H,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAE;IACnC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,CAAC,KAAK,UAAU,KAAK,CAAC,KAAY,EAAE,MAAe;IACvD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,cAAc,EAAE,KAAK,EAAE,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,MAAM,YAAY,EAAE,CAAC;QACnC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAC7C,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAChB,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBACpB,MAAM,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC9B,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC7C,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;YAC1B,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,KAAK,cAAc,EAAE,CAAC;YAClD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACzD,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YACvD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;YAC7B,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,MAAM,IAAI,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,GAAW;IAClC,OAAO,IAAI,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC1B,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5G,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QACnC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC"}
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
export type Running = {
|
|
2
|
+
pid: number;
|
|
3
|
+
parent: number;
|
|
4
|
+
group: number;
|
|
5
|
+
session: number;
|
|
6
|
+
started: number;
|
|
7
|
+
zombie: boolean;
|
|
8
|
+
};
|
|
9
|
+
export type Recorded = {
|
|
10
|
+
started: Map<number, number>;
|
|
11
|
+
leaders: Map<number, number>;
|
|
12
|
+
};
|
|
13
|
+
export declare function statOf(pid: number): Running | null;
|
|
14
|
+
export declare function processTable(): Promise<Running[] | null>;
|
|
15
|
+
export declare const living: (running: Running) => boolean;
|
|
16
|
+
export declare function claim(table: readonly Running[], recorded: Recorded): Running[];
|
|
@@ -0,0 +1,78 @@
|
|
|
1
|
+
import { readFileSync } from "node:fs";
|
|
2
|
+
import { readdir, readFile } from "node:fs/promises";
|
|
3
|
+
const STARTED_FIELD = 19;
|
|
4
|
+
function parseStat(pid, line) {
|
|
5
|
+
const fields = line.slice(line.lastIndexOf(")") + 2).split(" ");
|
|
6
|
+
const [state, parent, group, session] = fields;
|
|
7
|
+
return { pid, parent: Number(parent), group: Number(group), session: Number(session), started: Number(fields[STARTED_FIELD]), zombie: state === "Z" };
|
|
8
|
+
}
|
|
9
|
+
export function statOf(pid) {
|
|
10
|
+
try {
|
|
11
|
+
return parseStat(pid, readFileSync(`/proc/${pid}/stat`, "utf8"));
|
|
12
|
+
}
|
|
13
|
+
catch {
|
|
14
|
+
return null;
|
|
15
|
+
}
|
|
16
|
+
}
|
|
17
|
+
export async function processTable() {
|
|
18
|
+
let entries;
|
|
19
|
+
try {
|
|
20
|
+
entries = await readdir("/proc");
|
|
21
|
+
}
|
|
22
|
+
catch {
|
|
23
|
+
return null;
|
|
24
|
+
}
|
|
25
|
+
const found = await Promise.all(entries
|
|
26
|
+
.filter((entry) => /^\d+$/.test(entry))
|
|
27
|
+
.map(async (entry) => {
|
|
28
|
+
try {
|
|
29
|
+
return parseStat(Number(entry), await readFile(`/proc/${entry}/stat`, "utf8"));
|
|
30
|
+
}
|
|
31
|
+
catch {
|
|
32
|
+
return null;
|
|
33
|
+
}
|
|
34
|
+
}));
|
|
35
|
+
return found.filter((running) => running !== null);
|
|
36
|
+
}
|
|
37
|
+
export const living = (running) => !running.zombie;
|
|
38
|
+
export function claim(table, recorded) {
|
|
39
|
+
const byPid = new Map(table.map((running) => [running.pid, running]));
|
|
40
|
+
for (const records of [recorded.started, recorded.leaders]) {
|
|
41
|
+
for (const [pid, started] of records) {
|
|
42
|
+
if ((byPid.get(pid)?.started ?? started) !== started) {
|
|
43
|
+
records.delete(pid);
|
|
44
|
+
}
|
|
45
|
+
}
|
|
46
|
+
}
|
|
47
|
+
const leads = (leader) => {
|
|
48
|
+
const started = recorded.started.get(leader);
|
|
49
|
+
return started !== undefined && byPid.get(leader)?.started === started;
|
|
50
|
+
};
|
|
51
|
+
const owned = new Set();
|
|
52
|
+
const inSession = (running) => {
|
|
53
|
+
if (owned.has(running.session)) {
|
|
54
|
+
return true;
|
|
55
|
+
}
|
|
56
|
+
const started = recorded.leaders.get(running.session);
|
|
57
|
+
return started !== undefined && !byPid.has(running.session) && running.started >= started;
|
|
58
|
+
};
|
|
59
|
+
let grew = true;
|
|
60
|
+
while (grew) {
|
|
61
|
+
grew = false;
|
|
62
|
+
for (const running of table) {
|
|
63
|
+
if (running.pid !== process.pid && !owned.has(running.pid) && (leads(running.pid) || owned.has(running.parent) || inSession(running) || leads(running.group))) {
|
|
64
|
+
owned.add(running.pid);
|
|
65
|
+
grew = true;
|
|
66
|
+
}
|
|
67
|
+
}
|
|
68
|
+
}
|
|
69
|
+
const claimed = table.filter((running) => owned.has(running.pid));
|
|
70
|
+
for (const running of claimed) {
|
|
71
|
+
recorded.started.set(running.pid, running.started);
|
|
72
|
+
if (running.pid === running.session) {
|
|
73
|
+
recorded.leaders.set(running.pid, running.started);
|
|
74
|
+
}
|
|
75
|
+
}
|
|
76
|
+
return claimed;
|
|
77
|
+
}
|
|
78
|
+
//# sourceMappingURL=process-table.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"process-table.js","sourceRoot":"","sources":["../../src/process-table.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAErD,MAAM,aAAa,GAAG,EAAE,CAAC;AAMzB,SAAS,SAAS,CAAC,GAAW,EAAE,IAAY;IAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAChE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC;IAC/C,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,KAAK,GAAG,EAAE,CAAC;AACxJ,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,GAAW;IAChC,IAAI,CAAC;QACH,OAAO,SAAS,CAAC,GAAG,EAAE,YAAY,CAAC,SAAS,GAAG,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IACnE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY;IAChC,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAC7B,OAAO;SACJ,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;SACtC,GAAG,CAAC,KAAK,EAAE,KAAK,EAA2B,EAAE;QAC5C,IAAI,CAAC;YACH,OAAO,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,QAAQ,CAAC,SAAS,KAAK,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;QACjF,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC,CAAC,CACL,CAAC;IACF,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,OAAgB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;AAE5D,MAAM,UAAU,KAAK,CAAC,KAAyB,EAAE,QAAkB;IACjE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACtE,KAAK,MAAM,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3D,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,OAAO,EAAE,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,IAAI,OAAO,CAAC,KAAK,OAAO,EAAE,CAAC;gBACrD,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,MAAc,EAAE,EAAE;QAC/B,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7C,OAAO,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC;IACzE,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,SAAS,GAAG,CAAC,OAAgB,EAAE,EAAE;QACrC,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACtD,OAAO,OAAO,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC;IAC5F,CAAC,CAAC;IACF,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,GAAG,KAAK,CAAC;QACb,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;YAC5B,IAAI,OAAO,CAAC,GAAG,KAAK,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC9J,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACvB,IAAI,GAAG,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IAClE,KAAK,MAAM,OAAO,IAAI,OAAO,EAAE,CAAC;QAC9B,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QACnD,IAAI,OAAO,CAAC,GAAG,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC;YACpC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}
|
|
@@ -1,9 +1,15 @@
|
|
|
1
|
-
import { createClient, feedbackInstructions } from "@intent-engine/client";
|
|
1
|
+
import { createClient, feedbackInstructions, trustOf } from "@intent-engine/client";
|
|
2
2
|
import { previewed } from "./admin-commands.js";
|
|
3
|
+
import { trustView } from "./agent/reputation.js";
|
|
3
4
|
export async function reputationCommand(command, runtime, transport) {
|
|
4
5
|
switch (command.name) {
|
|
5
|
-
case "reputation":
|
|
6
|
-
|
|
6
|
+
case "reputation": {
|
|
7
|
+
const rep = await createClient({ url: command.url, transport }).reputation(command.worker, { pages: command.maxPages });
|
|
8
|
+
if (command.reader === undefined) {
|
|
9
|
+
return rep;
|
|
10
|
+
}
|
|
11
|
+
return { ...rep, trust: trustView(await trustOf(transport, command.reader, command.worker, { pages: command.maxPages, seeds: command.seeds })) };
|
|
12
|
+
}
|
|
7
13
|
case "feedback": {
|
|
8
14
|
const owner = await runtime.loadSigner(command.keypair);
|
|
9
15
|
const input = { owner, intent: command.intent, score: command.score, ...(command.note === undefined ? {} : { note: command.note }) };
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"reputation-commands.js","sourceRoot":"","sources":["../../src/reputation-commands.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,oBAAoB,EAAkB,MAAM,uBAAuB,CAAC;
|
|
1
|
+
{"version":3,"file":"reputation-commands.js","sourceRoot":"","sources":["../../src/reputation-commands.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,oBAAoB,EAAkB,OAAO,EAAE,MAAM,uBAAuB,CAAC;AACpG,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAMlD,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,OAA0B,EAAE,OAAgB,EAAE,SAAoB;IACxG,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,YAAY,EAAE,CAAC;YAClB,MAAM,GAAG,GAAG,MAAM,YAAY,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;YACxH,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBACjC,OAAO,GAAG,CAAC;YACb,CAAC;YACD,OAAO,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;QACnJ,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACxD,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YACrI,MAAM,YAAY,GAAG,MAAM,oBAAoB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YAClE,MAAM,OAAO,GAAG;gBACd,sCAAsC,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,oCAAoC,KAAK,CAAC,OAAO,EAAE;gBACxH,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,+BAA+B,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;gBACtF,8EAA8E;aAC/E,CAAC;YACF,OAAO,SAAS,CAAC,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3H,CAAC;IACH,CAAC;AACH,CAAC"}
|
package/dist/src/trust-args.js
CHANGED
|
@@ -62,7 +62,18 @@ export function committeeOf(sub, remote, values) {
|
|
|
62
62
|
}
|
|
63
63
|
export function reputationOf(sub, remote, values) {
|
|
64
64
|
noSub(sub);
|
|
65
|
-
|
|
65
|
+
const seeds = (values.seed ?? []).map((seed) => parseAddress(seed, "seed"));
|
|
66
|
+
if (values.reader === undefined && seeds.length > 0) {
|
|
67
|
+
throw new UsageError("--seed needs --reader");
|
|
68
|
+
}
|
|
69
|
+
return {
|
|
70
|
+
name: "reputation",
|
|
71
|
+
...remote,
|
|
72
|
+
worker: key(values, "worker"),
|
|
73
|
+
maxPages: maxPagesOf(values),
|
|
74
|
+
...(values.reader === undefined ? {} : { reader: key(values, "reader") }),
|
|
75
|
+
seeds,
|
|
76
|
+
};
|
|
66
77
|
}
|
|
67
78
|
export function feedbackOf(sub, remote, values) {
|
|
68
79
|
noSub(sub);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"trust-args.js","sourceRoot":"","sources":["../../src/trust-args.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,OAAO,EACL,YAAY,EACZ,eAAe,EACf,cAAc,EACd,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,WAAW,EACX,oBAAoB,GACrB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,OAAO,EAAE,eAAe,EAAe,MAAM,kBAAkB,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,GAAG,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACzI,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGnD,MAAM,CAAC,MAAM,cAAc,GAAG,+CAA+C,CAAC;AAE9E,SAAS,OAAO,CAAC,MAAc;IAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;IAChC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,UAAU,CAAC,oDAAoD,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,MAAc;IAC/B,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC;IACpE,IAAI,OAAO,CAAC,MAAM,GAAG,qBAAqB,EAAE,CAAC;QAC3C,MAAM,IAAI,UAAU,CAAC,2BAA2B,qBAAqB,YAAY,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,GAAuB,EAAE,MAAc,EAAE,MAAc;IACjF,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YAClC,OAAO;gBACL,IAAI,EAAE,kBAAkB;gBACxB,GAAG,MAAM;gBACT,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;gBACpC,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,IAAI;gBACxB,OAAO;gBACP,SAAS,EAAE,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;gBACtF,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC;aACrC,CAAC;QACJ,CAAC;QACD,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;QACpF,KAAK,MAAM;YACT,OAAO;gBACL,IAAI,EAAE,gBAAgB;gBACtB,GAAG,MAAM;gBACT,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;gBACpC,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,IAAI;gBACxB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC;gBAC3B,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC;gBAC3B,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBAC5B,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBAC7B,GAAG,EAAE,MAAM,CAAC,GAAG;aAChB,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO;gBACL,IAAI,EAAE,mBAAmB;gBACzB,GAAG,MAAM;gBACT,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;gBACpC,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,IAAI;gBACxB,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC;gBACtB,MAAM,EAAE,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;gBACzE,GAAG,YAAY,CAAC,MAAM,CAAC;aACxB,CAAC;QACJ;YACE,MAAM,IAAI,UAAU,CAAC,cAAc,CAAC,CAAC;IACzC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,GAAuB,EAAE,MAAc,EAAE,MAAc;IAClF,KAAK,CAAC,GAAG,CAAC,CAAC;IACX,
|
|
1
|
+
{"version":3,"file":"trust-args.js","sourceRoot":"","sources":["../../src/trust-args.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,OAAO,EACL,YAAY,EACZ,eAAe,EACf,cAAc,EACd,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,WAAW,EACX,oBAAoB,GACrB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,OAAO,EAAE,eAAe,EAAe,MAAM,kBAAkB,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,GAAG,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACzI,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGnD,MAAM,CAAC,MAAM,cAAc,GAAG,+CAA+C,CAAC;AAE9E,SAAS,OAAO,CAAC,MAAc;IAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;IAChC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,UAAU,CAAC,oDAAoD,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,MAAc;IAC/B,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC;IACpE,IAAI,OAAO,CAAC,MAAM,GAAG,qBAAqB,EAAE,CAAC;QAC3C,MAAM,IAAI,UAAU,CAAC,2BAA2B,qBAAqB,YAAY,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,GAAuB,EAAE,MAAc,EAAE,MAAc;IACjF,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YAClC,OAAO;gBACL,IAAI,EAAE,kBAAkB;gBACxB,GAAG,MAAM;gBACT,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;gBACpC,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,IAAI;gBACxB,OAAO;gBACP,SAAS,EAAE,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;gBACtF,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC;aACrC,CAAC;QACJ,CAAC;QACD,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;QACpF,KAAK,MAAM;YACT,OAAO;gBACL,IAAI,EAAE,gBAAgB;gBACtB,GAAG,MAAM;gBACT,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;gBACpC,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,IAAI;gBACxB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC;gBAC3B,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC;gBAC3B,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBAC5B,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBAC7B,GAAG,EAAE,MAAM,CAAC,GAAG;aAChB,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO;gBACL,IAAI,EAAE,mBAAmB;gBACzB,GAAG,MAAM;gBACT,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;gBACpC,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,IAAI;gBACxB,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC;gBACtB,MAAM,EAAE,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;gBACzE,GAAG,YAAY,CAAC,MAAM,CAAC;aACxB,CAAC;QACJ;YACE,MAAM,IAAI,UAAU,CAAC,cAAc,CAAC,CAAC;IACzC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,GAAuB,EAAE,MAAc,EAAE,MAAc;IAClF,KAAK,CAAC,GAAG,CAAC,CAAC;IACX,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5E,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,UAAU,CAAC,uBAAuB,CAAC,CAAC;IAChD,CAAC;IACD,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,GAAG,MAAM;QACT,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC7B,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC;QAC5B,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;QACzE,KAAK;KACN,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAuB,EAAE,MAAc,EAAE,MAAc;IAChF,KAAK,CAAC,GAAG,CAAC,CAAC;IACX,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,GAAG,MAAM;QACT,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;QACpC,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,IAAI;QACxB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC7B,KAAK,EAAE,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,kBAAkB,CAAC;QAC3E,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,mDAAmD,CAAC;KACzH,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,+CAA+C,CAAC;AAC3E,MAAM,CAAC,MAAM,YAAY,GAAG,kCAAkC,CAAC;AAC/D,MAAM,CAAC,MAAM,YAAY,GAAG,4BAA4B,eAAe,GAAG,WAAc,wCAAwC,CAAC;AACjI,MAAM,CAAC,MAAM,YAAY,GACvB,oPAAoP,CAAC;AAEvP,MAAM,UAAU,UAAU,CAAC,IAAuB;IAChD,MAAM,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC;IACnH,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,CAAmB,CAAC;AAC5E,CAAC;AAED,SAAS,OAAO,CAAC,MAAc;IAC7B,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvC,IAAI,QAAgB,CAAC;IACrB,IAAI,CAAC;QACH,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1E,CAAC;IAAC,MAAM,CAAC;QACP,QAAQ,GAAG,CAAC,EAAE,CAAC;IACjB,CAAC;IACD,IAAI,QAAQ,GAAG,EAAE,IAAI,QAAQ,GAAG,eAAe,EAAE,CAAC;QAChD,MAAM,IAAI,UAAU,CAAC,YAAY,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,QAAQ,CAAC,GAAuB,EAAE,MAAc,EAAE,MAAc;IACvE,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACnC,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC;QAChF,KAAK,MAAM;YACT,OAAO;gBACL,IAAI,EAAE,aAAa;gBACnB,GAAG,MAAM;gBACT,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;gBACpC,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,IAAI;gBACxB,KAAK;gBACL,OAAO,EAAE,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC,CAAC;gBAClF,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC;aACvB,CAAC;QACJ,KAAK,MAAM;YACT,OAAO;gBACL,IAAI,EAAE,aAAa;gBACnB,GAAG,MAAM;gBACT,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;gBACpC,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,IAAI;gBACxB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC;gBAC3B,KAAK;gBACL,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;aACxE,CAAC;QACJ;YACE,OAAO,EAAE,IAAI,EAAE,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC;IACrL,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,MAAc;IAClC,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IACjC,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG;QACZ,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAClE,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;QACtC,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;QAC3C,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;KAClD,CAAC;IACF,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,KAAK,YAAY,eAAe,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAChF,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,GAAuB,EAAE,MAAc,EAAE,MAAc;IACxE,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,MAAM;YACT,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACtC,MAAM,IAAI,UAAU,CAAC,kBAAkB,CAAC,CAAC;YAC3C,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC5F,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3I,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;QAC9G;YACE,MAAM,IAAI,UAAU,CAAC,YAAY,CAAC,CAAC;IACvC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,IAAY,EAAE,GAAuB,EAAE,MAAc,EAAE,MAAc;IAC3F,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,WAAW;YACd,OAAO,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC1C,KAAK,YAAY;YACf,OAAO,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC3C,KAAK,UAAU;YACb,OAAO,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACzC,KAAK,QAAQ;YACX,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnF,MAAM,IAAI,UAAU,CAAC,WAAW,CAAC,CAAC;YACpC,CAAC;YACD,OAAO,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACvC;YACE,OAAO,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1C,CAAC;AACH,CAAC"}
|
package/dist/src/version.d.ts
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
export declare const VERSION = "0.1.
|
|
1
|
+
export declare const VERSION = "0.1.41";
|
package/dist/src/version.js
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export const VERSION = "0.1.
|
|
1
|
+
export const VERSION = "0.1.41";
|
|
2
2
|
//# sourceMappingURL=version.js.map
|
package/dist/src/viper.d.ts
CHANGED
|
@@ -13,17 +13,25 @@ export declare const REPORTED_FAILURES = 20;
|
|
|
13
13
|
export declare const CLOCK_FROM: number;
|
|
14
14
|
export declare const CLOCK_TO: number;
|
|
15
15
|
export declare const SEED_LIMIT: number;
|
|
16
|
+
export declare const MAX_DRAW_SLOTS = 100000;
|
|
16
17
|
export type Primitive = null | boolean | number | string;
|
|
17
18
|
export type Case = {
|
|
18
19
|
args: Primitive[];
|
|
19
20
|
expected: Primitive;
|
|
20
21
|
};
|
|
22
|
+
export type Draw = {
|
|
23
|
+
count: number;
|
|
24
|
+
generator: string;
|
|
25
|
+
checker: string;
|
|
26
|
+
k: number;
|
|
27
|
+
};
|
|
21
28
|
export type Cases = {
|
|
22
29
|
steps: number;
|
|
23
30
|
heap: number;
|
|
24
31
|
seed: number | undefined;
|
|
25
32
|
clock: number | undefined;
|
|
26
33
|
cases: Case[];
|
|
34
|
+
draw?: Draw;
|
|
27
35
|
};
|
|
28
36
|
export type Run = {
|
|
29
37
|
seed: number;
|
|
@@ -47,6 +55,7 @@ export type Judged = {
|
|
|
47
55
|
clock: number;
|
|
48
56
|
};
|
|
49
57
|
export declare const casesMissing: (count: number) => string;
|
|
58
|
+
export declare const isPrimitive: (value: unknown) => value is Primitive;
|
|
50
59
|
export declare function casesOf(spec: Uint8Array): Cases;
|
|
51
60
|
export declare const runOf: (cases: Cases) => Run;
|
|
52
61
|
export declare function encodeInput(source: string, cases: Cases, run: Run): Buffer;
|
|
@@ -69,4 +78,5 @@ export type Ran = {
|
|
|
69
78
|
diagnostic: string;
|
|
70
79
|
};
|
|
71
80
|
export declare function runViper(wasm: Buffer, input: Buffer, timeoutSeconds: number): Promise<Ran>;
|
|
81
|
+
export declare function moduleText(source: Uint8Array): string;
|
|
72
82
|
export declare function judgeViper(wasm: Buffer, source: Uint8Array, cases: Cases, timeoutSeconds: number, run?: Run): Promise<Judged>;
|