libpetri 4.0.0 → 4.1.0

package/dist/{petri-net-hduM6tJf.d.ts → petri-net-p0ONpSAO.d.ts}

@@ -817,6 +817,24 @@ declare class InterfaceBuilder {
     build(): Interface;
 }
 
+/**
+ * Analysis mode for environment places in state class graph construction.
+ */
+type EnvironmentAnalysisMode = {
+    readonly type: 'always-available';
+} | {
+    readonly type: 'bounded';
+    readonly maxTokens: number;
+} | {
+    readonly type: 'ignore';
+};
+/** Assumes environment places always have sufficient tokens. */
+declare function alwaysAvailable(): EnvironmentAnalysisMode;
+/** Analyzes with a bounded number of tokens in environment places. */
+declare function bounded(maxTokens: number): EnvironmentAnalysisMode;
+/** Treats environment places as regular places. */
+declare function ignore(): EnvironmentAnalysisMode;
+
 /**
  * Safety properties that can be verified via IC3/PDR.
  *
@@ -1202,7 +1220,19 @@ declare class SubnetDef<P = void> {
      *          {@link SmtVerificationResult}s
      * @throws when an input or in-out port is missing a harness generator
      */
-    verify(harness: VerificationHarness<P>): Promise<VerificationResult>;
+    verify(harness: VerificationHarness<P>, 
+    /**
+     * How injection into the synthetic environment places is modeled (VER-006,
+     * MOD-051 AC3).
+     *
+     * The synthetic net has environment places by construction, so this decides what a
+     * verdict means. The default over-approximates: a `proven` under
+     * `alwaysAvailable()` holds for any environment. Pass `bounded(k)` to prove a
+     * property that holds only when the environment injects at most `k` tokens.
+     * `ignore()` is accepted but cannot yield `proven` — VER-006 refuses to certify a
+     * proof that holds only because injection was never modeled.
+     */
+    environmentMode?: EnvironmentAnalysisMode): Promise<VerificationResult>;
     static builder<P = void>(name: string): SubnetDefBuilder<P>;
     /**
      * Retrofit utility per **MOD-014**: wraps an existing closed {@link PetriNet}
@@ -1796,4 +1826,4 @@ declare class PetriNetBuilder {
     private buildWithFusion;
 }
 
-export { type VerificationHarness as $, type Arc as A, type Port as B, type Channel as C, type PortDirection as D, type EnvironmentPlace as E, FusionSet as F, SubnetDefBuilder as G, type SubnetInstance as H, type In as I, type Timing as J, type KeyFn as K, type LogFn as L, MAX_DURATION_MS as M, type NameId as N, type Out as O, PetriNet as P, type TimingDeadline as Q, type TimingDelayed as R, SubnetDef as S, type Token as T, type TimingExact as U, type TimingImmediate as V, type TimingWindow as W, TokenInput as X, TokenOutput as Y, type TransitionAction as Z, TransitionBuilder as _, type Place as a, type Unknown as a$, type VerificationResult as a0, all as a1, allPlaces as a2, and as a3, andPlaces as a4, arcPlace as a5, atLeast as a6, consumptionCount as a7, deadline as a8, delayed as a9, requiredCount as aA, resetArc as aB, timeout as aC, timeoutPlace as aD, tokenAt as aE, tokenOf as aF, transform as aG, transformAsync as aH, transformFrom as aI, unitToken as aJ, window as aK, withTimeout as aL, xor as aM, xorPlaces as aN, type PInvariant as aO, MarkingState as aP, type SmtProperty as aQ, MarkingStateBuilder as aR, type SmtVerificationResult as aS, type BranchPlaceBound as aT, type DeadlockFree as aU, type JoinedOrDeadLettered as aV, type MutualExclusion as aW, type PlaceBound as aX, type Proven as aY, type SmtStatistics as aZ, type TokenSupplier as a_, earliest as aa, enumerateBranches as ab, environmentPlace as ac, exact as ad, exactly as ae, fork as af, forwardInput as ag, hasDeadline as ah, immediate as ai, inhibitorArc as aj, inputArc as ak, isPassthrough as al, isUnit as am, keyForPlace as an, latest as ao, matchCorrelates as ap, matchKey as aq, matchSpec as ar, nameId as as, one as at, outPlace as au, outputArc as av, passthrough as aw, place as ax, produce as ay, readArc as az, Transition as b, type Unreachable as b0, type Verdict as b1, type Violated as b2, branchPlaceBound as b3, deadlockFree as b4, isProven as b5, isViolated as b6, joinedOrDeadLettered as b7, mutualExclusion as b8, pInvariant as b9, pInvariantToString as ba, placeBound as bb, propertyDescription as bc, unreachable as bd, TransitionContext as c, type ArcInhibitor as d, type ArcInput as e, type ArcOutput as f, type ArcRead as g, type ArcReset as h, ComposeBindings as i, FusionSetBuilder as j, type InAll as k, type InAtLeast as l, type InExactly as m, type InOne as n, Instance as o, Interface as p, InterfaceBuilder as q, type MatchKey as r, type MatchSpec as s, type OutAnd as t, type OutForwardInput as u, type OutPlace as v, type OutTimeout as w, type OutXor as x, type OutputEntry as y, PetriNetBuilder as z };
+export { type VerificationHarness as $, type Arc as A, type Port as B, type Channel as C, type PortDirection as D, type EnvironmentPlace as E, FusionSet as F, SubnetDefBuilder as G, type SubnetInstance as H, type In as I, type Timing as J, type KeyFn as K, type LogFn as L, MAX_DURATION_MS as M, type NameId as N, type Out as O, PetriNet as P, type TimingDeadline as Q, type TimingDelayed as R, SubnetDef as S, type Token as T, type TimingExact as U, type TimingImmediate as V, type TimingWindow as W, TokenInput as X, TokenOutput as Y, type TransitionAction as Z, TransitionBuilder as _, type Place as a, type TokenSupplier as a$, type VerificationResult as a0, all as a1, allPlaces as a2, and as a3, andPlaces as a4, arcPlace as a5, atLeast as a6, consumptionCount as a7, deadline as a8, delayed as a9, requiredCount as aA, resetArc as aB, timeout as aC, timeoutPlace as aD, tokenAt as aE, tokenOf as aF, transform as aG, transformAsync as aH, transformFrom as aI, unitToken as aJ, window as aK, withTimeout as aL, xor as aM, xorPlaces as aN, type EnvironmentAnalysisMode as aO, type PInvariant as aP, MarkingState as aQ, type SmtProperty as aR, MarkingStateBuilder as aS, type SmtVerificationResult as aT, type BranchPlaceBound as aU, type DeadlockFree as aV, type JoinedOrDeadLettered as aW, type MutualExclusion as aX, type PlaceBound as aY, type Proven as aZ, type SmtStatistics as a_, earliest as aa, enumerateBranches as ab, environmentPlace as ac, exact as ad, exactly as ae, fork as af, forwardInput as ag, hasDeadline as ah, immediate as ai, inhibitorArc as aj, inputArc as ak, isPassthrough as al, isUnit as am, keyForPlace as an, latest as ao, matchCorrelates as ap, matchKey as aq, matchSpec as ar, nameId as as, one as at, outPlace as au, outputArc as av, passthrough as aw, place as ax, produce as ay, readArc as az, Transition as b, type Unknown as b0, type Unreachable as b1, type Verdict as b2, type Violated as b3, alwaysAvailable as b4, bounded as b5, ignore as b6, branchPlaceBound as b7, deadlockFree as b8, isProven as b9, isViolated as ba, joinedOrDeadLettered as bb, mutualExclusion as bc, pInvariant as bd, pInvariantToString as be, placeBound as bf, propertyDescription as bg, unreachable as bh, TransitionContext as c, type ArcInhibitor as d, type ArcInput as e, type ArcOutput as f, type ArcRead as g, type ArcReset as h, ComposeBindings as i, FusionSetBuilder as j, type InAll as k, type InAtLeast as l, type InExactly as m, type InOne as n, Instance as o, Interface as p, InterfaceBuilder as q, type MatchKey as r, type MatchSpec as s, type OutAnd as t, type OutForwardInput as u, type OutPlace as v, type OutTimeout as w, type OutXor as x, type OutputEntry as y, PetriNetBuilder as z };

package/dist/render-dom/index.js

@@ -1,7 +1,7 @@
 import {
   DEFAULT_PANZOOM_OPTS,
   mount
-} from "../chunk-KO6TSB47.js";
+} from "../chunk-GJAHGHGT.js";
 
 // src/render-dom/index.ts
 async function renderDotToContainer(dotSource, container, opts = {}) {

package/dist/verification/index.d.ts

@@ -1,5 +1,5 @@
-import { b as Transition, a as Place, P as PetriNet, E as EnvironmentPlace, aO as PInvariant, aP as MarkingState, aQ as SmtProperty, aR as MarkingStateBuilder, aS as SmtVerificationResult } from '../petri-net-hduM6tJf.js';
-export { aT as BranchPlaceBound, aU as DeadlockFree, aV as JoinedOrDeadLettered, aW as MutualExclusion, aX as PlaceBound, aY as Proven, aZ as SmtStatistics, a_ as TokenSupplier, a$ as Unknown, b0 as Unreachable, b1 as Verdict, $ as VerificationHarness, a0 as VerificationResult, b2 as Violated, b3 as branchPlaceBound, b4 as deadlockFree, b5 as isProven, b6 as isViolated, b7 as joinedOrDeadLettered, b8 as mutualExclusion, b9 as pInvariant, ba as pInvariantToString, bb as placeBound, bc as propertyDescription, bd as unreachable } from '../petri-net-hduM6tJf.js';
+import { b as Transition, a as Place, P as PetriNet, E as EnvironmentPlace, aO as EnvironmentAnalysisMode, aP as PInvariant, aQ as MarkingState, aR as SmtProperty, aS as MarkingStateBuilder, aT as SmtVerificationResult } from '../petri-net-p0ONpSAO.js';
+export { aU as BranchPlaceBound, aV as DeadlockFree, aW as JoinedOrDeadLettered, aX as MutualExclusion, aY as PlaceBound, aZ as Proven, a_ as SmtStatistics, a$ as TokenSupplier, b0 as Unknown, b1 as Unreachable, b2 as Verdict, $ as VerificationHarness, a0 as VerificationResult, b3 as Violated, b4 as alwaysAvailable, b4 as analysisAlwaysAvailable, b5 as analysisBounded, b6 as analysisIgnore, b5 as bounded, b7 as branchPlaceBound, b8 as deadlockFree, b6 as ignore, b9 as isProven, ba as isViolated, bb as joinedOrDeadLettered, bc as mutualExclusion, bd as pInvariant, be as pInvariantToString, bf as placeBound, bg as propertyDescription, bh as unreachable } from '../petri-net-p0ONpSAO.js';
 
 /**
  * A flattened transition with pre/post vectors for SMT encoding.
@@ -99,24 +99,6 @@ declare class IncidenceMatrix {
     numPlaces(): number;
 }
 
-/**
- * Analysis mode for environment places in state class graph construction.
- */
-type EnvironmentAnalysisMode = {
-    readonly type: 'always-available';
-} | {
-    readonly type: 'bounded';
-    readonly maxTokens: number;
-} | {
-    readonly type: 'ignore';
-};
-/** Assumes environment places always have sufficient tokens. */
-declare function alwaysAvailable(): EnvironmentAnalysisMode;
-/** Analyzes with a bounded number of tokens in environment places. */
-declare function bounded(maxTokens: number): EnvironmentAnalysisMode;
-/** Treats environment places as regular places (default). */
-declare function ignore(): EnvironmentAnalysisMode;
-
 /**
  * @module net-flattener
  *
@@ -504,29 +486,6 @@ type FragmentMode = 'base' | 'extended';
  */
 type PrioritySemantics = 'none' | 'conflict';
 
