libpetri 2.1.0 → 2.3.1

package/dist/{event-store-2zkXeQkd.d.ts → event-store-I3QiQABh.d.ts}

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

package/dist/export/index.d.ts

@@ -1,4 +1,4 @@
-import { P as PetriNet } from '../petri-net-BDrj4XZE.js';
+import { P as PetriNet } from '../petri-net-CKZYPOsL.js';
 
 /**
  * Format-agnostic typed graph model.

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-BDrj4XZE.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-BDrj4XZE.js';
-import { E as EventStore } from './event-store-2zkXeQkd.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-2zkXeQkd.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-CKZYPOsL.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-CKZYPOsL.js';
+import { E as EventStore } from './event-store-I3QiQABh.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-I3QiQABh.js';
 
 /**
  * Discriminated sum-type abstraction over Petri nets, distinguishing **closed**

package/dist/index.js

@@ -1138,6 +1138,9 @@ var PetriNetBuilder = class {
     return this;
   }
   compose(instance, arg) {
+    if (arg === void 0) {
+      return this.composeAuto(instance);
+    }
     if (typeof arg === "function") {
       const bindings = __createComposeBindings();
       arg(bindings);
@@ -1146,6 +1149,56 @@ var PetriNetBuilder = class {
     const portMappings = arg instanceof Map ? arg : new Map(Object.entries(arg));
     return this.composeInternal(instance, portMappings, /* @__PURE__ */ new Map());
   }
+  /**
+   * 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.
+   */
+  composeAuto(instance) {
+    const iface = instance.def.iface;
+    if (iface.channels.size > 0) {
+      const channelNames = [];
+      for (const c of iface.channels.values()) channelNames.push(c.name);
+      channelNames.sort();
+      throw new Error(
+        `compose(Instance): subnet '${instance.def.name}' (instance prefix '${instance.prefix}') declares channels [${channelNames.join(", ")}]; auto-compose does not bind channels. Use compose(instance, bind => bind.bindChannel(...)) with explicit channel bindings.`
+      );
+    }
+    const hostByName = /* @__PURE__ */ new Map();
+    for (const p of this._places) hostByName.set(p.name, p);
+    if (iface.ports.size > 0) {
+      const portMappings = /* @__PURE__ */ new Map();
+      for (const port of iface.ports.values()) {
+        const hostMatch = hostByName.get(port.place.name);
+        portMappings.set(port.name, hostMatch ?? port.place);
+      }
+      return this.composeInternal(instance, portMappings, /* @__PURE__ */ new Map());
+    }
+    const mergeMap = /* @__PURE__ */ new Map();
+    const prefix = instance.prefix + "/";
+    for (const renamed of instance.renamedBody.places) {
+      if (!renamed.name.startsWith(prefix)) continue;
+      const originalName = renamed.name.substring(prefix.length);
+      const hostMatch = hostByName.get(originalName);
+      if (hostMatch !== void 0) {
+        mergeMap.set(renamed.name, hostMatch);
+      }
+    }
+    return this.applyComposition(instance, mergeMap, /* @__PURE__ */ new Map());
+  }
   /**
    * @internal Shared compose implementation: validates port and channel
    * bindings, builds the place-substitution map, walks every renamed-body
@@ -1194,6 +1247,19 @@ var PetriNetBuilder = class {
       const ifacePlace = instance.port(portName);
       mergeMap.set(ifacePlace.name, callerPlace);
     }
+    return this.applyComposition(instance, mergeMap, channelBindings);
+  }
+  /**
+   * 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.
+   */
+  applyComposition(instance, mergeMap, channelBindings) {
+    const iface = instance.def.iface;
     const rewrittenByName = /* @__PURE__ */ new Map();
     for (const t of instance.renamedBody.transitions) {
       rewrittenByName.set(t.name, substitutePlaces(t, mergeMap));