@nklisch/pi-enhanced 0.1.10 → 0.2.0

package/node_modules/@nklisch/pi-plugins/dist/application/state-contract.d.ts

@@ -223,7 +223,6 @@ export declare const UserStateMutationInputSchema: z.ZodReadonly<z.ZodObject<{
                         "capability-blocked": "capability-blocked";
                         "configuration-blocked": "configuration-blocked";
                         "manual-required": "manual-required";
-                        "recovery-required": "recovery-required";
                     }>;
                     publication: z.ZodEnum<{
                         pending: "pending";
@@ -246,7 +245,6 @@ export declare const UserStateMutationInputSchema: z.ZodReadonly<z.ZodObject<{
                             applied: "applied";
                             blocked: "blocked";
                             pending: "pending";
-                            "recovery-required": "recovery-required";
                             retryable: "retryable";
                         }>;
                         reason: z.ZodOptional<z.ZodEnum<{
@@ -254,9 +252,9 @@ export declare const UserStateMutationInputSchema: z.ZodReadonly<z.ZodObject<{
                             "awaiting-host-context": "awaiting-host-context";
                             "capability-unavailable": "capability-unavailable";
                             "configuration-required": "configuration-required";
+                            degraded: "degraded";
                             manual: "manual";
                             "project-untrusted": "project-untrusted";
-                            "recovery-required": "recovery-required";
                             retryable: "retryable";
                             "secret-unavailable": "secret-unavailable";
                             stale: "stale";
@@ -292,6 +290,7 @@ export declare const UserStateMutationInputSchema: z.ZodReadonly<z.ZodObject<{
                     enabled: "enabled";
                 }>;
                 selectedRevision: z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">;
+                previousRevision: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">>;
                 revisions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
                     revision: z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">;
                     evidence: z.ZodReadonly<z.ZodObject<{
@@ -354,7 +353,6 @@ export declare const UserStateMutationInputSchema: z.ZodReadonly<z.ZodObject<{
                     dataRef: z.core.$ZodBranded<z.ZodString, "PluginDataRef", "out">;
                     configurationRef: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "PluginConfigurationRef", "out">>;
                 }, z.core.$strict>>>>;
-                pendingTransition: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "PendingTransitionRef", "out">>;
             }, z.core.$strict>>>>;
         }, z.core.$strict>>>;
         trust: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
@@ -449,6 +447,7 @@ export declare const ProjectStateMutationInputSchema: z.ZodReadonly<z.ZodObject<
                     enabled: "enabled";
                 }>;
                 selectedRevision: z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">;
+                previousRevision: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">>;
                 revisions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
                     revision: z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">;
                     evidence: z.ZodReadonly<z.ZodObject<{
@@ -511,7 +510,6 @@ export declare const ProjectStateMutationInputSchema: z.ZodReadonly<z.ZodObject<
                     dataRef: z.core.$ZodBranded<z.ZodString, "PluginDataRef", "out">;
                     configurationRef: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "PluginConfigurationRef", "out">>;
                 }, z.core.$strict>>>>;
-                pendingTransition: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "PendingTransitionRef", "out">>;
             }, z.core.$strict>>>>;
             marketplaceUpdates: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
                 marketplace: z.core.$ZodBranded<z.ZodString, "MarketplaceName", "out">;
@@ -649,7 +647,6 @@ export declare const ProjectStateMutationInputSchema: z.ZodReadonly<z.ZodObject<
                         "capability-blocked": "capability-blocked";
                         "configuration-blocked": "configuration-blocked";
                         "manual-required": "manual-required";
