libpetri 1.5.1 → 1.8.0

package/dist/{petri-net-C3Jy5HCt.d.ts → petri-net-D-GN9g_D.d.ts}

@@ -8,6 +8,15 @@ interface Token<T> {
     readonly value: T;
     /** Epoch milliseconds when the token was created. */
     readonly createdAt: number;
+    /**
+     * JSON-friendly projection of the token value, populated by
+     * {@link SessionArchiveReader} when hydrating a v3 archive so replay
+     * consumers see the same structured shape the writer emitted. Live tokens
+     * (produced by {@link tokenOf} / {@link tokenAt}) leave this `undefined`;
+     * the runtime ignores it. See [EVT-025](../../../spec/08-events-observability.md)
+     * AC5. (libpetri 1.8.0+)
+     */
+    readonly structured?: unknown;
 }
 /** Creates a token with the given value and current timestamp. */
 declare function tokenOf<T>(value: T): Token<T>;
@@ -364,10 +373,28 @@ declare class TransitionContext {
     /** Returns declared read places (context, not consumed). */
     readPlaces(): ReadonlySet<Place<any>>;
     private requireRead;
-    /** Add output value. Throws if place not declared as output. */
-    output<T>(place: Place<T>, value: T): this;
-    /** Add output token with metadata. */
-    outputToken<T>(place: Place<T>, token: Token<T>): this;
+    /**
+     * Add one or more output values to the same place in a single call.
+     *
+     * Validates the place once, then appends each value to the output
+     * collector. Calling with zero values is a no-op.
+     *
+     * @example
+     *   ctx.output(outPlace, 'a', 'b', 'c');
+     *   ctx.output(outPlace, ...someArray);
+     *
+     * @throws if place not declared as output.
+     */
+    output<T>(place: Place<T>, ...values: T[]): this;
+    /**
+     * Add one or more pre-built output tokens to the same place in a single call.
+     *
+     * Validates the place once, then appends each token. Calling with zero
+     * tokens is a no-op.
+     *
+     * @throws if place not declared as output.
+     */
+    outputToken<T>(place: Place<T>, ...tokens: Token<T>[]): this;
     /** Returns declared output places. */
     outputPlaces(): ReadonlySet<Place<any>>;
     private requireOutput;

package/dist/verification/index.d.ts

@@ -1,4 +1,4 @@
-import { P as Place, b as Transition, a as PetriNet, E as EnvironmentPlace } from '../petri-net-C3Jy5HCt.js';
+import { P as Place, b as Transition, a as PetriNet, E as EnvironmentPlace } from '../petri-net-D-GN9g_D.js';
 import { Expr, init, Bool, FuncDecl } from 'z3-solver';
 
 /**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "libpetri",
-  "version": "1.5.1",
+  "version": "1.8.0",
   "description": "Coloured Time Petri Net engine — TypeScript port",
   "homepage": "https://libpetri.org",
   "repository": {