nawabari 0.8.0 → 0.9.2

package/dist/session-lifecycle-actions.js

@@ -1,3 +1,4 @@
+import { lifecycleTransition } from "./session-lifecycle-classification.js";
 /**
  * The small, public vocabulary for lifecycle recovery.  These values are
  * descriptions of an available caller action; none of them grants mutation
@@ -42,20 +43,28 @@ function reconcileAction(sessionId) {
 }
 /**
  * Project one canonical lifecycle observation into bounded typed caller
- * actions.  The classifier remains the sole owner of lifecycle state; this
- * function only consumes its result and already-authoritative blocker facts.
+ * actions.  Lifecycle state and admissibility arrive through the canonical
+ * classification projection; this function only consumes that result and
+ * already-authoritative blocker facts.
  */
 export function projectSessionLifecycleActions(input) {
     const { classification, sessionId } = input;
     const blocker = input.blockers?.[0];
     const details = blocker?.details;
-    if (classification.state === "closed" || classification.state === "discarded")
+    const close = lifecycleTransition(classification, "close");
+    const discard = lifecycleTransition(classification, "discard");
+    // Lifecycle state and operation admissibility come from the machine-derived
+    // transition projection. This adapter only chooses a caller-facing action
+    // for the already-authoritative blocker evidence.
+    if (close.allowed || discard.reason === "discarded-terminal" || close.reason === "closed-terminal") {
         return Object.freeze([]);
-    if (classification.state === "stale-inconsistent") {
+    }
+    if (close.reason === "physical-reconciliation-required") {
         return Object.freeze([reconcileAction(sessionId)]);
     }
-    if (classification.state !== "blocked-recoverable")
+    if (close.reason !== "recoverable-work-must-be-retained-or-discarded" || !discard.allowed) {
         return Object.freeze([]);
+    }
     const actions = [];
     if (blocker?.code === "INTEGRATION_FETCH_FAILED") {
         const integratedRevision = stringDetail(details, "integratedRevision");

package/dist/session-lifecycle-actions.js.map

@@ -1 +1 @@
-{"version":3,"file":"session-lifecycle-actions.js","sourceRoot":"","sources":["../src/session-lifecycle-actions.ts"],"names":[],"mappings":"AAEA;;;;GAIG;AACH,MAAM,CAAC,MAAM,uCAAuC,GAAG,CAAU,CAAC;AAgElE,SAAS,YAAY,CAAC,OAAsD,EAAE,GAAW;IACvF,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC;IAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3E,CAAC;AAED,SAAS,MAAM,CAAC,KAA6B;IAC3C,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,YAAY;IACnB,OAAO,MAAM,CAAC;QACZ,aAAa,EAAE,uCAAuC;QACtD,QAAQ,EAAE,gBAAgB;QAC1B,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,iBAAiB;QAC1B,MAAM,EAAE,2BAA2B;KACpC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,SAAiB;IACtC,OAAO,MAAM,CAAC;QACZ,aAAa,EAAE,uCAAuC;QACtD,QAAQ,EAAE,iBAAiB;QAC3B,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,iBAAiB;QAC1B,SAAS;QACT,sBAAsB,EAAE,IAAI;KAC7B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,SAAiB;IACxC,OAAO,MAAM,CAAC;QACZ,aAAa,EAAE,uCAAuC;QACtD,QAAQ,EAAE,0BAA0B;QACpC,IAAI,EAAE,WAAW;QACjB,OAAO,EAAE,QAAQ;QACjB,SAAS;QACT,OAAO,EAAE,KAAK;KACf,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAC5C,KAA4C;IAE5C,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,CAAC;IAEjC,IAAI,cAAc,CAAC,KAAK,KAAK,QAAQ,IAAI,cAAc,CAAC,KAAK,KAAK,WAAW;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAExG,IAAI,cAAc,CAAC,KAAK,KAAK,oBAAoB,EAAE,CAAC;QAClD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,IAAI,cAAc,CAAC,KAAK,KAAK,qBAAqB;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAE7E,MAAM,OAAO,GAA6B,EAAE,CAAC;IAC7C,IAAI,OAAO,EAAE,IAAI,KAAK,0BAA0B,EAAE,CAAC;QACjD,MAAM,kBAAkB,GAAG,YAAY,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC;QACvE,MAAM,WAAW,GAAG,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACpD,MAAM,WAAW,GAAG,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACpD,IAAI,kBAAkB,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC/F,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;gBACL,aAAa,EAAE,uCAAuC;gBACtD,QAAQ,EAAE,4CAA4C;gBACtD,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,eAAe;gBACxB,kBAAkB;gBAClB,WAAW;gBACX,WAAW;aACZ,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,0EAA0E;IAC1E,4DAA4D;IAC5D,IACE,OAAO,EAAE,IAAI,KAAK,qBAAqB;QACvC,YAAY,CAAC,OAAO,EAAE,wBAAwB,CAAC,KAAK,SAAS;QAC7D,YAAY,CAAC,OAAO,EAAE,6BAA6B,CAAC,KAAK,eAAe,EACxE,CAAC;QACD,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;YACL,aAAa,EAAE,uCAAuC;YACtD,QAAQ,EAAE,kCAAkC;YAC5C,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,eAAe;YACxB,kBAAkB,EAAE,YAAY,CAAC,OAAO,EAAE,wBAAwB,CAAE;SACrE,CAAC,CACH,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;IAE7B,iEAAiE;IACjE,0EAA0E;IAC1E,mDAAmD;IACnD,IACE,cAAc,CAAC,aAAa,KAAK,SAAS;QAC1C,CAAC,OAAO,EAAE,IAAI,KAAK,gBAAgB;YACjC,OAAO,EAAE,IAAI,KAAK,mBAAmB;YACrC,OAAO,EAAE,IAAI,KAAK,qBAAqB;YACvC,OAAO,EAAE,IAAI,KAAK,qBAAqB,CAAC,EAC1C,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC;IACzC,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,KAA4C;IAE5C,OAAO,8BAA8B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,CAAC,MAAM,kCAAkC,GAAG,8BAA8B,CAAC;AACjF,MAAM,CAAC,MAAM,iCAAiC,GAAG,6BAA6B,CAAC"}
+{"version":3,"file":"session-lifecycle-actions.js","sourceRoot":"","sources":["../src/session-lifecycle-actions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAuC,MAAM,uCAAuC,CAAC;AAEjH;;;;GAIG;AACH,MAAM,CAAC,MAAM,uCAAuC,GAAG,CAAU,CAAC;AAgElE,SAAS,YAAY,CAAC,OAAsD,EAAE,GAAW;IACvF,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC;IAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3E,CAAC;AAED,SAAS,MAAM,CAAC,KAA6B;IAC3C,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,YAAY;IACnB,OAAO,MAAM,CAAC;QACZ,aAAa,EAAE,uCAAuC;QACtD,QAAQ,EAAE,gBAAgB;QAC1B,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,iBAAiB;QAC1B,MAAM,EAAE,2BAA2B;KACpC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,SAAiB;IACtC,OAAO,MAAM,CAAC;QACZ,aAAa,EAAE,uCAAuC;QACtD,QAAQ,EAAE,iBAAiB;QAC3B,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,iBAAiB;QAC1B,SAAS;QACT,sBAAsB,EAAE,IAAI;KAC7B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,SAAiB;IACxC,OAAO,MAAM,CAAC;QACZ,aAAa,EAAE,uCAAuC;QACtD,QAAQ,EAAE,0BAA0B;QACpC,IAAI,EAAE,WAAW;QACjB,OAAO,EAAE,QAAQ;QACjB,SAAS;QACT,OAAO,EAAE,KAAK;KACf,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,8BAA8B,CAC5C,KAA4C;IAE5C,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,CAAC;IACjC,MAAM,KAAK,GAAG,mBAAmB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,mBAAmB,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;IAE/D,4EAA4E;IAC5E,0EAA0E;IAC1E,kDAAkD;IAClD,IAAI,KAAK,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,oBAAoB,IAAI,KAAK,CAAC,MAAM,KAAK,iBAAiB,EAAE,CAAC;QACnG,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,kCAAkC,EAAE,CAAC;QACxD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,gDAAgD,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1F,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC;IAED,MAAM,OAAO,GAA6B,EAAE,CAAC;IAC7C,IAAI,OAAO,EAAE,IAAI,KAAK,0BAA0B,EAAE,CAAC;QACjD,MAAM,kBAAkB,GAAG,YAAY,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC;QACvE,MAAM,WAAW,GAAG,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACpD,MAAM,WAAW,GAAG,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACpD,IAAI,kBAAkB,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC/F,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;gBACL,aAAa,EAAE,uCAAuC;gBACtD,QAAQ,EAAE,4CAA4C;gBACtD,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,eAAe;gBACxB,kBAAkB;gBAClB,WAAW;gBACX,WAAW;aACZ,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,0EAA0E;IAC1E,4DAA4D;IAC5D,IACE,OAAO,EAAE,IAAI,KAAK,qBAAqB;QACvC,YAAY,CAAC,OAAO,EAAE,wBAAwB,CAAC,KAAK,SAAS;QAC7D,YAAY,CAAC,OAAO,EAAE,6BAA6B,CAAC,KAAK,eAAe,EACxE,CAAC;QACD,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;YACL,aAAa,EAAE,uCAAuC;YACtD,QAAQ,EAAE,kCAAkC;YAC5C,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,eAAe;YACxB,kBAAkB,EAAE,YAAY,CAAC,OAAO,EAAE,wBAAwB,CAAE;SACrE,CAAC,CACH,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;IAE7B,iEAAiE;IACjE,0EAA0E;IAC1E,mDAAmD;IACnD,IACE,cAAc,CAAC,aAAa,KAAK,SAAS;QAC1C,CAAC,OAAO,EAAE,IAAI,KAAK,gBAAgB;YACjC,OAAO,EAAE,IAAI,KAAK,mBAAmB;YACrC,OAAO,EAAE,IAAI,KAAK,qBAAqB;YACvC,OAAO,EAAE,IAAI,KAAK,qBAAqB,CAAC,EAC1C,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC;IACzC,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,KAA4C;IAE5C,OAAO,8BAA8B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,CAAC,MAAM,kCAAkC,GAAG,8BAA8B,CAAC;AACjF,MAAM,CAAC,MAAM,iCAAiC,GAAG,6BAA6B,CAAC"}

package/dist/session-lifecycle-classification.d.ts

@@ -7,6 +7,12 @@
  */
 export declare const SESSION_LIFECYCLE_CLASSIFICATION_SCHEMA_VERSION: 1;
 export type SessionLifecycleState = "active" | "close-ready" | "blocked-recoverable" | "discarded" | "stale-inconsistent" | "closed";
+/**
+ * The public state vocabulary is derived from the machine's own explicit
+ * internal-id-to-public-name mapping (`SESSION_LIFECYCLE_STATE_NODE_IDS`),
+ * not hand-duplicated here. That mapping is the single declared source of
+ * the public lifecycle vocabulary; this module only re-exposes its keys.
+ */
 export declare const SESSION_LIFECYCLE_STATES: readonly SessionLifecycleState[];
 export type SessionLifecycleOperation = "close" | "discard" | "inspect" | "doctor" | "reconcile" | "gc";
 export type SessionLifecyclePhase = "current" | "termination";
@@ -41,6 +47,43 @@ export interface SessionLifecycleTransition {
     readonly authority: "session-registry" | "reconciliation" | "gc" | "caller";
     readonly reason: "observe" | "close-proof-required" | "close-authorized" | "recoverable-work-must-be-retained-or-discarded" | "explicit-discard-required" | "physical-reconciliation-required" | "already-terminal" | "age-is-not-destructive-authority" | "discarded-terminal" | "closed-terminal";
 }
+/**
+ * Static machine-contract projection entry whose runtime admissibility does
+ * not depend on the supplied observation beyond state identity. `allowed`,
+ * `target`, and `reason` are therefore truthful for every observation that
+ * classifies into this lifecycle state.
+ */
+export interface SessionLifecycleUnconditionalTransition extends SessionLifecycleTransition {
+    readonly guarded: false;
+}
+/**
+ * Static machine-contract projection entry for a transition whose
+ * admissibility depends on a context/observation-derived guard, not on state
+ * identity alone (for example `close-ready` GC, gated on independent GC
+ * authorization). Both outcomes are represented explicitly so a static
+ * consumer never infers a single flattened verdict for a guard-dependent
+ * edge; the caller must know or supply the guard's outcome to pick a branch.
+ */
+export interface SessionLifecycleGuardedTransition {
+    readonly operation: SessionLifecycleOperation;
+    readonly guarded: true;
+    readonly requiresExplicitIntent: boolean;
+    readonly authority: SessionLifecycleTransition["authority"];
+    /** Metadata when the machine's guard accepts the event for this state. */
+    readonly whenGuardAccepts: {
+        readonly allowed: true;
+        readonly target: SessionLifecycleState;
+        readonly reason: SessionLifecycleTransition["reason"];
+    };
+    /** Metadata when the machine's guard rejects the event for this state. */
+    readonly whenGuardRejects: {
+        readonly allowed: false;
+        readonly target: null;
+        readonly reason: SessionLifecycleTransition["reason"];
+    };
+}
+/** One entry of the static machine-contract projection table. */
+export type SessionLifecycleTransitionProjection = SessionLifecycleUnconditionalTransition | SessionLifecycleGuardedTransition;
 export interface SessionLifecycleClassification {
     readonly schemaVersion: typeof SESSION_LIFECYCLE_CLASSIFICATION_SCHEMA_VERSION;
     readonly state: SessionLifecycleState;
@@ -63,5 +106,15 @@ export interface SessionLifecycleClassification {
 export declare function classifySessionLifecycle(observation: SessionLifecycleObservation): SessionLifecycleClassification;
 /** Return one transition without exposing a mutable table to callers. */
 export declare function lifecycleTransition(classification: SessionLifecycleClassification, operation: SessionLifecycleOperation): SessionLifecycleTransition;
-/** The complete state/operation table, useful to help/discovery consumers. */
-export declare const SESSION_LIFECYCLE_TRANSITION_TABLE: Readonly<Record<SessionLifecycleState, readonly SessionLifecycleTransition[]>>;
+/**
+ * Return the operation names currently admissible by the canonical machine
+ * projection. Consumers use this for discovery/availability only; it does not
+ * authorize or execute a mutation.
+ */
+export declare function availableLifecycleOperations(classification: SessionLifecycleClassification): readonly SessionLifecycleOperation[];
+/**
+ * The complete state/operation table, useful to help/discovery consumers.
+ * A guard-dependent edge (see `SessionLifecycleGuardedTransition`) is never
+ * flattened into a single unconditional verdict here.
+ */
+export declare const SESSION_LIFECYCLE_TRANSITION_TABLE: Readonly<Record<SessionLifecycleState, readonly SessionLifecycleTransitionProjection[]>>;

package/dist/session-lifecycle-classification.js

@@ -5,272 +5,31 @@
  * session, ownership, cleanup, and integration-proof authorities. It does
  * not inspect or mutate Git, the registry, a worktree, or a branch itself.
  */
+import { classifyObservationBlockers } from "./state/session/guards.js";
+import { projectSessionLifecycleMachine, projectSessionLifecycleTransitionTable, SESSION_LIFECYCLE_STATE_NODE_IDS, } from "./state/session/machine.js";
 export const SESSION_LIFECYCLE_CLASSIFICATION_SCHEMA_VERSION = 1;
-export const SESSION_LIFECYCLE_STATES = Object.freeze([
-    "active",
-    "close-ready",
-    "blocked-recoverable",
-    "discarded",
-    "stale-inconsistent",
-    "closed",
-]);
-const AMBIGUOUS_CODES = new Set([
-    "GIT_STATE_AMBIGUOUS",
-    "PHYSICAL_OBSERVATION_UNAVAILABLE",
-    "REPOSITORY_IDENTITY_AMBIGUOUS",
-    "WORKTREE_IDENTITY_AMBIGUOUS",
-    "GIT_COMMAND_FAILED",
-    "GIT_SPAWN_FAILED",
-    "GIT_TIMEOUT",
-    "GIT_OUTPUT_LIMIT",
-    "OWNERSHIP_MISMATCH",
-    "DUPLICATE_WORKTREE_OWNERSHIP",
-    "DUPLICATE_BRANCH_OWNERSHIP",
-    "RECONCILIATION_DRIFT",
-    "STALE_REGISTRY",
-]);
-const RECOVERABLE_CODES = new Set([
-    "DIRTY_WORKTREE",
-    "NESTED_REPOSITORY",
-    "RECOVERABLE_COMMITS",
-    "RECOVERABLE_STASHES",
-    // An explicit bounded integration fetch failed before mutation. The
-    // caller may retry the same bounded proof operation; this is not a
-    // destructive or ambient fallback.
-    "INTEGRATION_FETCH_FAILED",
-]);
-const STALE_PHYSICAL_STATES = new Set([
-    "prunable-missing",
-    "prunable-present",
-    "registered-missing",
-    "unregistered-missing",
-    "unregistered-present",
-    "invalid",
-    "unavailable",
-]);
-const KNOWN_SESSION_STATES = new Set(["new", "active", "closing", "closed", "stale"]);
-const KNOWN_PHYSICAL_STATES = new Set(["healthy", "closed", ...STALE_PHYSICAL_STATES]);
-const KNOWN_BLOCKER_CLASSIFICATIONS = new Set(["recoverable", "ambiguous", "stale"]);
+/**
+ * The public state vocabulary is derived from the machine's own explicit
+ * internal-id-to-public-name mapping (`SESSION_LIFECYCLE_STATE_NODE_IDS`),
+ * not hand-duplicated here. That mapping is the single declared source of
+ * the public lifecycle vocabulary; this module only re-exposes its keys.
+ */
+export const SESSION_LIFECYCLE_STATES = Object.freeze(Object.keys(SESSION_LIFECYCLE_STATE_NODE_IDS));
 function freezeBlocker(blocker) {
     return Object.freeze({
         code: blocker.code,
         ...(blocker.classification === undefined ? {} : { classification: blocker.classification }),
     });
 }
-function classifyBlockers(blockers) {
-    if (blockers.some((blocker) => blocker.classification === "ambiguous" || AMBIGUOUS_CODES.has(blocker.code))) {
-        return "ambiguous";
-    }
-    if (blockers.some((blocker) => blocker.classification === "recoverable" || RECOVERABLE_CODES.has(blocker.code))) {
-        return "recoverable";
-    }
-    return "none";
-}
-function isStalePhysicalState(physicalState) {
-    return (physicalState === null || !KNOWN_PHYSICAL_STATES.has(physicalState) || STALE_PHYSICAL_STATES.has(physicalState));
-}
-function freezeTransitions(transitions) {
-    return Object.freeze(transitions.map((transition) => Object.freeze({ ...transition })));
-}
-function transitionTable(state) {
-    const inspect = (operation) => ({
-        operation,
-        allowed: true,
-        target: state,
-        requiresExplicitIntent: false,
-        authority: operation === "doctor" ? "reconciliation" : "session-registry",
-        reason: "observe",
+function normalizeObservation(observation, blockers) {
+    return Object.freeze({
+        ...observation,
+        blockers,
+        closeReadiness: observation.closeReadiness ?? "not-evaluated",
+        ageSuspicious: observation.ageSuspicious === true,
+        gcAuthorized: observation.gcAuthorized === true,
+        phase: observation.phase ?? "current",
     });
-    const reconcile = {
-        operation: "reconcile",
-        allowed: true,
-        target: state,
-        requiresExplicitIntent: false,
-        authority: "reconciliation",
-        reason: "observe",
-    };
-    switch (state) {
-        case "active":
-            return freezeTransitions([
-                {
-                    operation: "close",
-                    allowed: true,
-                    target: "close-ready",
-                    requiresExplicitIntent: false,
-                    authority: "session-registry",
-                    reason: "close-proof-required",
-                },
-                {
-                    operation: "discard",
-                    allowed: true,
-                    target: "discarded",
-                    requiresExplicitIntent: true,
-                    authority: "caller",
-                    reason: "explicit-discard-required",
-                },
-                inspect("inspect"),
-                inspect("doctor"),
-                reconcile,
-                {
-                    operation: "gc",
-                    allowed: false,
-                    target: null,
-                    requiresExplicitIntent: false,
-                    authority: "gc",
-                    reason: "age-is-not-destructive-authority",
-                },
-            ]);
-        case "close-ready":
-            return freezeTransitions([
-                {
-                    operation: "close",
-                    allowed: true,
-                    target: "closed",
-                    requiresExplicitIntent: false,
-                    authority: "session-registry",
-                    reason: "close-authorized",
-                },
-                {
-                    operation: "discard",
-                    allowed: true,
-                    target: "discarded",
-                    requiresExplicitIntent: true,
-                    authority: "caller",
-                    reason: "explicit-discard-required",
-                },
-                inspect("inspect"),
-                inspect("doctor"),
-                reconcile,
-                {
-                    operation: "gc",
-                    allowed: true,
-                    target: "closed",
-                    requiresExplicitIntent: false,
-                    authority: "gc",
-                    reason: "close-authorized",
-                },
-            ]);
-        case "blocked-recoverable":
-            return freezeTransitions([
-                {
-                    operation: "close",
-                    allowed: false,
-                    target: null,
-                    requiresExplicitIntent: false,
-                    authority: "session-registry",
-                    reason: "recoverable-work-must-be-retained-or-discarded",
-                },
-                {
-                    operation: "discard",
-                    allowed: true,
-                    target: "discarded",
-                    requiresExplicitIntent: true,
-                    authority: "caller",
-                    reason: "explicit-discard-required",
-                },
-                inspect("inspect"),
-                inspect("doctor"),
-                reconcile,
-                {
-                    operation: "gc",
-                    allowed: false,
-                    target: null,
-                    requiresExplicitIntent: false,
-                    authority: "gc",
-                    reason: "recoverable-work-must-be-retained-or-discarded",
-                },
-            ]);
-        case "discarded":
-            return freezeTransitions([
-                {
-                    operation: "close",
-                    allowed: false,
-                    target: null,
-                    requiresExplicitIntent: false,
-                    authority: "session-registry",
-                    reason: "discarded-terminal",
-                },
-                {
-                    operation: "discard",
-                    allowed: true,
-                    target: "discarded",
-                    requiresExplicitIntent: true,
-                    authority: "caller",
-                    reason: "discarded-terminal",
-                },
-                inspect("inspect"),
-                inspect("doctor"),
-                reconcile,
-                {
-                    operation: "gc",
-                    allowed: false,
-                    target: null,
-                    requiresExplicitIntent: false,
-                    authority: "gc",
-                    reason: "discarded-terminal",
-                },
-            ]);
-        case "stale-inconsistent":
-            return freezeTransitions([
-                {
-                    operation: "close",
-                    allowed: false,
-                    target: null,
-                    requiresExplicitIntent: false,
-                    authority: "reconciliation",
-                    reason: "physical-reconciliation-required",
-                },
-                {
-                    operation: "discard",
-                    allowed: false,
-                    target: null,
-                    requiresExplicitIntent: true,
-                    authority: "reconciliation",
-                    reason: "physical-reconciliation-required",
-                },
-                inspect("inspect"),
-                inspect("doctor"),
-                reconcile,
-                {
-                    operation: "gc",
-                    allowed: false,
-                    target: null,
-                    requiresExplicitIntent: false,
-                    authority: "reconciliation",
-                    reason: "physical-reconciliation-required",
-                },
-            ]);
-        case "closed":
-            return freezeTransitions([
-                {
-                    operation: "close",
-                    allowed: true,
-                    target: "closed",
-                    requiresExplicitIntent: false,
-                    authority: "session-registry",
-                    reason: "closed-terminal",
-                },
-                {
-                    operation: "discard",
-                    allowed: false,
-                    target: null,
-                    requiresExplicitIntent: true,
-                    authority: "session-registry",
-                    reason: "closed-terminal",
-                },
-                inspect("inspect"),
-                inspect("doctor"),
-                reconcile,
-                {
-                    operation: "gc",
-                    allowed: false,
-                    target: null,
-                    requiresExplicitIntent: false,
-                    authority: "gc",
-                    reason: "closed-terminal",
-                },
-            ]);
-    }
 }
 /**
  * Classify one already-observed session. The default `current` phase
@@ -281,56 +40,18 @@ export function classifySessionLifecycle(observation) {
     const blockers = Object.freeze((observation.blockers ?? []).map(freezeBlocker));
     const physicalState = observation.physicalState ?? null;
     const closeReadiness = observation.closeReadiness ?? "not-evaluated";
-    const recoverability = classifyBlockers(blockers);
+    const recoverability = classifyObservationBlockers(blockers);
     const ageSuspicious = observation.ageSuspicious === true;
     const gcAuthorized = observation.gcAuthorized === true;
-    const stalePhysical = isStalePhysicalState(physicalState);
-    const unknownSessionState = !KNOWN_SESSION_STATES.has(observation.sessionState);
-    const unknownBlocker = blockers.some((blocker) => !AMBIGUOUS_CODES.has(blocker.code) &&
-        !RECOVERABLE_CODES.has(blocker.code) &&
-        (blocker.classification === undefined || !KNOWN_BLOCKER_CLASSIFICATIONS.has(blocker.classification)));
-    const staleBlocker = blockers.some((blocker) => blocker.classification === "stale");
-    const ambiguousReadiness = closeReadiness === "ambiguous" || (closeReadiness === "blocked" && blockers.length === 0);
-    const phase = observation.phase ?? "current";
-    let state;
-    const physicalEvidenceRequired = observation.sessionState !== "closed";
-    if (unknownSessionState ||
-        unknownBlocker ||
-        staleBlocker ||
-        ambiguousReadiness ||
-        recoverability === "ambiguous" ||
-        (physicalEvidenceRequired && stalePhysical)) {
-        state = "stale-inconsistent";
-    }
-    else if (observation.sessionState === "closed") {
-        state = observation.terminalOperation === "discard" ? "discarded" : "closed";
-    }
-    else if (observation.terminalOperation === "discard") {
-        state = "discarded";
-    }
-    else if (recoverability === "recoverable" || closeReadiness === "external_evidence_required") {
-        state = "blocked-recoverable";
-    }
-    else if (phase === "termination" && closeReadiness === "ready") {
-        state = "close-ready";
-    }
-    else {
-        state = "active";
-    }
-    // A positive GC authority must be independent of elapsed age. In
-    // particular, old-but-healthy active sessions remain non-destructive.
-    const destructiveCleanupEligible = gcAuthorized && state === "close-ready" && !(ageSuspicious && physicalState === "healthy");
-    const transitions = transitionTable(state).map((transition) => transition.operation === "gc" && (!gcAuthorized || !destructiveCleanupEligible)
-        ? Object.freeze({
-            ...transition,
-            allowed: false,
-            target: null,
-            reason: "age-is-not-destructive-authority",
-        })
-        : transition);
+    const machineProjection = projectSessionLifecycleMachine({
+        observation: normalizeObservation(observation, blockers),
+    });
+    const transitions = Object.freeze(Object.values(machineProjection.transitions).map(({ eventType: _eventType, ...transition }) => Object.freeze(transition)));
+    const gcTransition = machineProjection.transitions.gc;
+    const destructiveCleanupEligible = gcTransition.allowed;
     return Object.freeze({
         schemaVersion: SESSION_LIFECYCLE_CLASSIFICATION_SCHEMA_VERSION,
-        state,
+        state: machineProjection.state,
         sessionState: observation.sessionState,
         physicalState,
         closeReadiness,
@@ -350,6 +71,18 @@ export function lifecycleTransition(classification, operation) {
     }
     return transition;
 }
-/** The complete state/operation table, useful to help/discovery consumers. */
-export const SESSION_LIFECYCLE_TRANSITION_TABLE = Object.freeze(Object.fromEntries(SESSION_LIFECYCLE_STATES.map((state) => [state, transitionTable(state)])));
+/**
+ * Return the operation names currently admissible by the canonical machine
+ * projection. Consumers use this for discovery/availability only; it does not
+ * authorize or execute a mutation.
+ */
+export function availableLifecycleOperations(classification) {
+    return Object.freeze(classification.transitions.filter((transition) => transition.allowed).map((transition) => transition.operation));
+}
+/**
+ * The complete state/operation table, useful to help/discovery consumers.
+ * A guard-dependent edge (see `SessionLifecycleGuardedTransition`) is never
+ * flattened into a single unconditional verdict here.
+ */
+export const SESSION_LIFECYCLE_TRANSITION_TABLE = projectSessionLifecycleTransitionTable();
 //# sourceMappingURL=session-lifecycle-classification.js.map

package/dist/session-lifecycle-classification.js.map

@@ -1 +1 @@
-{"version":3,"file":"session-lifecycle-classification.js","sourceRoot":"","sources":["../src/session-lifecycle-classification.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,MAAM,CAAC,MAAM,+CAA+C,GAAG,CAAU,CAAC;AAK1E,MAAM,CAAC,MAAM,wBAAwB,GAAqC,MAAM,CAAC,MAAM,CAAC;IACtF,QAAQ;IACR,aAAa;IACb,qBAAqB;IACrB,WAAW;IACX,oBAAoB;IACpB,QAAQ;CACT,CAAC,CAAC;AAmEH,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC;IAC9B,qBAAqB;IACrB,kCAAkC;IAClC,+BAA+B;IAC/B,6BAA6B;IAC7B,oBAAoB;IACpB,kBAAkB;IAClB,aAAa;IACb,kBAAkB;IAClB,oBAAoB;IACpB,8BAA8B;IAC9B,4BAA4B;IAC5B,sBAAsB;IACtB,gBAAgB;CACjB,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC;IAChC,gBAAgB;IAChB,mBAAmB;IACnB,qBAAqB;IACrB,qBAAqB;IACrB,oEAAoE;IACpE,mEAAmE;IACnE,mCAAmC;IACnC,0BAA0B;CAC3B,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACpC,kBAAkB;IAClB,kBAAkB;IAClB,oBAAoB;IACpB,sBAAsB;IACtB,sBAAsB;IACtB,SAAS;IACT,aAAa;CACd,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;AAEtF,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,qBAAqB,CAAC,CAAC,CAAC;AAEvF,MAAM,6BAA6B,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;AAErF,SAAS,aAAa,CAAC,OAAgC;IACrD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,GAAG,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC;KAC5F,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,QAA4C;IACpE,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,KAAK,WAAW,IAAI,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC5G,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,KAAK,aAAa,IAAI,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAChH,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAAC,aAA4B;IACxD,OAAO,CACL,aAAa,KAAK,IAAI,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,qBAAqB,CAAC,GAAG,CAAC,aAAa,CAAC,CAChH,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,WAAkD;IAC3E,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;AAC1F,CAAC;AAED,SAAS,eAAe,CAAC,KAA4B;IACnD,MAAM,OAAO,GAAG,CAAC,SAA+B,EAA8B,EAAE,CAAC,CAAC;QAChF,SAAS;QACT,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,KAAK;QACb,sBAAsB,EAAE,KAAK;QAC7B,SAAS,EAAE,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,kBAAkB;QACzE,MAAM,EAAE,SAAS;KAClB,CAAC,CAAC;IACH,MAAM,SAAS,GAA+B;QAC5C,SAAS,EAAE,WAAW;QACtB,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,KAAK;QACb,sBAAsB,EAAE,KAAK;QAC7B,SAAS,EAAE,gBAAgB;QAC3B,MAAM,EAAE,SAAS;KAClB,CAAC;IAEF,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,iBAAiB,CAAC;gBACvB;oBACE,SAAS,EAAE,OAAO;oBAClB,OAAO,EAAE,IAAI;oBACb,MAAM,EAAE,aAAa;oBACrB,sBAAsB,EAAE,KAAK;oBAC7B,SAAS,EAAE,kBAAkB;oBAC7B,MAAM,EAAE,sBAAsB;iBAC/B;gBACD;oBACE,SAAS,EAAE,SAAS;oBACpB,OAAO,EAAE,IAAI;oBACb,MAAM,EAAE,WAAW;oBACnB,sBAAsB,EAAE,IAAI;oBAC5B,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,2BAA2B;iBACpC;gBACD,OAAO,CAAC,SAAS,CAAC;gBAClB,OAAO,CAAC,QAAQ,CAAC;gBACjB,SAAS;gBACT;oBACE,SAAS,EAAE,IAAI;oBACf,OAAO,EAAE,KAAK;oBACd,MAAM,EAAE,IAAI;oBACZ,sBAAsB,EAAE,KAAK;oBAC7B,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,kCAAkC;iBAC3C;aACF,CAAC,CAAC;QACL,KAAK,aAAa;YAChB,OAAO,iBAAiB,CAAC;gBACvB;oBACE,SAAS,EAAE,OAAO;oBAClB,OAAO,EAAE,IAAI;oBACb,MAAM,EAAE,QAAQ;oBAChB,sBAAsB,EAAE,KAAK;oBAC7B,SAAS,EAAE,kBAAkB;oBAC7B,MAAM,EAAE,kBAAkB;iBAC3B;gBACD;oBACE,SAAS,EAAE,SAAS;oBACpB,OAAO,EAAE,IAAI;oBACb,MAAM,EAAE,WAAW;oBACnB,sBAAsB,EAAE,IAAI;oBAC5B,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,2BAA2B;iBACpC;gBACD,OAAO,CAAC,SAAS,CAAC;gBAClB,OAAO,CAAC,QAAQ,CAAC;gBACjB,SAAS;gBACT;oBACE,SAAS,EAAE,IAAI;oBACf,OAAO,EAAE,IAAI;oBACb,MAAM,EAAE,QAAQ;oBAChB,sBAAsB,EAAE,KAAK;oBAC7B,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,kBAAkB;iBAC3B;aACF,CAAC,CAAC;QACL,KAAK,qBAAqB;YACxB,OAAO,iBAAiB,CAAC;gBACvB;oBACE,SAAS,EAAE,OAAO;oBAClB,OAAO,EAAE,KAAK;oBACd,MAAM,EAAE,IAAI;oBACZ,sBAAsB,EAAE,KAAK;oBAC7B,SAAS,EAAE,kBAAkB;oBAC7B,MAAM,EAAE,gDAAgD;iBACzD;gBACD;oBACE,SAAS,EAAE,SAAS;oBACpB,OAAO,EAAE,IAAI;oBACb,MAAM,EAAE,WAAW;oBACnB,sBAAsB,EAAE,IAAI;oBAC5B,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,2BAA2B;iBACpC;gBACD,OAAO,CAAC,SAAS,CAAC;gBAClB,OAAO,CAAC,QAAQ,CAAC;gBACjB,SAAS;gBACT;oBACE,SAAS,EAAE,IAAI;oBACf,OAAO,EAAE,KAAK;oBACd,MAAM,EAAE,IAAI;oBACZ,sBAAsB,EAAE,KAAK;oBAC7B,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,gDAAgD;iBACzD;aACF,CAAC,CAAC;QACL,KAAK,WAAW;YACd,OAAO,iBAAiB,CAAC;gBACvB;oBACE,SAAS,EAAE,OAAO;oBAClB,OAAO,EAAE,KAAK;oBACd,MAAM,EAAE,IAAI;oBACZ,sBAAsB,EAAE,KAAK;oBAC7B,SAAS,EAAE,kBAAkB;oBAC7B,MAAM,EAAE,oBAAoB;iBAC7B;gBACD;oBACE,SAAS,EAAE,SAAS;oBACpB,OAAO,EAAE,IAAI;oBACb,MAAM,EAAE,WAAW;oBACnB,sBAAsB,EAAE,IAAI;oBAC5B,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,oBAAoB;iBAC7B;gBACD,OAAO,CAAC,SAAS,CAAC;gBAClB,OAAO,CAAC,QAAQ,CAAC;gBACjB,SAAS;gBACT;oBACE,SAAS,EAAE,IAAI;oBACf,OAAO,EAAE,KAAK;oBACd,MAAM,EAAE,IAAI;oBACZ,sBAAsB,EAAE,KAAK;oBAC7B,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,oBAAoB;iBAC7B;aACF,CAAC,CAAC;QACL,KAAK,oBAAoB;YACvB,OAAO,iBAAiB,CAAC;gBACvB;oBACE,SAAS,EAAE,OAAO;oBAClB,OAAO,EAAE,KAAK;oBACd,MAAM,EAAE,IAAI;oBACZ,sBAAsB,EAAE,KAAK;oBAC7B,SAAS,EAAE,gBAAgB;oBAC3B,MAAM,EAAE,kCAAkC;iBAC3C;gBACD;oBACE,SAAS,EAAE,SAAS;oBACpB,OAAO,EAAE,KAAK;oBACd,MAAM,EAAE,IAAI;oBACZ,sBAAsB,EAAE,IAAI;oBAC5B,SAAS,EAAE,gBAAgB;oBAC3B,MAAM,EAAE,kCAAkC;iBAC3C;gBACD,OAAO,CAAC,SAAS,CAAC;gBAClB,OAAO,CAAC,QAAQ,CAAC;gBACjB,SAAS;gBACT;oBACE,SAAS,EAAE,IAAI;oBACf,OAAO,EAAE,KAAK;oBACd,MAAM,EAAE,IAAI;oBACZ,sBAAsB,EAAE,KAAK;oBAC7B,SAAS,EAAE,gBAAgB;oBAC3B,MAAM,EAAE,kCAAkC;iBAC3C;aACF,CAAC,CAAC;QACL,KAAK,QAAQ;YACX,OAAO,iBAAiB,CAAC;gBACvB;oBACE,SAAS,EAAE,OAAO;oBAClB,OAAO,EAAE,IAAI;oBACb,MAAM,EAAE,QAAQ;oBAChB,sBAAsB,EAAE,KAAK;oBAC7B,SAAS,EAAE,kBAAkB;oBAC7B,MAAM,EAAE,iBAAiB;iBAC1B;gBACD;oBACE,SAAS,EAAE,SAAS;oBACpB,OAAO,EAAE,KAAK;oBACd,MAAM,EAAE,IAAI;oBACZ,sBAAsB,EAAE,IAAI;oBAC5B,SAAS,EAAE,kBAAkB;oBAC7B,MAAM,EAAE,iBAAiB;iBAC1B;gBACD,OAAO,CAAC,SAAS,CAAC;gBAClB,OAAO,CAAC,QAAQ,CAAC;gBACjB,SAAS;gBACT;oBACE,SAAS,EAAE,IAAI;oBACf,OAAO,EAAE,KAAK;oBACd,MAAM,EAAE,IAAI;oBACZ,sBAAsB,EAAE,KAAK;oBAC7B,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,iBAAiB;iBAC1B;aACF,CAAC,CAAC;IACP,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,WAAwC;IAC/E,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;IAChF,MAAM,aAAa,GAAG,WAAW,CAAC,aAAa,IAAI,IAAI,CAAC;IACxD,MAAM,cAAc,GAAG,WAAW,CAAC,cAAc,IAAI,eAAe,CAAC;IACrE,MAAM,cAAc,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,WAAW,CAAC,aAAa,KAAK,IAAI,CAAC;IACzD,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,KAAK,IAAI,CAAC;IACvD,MAAM,aAAa,GAAG,oBAAoB,CAAC,aAAa,CAAC,CAAC;IAC1D,MAAM,mBAAmB,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;IAChF,MAAM,cAAc,GAAG,QAAQ,CAAC,IAAI,CAClC,CAAC,OAAO,EAAE,EAAE,CACV,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;QAClC,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;QACpC,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,6BAA6B,CAAC,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CACvG,CAAC;IACF,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,KAAK,OAAO,CAAC,CAAC;IACpF,MAAM,kBAAkB,GAAG,cAAc,KAAK,WAAW,IAAI,CAAC,cAAc,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IACrH,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,IAAI,SAAS,CAAC;IAE7C,IAAI,KAA4B,CAAC;IACjC,MAAM,wBAAwB,GAAG,WAAW,CAAC,YAAY,KAAK,QAAQ,CAAC;IACvE,IACE,mBAAmB;QACnB,cAAc;QACd,YAAY;QACZ,kBAAkB;QAClB,cAAc,KAAK,WAAW;QAC9B,CAAC,wBAAwB,IAAI,aAAa,CAAC,EAC3C,CAAC;QACD,KAAK,GAAG,oBAAoB,CAAC;IAC/B,CAAC;SAAM,IAAI,WAAW,CAAC,YAAY,KAAK,QAAQ,EAAE,CAAC;QACjD,KAAK,GAAG,WAAW,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC/E,CAAC;SAAM,IAAI,WAAW,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACvD,KAAK,GAAG,WAAW,CAAC;IACtB,CAAC;SAAM,IAAI,cAAc,KAAK,aAAa,IAAI,cAAc,KAAK,4BAA4B,EAAE,CAAC;QAC/F,KAAK,GAAG,qBAAqB,CAAC;IAChC,CAAC;SAAM,IAAI,KAAK,KAAK,aAAa,IAAI,cAAc,KAAK,OAAO,EAAE,CAAC;QACjE,KAAK,GAAG,aAAa,CAAC;IACxB,CAAC;SAAM,CAAC;QACN,KAAK,GAAG,QAAQ,CAAC;IACnB,CAAC;IAED,iEAAiE;IACjE,sEAAsE;IACtE,MAAM,0BAA0B,GAC9B,YAAY,IAAI,KAAK,KAAK,aAAa,IAAI,CAAC,CAAC,aAAa,IAAI,aAAa,KAAK,SAAS,CAAC,CAAC;IAE7F,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAC5D,UAAU,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC,CAAC,YAAY,IAAI,CAAC,0BAA0B,CAAC;QAC7E,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YACZ,GAAG,UAAU;YACb,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,IAAI;YACZ,MAAM,EAAE,kCAA2C;SACpD,CAAC;QACJ,CAAC,CAAC,UAAU,CACf,CAAC;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,aAAa,EAAE,+CAA+C;QAC9D,KAAK;QACL,YAAY,EAAE,WAAW,CAAC,YAAY;QACtC,aAAa;QACb,cAAc;QACd,QAAQ;QACR,cAAc;QACd,aAAa;QACb,YAAY;QACZ,0BAA0B;QAC1B,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;KACxC,CAAC,CAAC;AACL,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,mBAAmB,CACjC,cAA8C,EAC9C,SAAoC;IAEpC,MAAM,UAAU,GAAG,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;IACrG,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,UAAU,CAAC,oCAAoC,SAAS,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,8EAA8E;AAC9E,MAAM,CAAC,MAAM,kCAAkC,GAE3C,MAAM,CAAC,MAAM,CACf,MAAM,CAAC,WAAW,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAG1F,CACF,CAAC"}
+{"version":3,"file":"session-lifecycle-classification.js","sourceRoot":"","sources":["../src/session-lifecycle-classification.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,EACL,8BAA8B,EAC9B,sCAAsC,EACtC,gCAAgC,GACjC,MAAM,4BAA4B,CAAC;AAGpC,MAAM,CAAC,MAAM,+CAA+C,GAAG,CAAU,CAAC;AAK1E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAqC,MAAM,CAAC,MAAM,CACrF,MAAM,CAAC,IAAI,CAAC,gCAAgC,CAA4B,CACzE,CAAC;AA4GF,SAAS,aAAa,CAAC,OAAgC;IACrD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,GAAG,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC;KAC5F,CAAC,CAAC;AACL,CAAC;AAED,SAAS,oBAAoB,CAC3B,WAAwC,EACxC,QAA4C;IAE5C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,WAAW;QACd,QAAQ;QACR,cAAc,EAAE,WAAW,CAAC,cAAc,IAAI,eAAe;QAC7D,aAAa,EAAE,WAAW,CAAC,aAAa,KAAK,IAAI;QACjD,YAAY,EAAE,WAAW,CAAC,YAAY,KAAK,IAAI;QAC/C,KAAK,EAAE,WAAW,CAAC,KAAK,IAAI,SAAS;KACtC,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,WAAwC;IAC/E,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;IAChF,MAAM,aAAa,GAAG,WAAW,CAAC,aAAa,IAAI,IAAI,CAAC;IACxD,MAAM,cAAc,GAAG,WAAW,CAAC,cAAc,IAAI,eAAe,CAAC;IACrE,MAAM,cAAc,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IAC7D,MAAM,aAAa,GAAG,WAAW,CAAC,aAAa,KAAK,IAAI,CAAC;IACzD,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,KAAK,IAAI,CAAC;IACvD,MAAM,iBAAiB,GAAG,8BAA8B,CAAC;QACvD,WAAW,EAAE,oBAAoB,CAAC,WAAW,EAAE,QAAQ,CAAC;KACzD,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAC/B,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,UAAU,EAAE,EAAE,EAAE,CAC5F,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAC1B,CACF,CAAC;IACF,MAAM,YAAY,GAAG,iBAAiB,CAAC,WAAW,CAAC,EAAE,CAAC;IACtD,MAAM,0BAA0B,GAAG,YAAY,CAAC,OAAO,CAAC;IAExD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,aAAa,EAAE,+CAA+C;QAC9D,KAAK,EAAE,iBAAiB,CAAC,KAAK;QAC9B,YAAY,EAAE,WAAW,CAAC,YAAY;QACtC,aAAa;QACb,cAAc;QACd,QAAQ;QACR,cAAc;QACd,aAAa;QACb,YAAY;QACZ,0BAA0B;QAC1B,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;KACxC,CAAC,CAAC;AACL,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,mBAAmB,CACjC,cAA8C,EAC9C,SAAoC;IAEpC,MAAM,UAAU,GAAG,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;IACrG,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,UAAU,CAAC,oCAAoC,SAAS,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAC1C,cAA8C;IAE9C,OAAO,MAAM,CAAC,MAAM,CAClB,cAAc,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,CAChH,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAE3C,sCAAsC,EAAE,CAAC"}