libpetri 2.4.0 → 2.5.0

package/dist/dot-exporter-7YDFCBKC.js

@@ -0,0 +1,8 @@
+import {
+  dotExport
+} from "./chunk-2GAZLDH3.js";
+import "./chunk-FN773SSE.js";
+export {
+  dotExport
+};
+//# sourceMappingURL=dot-exporter-7YDFCBKC.js.map

package/dist/{event-store-DqXOj4j-.d.ts → event-store-z30VMn0T.d.ts}

@@ -1,4 +1,4 @@
-import { T as Token } from './petri-net-RpZxG0Io.js';
+import { T as Token } from './petri-net-DXdpd0r5.js';
 
 /**
  * Events emitted during Petri Net execution.

package/dist/export/index.d.ts

@@ -1,4 +1,4 @@
-import { P as PetriNet } from '../petri-net-RpZxG0Io.js';
+import { P as PetriNet } from '../petri-net-DXdpd0r5.js';
 
 /**
  * Format-agnostic typed graph model.
@@ -133,12 +133,32 @@ declare function edgeStyle(arcType: EdgeCategory): EdgeVisual;
  * @module export/petri-net-mapper
  */
 
+/**
+ * Selects how DOT export groups nodes into `subgraph cluster_*` blocks (per
+ * **MOD-040** / **EXP-016**).
+ *
+ * - `'auto'` — use subnet-membership metadata (per MOD-026) when the net
+ *   carries any; otherwise fall back to instance-prefix name detection.
+ *   Default.
+ * - `'metadata'` — strictly cluster from subnet-membership metadata; a node
+ *   with no metadata entry — including a prefix-named instance node — is not
+ *   clustered. Use `'auto'` to also cluster prefix-named nodes.
+ * - `'prefix'` — always cluster from instance-prefix name segments; ignore
+ *   metadata.
+ * - `'none'` — emit no clusters; every node renders at the top level.
+ */
+type ClusterSource = 'auto' | 'metadata' | 'prefix' | 'none';
 interface DotConfig {
     readonly direction: RankDir;
     readonly showTypes: boolean;
     readonly showIntervals: boolean;
     readonly showPriority: boolean;
     readonly environmentPlaces?: ReadonlySet<string>;
+    /**
+     * How to group nodes into `subgraph cluster_*` blocks (per MOD-040 /
+     * EXP-016). Additive; defaults to `'auto'` when omitted.
+     */
+    readonly clusterSource?: ClusterSource;
 }
 declare const DEFAULT_DOT_CONFIG: DotConfig;
 /** Sanitizes a name for use as a graph node ID. */
@@ -173,4 +193,4 @@ declare function renderDot(graph: Graph): string;
  */
 declare function dotExport(net: PetriNet, config?: DotConfig): string;
 
-export { type ArrowHead, DEFAULT_DOT_CONFIG, type DotConfig, type EdgeCategory, type EdgeLineStyle, type EdgeVisual, FONT, GRAPH, type Graph, type GraphEdge, type GraphNode, type NodeCategory, type NodeShape, type NodeVisual, type RankDir, type Subgraph, dotExport, edgeStyle, mapToGraph, nodeStyle, renderDot, sanitize };
+export { type ArrowHead, type ClusterSource, DEFAULT_DOT_CONFIG, type DotConfig, type EdgeCategory, type EdgeLineStyle, type EdgeVisual, FONT, GRAPH, type Graph, type GraphEdge, type GraphNode, type NodeCategory, type NodeShape, type NodeVisual, type RankDir, type Subgraph, dotExport, edgeStyle, mapToGraph, nodeStyle, renderDot, sanitize };

package/dist/export/index.js

