libpetri 2.12.1 → 2.13.0

package/dist/debug/index.d.ts

@@ -1,6 +1,6 @@
 import { Writable } from 'node:stream';
-import { P as PetriNet, b as Transition, T as Token } from '../petri-net-Byc3gSgJ.js';
-import { E as EventStore, N as NetEvent } from '../event-store--nMbAO1v.js';
+import { P as PetriNet, b as Transition, T as Token } from '../petri-net-C3LSY-vm.js';
+import { E as EventStore, N as NetEvent } from '../event-store-DKTenPbC.js';
 
 /**
  * Commands sent from debug UI client to server via WebSocket.

package/dist/doclet/index.d.ts

@@ -1,5 +1,5 @@
 import { Application } from 'typedoc';
-import { P as PetriNet, S as SubnetDef, o as Instance } from '../petri-net-Byc3gSgJ.js';
+import { P as PetriNet, S as SubnetDef, o as Instance } from '../petri-net-C3LSY-vm.js';
 
 /**
  * TypeDoc plugin for `@petrinet` and `@subnet` tags — auto-generates

package/dist/{event-store--nMbAO1v.d.ts → event-store-DKTenPbC.d.ts}

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

package/dist/export/index.d.ts

@@ -1,4 +1,4 @@
-import { P as PetriNet } from '../petri-net-Byc3gSgJ.js';
+import { P as PetriNet } from '../petri-net-C3LSY-vm.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-Byc3gSgJ.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, K as KeyFn, L as LogFn, M as MAX_DURATION_MS, r as MatchKey, s as MatchSpec, N as NameId, t as OutAnd, u as OutForwardInput, v as OutPlace, w as OutTimeout, x as OutXor, y as OutputEntry, z as PetriNetBuilder, B as Port, D as PortDirection, G as SubnetDefBuilder, H as SubnetInstance, J as Timing, Q as TimingDeadline, R as TimingDelayed, U as TimingExact, V as TimingImmediate, W as TimingWindow, X as TokenInput, Y as TokenOutput, Z as TransitionAction, _ as TransitionBuilder, $ as VerificationHarness, a0 as VerificationResult, a1 as all, a2 as allPlaces, a3 as and, a4 as andPlaces, a5 as arcPlace, a6 as atLeast, a7 as consumptionCount, a8 as deadline, a9 as delayed, aa as earliest, ab as enumerateBranches, ac as environmentPlace, ad as exact, ae as exactly, af as fork, ag as forwardInput, ah as hasDeadline, ai as hasGuard, aj as immediate, ak as inhibitorArc, al as inputArc, am as isUnit, an as keyForPlace, ao as latest, ap as matchCorrelates, aq as matchKey, ar as matchSpec, as as matchesGuard, at as nameId, au as one, av as outPlace, aw as outputArc, ax as passthrough, ay as place, az as produce, aA as readArc, aB as requiredCount, aC as resetArc, aD as timeout, aE as timeoutPlace, aF as tokenAt, aG as tokenOf, aH as transform, aI as transformAsync, aJ as transformFrom, aK as unitToken, aL as window, aM as withTimeout, aN as xor, aO as xorPlaces } from './petri-net-Byc3gSgJ.js';
-import { E as EventStore } from './event-store--nMbAO1v.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--nMbAO1v.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-C3LSY-vm.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, K as KeyFn, L as LogFn, M as MAX_DURATION_MS, r as MatchKey, s as MatchSpec, N as NameId, t as OutAnd, u as OutForwardInput, v as OutPlace, w as OutTimeout, x as OutXor, y as OutputEntry, z as PetriNetBuilder, B as Port, D as PortDirection, G as SubnetDefBuilder, H as SubnetInstance, J as Timing, Q as TimingDeadline, R as TimingDelayed, U as TimingExact, V as TimingImmediate, W as TimingWindow, X as TokenInput, Y as TokenOutput, Z as TransitionAction, _ as TransitionBuilder, $ as VerificationHarness, a0 as VerificationResult, a1 as all, a2 as allPlaces, a3 as and, a4 as andPlaces, a5 as arcPlace, a6 as atLeast, a7 as consumptionCount, a8 as deadline, a9 as delayed, aa as earliest, ab as enumerateBranches, ac as environmentPlace, ad as exact, ae as exactly, af as fork, ag as forwardInput, ah as hasDeadline, ai as hasGuard, aj as immediate, ak as inhibitorArc, al as inputArc, am as isPassthrough, an as isUnit, ao as keyForPlace, ap as latest, aq as matchCorrelates, ar as matchKey, as as matchSpec, at as matchesGuard, au as nameId, av as one, aw as outPlace, ax as outputArc, ay as passthrough, az as place, aA as produce, aB as readArc, aC as requiredCount, aD as resetArc, aE as timeout, aF as timeoutPlace, aG as tokenAt, aH as tokenOf, aI as transform, aJ as transformAsync, aK as transformFrom, aL as unitToken, aM as window, aN as withTimeout, aO as xor, aP as xorPlaces } from './petri-net-C3LSY-vm.js';
+import { E as EventStore } from './event-store-DKTenPbC.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-DKTenPbC.js';
 
 /**
  * Discriminated sum-type abstraction over Petri nets, distinguishing **closed**

package/dist/index.js

@@ -4,15 +4,24 @@ import {
   and,
   andPlaces,
   enumerateBranches,
+  fork,
   forwardInput,
+  isPassthrough,
   isProven,
   isViolated,
   outPlace,
+  passthrough,
+  produce,
+  requireOutputProducingActions,
   timeout,
   timeoutPlace,
+  transform,
+  transformAsync,
+  transformFrom,
+  withTimeout,
   xor,
   xorPlaces
-} from "./chunk-V3WTQRHC.js";
+} from "./chunk-7VJ5CYUU.js";
 import {
   eventTransitionName,
   isFailureEvent
@@ -142,77 +151,6 @@ function nameId(value) {
   return value;
 }
 
-// src/core/transition-action.ts
-function passthrough() {
-  return PASSTHROUGH;
-}
-var PASSTHROUGH = async () => {
-};
-function transform(fn) {
-  return async (ctx) => {
-    const result = fn(ctx);
-    for (const outputPlace of ctx.outputPlaces()) {
-      ctx.output(outputPlace, result);
-    }
-  };
-}
-function fork() {
-  return transform((ctx) => {
-    const inputPlaces = ctx.inputPlaces();
-    if (inputPlaces.size !== 1) {
-      throw new Error(`Fork requires exactly 1 input place, found ${inputPlaces.size}`);
-    }
-    const inputPlace = inputPlaces.values().next().value;
-    return ctx.input(inputPlace);
-  });
-}
-function transformFrom(inputPlace, fn) {
-  return transform((ctx) => fn(ctx.input(inputPlace)));
-}
-function transformAsync(fn) {
-  return async (ctx) => {
-    const result = await fn(ctx);
-    for (const outputPlace of ctx.outputPlaces()) {
-      ctx.output(outputPlace, result);
-    }
-  };
-}
-function produce(place2, value) {
-  return async (ctx) => {
-    ctx.output(place2, value);
-  };
-}
-function withTimeout(action, timeoutMs, timeoutPlace2, timeoutValue) {
-  return (ctx) => {
-    return new Promise((resolve2, reject) => {
-      let completed = false;
-      const timer = setTimeout(() => {
-        if (!completed) {
-          completed = true;
-          ctx.output(timeoutPlace2, timeoutValue);
-          resolve2();
-        }
-      }, timeoutMs);
-      action(ctx).then(
-        () => {
-          if (!completed) {
-            completed = true;
-            clearTimeout(timer);
-            resolve2();
-          }
-        },
-        (err) => {
-          if (!completed) {
-            completed = true;
-            clearTimeout(timer);
-            reject(err);
-          }
-        }
-      );
-    });
-  };
-}
-
 // src/core/token-output.ts
 var TokenOutput = class {
   _entries = [];
@@ -1326,10 +1264,6 @@ function describeTiming(t) {
       return `Exact(atMs=${t.atMs})`;
   }
 }
-var PASSTHROUGH_REF = passthrough();
-function isPassthrough(action) {
-  return action === PASSTHROUGH_REF;
-}
 function keyOfIn(arc) {
   switch (arc.type) {
     case "one":
@@ -1572,6 +1506,7 @@ var SubnetDef = class _SubnetDef {
       }
     }
     const syntheticNet = PetriNet.builder("verify_" + this.name).compose(sut, portMappings).build();
+    requireOutputProducingActions(syntheticNet);
     const perProperty = /* @__PURE__ */ new Map();
     for (const property of properties) {
       const verifier = SmtVerifier.forNet(syntheticNet).property(property);
@@ -1923,6 +1858,10 @@ var PetriNet = class _PetriNet {
   }
   /**
    * Creates a new PetriNet with actions bound via a resolver function.
+   *
+   * The resolver is called once per transition with its name. Returning `null`
+   * defers that transition — it keeps whatever action it already carries — which
+   * is what makes staged binding (**MOD-024** AC7) work.
    */
   bindActionsWithResolver(actionResolver) {
     const boundTransitions = /* @__PURE__ */ new Set();
@@ -2556,6 +2495,7 @@ var CompiledNet = class _CompiledNet {
   _hasMatch;
   constructor(net) {
     this.net = net;
+    requireOutputProducingActions(net);
     const allPlacesSet = /* @__PURE__ */ new Map();
     for (const t of net.transitions) {
       for (const spec of t.inputSpecs) allPlacesSet.set(spec.place.name, spec.place);
@@ -5612,6 +5552,7 @@ export {
   inputArc,
   intersects,
   isFailureEvent,
+  isPassthrough,
   isUnit,
   keyForPlace,
   latest,