-                        "recovery-required": "recovery-required";
                     }>;
                     publication: z.ZodEnum<{
                         pending: "pending";
@@ -672,7 +669,6 @@ export declare const ProjectStateMutationInputSchema: z.ZodReadonly<z.ZodObject<
                             applied: "applied";
                             blocked: "blocked";
                             pending: "pending";
-                            "recovery-required": "recovery-required";
                             retryable: "retryable";
                         }>;
                         reason: z.ZodOptional<z.ZodEnum<{
@@ -680,9 +676,9 @@ export declare const ProjectStateMutationInputSchema: z.ZodReadonly<z.ZodObject<
                             "awaiting-host-context": "awaiting-host-context";
                             "capability-unavailable": "capability-unavailable";
                             "configuration-required": "configuration-required";
+                            degraded: "degraded";
                             manual: "manual";
                             "project-untrusted": "project-untrusted";
-                            "recovery-required": "recovery-required";
                             retryable: "retryable";
                             "secret-unavailable": "secret-unavailable";
                             stale: "stale";
@@ -882,7 +878,6 @@ export declare const StateMutationInputSchema: z.ZodUnion<readonly [z.ZodReadonl
                         "capability-blocked": "capability-blocked";
                         "configuration-blocked": "configuration-blocked";
                         "manual-required": "manual-required";
-                        "recovery-required": "recovery-required";
                     }>;
                     publication: z.ZodEnum<{
                         pending: "pending";
@@ -905,7 +900,6 @@ export declare const StateMutationInputSchema: z.ZodUnion<readonly [z.ZodReadonl
                             applied: "applied";
                             blocked: "blocked";
                             pending: "pending";
-                            "recovery-required": "recovery-required";
                             retryable: "retryable";
                         }>;
                         reason: z.ZodOptional<z.ZodEnum<{
@@ -913,9 +907,9 @@ export declare const StateMutationInputSchema: z.ZodUnion<readonly [z.ZodReadonl
                             "awaiting-host-context": "awaiting-host-context";
                             "capability-unavailable": "capability-unavailable";
                             "configuration-required": "configuration-required";
+                            degraded: "degraded";
                             manual: "manual";
                             "project-untrusted": "project-untrusted";
-                            "recovery-required": "recovery-required";
                             retryable: "retryable";
                             "secret-unavailable": "secret-unavailable";
                             stale: "stale";
@@ -951,6 +945,7 @@ export declare const StateMutationInputSchema: z.ZodUnion<readonly [z.ZodReadonl
                     enabled: "enabled";
                 }>;
                 selectedRevision: z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">;
+                previousRevision: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">>;
                 revisions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
                     revision: z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">;
                     evidence: z.ZodReadonly<z.ZodObject<{
@@ -1013,7 +1008,6 @@ export declare const StateMutationInputSchema: z.ZodUnion<readonly [z.ZodReadonl
                     dataRef: z.core.$ZodBranded<z.ZodString, "PluginDataRef", "out">;
                     configurationRef: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "PluginConfigurationRef", "out">>;
                 }, z.core.$strict>>>>;
-                pendingTransition: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "PendingTransitionRef", "out">>;
             }, z.core.$strict>>>>;
         }, z.core.$strict>>>;
         trust: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
@@ -1105,6 +1099,7 @@ export declare const StateMutationInputSchema: z.ZodUnion<readonly [z.ZodReadonl
                     enabled: "enabled";
                 }>;
                 selectedRevision: z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">;
+                previousRevision: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">>;
                 revisions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
                     revision: z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">;
                     evidence: z.ZodReadonly<z.ZodObject<{
@@ -1167,7 +1162,6 @@ export declare const StateMutationInputSchema: z.ZodUnion<readonly [z.ZodReadonl
                     dataRef: z.core.$ZodBranded<z.ZodString, "PluginDataRef", "out">;
                     configurationRef: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "PluginConfigurationRef", "out">>;
                 }, z.core.$strict>>>>;
-                pendingTransition: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "PendingTransitionRef", "out">>;
             }, z.core.$strict>>>>;
             marketplaceUpdates: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
                 marketplace: z.core.$ZodBranded<z.ZodString, "MarketplaceName", "out">;
@@ -1305,7 +1299,6 @@ export declare const StateMutationInputSchema: z.ZodUnion<readonly [z.ZodReadonl
                         "capability-blocked": "capability-blocked";
                         "configuration-blocked": "configuration-blocked";
                         "manual-required": "manual-required";
-                        "recovery-required": "recovery-required";
                     }>;
                     publication: z.ZodEnum<{
                         pending: "pending";
@@ -1328,7 +1321,6 @@ export declare const StateMutationInputSchema: z.ZodUnion<readonly [z.ZodReadonl
                             applied: "applied";
                             blocked: "blocked";
                             pending: "pending";
-                            "recovery-required": "recovery-required";
                             retryable: "retryable";
                         }>;
                         reason: z.ZodOptional<z.ZodEnum<{
@@ -1336,9 +1328,9 @@ export declare const StateMutationInputSchema: z.ZodUnion<readonly [z.ZodReadonl
                             "awaiting-host-context": "awaiting-host-context";
                             "capability-unavailable": "capability-unavailable";
                             "configuration-required": "configuration-required";
+                            degraded: "degraded";
                             manual: "manual";
                             "project-untrusted": "project-untrusted";
-                            "recovery-required": "recovery-required";
                             retryable: "retryable";
                             "secret-unavailable": "secret-unavailable";
                             stale: "stale";
@@ -1542,7 +1534,6 @@ export declare const UserStateMutationSchema: z.ZodReadonly<z.ZodObject<{
                         "capability-blocked": "capability-blocked";
                         "configuration-blocked": "configuration-blocked";
                         "manual-required": "manual-required";
-                        "recovery-required": "recovery-required";
                     }>;
                     publication: z.ZodEnum<{
                         pending: "pending";
@@ -1565,7 +1556,6 @@ export declare const UserStateMutationSchema: z.ZodReadonly<z.ZodObject<{
                             applied: "applied";
                             blocked: "blocked";
                             pending: "pending";
-                            "recovery-required": "recovery-required";
                             retryable: "retryable";
                         }>;
                         reason: z.ZodOptional<z.ZodEnum<{
@@ -1573,9 +1563,9 @@ export declare const UserStateMutationSchema: z.ZodReadonly<z.ZodObject<{
                             "awaiting-host-context": "awaiting-host-context";
                             "capability-unavailable": "capability-unavailable";
                             "configuration-required": "configuration-required";
+                            degraded: "degraded";
                             manual: "manual";
                             "project-untrusted": "project-untrusted";
-                            "recovery-required": "recovery-required";
                             retryable: "retryable";
                             "secret-unavailable": "secret-unavailable";
                             stale: "stale";
@@ -1611,6 +1601,7 @@ export declare const UserStateMutationSchema: z.ZodReadonly<z.ZodObject<{
                     enabled: "enabled";
                 }>;
                 selectedRevision: z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">;
+                previousRevision: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">>;
                 revisions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
                     revision: z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">;
                     evidence: z.ZodReadonly<z.ZodObject<{
@@ -1673,7 +1664,6 @@ export declare const UserStateMutationSchema: z.ZodReadonly<z.ZodObject<{
                     dataRef: z.core.$ZodBranded<z.ZodString, "PluginDataRef", "out">;
                     configurationRef: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "PluginConfigurationRef", "out">>;
                 }, z.core.$strict>>>>;
-                pendingTransition: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "PendingTransitionRef", "out">>;
             }, z.core.$strict>>>>;
         }, z.core.$strict>>>;
         trust: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
@@ -1766,6 +1756,7 @@ export declare const ProjectStateMutationSchema: z.ZodReadonly<z.ZodObject<{
                     enabled: "enabled";
                 }>;
                 selectedRevision: z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">;
+                previousRevision: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">>;
                 revisions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
                     revision: z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">;
                     evidence: z.ZodReadonly<z.ZodObject<{
@@ -1828,7 +1819,6 @@ export declare const ProjectStateMutationSchema: z.ZodReadonly<z.ZodObject<{
                     dataRef: z.core.$ZodBranded<z.ZodString, "PluginDataRef", "out">;
                     configurationRef: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "PluginConfigurationRef", "out">>;
                 }, z.core.$strict>>>>;
-                pendingTransition: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "PendingTransitionRef", "out">>;
             }, z.core.$strict>>>>;
             marketplaceUpdates: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
                 marketplace: z.core.$ZodBranded<z.ZodString, "MarketplaceName", "out">;
@@ -1966,7 +1956,6 @@ export declare const ProjectStateMutationSchema: z.ZodReadonly<z.ZodObject<{
                         "capability-blocked": "capability-blocked";
                         "configuration-blocked": "configuration-blocked";
                         "manual-required": "manual-required";
-                        "recovery-required": "recovery-required";
                     }>;
                     publication: z.ZodEnum<{
                         pending: "pending";
@@ -1989,7 +1978,6 @@ export declare const ProjectStateMutationSchema: z.ZodReadonly<z.ZodObject<{
                             applied: "applied";
                             blocked: "blocked";
                             pending: "pending";
-                            "recovery-required": "recovery-required";
                             retryable: "retryable";
                         }>;
                         reason: z.ZodOptional<z.ZodEnum<{
@@ -1997,9 +1985,9 @@ export declare const ProjectStateMutationSchema: z.ZodReadonly<z.ZodObject<{
                             "awaiting-host-context": "awaiting-host-context";
                             "capability-unavailable": "capability-unavailable";
                             "configuration-required": "configuration-required";
+                            degraded: "degraded";
                             manual: "manual";
                             "project-untrusted": "project-untrusted";
-                            "recovery-required": "recovery-required";
                             retryable: "retryable";
                             "secret-unavailable": "secret-unavailable";
                             stale: "stale";
@@ -2197,7 +2185,6 @@ export declare const StateMutationSchema: z.ZodUnion<readonly [z.ZodReadonly<z.Z
                         "capability-blocked": "capability-blocked";
                         "configuration-blocked": "configuration-blocked";
                         "manual-required": "manual-required";
-                        "recovery-required": "recovery-required";
                     }>;
                     publication: z.ZodEnum<{
                         pending: "pending";
@@ -2220,7 +2207,6 @@ export declare const StateMutationSchema: z.ZodUnion<readonly [z.ZodReadonly<z.Z
                             applied: "applied";
                             blocked: "blocked";
                             pending: "pending";
-                            "recovery-required": "recovery-required";
                             retryable: "retryable";
                         }>;
                         reason: z.ZodOptional<z.ZodEnum<{
@@ -2228,9 +2214,9 @@ export declare const StateMutationSchema: z.ZodUnion<readonly [z.ZodReadonly<z.Z
                             "awaiting-host-context": "awaiting-host-context";
                             "capability-unavailable": "capability-unavailable";
                             "configuration-required": "configuration-required";
+                            degraded: "degraded";
                             manual: "manual";
                             "project-untrusted": "project-untrusted";
-                            "recovery-required": "recovery-required";
                             retryable: "retryable";
                             "secret-unavailable": "secret-unavailable";
                             stale: "stale";
@@ -2266,6 +2252,7 @@ export declare const StateMutationSchema: z.ZodUnion<readonly [z.ZodReadonly<z.Z
                     enabled: "enabled";
                 }>;
                 selectedRevision: z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">;
+                previousRevision: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">>;
                 revisions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
                     revision: z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">;
                     evidence: z.ZodReadonly<z.ZodObject<{
@@ -2328,7 +2315,6 @@ export declare const StateMutationSchema: z.ZodUnion<readonly [z.ZodReadonly<z.Z
                     dataRef: z.core.$ZodBranded<z.ZodString, "PluginDataRef", "out">;
                     configurationRef: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "PluginConfigurationRef", "out">>;
                 }, z.core.$strict>>>>;
-                pendingTransition: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "PendingTransitionRef", "out">>;
             }, z.core.$strict>>>>;
         }, z.core.$strict>>>;
         trust: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
@@ -2420,6 +2406,7 @@ export declare const StateMutationSchema: z.ZodUnion<readonly [z.ZodReadonly<z.Z
                     enabled: "enabled";
                 }>;
                 selectedRevision: z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">;
+                previousRevision: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">>;
                 revisions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
                     revision: z.core.$ZodBranded<z.ZodString, "ContentDigest", "out">;
                     evidence: z.ZodReadonly<z.ZodObject<{
@@ -2482,7 +2469,6 @@ export declare const StateMutationSchema: z.ZodUnion<readonly [z.ZodReadonly<z.Z
                     dataRef: z.core.$ZodBranded<z.ZodString, "PluginDataRef", "out">;
                     configurationRef: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "PluginConfigurationRef", "out">>;
                 }, z.core.$strict>>>>;
-                pendingTransition: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "PendingTransitionRef", "out">>;
             }, z.core.$strict>>>>;
             marketplaceUpdates: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
                 marketplace: z.core.$ZodBranded<z.ZodString, "MarketplaceName", "out">;
@@ -2620,7 +2606,6 @@ export declare const StateMutationSchema: z.ZodUnion<readonly [z.ZodReadonly<z.Z
                         "capability-blocked": "capability-blocked";
                         "configuration-blocked": "configuration-blocked";
                         "manual-required": "manual-required";
-                        "recovery-required": "recovery-required";
                     }>;
                     publication: z.ZodEnum<{
                         pending: "pending";
@@ -2643,7 +2628,6 @@ export declare const StateMutationSchema: z.ZodUnion<readonly [z.ZodReadonly<z.Z
                             applied: "applied";
                             blocked: "blocked";
                             pending: "pending";
-                            "recovery-required": "recovery-required";
                             retryable: "retryable";
                         }>;
                         reason: z.ZodOptional<z.ZodEnum<{
@@ -2651,9 +2635,9 @@ export declare const StateMutationSchema: z.ZodUnion<readonly [z.ZodReadonly<z.Z
                             "awaiting-host-context": "awaiting-host-context";
                             "capability-unavailable": "capability-unavailable";
                             "configuration-required": "configuration-required";
+                            degraded: "degraded";
                             manual: "manual";
                             "project-untrusted": "project-untrusted";
-                            "recovery-required": "recovery-required";
                             retryable: "retryable";
                             "secret-unavailable": "secret-unavailable";
                             stale: "stale";

package/node_modules/@nklisch/pi-plugins/dist/application/state-transaction.d.ts

@@ -0,0 +1,48 @@
+import type { ScopeContext } from "../domain/state/scope.js";
+import type { GenerationSnapshot, VerifiedStateMutation } from "./state-contract.js";
+import type { LifecycleStateStore } from "./ports/lifecycle-state-store.js";
+/** The bounded number of authority snapshots a mutation may re-plan. */
+export declare const SCOPED_MUTATION_MAX_ATTEMPTS = 4;
+export type ScopedMutationCommitDecision<T> = Readonly<{
+    kind: "commit";
+    mutation: VerifiedStateMutation;
+    value: T;
+    /** Optional per-plan authority check; it still runs before store.commit. */
+    recheckAuthority?: ScopedMutationRecheckAuthority;
+}>;
+export type ScopedMutationRejectDecision<T> = Readonly<{
+    kind: "reject";
+    value: T;
+    code?: string;
+}>;
+export type ScopedMutationNoopDecision<T> = Readonly<{
+    kind: "no-op";
+    value: T;
+}>;
+/** A plan is deliberately synchronous: slow work belongs before this boundary. */
+export type ScopedMutationDecision<T> = ScopedMutationCommitDecision<T> | ScopedMutationRejectDecision<T> | ScopedMutationNoopDecision<T>;
+export type ScopedMutationPlan<T> = (snapshot: GenerationSnapshot) => ScopedMutationDecision<T>;
+export type ScopedMutationRetryableResult = Readonly<{
+    kind: "retryable";
+    code: "BUSY";
+    attempts: number;
+    reason: "another session is mid-write, retry";
+}>;
+export type ScopedMutationResult<T> = Readonly<{
+    kind: "committed";
+    value: T;
+    snapshot: GenerationSnapshot;
+}> | ScopedMutationRejectDecision<T> | ScopedMutationNoopDecision<T> | Readonly<{
+    kind: "stale";
+    expected: number;
+    actual?: number;
+}> | ScopedMutationRetryableResult;
+export type ScopedMutationRecheckAuthority = (snapshot: GenerationSnapshot) => void | Promise<void>;
+/**
+ * Run one pure-plan/CAS mutation against a scope authority.
+ *
+ * The store owns the SQLite transaction. This helper never passes a callback
+ * into it: `recheckAuthority` is awaited immediately before `commit`, and the
+ * transaction window therefore contains no plan work, I/O, or user callback.
+ */
+export declare function runScopedMutation<T>(store: LifecycleStateStore, scope: ScopeContext, plan: ScopedMutationPlan<T>, signal: AbortSignal, recheckAuthority?: ScopedMutationRecheckAuthority): Promise<ScopedMutationResult<T>>;

package/node_modules/@nklisch/pi-plugins/dist/application/state-transaction.js

@@ -0,0 +1,107 @@
+/** The bounded number of authority snapshots a mutation may re-plan. */
+export const SCOPED_MUTATION_MAX_ATTEMPTS = 4;
+function assertSignal(signal) {
+    if (signal === null ||
+        typeof signal !== "object" ||
+        typeof signal.throwIfAborted !== "function" ||
+        typeof signal.addEventListener !== "function" ||
+        typeof signal.removeEventListener !== "function") {
+        throw new TypeError("scoped mutation requires an AbortSignal");
+    }
+}
+function isBusy(error) {
+    if (typeof error !== "object" || error === null)
+        return false;
+    const candidate = error;
+    return candidate.errcode === 5 || candidate.code === "SQLITE_BUSY" || candidate.code === "STATE_BUSY" || candidate.name === "LifecycleStateBusyError";
+}
+function isPromiseLike(value) {
+    return typeof value === "object" && value !== null && typeof value.then === "function";
+}
+function retryableBusy(attempts) {
+    return Object.freeze({
+        kind: "retryable",
+        code: "BUSY",
+        attempts,
+        reason: "another session is mid-write, retry",
+    });
+}
+function validateLoadResult(result, scope) {
+    if (!result || typeof result !== "object")
+        throw new Error("state store returned an invalid read result");
+    if (!result.ok)
+        throw new Error("lifecycle state is corrupt");
+    if (result.snapshot.scope.kind !== scope.kind ||
+        (scope.kind === "project" && result.snapshot.scope.kind === "project" && result.snapshot.scope.projectKey !== scope.projectKey)) {
+        throw new Error("state store returned a snapshot for the wrong scope");
+    }
+    return result.snapshot;
+}
+/**
+ * Run one pure-plan/CAS mutation against a scope authority.
+ *
+ * The store owns the SQLite transaction. This helper never passes a callback
+ * into it: `recheckAuthority` is awaited immediately before `commit`, and the
+ * transaction window therefore contains no plan work, I/O, or user callback.
+ */
+export async function runScopedMutation(store, scope, plan, signal, recheckAuthority) {
+    if (store === null || typeof store !== "object" || typeof store.read !== "function" || typeof store.commit !== "function") {
+        throw new TypeError("scoped mutation requires a lifecycle state store");
+    }
+    if (scope === null || typeof scope !== "object")
+        throw new TypeError("scoped mutation requires a scope");
+    if (typeof plan !== "function")
+        throw new TypeError("scoped mutation requires a pure plan");
+    assertSignal(signal);
+    let lastStale;
+    for (let attempt = 0; attempt < SCOPED_MUTATION_MAX_ATTEMPTS; attempt += 1) {
+        signal.throwIfAborted();
+        let loaded;
+        try {
+            loaded = await store.read(scope, signal);
+        }
+        catch (error) {
+            if (isBusy(error))
+                return retryableBusy(attempt + 1);
+            throw error;
+        }
+        const snapshot = validateLoadResult(loaded, scope);
+        const candidate = plan(snapshot);
+        if (isPromiseLike(candidate))
+            throw new TypeError("scoped mutation plans must be synchronous");
+        const decision = candidate;
+        if (decision === null || typeof decision !== "object")
+            throw new TypeError("scoped mutation plan returned an invalid decision");
+        if (decision.kind === "reject" || decision.kind === "no-op")
+            return decision;
+        if (decision.kind !== "commit" || typeof decision.mutation !== "object" || decision.mutation === null) {
+            throw new TypeError("scoped mutation plan returned an invalid decision");
+        }
+        // This callback is intentionally outside store.commit. In particular, it
+        // cannot run after BEGIN IMMEDIATE has acquired the SQLite write lock.
+        const authorityCheck = decision.recheckAuthority ?? recheckAuthority;
+        if (authorityCheck !== undefined)
+            await authorityCheck(snapshot);
+        signal.throwIfAborted();
+        let result;
+        try {
+            result = await store.commit(decision.mutation, signal);
+        }
+        catch (error) {
+            if (isBusy(error))
+                return retryableBusy(attempt + 1);
+            throw error;
+        }
+        if (result.kind === "committed")
+            return { kind: "committed", value: decision.value, snapshot: result.snapshot };
+        if (result.kind !== "stale-generation")
+            throw new Error("state store returned an invalid commit result");
+        lastStale = { expected: result.expected, actual: result.actual };
+    }
+    return {
+        kind: "stale",
+        expected: lastStale?.expected ?? 0,
+        ...(lastStale === undefined ? {} : { actual: lastStale.actual }),
+    };
+}
+//# sourceMappingURL=state-transaction.js.map

package/node_modules/@nklisch/pi-plugins/dist/application/state-transaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-transaction.js","sourceRoot":"","sources":["../../src/application/state-transaction.ts"],"names":[],"mappings":"AAIA,wEAAwE;AACxE,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC;AA6C9C,SAAS,YAAY,CAAC,MAAmB;IACvC,IACE,MAAM,KAAK,IAAI;QACf,OAAO,MAAM,KAAK,QAAQ;QAC1B,OAAO,MAAM,CAAC,cAAc,KAAK,UAAU;QAC3C,OAAO,MAAM,CAAC,gBAAgB,KAAK,UAAU;QAC7C,OAAO,MAAM,CAAC,mBAAmB,KAAK,UAAU,EAChD,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;IACjE,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,SAAS,GAAG,KAAyF,CAAC;IAC5G,OAAO,SAAS,CAAC,OAAO,KAAK,CAAC,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,IAAI,SAAS,CAAC,IAAI,KAAK,yBAAyB,CAAC;AACxJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,OAAQ,KAA4B,CAAC,IAAI,KAAK,UAAU,CAAC;AACjH,CAAC;AAED,SAAS,aAAa,CAAC,QAAgB;IACrC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,WAAoB;QAC1B,IAAI,EAAE,MAAe;QACrB,QAAQ;QACR,MAAM,EAAE,qCAA8C;KACvD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAuB,EAAE,KAAmB;IACtE,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IAC1G,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC9D,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QACzC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACpI,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,CAAC;AACzB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,KAA0B,EAC1B,KAAmB,EACnB,IAA2B,EAC3B,MAAmB,EACnB,gBAAiD;IAEjD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC1H,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,SAAS,CAAC,kCAAkC,CAAC,CAAC;IACzG,IAAI,OAAO,IAAI,KAAK,UAAU;QAAE,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;IAC5F,YAAY,CAAC,MAAM,CAAC,CAAC;IAErB,IAAI,SAAqE,CAAC;IAC1E,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,4BAA4B,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QAC3E,MAAM,CAAC,cAAc,EAAE,CAAC;QACxB,IAAI,MAAuB,CAAC;QAC5B,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC3C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,MAAM,CAAC,KAAK,CAAC;gBAAE,OAAO,aAAa,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;YACrD,MAAM,KAAK,CAAC;QACd,CAAC;QACD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACnD,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjC,IAAI,aAAa,CAAC,SAAS,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;QAC/F,MAAM,QAAQ,GAAG,SAAS,CAAC;QAC3B,IAAI,QAAQ,KAAK,IAAI,IAAI,OAAO,QAAQ,KAAK,QAAQ;YAAE,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAC;QAChI,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,QAAQ,CAAC;QAC7E,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,QAAQ,CAAC,QAAQ,KAAK,QAAQ,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtG,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAC;QAC3E,CAAC;QAED,yEAAyE;QACzE,uEAAuE;QACvE,MAAM,cAAc,GAAG,QAAQ,CAAC,gBAAgB,IAAI,gBAAgB,CAAC;QACrE,IAAI,cAAc,KAAK,SAAS;YAAE,MAAM,cAAc,CAAC,QAAQ,CAAC,CAAC;QACjE,MAAM,CAAC,cAAc,EAAE,CAAC;QAExB,IAAI,MAAyB,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACzD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,MAAM,CAAC,KAAK,CAAC;gBAAE,OAAO,aAAa,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;YACrD,MAAM,KAAK,CAAC;QACd,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;QAChH,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB;YAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACzG,SAAS,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IACnE,CAAC;IAED,OAAO;QACL,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,SAAS,EAAE,QAAQ,IAAI,CAAC;QAClC,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC;KACjE,CAAC;AACJ,CAAC"}