@mantaq/viz 0.2.0 → 0.2.3

package/README.md

@@ -18,7 +18,9 @@ The viewer keeps a cursor on one state, starting at the initial one. The panel l
 
 Take a step with a panel button, by clicking a pulsing edge, or by clicking a state that exactly one next step reaches. An undetermined edge (`to: null`) offers each target its AST explanation names. Without one, it cannot be taken. A final state ends the walk. **Back** (or ←), **Reset** and the path list undo steps. The standalone page keeps the walk in the URL: `?step=` holds one edge id per step, plus `~target` for an undetermined edge.
 
-Nothing runs. The walk follows declarations, so guards are not evaluated, and a path may not happen at runtime. The logic is in `src/moves.ts`: `movesFrom`, `unhandledSends`, `decodePath`.
+**Static walk** (standalone HTML, `mantaq-inspect --out`): nothing runs. The walk follows declarations, so guards are not evaluated, and a path may not happen at runtime. The logic is in `src/moves.ts`: `movesFrom`, `unhandledSends`, `decodePath`.
+
+**Live** (the Vite plugin page, or `mountViewer(root, doc, { driver })`): steps run the real actor through `createDriver` from `@mantaq/inspect/drive`, so guards are evaluated. Timers advance by button, and **Back** replays the path from a fresh actor.
 
 ## Schema (v8)
 
@@ -33,7 +35,7 @@ Nothing runs. The walk follows declarations, so guards are not evaluated, and a
 | `edge.to`          | `null` = **undetermined**: only for actors that carry no `to` declarations                                                                                                                                                                                                                                                            |
 | `edge.origin`      | `declared` (builder `to`, vouched for by the type checker) · `probe` (synthetic traversal, undeclared actors) · `fuzz` (observed only while fuzzing)                                                                                                                                                                                  |
 | `edge.explanation` | `null` (no handler: initial/effect, or AST not run) · `{ status: "analyzed", location, registration, branches, payloadReads, contextReads, contextWrites, readsActorState, comparisons, literals }` · `{ status: "not_analyzed", location, reason, snippet }`                                                                         |
-| `edge.doc`         | leading JSDoc of the `m.on` / `m.onAny` call behind the edge; `null` = undocumented, no handler, or AST not run                                                                                                                                                                                                                       |
+| `edge.doc`         | leading JSDoc of the `m.on` / `m.onAny` call behind the edge, or of the `m.effect` calls of the state for an `effect` edge (joined in order); `null` = undocumented, no handler, or AST not run                                                                                                                                       |
 | `machine.fuzz`     | `null` or `{ seed, iterations, corpus: [{ steps, discovered }], errors: [{ from, event, message, steps }] }`; every sequence is shrunk and replayable from a fresh actor                                                                                                                                                              |
 
 Bump `VIZ_SCHEMA_VERSION` on any breaking change. The validator accepts only the current version.

package/dist/{embed-QX7vRXoL.mjs → embed-D3r1M511.mjs}

@@ -765,8 +765,13 @@ function effectsSection(doc, machine, current) {
 	if (effects.length === 0) return null;
 	const unhandled = unhandledSends(machine, current);
 	const isUnhandled = (effect, event) => unhandled.some((each) => each.effect === effect && each.event === event);
+	const effectDoc = machine.edges.find((edge) => edge.kind === "effect" && edge.from === current)?.doc;
 	return html(doc, "div", { class: "explore-effects" }, [
 		html(doc, "p", {}, [`Entering ${current} runs:`]),
+		docNote(doc, {
+			text: effectDoc ?? null,
+			scope: "edge"
+		}),
 		html(doc, "ul", {}, effects.map((effect) => {
 			const sends = effect.sends ?? [];
 			const summary = effect.sends === null ? html(doc, "span", { class: "muted" }, [" (sends not declared)"]) : sends.length === 0 ? " sends nothing" : " sends ";

package/dist/page.mjs

@@ -1,5 +1,5 @@
 import "./html-BfvuzJs6.mjs";
-import { n as showIssues, t as mountVizText } from "./embed-QX7vRXoL.mjs";
+import { n as showIssues, t as mountVizText } from "./embed-D3r1M511.mjs";
 // src/viewer/page.ts
 /**
 * Whole-page entries: a self-contained HTML file (`mountEmbedded`) and a live

package/dist/viewer.mjs

@@ -1 +1 @@
-export { r as FUZZ_NOTE, i as STRUCTURE_BANNER, a as mountViewer, t as mountVizText, n as showIssues } from "./embed-QX7vRXoL.mjs";
+export { r as FUZZ_NOTE, i as STRUCTURE_BANNER, a as mountViewer, t as mountVizText, n as showIssues } from "./embed-D3r1M511.mjs";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mantaq/viz",
-  "version": "0.2.0",
+  "version": "0.2.3",
   "description": "Draw and walk a Mantaq machine in the browser, from a versioned, deterministic JSON document.",
   "license": "MIT",
   "repository": {
@@ -29,7 +29,7 @@
   },
   "dependencies": {
     "@dagrejs/dagre": "^3.1.2",
-    "@mantaq/utils": "0.0.4"
+    "@mantaq/utils": "0.0.5"
   },
   "devDependencies": {
     "@typescript/native-preview": "7.0.0-dev.20260707.2",