dsh-pstack 0.3.0-beta.1 → 0.3.1

package/dist/pstack/skills/statechart/scripts/statechart.test.mjs

@@ -1,198 +0,0 @@
-import { key, show } from "./ir.mjs";
-import { plainText } from "./backends/plain-text.mjs";
-import { compile } from "./pipeline.mjs";
-import { readConfig } from "./frontends/config.mjs";
-import { parseValue } from "./frontends/value.mjs";
-import { readMessages } from "./frontends/messages.mjs";
-import { readChecks } from "./frontends/spec.mjs";
-import { checkView, json } from "./frontends/view.mjs";
-import { chmodSync, mkdirSync, mkdtempSync, readFileSync, readdirSync, rmSync, writeFileSync } from "node:fs";
-import { tmpdir } from "node:os";
-import { join } from "node:path";
-import { spawnSync } from "node:child_process";
-import { test } from "node:test";
-import { inspect } from "node:util";
-import assert from "node:assert/strict";
-// runtime/skills/statechart/scripts/statechart.test.ts
-const invariant = {
-	kind: "invariant",
-	name: "Inv"
-};
-function graphWithBreak() {
-	return {
-		states: /* @__PURE__ */ new Map([["s0", {
-			vars: { x: 0 },
-			start: true,
-			breaks: []
-		}], ["s1", {
-			vars: { x: 1 },
-			start: false,
-			breaks: [invariant]
-		}]]),
-		steps: [{
-			from: "s0",
-			to: "s1",
-			action: "Next"
-		}]
-	};
-}
-function resultWithBreak() {
-	return {
-		spec: {
-			module: "Test",
-			folder: "/tmp",
-			variables: ["x"],
-			invariants: ["Inv"],
-			properties: [],
-			deadlock: false,
-			written: []
-		},
-		graph: graphWithBreak(),
-		paths: void 0,
-		rules: [{
-			rule: invariant,
-			outcome: "broken",
-			messages: ["Inv is violated"]
-		}],
-		properties: [],
-		exit: 1,
-		stop: void 0,
-		drawing: void 0,
-		states: {
-			distinct: 2,
-			initial: 1,
-			complete: true,
-			cut: false
-		},
-		messages: ["TLC finished"]
-	};
-}
-test("reads the TLA+ value grammar the skill documents", () => {
-	assert.deepEqual(json(parseValue("<<1, \"a\", <<>>>>")), {
-		1: 1,
-		2: "a",
-		3: {}
-	});
-	assert.deepEqual(json(parseValue("{r1, -2}")), ["r1", -2]);
-	assert.deepEqual(json(parseValue("-1..2")), [
-		-1,
-		0,
-		1,
-		2
-	]);
-	assert.deepEqual(json(parseValue("[ok |-> TRUE, msg |-> \"say \\\"hi\\\"\"]")), {
-		ok: true,
-		msg: "say \"hi\""
-	});
-	assert.throws(() => parseValue("1.."), /cannot read TLA\+ value/);
-});
-test("prints each value in TLA+ and compares by TLA+ equality", () => {
-	assert.equal(show(parseValue("<<0>>")), "<<0>>");
-	assert.equal(show(parseValue("[a |-> 1]")), "[a |-> 1]");
-	assert.equal(key(parseValue("1..3")), key(parseValue("{3, 1, 2, 2}")));
-	assert.notEqual(key(parseValue("\"A\"")), key(parseValue("A")));
-});
-test("reads a TLC config into the checks the report names", () => {
-	const config = readConfig({
-		file: "Min.cfg",
-		text: "INIT Init\nNEXT Next\nINVARIANT Inv\nPROPERTY Live\n"
-	});
-	assert.equal(config.init, "Init");
-	assert.equal(config.next, "Next");
-	assert.deepEqual(config.invariants, ["Inv"]);
-	assert.deepEqual(config.properties, ["Live"]);
-	const checks = readChecks({
-		configFile: "Min.cfg",
-		config
-	});
-	assert.equal(checks.deadlock, true);
-});
-test("prints TLC's -tool messages as plain text", () => {
-	const text = [
-		"@!@!@STARTMSG 2262:0 @!@!@",
-		"TLC2 Version 2.19",
-		"@!@!@ENDMSG 2262 @!@!@"
-	].join("\n");
-	assert.equal([...plainText(readMessages(text))].join(""), "TLC2 Version 2.19\n");
-});
-test("compiles a broken rule into report.md, chart.mmd, and tlc.out", () => {
-	const compiled = compile(resultWithBreak(), checkView({}, inspect));
-	assert.equal(compiled.exit, 1);
-	const report = compiled.report;
-	assert.match(report, /Inv/);
-	assert.match(report, /Next/);
-	const chart = [...compiled.files.get("chart.mmd") ?? []].join("");
-	assert.match(chart, /stateDiagram/);
-	assert.match(chart, /Next/);
-	assert.ok(compiled.files.has("report.md"));
-	assert.ok(compiled.files.has("tlc.out"));
-});
-test("the CLI rejects a missing spec with usage and exit 2", () => {
-	const here = import.meta.dirname;
-	const entry = join(here, import.meta.url.endsWith(".ts") ? "statechart.ts" : "statechart.mjs");
-	const result = spawnSync(process.execPath, [entry], { encoding: "utf8" });
-	assert.equal(result.status, 2);
-	assert.match(result.stderr, /Give one SPEC\.tla\./);
-	assert.match(result.stderr, /Usage: statechart SPEC\.tla/);
-});
-test("the CLI runs the worker against TLC and writes the report, chart, and tlc.out", () => {
-	const root = mkdtempSync(join(tmpdir(), "statechart-worker-"));
-	try {
-		const caseDir = join(root, "case");
-		mkdirSync(caseDir);
-		writeFileSync(join(caseDir, "Smoke.tla"), "---- MODULE Smoke ----\n====\n");
-		writeFileSync(join(caseDir, "Smoke.cfg"), "INIT Init\nNEXT Next\n");
-		const fakeJava = join(root, "fake-java.mjs");
-		writeFileSync(fakeJava, String.raw`#!/usr/bin/env node
-import fs from "node:fs";
-const args = process.argv.slice(2);
-if (args.includes("tla2sany.xml.XMLExporter")) {
-  process.stdout.write('<modules><context><entry><UID>1</UID><OpDeclNode><uniquename>x</uniquename><kind>3</kind></OpDeclNode></entry><entry><UID>2</UID><ModuleNode><uniquename>Smoke</uniquename><OpDeclNodeRef><UID>1</UID></OpDeclNodeRef></ModuleNode></entry></context><RootModule>Smoke</RootModule></modules>');
-  process.exit(0);
-}
-const dump = args.indexOf("-dump");
-if (dump !== -1) {
-  fs.writeFileSync(args[dump + 2] + ".dot", [
-    "strict digraph DiskGraph {",
-    '1 [label="/\\\\ x = 0",style = filled]',
-    '2 [label="/\\\\ x = 1"]',
-    '1 -> 2 [label="Next"];',
-    "}",
-  ].join("\n"));
-}
-process.stdout.write("@!@!@STARTMSG 2199:0 @!@!@\n2 distinct states found.\n@!@!@ENDMSG 2199 @!@!@\n");
-process.exit(0);
-`);
-		chmodSync(fakeJava, 493);
-		const here = import.meta.dirname;
-		const entry = join(here, import.meta.url.endsWith(".ts") ? "statechart.ts" : "statechart.mjs");
-		const out = join(root, "out");
-		const result = spawnSync(process.execPath, [
-			entry,
-			join(caseDir, "Smoke.tla"),
-			"--out",
-			out
-		], {
-			encoding: "utf8",
-			env: {
-				...process.env,
-				JAVA: fakeJava,
-				TLA2TOOLS: "tla2tools.jar"
-			}
-		});
-		assert.equal(result.status, 0, result.stderr);
-		assert.deepEqual(readdirSync(out).sort(), [
-			"chart.mmd",
-			"report.md",
-			"tlc.out"
-		]);
-		assert.match(readFileSync(join(out, "report.md"), "utf8"), /# Smoke[\s\S]*NoDeadlock/);
-		assert.match(readFileSync(join(out, "chart.mmd"), "utf8"), /stateDiagram/);
-	} finally {
-		rmSync(root, {
-			recursive: true,
-			force: true
-		});
-	}
-});
-export {};

package/dist/pstack/skills/statechart/scripts/worker.mjs

@@ -1,31 +0,0 @@
-import { compile } from "./pipeline.mjs";
-import { check, messageOf } from "./run.mjs";
-import { checkView } from "./frontends/view.mjs";
-import fs from "node:fs";
-import path from "node:path";
-import { inspect } from "node:util";
-import { pathToFileURL } from "node:url";
-import { Buffer } from "node:buffer";
-// runtime/skills/statechart/scripts/worker.ts
-const [stage, specFile, configFile, viewFile] = process.argv.slice(2);
-try {
-	const view = checkView(viewFile ? await import(pathToFileURL(path.resolve(viewFile)).href) : {}, inspect);
-	const { files, exit } = compile(await check(specFile, configFile), view);
-	const draft = path.join(stage, "draft");
-	fs.mkdirSync(draft);
-	for (const [name, parts] of files) {
-		const fd = fs.openSync(path.join(draft, name), "wx");
-		try {
-			for (const part of parts) fs.writeSync(fd, typeof part === "string" ? Buffer.from(part) : part);
-			fs.writeSync(fd, "\n");
-		} finally {
-			fs.closeSync(fd);
-		}
-	}
-	fs.renameSync(draft, path.join(stage, "done"));
-	process.exit(exit);
-} catch (error) {
-	console.error(messageOf(error));
-	process.exit(2);
-}
-export {};

package/dist/remote.d.mts

@@ -1,27 +0,0 @@
-import { CatalogueResult } from "./models.mjs";
-import { n as SaveRoleRequest, r as SaveRoleResult, t as RoleFileSnapshot } from "./role-wire-CAJsVA6e.mjs";
-import { RemoteResult, TypertRemoteContribution, TypertRemoteInfo } from "@deepseek-ai/dsh-typert-protocol";
-/** npm package that owns these methods. */
-export declare const REMOTE_PACKAGE = "dsh-pstack";
-/** Cordis service key and wire namespace of the Host role service. */
-export declare const ROLES_SERVICE = "pstackRoles";
-/** Parse one save request from the wire. */
-export declare function parseSaveRoleRequest(value: unknown): SaveRoleRequest;
-/** Parse a role-file snapshot from the wire. */
-export declare function parseRoleFileSnapshot(value: unknown): RoleFileSnapshot;
-/** Parse a save result from the wire. */
-export declare function parseSaveRoleResult(value: unknown): SaveRoleResult;
-/** Parse the live catalogue the page offers. */
-export declare function parseCatalogue(value: unknown): CatalogueResult;
-/** The typed Client face installed by `$mount`. */
-export interface PstackRolesNamespace {
-  readonly pstackRoles: {
-    status(): Promise<RemoteResult<RoleFileSnapshot>>;
-    catalogue(signal?: AbortSignal): Promise<RemoteResult<CatalogueResult>>;
-    save(request: SaveRoleRequest, signal?: AbortSignal): Promise<RemoteResult<SaveRoleResult>>;
-  };
-}
-/** Mountable contribution the Client passes to `ctx.remote.$mount()`. */
-export declare const pstackRolesRemote: TypertRemoteInfo;
-/** The same descriptors registered by the Host as its strict definitions. */
-export declare const pstackRolesContribution: TypertRemoteContribution;

package/dist/remote.mjs

@@ -1,235 +0,0 @@
-import { a as isRoleKey } from "./role-manifest-79cnFfDM.mjs";
-// src/remote.ts
-/** npm package that owns these methods. */
-const REMOTE_PACKAGE = "dsh-pstack";
-/** Cordis service key and wire namespace of the Host role service. */
-const ROLES_SERVICE = "pstackRoles";
-function jsonCodec(typeSymbol, parse, decode) {
-	return {
-		mode: "strict",
-		typeSymbol,
-		create: () => ({ parse }),
-		...decode === void 0 ? {} : { decode }
-	};
-}
-function parameter(wire, typeSymbol, parse) {
-	return {
-		name: wire,
-		wire,
-		source: "json",
-		codec: jsonCodec(typeSymbol, parse)
-	};
-}
-function parseRecord(value, subject) {
-	if (typeof value !== "object" || value === null || Array.isArray(value)) throw new TypeError(`${subject} must be an object`);
-	return value;
-}
-function parseRoute(value, subject) {
-	const record = parseRecord(value, subject);
-	if (record["kind"] === "inherit") {
-		const alias = record["alias"] ?? "inherit-parent";
-		if (alias !== "inherit-parent" && alias !== "auto") throw new TypeError(`${subject}.alias must be "inherit-parent" or "auto"`);
-		return {
-			kind: "inherit",
-			alias
-		};
-	}
-	if (record["kind"] !== "route") throw new TypeError(`${subject}.kind is unknown`);
-	const provider = record["provider"];
-	const model = record["model"];
-	const effort = record["effort"];
-	if (typeof provider !== "string" || provider.trim() === "") throw new TypeError(`${subject}.provider must be a non-empty string`);
-	if (typeof model !== "string" || model.trim() === "") throw new TypeError(`${subject}.model must be a non-empty string`);
-	if (effort !== void 0 && (typeof effort !== "string" || effort.trim() === "")) throw new TypeError(`${subject}.effort must be a non-empty string when present`);
-	return {
-		kind: "route",
-		provider,
-		model,
-		...typeof effort === "string" ? { effort } : {}
-	};
-}
-/** Parse one save request from the wire. */
-function parseSaveRoleRequest(value) {
-	const record = parseRecord(value, "the save request");
-	if (typeof record["key"] !== "string") throw new TypeError("the save request must name a role");
-	const routes = record["routes"];
-	if (!Array.isArray(routes)) throw new TypeError("the save request must carry a route list");
-	return {
-		key: record["key"],
-		routes: routes.map((route, index) => parseRoute(route, `routes[${index}]`))
-	};
-}
-function parseRoleFileIssue(value) {
-	const record = parseRecord(value, "a role file issue");
-	if (typeof record["message"] !== "string") throw new TypeError("a role file issue needs a message");
-	const line = record["line"];
-	if (line !== void 0 && typeof line !== "number") throw new TypeError("a role file issue line must be a number");
-	return {
-		...typeof line === "number" ? { line } : {},
-		message: record["message"]
-	};
-}
-function parseRoleView(value, index) {
-	const record = parseRecord(value, `roles[${index}]`);
-	if (typeof record["key"] !== "string" || !isRoleKey(record["key"])) throw new TypeError(`roles[${index}].key is not in the role manifest`);
-	if (record["shape"] !== "single" && record["shape"] !== "list") throw new TypeError(`roles[${index}].shape is unknown`);
-	if (typeof record["configured"] !== "boolean") throw new TypeError(`roles[${index}].configured must be a boolean`);
-	const routes = record["routes"];
-	const issues = record["issues"];
-	if (!Array.isArray(routes) || !Array.isArray(issues)) throw new TypeError(`roles[${index}] must carry routes and issues arrays`);
-	const line = record["line"];
-	return {
-		key: record["key"],
-		shape: record["shape"],
-		configured: record["configured"],
-		...typeof line === "number" ? { line } : {},
-		routes: routes.map((route, routeIndex) => parseRoute(route, `roles[${index}].routes[${routeIndex}]`)),
-		issues: issues.map((issue) => String(issue))
-	};
-}
-/** Parse a role-file snapshot from the wire. */
-function parseRoleFileSnapshot(value) {
-	const record = parseRecord(value, "the role file snapshot");
-	const status = record["status"];
-	if (status !== "missing" && status !== "loaded" && status !== "unreadable") throw new TypeError("the role file snapshot status is unknown");
-	if (typeof record["path"] !== "string") throw new TypeError("the role file snapshot path must be a string");
-	if (typeof record["canSave"] !== "boolean") throw new TypeError("the role file snapshot canSave must be a boolean");
-	const roles = record["roles"];
-	const issues = record["issues"];
-	if (!Array.isArray(roles) || !Array.isArray(issues)) throw new TypeError("the role file snapshot must carry roles and issues arrays");
-	const reason = record["reason"];
-	const budget = record["budget"];
-	return {
-		path: record["path"],
-		status,
-		...typeof reason === "string" ? { reason } : {},
-		...typeof budget === "string" ? { budget } : {},
-		roles: roles.map((role, index) => parseRoleView(role, index)),
-		issues: issues.map(parseRoleFileIssue),
-		canSave: record["canSave"]
-	};
-}
-/** Parse a save result from the wire. */
-function parseSaveRoleResult(value) {
-	const record = parseRecord(value, "the save result");
-	if (record["ok"] === true) return {
-		ok: true,
-		snapshot: parseRoleFileSnapshot(record["snapshot"])
-	};
-	if (record["ok"] === false && typeof record["reason"] === "string") return {
-		ok: false,
-		reason: record["reason"]
-	};
-	throw new TypeError("the save result must be ok with a snapshot or refused with a reason");
-}
-/** Parse the live catalogue the page offers. */
-function parseCatalogue(value) {
-	const record = parseRecord(value, "the catalogue");
-	const providers = record["providers"];
-	if (!Array.isArray(providers)) throw new TypeError("the catalogue must carry providers");
-	if (typeof record["truncated"] !== "boolean") throw new TypeError("the catalogue truncated flag must be a boolean");
-	return {
-		providers: providers.map((provider, index) => {
-			const entry = parseRecord(provider, `providers[${index}]`);
-			if (typeof entry["provider"] !== "string" || typeof entry["name"] !== "string") throw new TypeError(`providers[${index}] needs provider and name strings`);
-			const models = entry["models"];
-			if (!Array.isArray(models)) throw new TypeError(`providers[${index}].models must be an array`);
-			return {
-				provider: entry["provider"],
-				name: entry["name"],
-				...typeof entry["error"] === "string" ? { error: entry["error"] } : {},
-				models: models.map((model, modelIndex) => {
-					const item = parseRecord(model, `providers[${index}].models[${modelIndex}]`);
-					if (typeof item["route"] !== "string" || typeof item["id"] !== "string" || typeof item["name"] !== "string") throw new TypeError(`providers[${index}].models[${modelIndex}] needs route, id, and name strings`);
-					const efforts = item["efforts"];
-					if (!Array.isArray(efforts) || efforts.some((effort) => typeof effort !== "string")) throw new TypeError(`providers[${index}].models[${modelIndex}].efforts must be strings`);
-					return {
-						route: item["route"],
-						id: item["id"],
-						name: item["name"],
-						...typeof item["description"] === "string" ? { description: item["description"] } : {},
-						...typeof item["contextWindow"] === "number" ? { contextWindow: item["contextWindow"] } : {},
-						...typeof item["maxTokens"] === "number" ? { maxTokens: item["maxTokens"] } : {},
-						efforts,
-						...typeof item["defaultEffort"] === "string" ? { defaultEffort: item["defaultEffort"] } : {},
-						...typeof item["error"] === "string" ? { error: item["error"] } : {}
-					};
-				})
-			};
-		}),
-		truncated: record["truncated"]
-	};
-}
-function directMethod(options) {
-	const descriptor = {
-		id: `${REMOTE_PACKAGE}#${ROLES_SERVICE}/${options.method}`,
-		service: ROLES_SERVICE,
-		namespace: ROLES_SERVICE,
-		method: options.method,
-		invocation: { kind: "direct" },
-		parameters: options.parameters,
-		result: options.result,
-		...options.cancellation === true ? { cancellation: { parameter: "signal" } } : {}
-	};
-	const input = { create() {
-		return { parse(value) {
-			const record = parseRecord(value, "the method input");
-			const parsed = {};
-			for (const item of options.parameters) if (record[item.wire] !== void 0) {
-				const codec = item.codec;
-				parsed[item.wire] = codec.create().parse(record[item.wire]);
-			}
-			return parsed;
-		} };
-	} };
-	return {
-		...descriptor,
-		input: () => input,
-		invoke(remote, named, signal) {
-			const namespace = Reflect.get(remote, ROLES_SERVICE);
-			const values = options.parameters.map((item) => named[item.wire]);
-			if (options.cancellation === true) values.push(signal);
-			return namespace[options.method](...values);
-		}
-	};
-}
-const statusMethod = directMethod({
-	method: "status",
-	parameters: [],
-	result: jsonCodec("PstackRoleFileSnapshot", parseRoleFileSnapshot, parseRoleFileSnapshot),
-	invoke: (remote) => remote.pstackRoles.status()
-});
-const catalogueMethod = directMethod({
-	method: "catalogue",
-	parameters: [],
-	result: jsonCodec("PstackRoleCatalogue", parseCatalogue, parseCatalogue),
-	cancellation: true,
-	invoke: (remote, _input, signal) => remote.pstackRoles.catalogue(signal)
-});
-const saveMethod = directMethod({
-	method: "save",
-	parameters: [parameter("request", "PstackSaveRoleRequest", (value) => {
-		parseSaveRoleRequest(value);
-		return value;
-	})],
-	result: jsonCodec("PstackSaveRoleResult", parseSaveRoleResult, parseSaveRoleResult),
-	cancellation: true,
-	invoke: (remote, request, signal) => remote.pstackRoles.save(request, signal)
-});
-/** Mountable contribution the Client passes to `ctx.remote.$mount()`. */
-const pstackRolesRemote = {
-	package: REMOTE_PACKAGE,
-	descriptors: [
-		statusMethod,
-		catalogueMethod,
-		saveMethod
-	],
-	methods: {
-		[`${ROLES_SERVICE}/status`]: statusMethod,
-		[`${ROLES_SERVICE}/catalogue`]: catalogueMethod,
-		[`${ROLES_SERVICE}/save`]: saveMethod
-	}
-};
-/** The same descriptors registered by the Host as its strict definitions. */
-const pstackRolesContribution = pstackRolesRemote;
-export { REMOTE_PACKAGE, ROLES_SERVICE, parseCatalogue, parseRoleFileSnapshot, parseSaveRoleRequest, parseSaveRoleResult, pstackRolesContribution, pstackRolesRemote };