libpetri 1.7.0 → 1.8.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/debug/index.d.ts +76 -19
- package/dist/debug/index.js +53 -8
- package/dist/debug/index.js.map +1 -1
- package/dist/doclet/index.d.ts +1 -1
- package/dist/{event-store-DePCZb33.d.ts → event-store-BnyHh3TF.d.ts} +1 -1
- package/dist/export/index.d.ts +1 -1
- package/dist/index.d.ts +4 -4
- package/dist/index.js.map +1 -1
- package/dist/{petri-net-DrTpTRNy.d.ts → petri-net-D-GN9g_D.d.ts} +9 -0
- package/dist/verification/index.d.ts +1 -1
- package/package.json +1 -1
|
@@ -8,6 +8,15 @@ interface Token<T> {
|
|
|
8
8
|
readonly value: T;
|
|
9
9
|
/** Epoch milliseconds when the token was created. */
|
|
10
10
|
readonly createdAt: number;
|
|
11
|
+
/**
|
|
12
|
+
* JSON-friendly projection of the token value, populated by
|
|
13
|
+
* {@link SessionArchiveReader} when hydrating a v3 archive so replay
|
|
14
|
+
* consumers see the same structured shape the writer emitted. Live tokens
|
|
15
|
+
* (produced by {@link tokenOf} / {@link tokenAt}) leave this `undefined`;
|
|
16
|
+
* the runtime ignores it. See [EVT-025](../../../spec/08-events-observability.md)
|
|
17
|
+
* AC5. (libpetri 1.8.0+)
|
|
18
|
+
*/
|
|
19
|
+
readonly structured?: unknown;
|
|
11
20
|
}
|
|
12
21
|
/** Creates a token with the given value and current timestamp. */
|
|
13
22
|
declare function tokenOf<T>(value: T): Token<T>;
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { P as Place, b as Transition, a as PetriNet, E as EnvironmentPlace } from '../petri-net-
|
|
1
|
+
import { P as Place, b as Transition, a as PetriNet, E as EnvironmentPlace } from '../petri-net-D-GN9g_D.js';
|
|
2
2
|
import { Expr, init, Bool, FuncDecl } from 'z3-solver';
|
|
3
3
|
|
|
4
4
|
/**
|