@mantaq/inspect 0.2.0 → 0.2.3

package/README.md

@@ -24,6 +24,8 @@ export default defineConfig({
 // open /__mantaq/ while `vp dev` runs
 ```
 
+The live page runs the real actor, so it needs an exported factory on a `VirtualClock`; instance or `RealClock` machines fall back to the static walk.
+
 Options: `base` (default `/__mantaq/`), `fuzz` (`false`, or `{ seed, iterations }`; default 500 iterations so a save redraws fast).
 
 **Library**: one call per machine.

package/dist/cli.mjs

@@ -1,5 +1,5 @@
 #!/usr/bin/env node
-import { l as vizDocument, r as inspectFile } from "./load-DOwsxTyL.mjs";
+import { l as vizDocument, r as inspectFile } from "./load-Dw5KOFuM.mjs";
 import { t as htmlPage } from "./page-rr9IQ-4k.mjs";
 import { serializeViz } from "@mantaq/viz";
 import { Either } from "@mantaq/utils";

package/dist/index.d.mts

@@ -123,6 +123,7 @@ interface ModuleAnalysis {
   sites: HandlerSite[];
   stateDocs: ReadonlyMap<string, string>;
   eventDocs: ReadonlyMap<string, string>;
+  effectDocs: ReadonlyMap<string, ReadonlyArray<string>>;
   payloads: Record<string, VizJson[]>;
   machines: MachineExport[];
 }

package/dist/index.mjs

@@ -1,4 +1,4 @@
-import { S as toVizMachine, _ as fuzzedMachine, a as inspect, b as shrink, d as analyzeSource, f as annotateMachine, g as literalPool, h as guidance, l as vizDocument, m as branchDistanceGuide, o as inspectModule, p as branchDistance, r as inspectFile, s as machineId, u as analyzeModule, v as withTestCoverage, x as toViz, y as fuzz } from "./load-DOwsxTyL.mjs";
+import { S as toVizMachine, _ as fuzzedMachine, a as inspect, b as shrink, d as analyzeSource, f as annotateMachine, g as literalPool, h as guidance, l as vizDocument, m as branchDistanceGuide, o as inspectModule, p as branchDistance, r as inspectFile, s as machineId, u as analyzeModule, v as withTestCoverage, x as toViz, y as fuzz } from "./load-Dw5KOFuM.mjs";
 import { i as execute, r as eventCatalog } from "./run-B5huYj_r.mjs";
 import { t as htmlPage } from "./page-rr9IQ-4k.mjs";
 export { analyzeModule, analyzeSource, annotateMachine, branchDistance, branchDistanceGuide, eventCatalog, execute, fuzz, fuzzedMachine, guidance, htmlPage, inspect, inspectFile, inspectModule, literalPool, machineId, shrink, toViz, toVizMachine, vizDocument, withTestCoverage };

package/dist/{load-DOwsxTyL.mjs → load-Dw5KOFuM.mjs}

@@ -793,6 +793,15 @@ function callDoc(call) {
 	while (ts.isPropertyAccessExpression(top.parent) || ts.isCallExpression(top.parent)) top = top.parent;
 	return docOf(ts.isExpressionStatement(top.parent) ? top.parent : call);
 }
+function collectEffectDoc(checker, call, effectDocs) {
+	if (!ts.isPropertyAccessExpression(call.expression) || call.expression.name.text !== "effect") return;
+	const [stateArg] = call.arguments;
+	if (stateArg === void 0) return;
+	const state = literalProperty(checker, stateArg, "name");
+	const doc = callDoc(call);
+	if (state === null || doc === null) return;
+	effectDocs.set(state, [...effectDocs.get(state) ?? [], doc]);
+}
 function compilerOptions(source) {
 	const configPath = source.tsconfig ?? ts.findConfigFile(dirname(source.file), (path) => ts.sys.fileExists(path));
 	if (configPath === void 0) return {
@@ -880,6 +889,7 @@ function loadSource(source) {
 		const registrations = [];
 		const stateDocs = /* @__PURE__ */ new Map();
 		const eventDocs = /* @__PURE__ */ new Map();
+		const effectDocs = /* @__PURE__ */ new Map();
 		const visit = (node) => {
 			const found = ts.isCallExpression(node) ? toRegistration(checker, node) : null;
 			if (found) registrations.push(found);
@@ -888,6 +898,7 @@ function loadSource(source) {
 				eventDocs
 			});
 			ts.forEachChild(node, visit);
+			if (ts.isCallExpression(node)) collectEffectDoc(checker, node, effectDocs);
 		};
 		visit(sourceFile);
 		return {
@@ -896,7 +907,8 @@ function loadSource(source) {
 			root: source.root,
 			registrations,
 			stateDocs,
-			eventDocs
+			eventDocs,
+			effectDocs
 		};
 	});
 	if (Either.isLeft(loaded)) return Either.left(`compiler failed: ${String(loaded[0])}`);
@@ -1444,7 +1456,8 @@ function docsOf(loaded) {
 	return {
 		sites: sitesOf(loaded),
 		stateDocs: loaded.stateDocs,
-		eventDocs: loaded.eventDocs
+		eventDocs: loaded.eventDocs,
+		effectDocs: loaded.effectDocs
 	};
 }
 /** Handlers, payload samples and machine exports of a file, from one TypeScript program. */
@@ -1460,10 +1473,17 @@ function localState(id) {
 	return id.slice(id.lastIndexOf(".") + 1);
 }
 function explain(edge, context) {
-	if (edge.kind === "initial" || edge.kind === "effect") return {
+	if (edge.kind === "initial") return {
 		explanation: null,
 		doc: null
 	};
+	if (edge.kind === "effect") {
+		const docs = context.effectDocs.get(localState(edge.from));
+		return {
+			explanation: null,
+			doc: docs === void 0 ? null : docs.join("\n\n")
+		};
+	}
 	const state = localState(edge.from);
 	const site = context.sites.find((candidate) => candidate.state === state && candidate.event === edge.event) ?? context.sites.find((candidate) => candidate.state === null && candidate.event === edge.event);
 	if (site) return {
@@ -1513,6 +1533,7 @@ function annotateWith(machine, context) {
 			...edge,
 			...explain(edge, {
 				sites: analysis[1].sites,
+				effectDocs: analysis[1].effectDocs,
 				file
 			})
 		};

package/dist/vite.mjs

@@ -1,4 +1,4 @@
-import { c as projectRoot, i as runOf, l as vizDocument, n as inspectEntry, s as machineId, t as entryId, u as analyzeModule } from "./load-DOwsxTyL.mjs";
+import { c as projectRoot, i as runOf, l as vizDocument, n as inspectEntry, s as machineId, t as entryId, u as analyzeModule } from "./load-Dw5KOFuM.mjs";
 import { UPDATE_EVENT, livePageHtml, serializeViz } from "@mantaq/viz";
 import { Either } from "@mantaq/utils";
 import { dirname, isAbsolute, resolve } from "node:path";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mantaq/inspect",
-  "version": "0.2.0",
+  "version": "0.2.3",
   "description": "Turn a Mantaq machine into a viz document: structure, handler explanations (AST), fuzz and test coverage. CLI and Vite plugin included.",
   "license": "MIT",
   "repository": {
@@ -27,11 +27,11 @@
   },
   "dependencies": {
     "typescript": "6.0.3",
-    "@mantaq/core": "0.5.1",
-    "@mantaq/pbt": "0.0.3",
-    "@mantaq/traversal": "0.3.1",
-    "@mantaq/utils": "0.0.4",
-    "@mantaq/viz": "0.2.0"
+    "@mantaq/core": "0.5.3",
+    "@mantaq/pbt": "0.0.4",
+    "@mantaq/utils": "0.0.5",
+    "@mantaq/viz": "0.2.3",
+    "@mantaq/traversal": "0.3.3"
   },
   "devDependencies": {
     "@types/node": "^26.2.0",
@@ -39,7 +39,7 @@
     "happy-dom": "^21.0.4",
     "vite": "npm:@voidzero-dev/vite-plus-core@1.4.0",
     "vite-plus": "1.4.0",
-    "@mantaq/sugar": "2.0.1"
+    "@mantaq/sugar": "2.0.3"
   },
   "peerDependencies": {
     "vite": "*"