libpetri 2.0.0 → 2.3.0

package/dist/{petri-net-BDrj4XZE.d.ts → petri-net-CKZYPOsL.d.ts}

@@ -1360,8 +1360,28 @@ declare class PetriNetBuilder {
      *         channel name is unknown on the interface, or when caller- and
      *         instance-side transition timings conflict (per [MOD-021]).
      */
+    compose(instance: Instance<unknown>): this;
     compose(instance: Instance<unknown>, portMappings: ReadonlyMap<string, Place<unknown>> | Record<string, Place<unknown>>): this;
     compose(instance: Instance<unknown>, bind: (b: ComposeBindings) => void): this;
+    /**
+     * Identity-default auto-compose per **MOD-024**.
+     *
+     * Each declared interface port auto-binds to its own `port.place` — the
+     * Place the SubnetDef builder declared via `.inputPort(name, hostPlace)`
+     * (or `outputPort` / `inoutPort`). If the host builder already declares
+     * the equal place, the two merge; if not, the place arrives implicitly
+     * via the rewritten transitions' arcs (same flow as explicit `bindPort`).
+     *
+     * If the subnet declares no interface ports at all, body places are
+     * checked against this builder's place set **by name** (matching the
+     * existing TS Place equality semantics; see [CORE-002] note in
+     * `spec/11-modular-composition.md` MOD-024). Body places that don't match
+     * stay private under their prefixed names per [MOD-010].
+     *
+     * Channels are NOT auto-bound — transition identity is too delicate for
+     * inference. If the subnet declares any channel, this overload throws.
+     */
+    private composeAuto;
     /**
      * @internal Shared compose implementation: validates port and channel
      * bindings, builds the place-substitution map, walks every renamed-body
@@ -1396,6 +1416,16 @@ declare class PetriNetBuilder {
      * channel-handle map — but the prefixed names remain stable.
      */
     private composeInternal;
+    /**
+     * Shared post-mergeMap pipeline: rewrites renamed-body transitions
+     * through `mergeMap`, applies channel merges per **MOD-021**, and adds
+     * the surviving transitions to the builder.
+     *
+     * Used by both the explicit-binding path (`composeInternal`) and the
+     * auto-compose path (`composeAuto` per **MOD-024**). The two paths differ
+     * only in how the (renamed Place name → host Place) `mergeMap` is built.
+     */
+    private applyComposition;
     /**
      * Registers one or more {@link FusionSet} declarations on this builder, per
      * **MOD-060** (fusion set declaration) and **MOD-061** (fusion resolution

package/dist/render-QK57X4TP.js

@@ -0,0 +1,73 @@
+import {
+  elkLayout,
+  foldOrphans,
+  parseLibpetriDot,
+  replicateShared,
+  writeBack
+} from "./chunk-RNWTYK5B.js";
+
+// src/viewer/render.ts
+import { instance as vizInstance } from "@viz-js/viz";
+var vizPromise = null;
+function getViz() {
+  if (!vizPromise) vizPromise = vizInstance();
+  return vizPromise;
+}
+async function renderDotToSvg(dotSource) {
+  const viz = await getViz();
+  return viz.renderSVGElement(dotSource, { engine: "dot" });
+}
+function fnv1a(input) {
+  let h = 2166136261;
+  for (let i = 0; i < input.length; i++) {
+    h ^= input.charCodeAt(i);
+    h = Math.imul(h, 16777619);
+  }
+  return (h >>> 0).toString(16);
+}
+var PINNED_DOT_CACHE_CAP = 16;
+var pinnedDotCache = /* @__PURE__ */ new Map();
+function getCachedPinnedDot(key) {
+  const hit = pinnedDotCache.get(key);
+  if (hit !== void 0) {
+    pinnedDotCache.delete(key);
+    pinnedDotCache.set(key, hit);
+  }
+  return hit;
+}
+function setCachedPinnedDot(key, value) {
+  pinnedDotCache.set(key, value);
+  while (pinnedDotCache.size > PINNED_DOT_CACHE_CAP) {
+    const oldest = pinnedDotCache.keys().next().value;
+    if (oldest === void 0) break;
+    pinnedDotCache.delete(oldest);
+  }
+}
+function _clearElkLayoutCache() {
+  pinnedDotCache.clear();
+}
+async function renderDotToSvgWithElkLayout(dotSource) {
+  const key = fnv1a(dotSource);
+  let pinnedDot = getCachedPinnedDot(key);
+  if (pinnedDot === void 0) {
+    const graph = replicateShared(
+      foldOrphans(parseLibpetriDot(dotSource), 0.7),
+      { max: Infinity }
+    );
+    const layout = await elkLayout(graph);
+    pinnedDot = writeBack(graph, layout);
+    setCachedPinnedDot(key, pinnedDot);
+  }
+  const viz = await getViz();
+  return viz.renderSVGElement(pinnedDot, {
+    engine: "nop",
+    yInvert: true
+  });
+}
+export {
+  _clearElkLayoutCache,
+  getViz,
+  renderDotToSvg,
+  renderDotToSvgWithElkLayout
+};
+//# sourceMappingURL=render-QK57X4TP.js.map

package/dist/render-QK57X4TP.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/viewer/render.ts"],"sourcesContent":["/**\n * DOT → SVG rendering for the canonical libpetri viewer.\n *\n * Two render paths:\n *\n *   renderDotToSvg(dot)                — plain Graphviz `dot` engine.\n *   renderDotToSvgWithElkLayout(dot)   — C0 pipeline: parse → fold →\n *                                        replicate → ELK → writeBack →\n *                                        Graphviz `neato` with `nop=1`\n *                                        (pin mode). Cached by DOT hash.\n *\n * The ELK path is the default for {@link mount}; the plain-Graphviz path\n * remains as a fallback for callers that want stock layout (or for\n * environments where elkjs isn't installed).\n *\n * @module viewer/render\n */\n\nimport { instance as vizInstance } from '@viz-js/viz';\nimport {\n  foldOrphans,\n  parseLibpetriDot,\n  replicateShared,\n} from './layout/preprocess.js';\nimport { elkLayout, writeBack } from './layout/elk-place.js';\n\ntype Viz = Awaited<ReturnType<typeof vizInstance>>;\n\nlet vizPromise: Promise<Viz> | null = null;\n\n/** Memoize the viz.js instance so the wasm loads only once per page. */\nexport function getViz(): Promise<Viz> {\n  if (!vizPromise) vizPromise = vizInstance();\n  return vizPromise;\n}\n\n/**\n * Render a DOT source string to an SVGSVGElement using the plain `dot`\n * engine. Deterministic across runs; libpetri exporters emit byte-stable\n * DOT per spec EXP-014 so the same DOT yields the same SVG.\n */\nexport async function renderDotToSvg(dotSource: string): Promise<SVGSVGElement> {\n  const viz = await getViz();\n  return viz.renderSVGElement(dotSource, { engine: 'dot' });\n}\n\n// ---- C0 / ELK pin-mode cache ---------------------------------------------\n\n/** FNV-1a 32-bit hash. Fast enough that a SHA isn't worth the import. */\nfunction fnv1a(input: string): string {\n  let h = 0x811c9dc5;\n  for (let i = 0; i < input.length; i++) {\n    h ^= input.charCodeAt(i);\n    h = Math.imul(h, 0x01000193);\n  }\n  return (h >>> 0).toString(16);\n}\n\nconst PINNED_DOT_CACHE_CAP = 16;\nconst pinnedDotCache = new Map<string, string>();\n\nfunction getCachedPinnedDot(key: string): string | undefined {\n  const hit = pinnedDotCache.get(key);\n  if (hit !== undefined) {\n    // LRU touch: re-insert moves to most-recent position in Map ordering.\n    pinnedDotCache.delete(key);\n    pinnedDotCache.set(key, hit);\n  }\n  return hit;\n}\n\nfunction setCachedPinnedDot(key: string, value: string): void {\n  pinnedDotCache.set(key, value);\n  while (pinnedDotCache.size > PINNED_DOT_CACHE_CAP) {\n    const oldest = pinnedDotCache.keys().next().value;\n    if (oldest === undefined) break;\n    pinnedDotCache.delete(oldest);\n  }\n}\n\n/** Test helper — clears the pinned-DOT LRU cache between mounts. */\nexport function _clearElkLayoutCache(): void {\n  pinnedDotCache.clear();\n}\n\n/**\n * Run the C0 layout pipeline against a libpetri DOT source and return the\n * rendered SVG. The expensive steps (preprocess + ELK layout + DOT rewrite)\n * are cached keyed on the input DOT's hash, so re-mounts on the same net\n * structure skip everything except the Graphviz pin-mode draw.\n *\n * Per-tick marking updates do NOT call this — they toggle classes on the\n * already-mounted SVG. ELK only runs when the net structure changes.\n */\nexport async function renderDotToSvgWithElkLayout(\n  dotSource: string,\n): Promise<SVGSVGElement> {\n  const key = fnv1a(dotSource);\n  let pinnedDot = getCachedPinnedDot(key);\n  if (pinnedDot === undefined) {\n    const graph = replicateShared(\n      foldOrphans(parseLibpetriDot(dotSource), 0.7),\n      { max: Infinity },\n    );\n    const layout = await elkLayout(graph);\n    pinnedDot = writeBack(graph, layout);\n    setCachedPinnedDot(key, pinnedDot);\n  }\n  const viz = await getViz();\n  return viz.renderSVGElement(pinnedDot, {\n    engine: 'nop',\n    yInvert: true,\n  });\n}\n"],"mappings":";;;;;;;;;AAkBA,SAAS,YAAY,mBAAmB;AAUxC,IAAI,aAAkC;AAG/B,SAAS,SAAuB;AACrC,MAAI,CAAC,WAAY,cAAa,YAAY;AAC1C,SAAO;AACT;AAOA,eAAsB,eAAe,WAA2C;AAC9E,QAAM,MAAM,MAAM,OAAO;AACzB,SAAO,IAAI,iBAAiB,WAAW,EAAE,QAAQ,MAAM,CAAC;AAC1D;AAKA,SAAS,MAAM,OAAuB;AACpC,MAAI,IAAI;AACR,WAAS,IAAI,GAAG,IAAI,MAAM,QAAQ,KAAK;AACrC,SAAK,MAAM,WAAW,CAAC;AACvB,QAAI,KAAK,KAAK,GAAG,QAAU;AAAA,EAC7B;AACA,UAAQ,MAAM,GAAG,SAAS,EAAE;AAC9B;AAEA,IAAM,uBAAuB;AAC7B,IAAM,iBAAiB,oBAAI,IAAoB;AAE/C,SAAS,mBAAmB,KAAiC;AAC3D,QAAM,MAAM,eAAe,IAAI,GAAG;AAClC,MAAI,QAAQ,QAAW;AAErB,mBAAe,OAAO,GAAG;AACzB,mBAAe,IAAI,KAAK,GAAG;AAAA,EAC7B;AACA,SAAO;AACT;AAEA,SAAS,mBAAmB,KAAa,OAAqB;AAC5D,iBAAe,IAAI,KAAK,KAAK;AAC7B,SAAO,eAAe,OAAO,sBAAsB;AACjD,UAAM,SAAS,eAAe,KAAK,EAAE,KAAK,EAAE;AAC5C,QAAI,WAAW,OAAW;AAC1B,mBAAe,OAAO,MAAM;AAAA,EAC9B;AACF;AAGO,SAAS,uBAA6B;AAC3C,iBAAe,MAAM;AACvB;AAWA,eAAsB,4BACpB,WACwB;AACxB,QAAM,MAAM,MAAM,SAAS;AAC3B,MAAI,YAAY,mBAAmB,GAAG;AACtC,MAAI,cAAc,QAAW;AAC3B,UAAM,QAAQ;AAAA,MACZ,YAAY,iBAAiB,SAAS,GAAG,GAAG;AAAA,MAC5C,EAAE,KAAK,SAAS;AAAA,IAClB;AACA,UAAM,SAAS,MAAM,UAAU,KAAK;AACpC,gBAAY,UAAU,OAAO,MAAM;AACnC,uBAAmB,KAAK,SAAS;AAAA,EACnC;AACA,QAAM,MAAM,MAAM,OAAO;AACzB,SAAO,IAAI,iBAAiB,WAAW;AAAA,IACrC,QAAQ;AAAA,IACR,SAAS;AAAA,EACX,CAAC;AACH;","names":[]}

package/dist/verification/index.d.ts

@@ -1,5 +1,5 @@
-import { b as Transition, a as Place, P as PetriNet, E as EnvironmentPlace, aG as MarkingState, aH as PInvariant, aI as MarkingStateBuilder, aJ as SmtProperty, aK as SmtVerificationResult } from '../petri-net-BDrj4XZE.js';
-export { aL as DeadlockFree, aM as MutualExclusion, aN as PlaceBound, aO as Proven, aP as SmtStatistics, aQ as TokenSupplier, aR as Unknown, aS as Unreachable, aT as Verdict, X as VerificationHarness, Y as VerificationResult, aU as Violated, aV as deadlockFree, aW as isProven, aX as isViolated, aY as mutualExclusion, aZ as pInvariant, a_ as pInvariantToString, a$ as placeBound, b0 as propertyDescription, b1 as unreachable } from '../petri-net-BDrj4XZE.js';
+import { b as Transition, a as Place, P as PetriNet, E as EnvironmentPlace, aG as MarkingState, aH as PInvariant, aI as MarkingStateBuilder, aJ as SmtProperty, aK as SmtVerificationResult } from '../petri-net-CKZYPOsL.js';
+export { aL as DeadlockFree, aM as MutualExclusion, aN as PlaceBound, aO as Proven, aP as SmtStatistics, aQ as TokenSupplier, aR as Unknown, aS as Unreachable, aT as Verdict, X as VerificationHarness, Y as VerificationResult, aU as Violated, aV as deadlockFree, aW as isProven, aX as isViolated, aY as mutualExclusion, aZ as pInvariant, a_ as pInvariantToString, a$ as placeBound, b0 as propertyDescription, b1 as unreachable } from '../petri-net-CKZYPOsL.js';
 import { Expr, init, Bool, FuncDecl } from 'z3-solver';
 
 /**

package/dist/viewer/index.d.ts

@@ -82,6 +82,17 @@ declare function discoverClusters(svg: SVGSVGElement): Map<string, ClusterDescri
  */
 declare function colorForPrefix(prefix: string): string;
 
+interface VisibilityState {
+    /** Cluster short names currently visible. */
+    readonly visibleClusters: ReadonlySet<string>;
+    /**
+     * When false, hide every replica/shared place (`g.node.petri-replica`)
+     * regardless of which cluster it belongs to. The corresponding sidebar
+     * checkbox is labelled "Shared places".
+     */
+    readonly includeSharedPlaces: boolean;
+}
+
 /**
  * CSS custom properties exposed by the canonical viewer stylesheet.
  *
@@ -96,7 +107,7 @@ declare function colorForPrefix(prefix: string): string;
  * @module viewer/styles
  */
 /** CSS custom property names that the canonical stylesheet honours. */
-declare const VIEWER_CSS_VARIABLES: readonly ["--lpv-bg", "--lpv-header-bg", "--lpv-border", "--lpv-text", "--lpv-muted", "--lpv-cluster-bg", "--lpv-cluster-bg-collapsed", "--lpv-cluster-stroke-width", "--lpv-cluster-stroke-dash", "--lpv-cluster-fill-tint", "--lpv-dim-opacity", "--lpv-active-filter-outline", "--lpv-legend-bg", "--lpv-chip-bg", "--lpv-chip-active-bg"];
+declare const VIEWER_CSS_VARIABLES: readonly ["--lpv-bg", "--lpv-header-bg", "--lpv-border", "--lpv-text", "--lpv-muted", "--lpv-cluster-bg", "--lpv-cluster-bg-collapsed", "--lpv-cluster-stroke-width", "--lpv-cluster-stroke-dash", "--lpv-cluster-fill-tint", "--lpv-dim-opacity", "--lpv-active-filter-outline", "--lpv-legend-bg", "--lpv-chip-bg", "--lpv-chip-active-bg", "--lpv-sidebar-bg", "--lpv-sidebar-border", "--lpv-sidebar-text", "--lpv-sidebar-muted", "--lpv-sidebar-chip-bg", "--lpv-sidebar-chip-hover-bg", "--lpv-sidebar-chip-off-opacity", "--lpv-shared-glyph-color", "--lpv-replica-fill", "--lpv-replica-stroke", "--lpv-highlight-stroke", "--lpv-highlight-glow", "--lpv-neighbor-stroke", "--lpv-faded-node-opacity", "--lpv-faded-edge-opacity", "--lpv-faded-cluster-opacity"];
 
 /**
  * Canonical libpetri Petri-net diagram viewer.
@@ -124,6 +135,16 @@ declare const VIEWER_CSS_VARIABLES: readonly ["--lpv-bg", "--lpv-header-bg", "--
  * @module viewer
  */
 
+/**
+ * Subnet (cluster) visibility mode.
+ *
+ * - `'show'` — render the DOT as-is with `subgraph cluster_*` groupings
+ *   visible (the default; the post-subnets layout).
+ * - `'hide'` — render a flattened variant that drops cluster wrappers
+ *   and the `ltail`/`lhead` cluster references on cross-cluster edges.
+ *   Same nodes and edges, no visual grouping.
+ */
+type SubnetVisibility = 'show' | 'hide';
 /** Handle returned by {@link mount}. */
 interface ViewerHandle {
     /** The rendered root `<svg>` element. */
@@ -136,6 +157,22 @@ interface ViewerHandle {
     readonly collapsedPrefixes: ReadonlySet<string>;
     /** Currently active "show only <prefix>" filter, or null. */
     readonly activeFilter: string | null;
+    /** Current subnet visibility mode. */
+    readonly subnets: SubnetVisibility;
+    /**
+     * Switch between the clustered (`'show'`) and flat (`'hide'`) views.
+     * Triggers an internal re-mount via the canonical {@link mount} path —
+     * the SVG is regenerated because Graphviz lays out cluster boundaries
+     * during layout. Returns the new handle; the old one is disposed.
+     *
+     * After re-mount, the host container dispatches a bubbling
+     * `libpetri-viewer:remount` CustomEvent whose `detail.handle` is the
+     * fresh handle. Consumers that cache the handle (e.g. the debug-ui)
+     * should listen on the container and update their reference.
+     */
+    setSubnets(mode: SubnetVisibility): Promise<ViewerHandle>;
+    /** Flip {@link subnets} to the other mode and re-mount. See {@link setSubnets}. */
+    toggleSubnets(): Promise<ViewerHandle>;
     /** Collapse a single cluster by prefix. No-op if unknown. */
     collapse(prefix: string): void;
     /** Expand a single cluster by prefix. No-op if unknown. */
@@ -152,6 +189,18 @@ interface ViewerHandle {
     fit(): void;
     /** Reports whether `graphId` is inside a currently-collapsed cluster. */
     isInsideCollapsedCluster(graphId: string): boolean;
+    /**
+     * Highlight a node and every DOM copy of the same logical place; walk
+     * junctions to surface real neighbors. Pass `null` to clear. C0-only.
+     */
+    highlight(nodeId: string | null): void;
+    /** The node id currently highlighted, or `null`. */
+    readonly highlightedNodeId: string | null;
+    /**
+     * Set the cluster-visibility state: which clusters render, and whether
+     * directed-reachable orphans render. C0-only.
+     */
+    setVisibility(state: VisibilityState): void;
     /** Tear down: dispose panzoom and detach listeners. */
     dispose(): void;
 }
@@ -172,6 +221,23 @@ interface MountOptions {
     readonly onClusterFilter?: (prefix: string | null) => void;
     /** When true, append a legend sidebar + filter chip strip inside `container`. */
     readonly chrome?: boolean;
+    /**
+     * Layout strategy. `'elk'` (default) runs the C0 pipeline — parse → fold
+     * → replicate → ELK → Graphviz `neato` pin mode — and tags replica
+     * nodes for the click-all-copies + ⇄ overlay. `'graphviz'` runs the
+     * plain Graphviz `dot` engine and skips replica tagging. The result is
+     * cached on the DOT hash; re-mounts on identical DOT skip the pipeline.
+     */
+    readonly layout?: 'elk' | 'graphviz';
+    /**
+     * Initial subnet visibility mode. Defaults to `'show'` (clustered view).
+     * Pass `'hide'` to mount with the flat view from the start. The chrome
+     * button toggles between the two at runtime; see {@link ViewerHandle.setSubnets}.
+     *
+     * If `previousHandle` is supplied and `subnets` is omitted, the previous
+     * handle's mode is inherited so live re-renders preserve the user's choice.
+     */
+    readonly subnets?: SubnetVisibility;
 }
 /**
  * Render a DOT source, mount the resulting SVG into `container`, wire pan/zoom,
@@ -193,4 +259,4 @@ interface MountOptions {
  */
 declare function mount(dotSource: string | null, container: HTMLElement, opts?: MountOptions): Promise<ViewerHandle>;
 
-export { type ClusterDescriptor, DEFAULT_PANZOOM_OPTS, type MountOptions, type PanzoomInstance, type PanzoomOptions, VIEWER_CSS_VARIABLES, type ViewerHandle, colorForPrefix, discoverClusters, mount };
+export { type ClusterDescriptor, DEFAULT_PANZOOM_OPTS, type MountOptions, type PanzoomInstance, type PanzoomOptions, type SubnetVisibility, VIEWER_CSS_VARIABLES, type ViewerHandle, colorForPrefix, discoverClusters, mount };