@@ -8,7 +8,7 @@ import {
   nodeStyle,
   renderDot,
   sanitize
-} from "../chunk-B2CV5M3L.js";
+} from "../chunk-2GAZLDH3.js";
 import "../chunk-FN773SSE.js";
 export {
   DEFAULT_DOT_CONFIG,

package/dist/index.d.ts

@@ -1,7 +1,7 @@
-import { P as PetriNet, S as SubnetDef, a as Place, T as Token, b as Transition, E as EnvironmentPlace, c as TransitionContext, O as Out } from './petri-net-RpZxG0Io.js';
-export { A as Arc, d as ArcInhibitor, e as ArcInput, f as ArcOutput, g as ArcRead, h as ArcReset, C as Channel, i as ComposeBindings, F as FusionSet, j as FusionSetBuilder, I as In, k as InAll, l as InAtLeast, m as InExactly, n as InOne, o as Instance, p as Interface, q as InterfaceBuilder, L as LogFn, M as MAX_DURATION_MS, r as OutAnd, s as OutForwardInput, t as OutPlace, u as OutTimeout, v as OutXor, w as OutputEntry, x as PetriNetBuilder, y as Port, z as PortDirection, B as SubnetDefBuilder, D as SubnetInstance, G as Timing, H as TimingDeadline, J as TimingDelayed, K as TimingExact, N as TimingImmediate, Q as TimingWindow, R as TokenInput, U as TokenOutput, V as TransitionAction, W as TransitionBuilder, X as VerificationHarness, Y as VerificationResult, Z as all, _ as allPlaces, $ as and, a0 as andPlaces, a1 as arcPlace, a2 as atLeast, a3 as consumptionCount, a4 as deadline, a5 as delayed, a6 as earliest, a7 as enumerateBranches, a8 as environmentPlace, a9 as exact, aa as exactly, ab as fork, ac as forwardInput, ad as hasDeadline, ae as hasGuard, af as immediate, ag as inhibitorArc, ah as inputArc, ai as isUnit, aj as latest, ak as matchesGuard, al as one, am as outPlace, an as outputArc, ao as passthrough, ap as place, aq as produce, ar as readArc, as as requiredCount, at as resetArc, au as timeout, av as timeoutPlace, aw as tokenAt, ax as tokenOf, ay as transform, az as transformAsync, aA as transformFrom, aB as unitToken, aC as window, aD as withTimeout, aE as xor, aF as xorPlaces } from './petri-net-RpZxG0Io.js';
-import { E as EventStore } from './event-store-DqXOj4j-.js';
-export { A as ActionTimedOut, a as ExecutionCompleted, b as ExecutionStarted, I as InMemoryEventStore, L as LogMessage, M as MarkingSnapshot, N as NetEvent, T as TokenAdded, c as TokenRemoved, d as TransitionClockRestarted, e as TransitionCompleted, f as TransitionEnabled, g as TransitionFailed, h as TransitionStarted, i as TransitionTimedOut, j as eventTransitionName, k as eventsOfType, l as failures, m as filterEvents, n as inMemoryEventStore, o as isFailureEvent, p as noopEventStore, t as transitionEvents } from './event-store-DqXOj4j-.js';
+import { P as PetriNet, S as SubnetDef, a as Place, T as Token, b as Transition, E as EnvironmentPlace, c as TransitionContext, O as Out } from './petri-net-DXdpd0r5.js';
+export { A as Arc, d as ArcInhibitor, e as ArcInput, f as ArcOutput, g as ArcRead, h as ArcReset, C as Channel, i as ComposeBindings, F as FusionSet, j as FusionSetBuilder, I as In, k as InAll, l as InAtLeast, m as InExactly, n as InOne, o as Instance, p as Interface, q as InterfaceBuilder, L as LogFn, M as MAX_DURATION_MS, r as OutAnd, s as OutForwardInput, t as OutPlace, u as OutTimeout, v as OutXor, w as OutputEntry, x as PetriNetBuilder, y as Port, z as PortDirection, B as SubnetDefBuilder, D as SubnetInstance, G as Timing, H as TimingDeadline, J as TimingDelayed, K as TimingExact, N as TimingImmediate, Q as TimingWindow, R as TokenInput, U as TokenOutput, V as TransitionAction, W as TransitionBuilder, X as VerificationHarness, Y as VerificationResult, Z as all, _ as allPlaces, $ as and, a0 as andPlaces, a1 as arcPlace, a2 as atLeast, a3 as consumptionCount, a4 as deadline, a5 as delayed, a6 as earliest, a7 as enumerateBranches, a8 as environmentPlace, a9 as exact, aa as exactly, ab as fork, ac as forwardInput, ad as hasDeadline, ae as hasGuard, af as immediate, ag as inhibitorArc, ah as inputArc, ai as isUnit, aj as latest, ak as matchesGuard, al as one, am as outPlace, an as outputArc, ao as passthrough, ap as place, aq as produce, ar as readArc, as as requiredCount, at as resetArc, au as timeout, av as timeoutPlace, aw as tokenAt, ax as tokenOf, ay as transform, az as transformAsync, aA as transformFrom, aB as unitToken, aC as window, aD as withTimeout, aE as xor, aF as xorPlaces } from './petri-net-DXdpd0r5.js';
+import { E as EventStore } from './event-store-z30VMn0T.js';
+export { A as ActionTimedOut, a as ExecutionCompleted, b as ExecutionStarted, I as InMemoryEventStore, L as LogMessage, M as MarkingSnapshot, N as NetEvent, T as TokenAdded, c as TokenRemoved, d as TransitionClockRestarted, e as TransitionCompleted, f as TransitionEnabled, g as TransitionFailed, h as TransitionStarted, i as TransitionTimedOut, j as eventTransitionName, k as eventsOfType, l as failures, m as filterEvents, n as inMemoryEventStore, o as isFailureEvent, p as noopEventStore, t as transitionEvents } from './event-store-z30VMn0T.js';
 
 /**
  * Discriminated sum-type abstraction over Petri nets, distinguishing **closed**

package/dist/index.js

@@ -1646,12 +1646,25 @@ var PetriNet = class _PetriNet {
   name;
   places;
   transitions;
+  /**
+   * Subnet-membership metadata per **MOD-026**: maps each node name (place or
+   * transition) contributed by exactly one directly-composed subnet to that
+   * subnet's name. Shared places contributed by two or more subnets, and every
+   * node of a net not built via {@link PetriNetBuilder.compose}`(SubnetDef)`,
+   * are absent. Never null — an empty map when there is no metadata. The DOT
+   * exporter renders `subgraph cluster_*` blocks from this map.
+   *
+   * V8 `Map` is insertion-ordered, preserving compose order so cluster
+   * subgraphs render deterministically (cross-language byte-parity).
+   */
+  subnetMembership;
   /** @internal Use {@link PetriNet.builder} to create instances. */
-  constructor(key, name, places, transitions) {
+  constructor(key, name, places, transitions, subnetMembership = /* @__PURE__ */ new Map()) {
     if (key !== PETRI_NET_KEY) throw new Error("Use PetriNet.builder() to create instances");
     this.name = name;
     this.places = places;
     this.transitions = transitions;
+    this.subnetMembership = subnetMembership;
   }
   /**
    * Creates a new PetriNet with actions bound to transitions by name.
@@ -1676,17 +1689,28 @@ var PetriNet = class _PetriNet {
         boundTransitions.add(t);
       }
     }
-    return new _PetriNet(PETRI_NET_KEY, this.name, this.places, boundTransitions);
+    return new _PetriNet(
+      PETRI_NET_KEY,
+      this.name,
+      this.places,
+      boundTransitions,
+      this.subnetMembership
+    );
   }
   static builder(name) {
     return new PetriNetBuilder(name);
   }
 };
-var PetriNetBuilder = class {
+var PetriNetBuilder = class _PetriNetBuilder {
   _name;
   _places = /* @__PURE__ */ new Set();
   _transitions = /* @__PURE__ */ new Set();
   _fusionSets = [];
+  // MOD-026: node name -> set of subnet names that contributed it via
+  // compose(SubnetDef), in first-contribution order. Resolved to single-owner
+  // membership at build(). V8 Map/Set iterate in insertion order, preserving
+  // compose order for cross-language byte-parity.
+  _subnetContributions = /* @__PURE__ */ new Map();
   constructor(name) {
     this._name = name;
   }
@@ -1795,17 +1819,29 @@ var PetriNetBuilder = class {
     }
     const hostByName = /* @__PURE__ */ new Map();
     for (const p of this._places) hostByName.set(p.name, p);
+    const subnetName = def.name.replace(/\//g, "_");
     const mergeMap = /* @__PURE__ */ new Map();
     for (const p of body.places) {
       const host = hostByName.get(p.name);
       this.place(host ?? p);
       if (host !== void 0) mergeMap.set(p.name, host);
+      this.recordContribution(p.name, subnetName);
     }
     for (const t of body.transitions) {
       this.transition(substitutePlaces(t, mergeMap));
+      this.recordContribution(t.name, subnetName);
     }
     return this;
   }
+  /** @internal MOD-026: records a node as contributed by the named subnet. */
+  recordContribution(nodeName, subnetName) {
+    let owners = this._subnetContributions.get(nodeName);
+    if (owners === void 0) {
+      owners = /* @__PURE__ */ new Set();
+      this._subnetContributions.set(nodeName, owners);
+    }
+    owners.add(subnetName);
+  }
   /**
    * Identity-default auto-compose per **MOD-024**.
    *
@@ -1990,16 +2026,58 @@ var PetriNetBuilder = class {
    * @throws when two fusion sets share a place
    */
   build() {
+    const membership = this.resolveSubnetMembership();
     if (this._fusionSets.length === 0) {
-      return new PetriNet(PETRI_NET_KEY, this._name, this._places, this._transitions);
+      return new PetriNet(
+        PETRI_NET_KEY,
+        this._name,
+        this._places,
+        this._transitions,
+        membership
+      );
     }
-    return this.buildWithFusion();
+    return this.buildWithFusion(membership);
+  }
+  /**
+   * @internal Resolves the per-compose contributions recorded by
+   * `composeDirect` into the final node-name → subnet-name membership map per
+   * **MOD-026**. A node contributed by exactly one subnet maps to that subnet;
+   * a place contributed by two or more subnets is a shared rendezvous place
+   * and is omitted (it renders top-level, outside any cluster). Returns an
+   * empty map — the common case — when no subnet was composed directly.
+   */
+  resolveSubnetMembership() {
+    const resolved = /* @__PURE__ */ new Map();
+    for (const [nodeName, owners] of this._subnetContributions) {
+      if (owners.size === 1) {
+        resolved.set(nodeName, owners.values().next().value);
+      }
+    }
+    return resolved;
+  }
+  /**
+   * @internal Drops membership entries for places removed by fusion: a
+   * non-canonical fused member no longer exists in the net, so its
+   * `node-name → subnet` entry would dangle. The surviving canonical place
+   * keeps its own entry. Per **MOD-026**.
+   */
+  static filterFusedMembership(membership, nonCanonicalNames) {
+    if (membership.size === 0 || nonCanonicalNames.size === 0) {
+      return membership;
+    }
+    const filtered = /* @__PURE__ */ new Map();
+    for (const [key, value] of membership) {
+      if (!nonCanonicalNames.has(key)) {
+        filtered.set(key, value);
+      }
+    }
+    return filtered;
   }
   /**
    * @internal Fusion-resolution pass per **MOD-061**. Split out from
    * {@link build} so the no-fusion fast path stays trivial.
    */
-  buildWithFusion() {
+  buildWithFusion(membership) {
     const ownership = /* @__PURE__ */ new Map();
     for (const set of this._fusionSets) {
       for (const member of set.members) {
@@ -2035,7 +2113,13 @@ var PetriNetBuilder = class {
       for (const r of t.reads) rebuiltPlaces.add(r.place);
       for (const r of t.resets) rebuiltPlaces.add(r.place);
     }
-    return new PetriNet(PETRI_NET_KEY, this._name, rebuiltPlaces, rewrittenTransitions);
+    return new PetriNet(
+      PETRI_NET_KEY,
+      this._name,
+      rebuiltPlaces,
+      rewrittenTransitions,
+      _PetriNetBuilder.filterFusedMembership(membership, nonCanonicalNames)
+    );
   }
 };
 function rebuildWithAction(t, action) {