-/**
- * IC3/PDR-based safety verifier for Petri nets using Z3's Spacer engine.
- *
- * Proves safety properties (especially deadlock-freedom) without
- * enumerating all reachable states. IC3 constructs inductive invariants
- * incrementally, which works well for bounded nets.
- *
- * Key design decisions:
- * - Operates on the marking projection (integer vectors) — no timing
- * - An untimed deadlock-freedom proof is stronger than needed
- *   (timing can only restrict behavior)
- * - Input specifications are purely structural (IO-006) — there is no per-arc
- *   predicate for the encoder to be blind to
- * - If a counterexample is found, it may be spurious in timed semantics —
- *   the report notes this
- *
- * Verification Pipeline:
- * 1. Flatten — expand XOR, index places, build pre/post vectors
- * 2. Structural pre-check — siphon/trap analysis (may prove early)
- * 3. P-invariants — compute conservation laws for strengthening
- * 4. SMT encode + query — IC3/PDR via Z3 Spacer
- * 5. Decode result — proof or counterexample trace
- */
 declare class SmtVerifier {
     private readonly net;
     private _initialMarking;
@@ -599,13 +558,26 @@ declare class SmtVerifier {
      * into a chain whose other combinations avoid it (dropped by the H1 guard). On a
      * net with a few reset arcs that can lose every law of the chains those arcs
      * touch, and without them IC3 has to rediscover the conservation of each chain —
-     * on a ~100-place net it does not within any practical budget. With the semiflows
-     * in, the same reachability-safety queries close in about a second.
+     * on a ~100-place net it does not within any practical budget.
+     *
+     * **Turn this on if the net has any `all()` / `atLeast(n)` or reset arc on a busy
+     * place** — draining an input queue is the everyday case. Every basis row whose
+     * support touches such a place fails the H1 guard and is dropped, so the encoders
+     * run on a deficient invariant set and nothing in the report says a law is missing
+     * beyond the `Dropped` lines.
+     *
+     * This reaches the **name-coloured** encoder (NU-050) as well as the flat one, and
+     * it matters most there. On a 113-place ν-net, whole-net deadlock-freedom went from
+     * `unknown` after 50 minutes to `proven` in about 15 seconds with this option as the
+     * only change; on the flat path, reachability-safety queries that timed out at 120 s
+     * close in about a second.
      *
      * Soundness is unchanged: the semiflows pass the same exact re-validation as the
      * basis rows, the union is pure strengthening (`Semiflow.lean`,
      * `semiflow_union_sound`), and the certificate check re-proves the strengthened
-     * invariant. Off by default so reports stay byte-equal.
+     * invariant — that check is flat-path only, so a coloured `proven` reports
+     * `Certificate check: not applicable (name-coloured encoding)`. Off by default so
+     * reports stay byte-equal.
      */
     semiflowInvariants(enabled: boolean): this;
     /**
@@ -645,6 +617,23 @@ declare class SmtVerifier {
      * dead-letter-drain stalls the eager, priority-ordered executor never produces.
      */
     prioritySemantics(semantics: PrioritySemantics): this;
+    /**
+     * The name-coloured plan and its encoding, or a null plan when the net is outside
+     * the fragment (NU-050) and a null encoding when the property names a place the net
+     * does not resolve.
+     *
+     * {@link verify} and {@link encodeScripts} share this deliberately. They used to
+     * invoke `buildColouredPlan` and `encodeColoured` separately, so handing the encoder
+     * the wrong one of the two lists changed only one of them — and the script-parity
+     * goldens are generated from `encodeScripts`. Unifying the invocation closes that. It
+     * does not make the two paths identical: each still computes its own invariant and
+     * semiflow lists, so they can still drift through the arguments rather than the call.
+     *
+     * `invariants` is what the encoder conjoins into every rule body (the null-space
+     * basis, unioned with the semiflows when VER-007 is enabled); `semiflows` sets the
+     * colour-slot bound k (NU-053). They are not the same list.
+     */
+    private colouredAttempt;
     /**
      * The SMT-LIB2 scripts {@link verify} would send to z3 for this configuration,
      * without running a solver (VER-013 AC1): the HORN query (flat, or name-coloured
@@ -1109,4 +1098,4 @@ declare class TimePetriNetAnalyzerBuilder {
     build(): TimePetriNetAnalyzer;
 }
 
-export { type AbstractState, type EnvironmentAnalysisMode as AnalysisEnvironmentMode, type BranchEdge, type CertificateCheckOutcome, type CertificateVc, DBM, DUMP_ENV, type DecodedTrace, type EncodedScripts, type EnvironmentAnalysisMode, type FlatNet, type FlatTransition, IncidenceMatrix, type LivenessResult, MIN_Z3_VERSION, MarkingState, MarkingStateBuilder, PInvariant, type PrioritySemantics, type QueryProven, type QueryResult, type QueryUnknown, type QueryViolated, type ReplayOptions, type ReplayOutcome, type ReplayStep, type SmtEncoding, SmtProperty, SmtVerificationResult, SmtVerifier, StateClass, StateClassGraph, type StructuralCheckResult, TimePetriNetAnalyzer, TimePetriNetAnalyzerBuilder, type XorBranchAnalysis, type XorBranchInfo, type Z3Exit, Z3ProcessError, type Z3Reply, type Z3Solver, Z3Unavailable, type Z3Version, Z3_ENV, alwaysAvailable, alwaysAvailable as analysisAlwaysAvailable, bounded as analysisBounded, ignore as analysisIgnore, bounded, canonicalInvariantOrder, checkCertificate, computePInvariants, computePSemiflows, computeSCCs, decode, decodeStateSet, encode, encodeStepRelationSmt2, findMaximalTrapIn, findMinimalSiphons, findTerminalSCCs, flatNetIndexOf, flatNetPlaceCount, flatNetTransitionCount, flatTransition, flatten, formatZ3Version, ignore, isCoveredByInvariants, parseZ3Version, placeholderCertificate, replayCounterexample, resolveZ3, runZ3Spacer, runZ3Text, strengthenWithSemiflows, structuralCheck, vcScript, z3Available, z3SolverAt };
+export { type AbstractState, EnvironmentAnalysisMode as AnalysisEnvironmentMode, type BranchEdge, type CertificateCheckOutcome, type CertificateVc, DBM, DUMP_ENV, type DecodedTrace, type EncodedScripts, EnvironmentAnalysisMode, type FlatNet, type FlatTransition, IncidenceMatrix, type LivenessResult, MIN_Z3_VERSION, MarkingState, MarkingStateBuilder, PInvariant, type PrioritySemantics, type QueryProven, type QueryResult, type QueryUnknown, type QueryViolated, type ReplayOptions, type ReplayOutcome, type ReplayStep, type SmtEncoding, SmtProperty, SmtVerificationResult, SmtVerifier, StateClass, StateClassGraph, type StructuralCheckResult, TimePetriNetAnalyzer, TimePetriNetAnalyzerBuilder, type XorBranchAnalysis, type XorBranchInfo, type Z3Exit, Z3ProcessError, type Z3Reply, type Z3Solver, Z3Unavailable, type Z3Version, Z3_ENV, canonicalInvariantOrder, checkCertificate, computePInvariants, computePSemiflows, computeSCCs, decode, decodeStateSet, encode, encodeStepRelationSmt2, findMaximalTrapIn, findMinimalSiphons, findTerminalSCCs, flatNetIndexOf, flatNetPlaceCount, flatNetTransitionCount, flatTransition, flatten, formatZ3Version, isCoveredByInvariants, parseZ3Version, placeholderCertificate, replayCounterexample, resolveZ3, runZ3Spacer, runZ3Text, strengthenWithSemiflows, structuralCheck, vcScript, z3Available, z3SolverAt };

package/dist/verification/index.js

@@ -54,7 +54,7 @@ import {
   vcScript,
   z3Available,
   z3SolverAt
-} from "../chunk-WYCGGQAW.js";
+} from "../chunk-FD3S4TZM.js";
 import "../chunk-ATT7U5H5.js";
 
 // src/verification/analysis/scc-analyzer.ts

package/dist/viewer/index.js

@@ -5,7 +5,7 @@ import {
   colorForPrefix,
   discoverClusters,
   mount
-} from "../chunk-KO6TSB47.js";
+} from "../chunk-GJAHGHGT.js";
 export {
   DEFAULT_PANZOOM_OPTS,
   VERSION,

package/dist/viewer/viewer.iife.js

@@ -6358,7 +6358,7 @@ textContent??"").replace(/^cluster_/,"");Mn.classList.toggle("is-hidden",!N.has(
 en",!bn.has(v))}if(!Q)for(let Mn of Array.from(P.querySelectorAll("g.node.petri-replica")))Mn.classList.add("is-hidden");let Sn=new Map;for(let Mn of Array.from(P.querySelectorAll("g.node"))){let v=Mn.getAttribute("data-id");v&&Sn.set(v,Mn)}for(let Mn of Array.from(P.querySelectorAll("g.edge"))){let v=Mn.getAttribute("data-src")??"",Vn=Mn.getAttribute("data-dst")??"",te=Sn.get(v)?.classList.contains(
 "is-hidden")??!1,pe=Sn.get(Vn)?.classList.contains("is-hidden")??!1;Mn.classList.toggle("is-hidden",te||pe)}}var Pfe=["--lpv-bg","--lpv-header-bg","--lpv-border","--lpv-text","--lpv-muted","--lpv-cluster-bg","--lpv-cluster-bg-collapsed","--lpv-cluster-stroke-width","--lpv-cluster-stroke-dash","--lpv-cluster-fill-tint","--lpv-dim-opacity","--lpv-active-filter-outline","--lpv-legend-bg","--lpv-chip-bg","--lpv-chip-active-bg","--lpv-sidebar-bg","--lpv-sidebar-border","--lpv-sidebar-text","--lpv-sidebar-mute\
 d","--lpv-sidebar-chip-bg","--lpv-sidebar-chip-hover-bg","--lpv-sidebar-chip-off-opacity","--lpv-shared-glyph-color","--lpv-replica-fill","--lpv-replica-stroke","--lpv-highlight-stroke","--lpv-highlight-glow","--lpv-neighbor-stroke","--lpv-faded-node-opacity","--lpv-faded-edge-opacity","--lpv-faded-cluster-opacity"];var zPe=/^\s*subgraph\s+cluster_[A-Za-z0-9_]+\s*\{\s*$/,KPe=/^\s*\}\s*$/;function Cfe(P){let O=P.split("\n"),N=[],Q=0;for(let bn of O){if(zPe.test(bn)){Q++;continue}if(Q>0){if(KPe.test(bn)){Q--;continue}(bn.includes("[")||bn.includes("->"))&&N.push(_fe(bn));continue}if(bn.includes("->")&&(bn.includes("ltail=")||bn.includes("lhead="))){N.push(_fe(bn));continue}N.push(bn)}return N.join("\n")}function _fe(P){
-return P.replace(/,\s*ltail="cluster_[^"]*"/g,"").replace(/,\s*lhead="cluster_[^"]*"/g,"").replace(/\[\s*ltail="cluster_[^"]*"\s*,\s*/g,"[").replace(/\[\s*lhead="cluster_[^"]*"\s*,\s*/g,"[").replace(/\[\s*ltail="cluster_[^"]*"\s*\]/g,"[]").replace(/\[\s*lhead="cluster_[^"]*"\s*\]/g,"[]")}var Ofe="4.0.0";async function ale(P,O,N={}){let Q=N.previousHandle??null,bn=Q?new Set(Q.collapsedPrefixes):new Set,Sn=Q?.activeFilter??null,Mn=N.subnets??Q?.subnets??"show";Q&&Q.dispose();let v=await Promise.resolve().then(()=>(lle(),fle)),Vn=(N.layout??"elk")==="elk",te=Mn==="hide"?Cfe(P):P,pe={clusterLayout:N.clusterLayout,leafPacking:N.leafPacking},$e=Vn?await v.renderDotToSvgWithElkLayout(te,pe):await v.renderDotToSvg(
+return P.replace(/,\s*ltail="cluster_[^"]*"/g,"").replace(/,\s*lhead="cluster_[^"]*"/g,"").replace(/\[\s*ltail="cluster_[^"]*"\s*,\s*/g,"[").replace(/\[\s*lhead="cluster_[^"]*"\s*,\s*/g,"[").replace(/\[\s*ltail="cluster_[^"]*"\s*\]/g,"[]").replace(/\[\s*lhead="cluster_[^"]*"\s*\]/g,"[]")}var Ofe="4.1.0";async function ale(P,O,N={}){let Q=N.previousHandle??null,bn=Q?new Set(Q.collapsedPrefixes):new Set,Sn=Q?.activeFilter??null,Mn=N.subnets??Q?.subnets??"show";Q&&Q.dispose();let v=await Promise.resolve().then(()=>(lle(),fle)),Vn=(N.layout??"elk")==="elk",te=Mn==="hide"?Cfe(P):P,pe={clusterLayout:N.clusterLayout,leafPacking:N.leafPacking},$e=Vn?await v.renderDotToSvgWithElkLayout(te,pe):await v.renderDotToSvg(
 te);O.innerHTML="",O.appendChild($e),O.classList.add("libpetri-viewer");let ft=mfe($e,N.panzoom),gt=z0n($e);Ffe(gt);let $t=N.layout??"elk";$t==="elk"&&(xfe($e),vz($e));let Be=new Set,dt=null,Ie=null,_t=!1,We=null,Pn=null,Bt=!0;function It(){if(!N.chrome||We&&We.parentNode===O)return;We=document.createElement("div"),We.className="libpetri-viewer-chrome",We.style.position="absolute",We.style.inset="\
 0",We.style.pointerEvents="none";let Rt=document.createElement("div");Rt.className="diagram-controls",Rt.style.pointerEvents="auto";let or=document.createElement("button");or.type="button",or.className="diagram-btn btn-reset",or.title="Reset view",or.textContent="Reset",or.addEventListener("click",()=>Ir.fit());let ui=document.createElement("button");ui.type="button",ui.className="diagram-btn btn-\
 fullscreen",ui.title="Toggle fullscreen",ui.textContent="Fullscreen",ui.addEventListener("click",()=>Yr(O,ui));let wr=document.createElement("button");wr.type="button",wr.className="diagram-btn btn-subnets",wr.title=Mn==="show"?"Hide subnet groupings":"Show subnet groupings",wr.textContent=Mn==="show"?"Flat view":"Subnets view",wr.addEventListener("click",()=>{Ir.toggleSubnets()}),Rt.appendChild(wr),

package/package.json

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