libpetri 5.0.0 → 6.0.0

package/dist/{event-store-hlH3-bzJ.d.ts → event-store-D6i4u41W.d.ts}

@@ -1,4 +1,4 @@
-import { T as Token } from './petri-net-CH7UvjOW.js';
+import { T as Token } from './petri-net-34SkD5RT.js';
 
 /**
  * Events emitted during Petri Net execution.
@@ -23,6 +23,12 @@ interface TransitionEnabled {
     readonly timestamp: number;
     readonly transitionName: string;
 }
+/**
+ * A transition's clock restarted while it stayed marked enabled: another firing took tokens
+ * it needed and its places were refilled before the executor re-evaluated it (TIME-012).
+ * This executor re-evaluates between a firing and its deposit, so it reports such a restart
+ * as `transition-enabled`.
+ */
 interface TransitionClockRestarted {
     readonly type: 'transition-clock-restarted';
     readonly timestamp: number;

package/dist/export/index.d.ts

@@ -1,4 +1,4 @@
-import { P as PetriNet } from '../petri-net-CH7UvjOW.js';
+import { P as PetriNet } from '../petri-net-34SkD5RT.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-CH7UvjOW.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 immediate, aj as inhibitorArc, ak as inputArc, al as isPassthrough, am as isUnit, an as keyForPlace, ao as latest, ap as matchCorrelates, aq as matchKey, ar as matchSpec, as as nameId, at as one, au as outPlace, av as outputArc, aw as passthrough, ax as place, ay as produce, az as readArc, aA as requiredCount, aB as resetArc, aC as timeout, aD as timeoutPlace, aE as tokenAt, aF as tokenOf, aG as transform, aH as transformAsync, aI as transformFrom, aJ as unitToken, aK as window, aL as withTimeout, aM as xor, aN as xorPlaces } from './petri-net-CH7UvjOW.js';
-import { E as EventStore } from './event-store-hlH3-bzJ.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-hlH3-bzJ.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-34SkD5RT.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 immediate, aj as inhibitorArc, ak as inputArc, al as isPassthrough, am as isUnit, an as keyForPlace, ao as latest, ap as matchCorrelates, aq as matchKey, ar as matchSpec, as as nameId, at as one, au as outPlace, av as outputArc, aw as passthrough, ax as place, ay as produce, az as readArc, aA as requiredCount, aB as resetArc, aC as timeout, aD as timeoutPlace, aE as tokenAt, aF as tokenOf, aG as transform, aH as transformAsync, aI as transformFrom, aJ as unitToken, aK as window, aL as withTimeout, aM as xor, aN as xorPlaces } from './petri-net-34SkD5RT.js';
+import { E as EventStore } from './event-store-D6i4u41W.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-D6i4u41W.js';
 
 /**
  * Discriminated sum-type abstraction over Petri nets, distinguishing **closed**
@@ -325,13 +325,23 @@ declare class BitmapNetExecutor implements PetriNetExecutor {
     private readonly externalQueue;
     private wakeUpResolve;
     private readonly readyBuffer;
-    private readonly pendingResetPlaces;
+    /**
+     * Per transition, one bit: a firing left it disabled in the intermediate marking while it
+     * was marked enabled (TIME-012), so the next dirty scan that finds it enabled restarts its
+     * clock. Set at fire time, cleared at the end of every scan; `anyRestartPending` lets the
+     * scan skip the clear when nothing was flagged.
+     */
+    private readonly restartPendingWords;
+    private anyRestartPending;
+    /** Per place, the count a firing must leave it at to have disabled nothing through it. */
+    private readonly restartThresholds;
     /**
      * Undeclared place names already reported (CORE-072 AC4). Keyed by name — TS
      * Place identity is name-based — so a hot loop warns once, not per token.
      */
     private readonly warnedUnknownPlaces;
-    private readonly transitionInputPlaceNames;
+    /** Transitions already warned for writing several tokens to a place their spec names once (IO-016 AC4). */
+    private readonly warnedMultiplicity;
     private running;
     private draining;
     private closed;
@@ -366,7 +376,14 @@ declare class BitmapNetExecutor implements PetriNetExecutor {
      */
     private enforceDeadlines;
     private canEnable;
-    private hasInputFromResetPlace;
+    /**
+     * Flags each other transition that firing `tid` has just disabled through `pid`
+     * (TIME-012). Called from {@link updateBitmapAfterConsumption} on the intermediate marking
+     * M - Pre(t) (inputs consumed and resets drained, outputs not yet deposited), and only for
+     * a place the firing left below its restart threshold. Removing tokens never trips an
+     * inhibitor arc, so the bit tests reject every other kind of neighbour cheaply.
+     */
+    private flagIntermediateDisablements;
     private fireReadyTransitions;
     /**
      * Fast path for nets where all transitions are immediate and same priority.
@@ -436,6 +453,13 @@ declare class BitmapNetExecutor implements PetriNetExecutor {
      * initial-marking and injection seams. Retention never depends on this.
      */
     private warnUnknownPlace;
+    /**
+     * Reports, once per transition, a firing that wrote more than one token to a place
+     * its output spec names once (IO-016 AC4), as the EVT-013 log-message event. The
+     * tokens are deposited regardless: the diagnostic makes the under-approximation
+     * every branch-enumerating analysis makes of this transition visible.
+     */
+    private warnMultiplicity;
     private emitEvent;
 }
 
@@ -509,6 +533,10 @@ declare class PrecompiledNet {
     /** -2=no spec, -1=complex, >=0=single output place ID. */
     readonly simpleOutputPlaceId: Int32Array;
     readonly inputPlaceCount: Uint32Array;
+    /**
+     * @deprecated Not read by the executor. Kept so the exported shape of `PrecompiledNet`
+     * stays stable; scheduled for removal in the next major release.
+     */
     readonly inputPlaceMaskWords: readonly Uint32Array[];
     readonly placeToTransitions: readonly (readonly number[])[];
     readonly consumptionPlaceIds: readonly (readonly number[])[];
@@ -598,6 +626,8 @@ declare class PrecompiledNetExecutor implements PetriNetExecutor {
      * materializing a Marking has one to hand.
      */
     private readonly unknownPlaceTokens;
+    /** Transitions already warned for writing several tokens to a place their spec names once (IO-016 AC4). */
+    private readonly warnedMultiplicity;
     /** Monotonic source for ν-name minting (ctx.freshName(), NU-010). */
     private freshNameCounter;
     /**
@@ -634,8 +664,16 @@ declare class PrecompiledNetExecutor implements PetriNetExecutor {
     private readonly inFlightResolves;
     private readonly inFlightErrors;
     private inFlightCount;
-    private readonly pendingResetWords;
-    private hasPendingResets;
+    /**
+     * Per transition, one bit: a firing left it disabled in the intermediate marking while it
+     * was marked enabled (TIME-012), so the next dirty scan that finds it enabled restarts its
+     * clock. Set at fire time, cleared at the end of every scan; `anyRestartPending` lets the
+     * scan skip the clear when nothing was flagged.
+     */
+    private readonly restartPendingWords;
+    private anyRestartPending;
+    /** Per place, the count a firing must leave it at to have disabled nothing through it. */
+    private readonly restartThresholds;
     private readonly completionQueue;
     private readonly externalQueue;
     private wakeUpResolve;
@@ -676,7 +714,13 @@ declare class PrecompiledNetExecutor implements PetriNetExecutor {
     private canEnable;
     private countMatching;
     private removeFirstMatching;
-    private hasInputFromResetPlace;
+    /**
+     * Flags each other transition that firing `tid` has just disabled through `pid`
+     * (TIME-012). Called from {@link updateBitmapAfterConsumption} on the intermediate marking,
+     * only for a place the firing left below its restart threshold. Mirrors the bitmap
+     * executor, which gives the rationale.
+     */
+    private flagIntermediateDisablements;
     private fireReadyTransitions;
     /**
      * Fast path for nets where all transitions are immediate and same priority.
@@ -745,6 +789,14 @@ declare class PrecompiledNetExecutor implements PetriNetExecutor {
     executionId(): string;
     drain(): void;
     close(): void;
+    /**
+     * Reports, once per transition, a firing that wrote more than one token to a place
+     * its output spec names once (IO-016 AC4), as the EVT-013 log-message event. The
+     * tokens are deposited regardless: the diagnostic makes the under-approximation
+     * every branch-enumerating analysis makes of this transition visible. Mirrors the
+     * bitmap executor word for word.
+     */
+    private warnMultiplicity;
     private emitEvent;
 }