@makaio/framework 1.0.0-dev-1787670559522 → 1.0.0-dev-1787949057928

package/dist/{index-DI7-tIL3.d.mts → index-B0yMCJW8.d.mts}

@@ -1,6 +1,6 @@
-import { r as ExecutionTarget } from "./schemas-CeUI2i5j.mjs";
+import { r as ExecutionTarget } from "./schemas-B50oWBuj.mjs";
 import { IMakaioBus } from "@makaio/framework/bus";
-import { IMakaioSession, MakaioSessionAgent, Message, MessageInput, MessageOutcome, ReasoningLevelMap, ResponseSchemaDescriptor, SessionContext, TurnInitiator } from "@makaio/framework/contracts";
+import { IMakaioSession, MakaioSessionAgent, Message, MessageInput, MessageOutcome, ReasoningLevelMap, ResponseSchemaDescriptor, SessionContext, SessionOwnershipRecoveryGuard, TurnInitiator } from "@makaio/framework/contracts";
 
 //#region services/core/src/session/entities/turn.d.ts
 /**
@@ -575,6 +575,8 @@ interface OwnedAdapterInstance {
   readonly adapterId: string;
   /** Machine whose namespace those acts are filed under, or `undefined` when the caller named none. */
   readonly machineId?: string;
+  /** Exact runtime owner, absent only before a connector-dispatchable target is proved. */
+  readonly ownerInstanceId?: string;
 }
 /**
  * An owned instance whose machine is named.
@@ -589,6 +591,7 @@ interface OwnedAdapterInstance {
  */
 type MachineScopedAdapterInstance = OwnedAdapterInstance & {
   readonly machineId: string;
+  readonly ownerInstanceId: string;
 };
 /** What a caller knows about the instance it wants, before it is resolved. */
 interface OwnedAdapterInstanceTarget {
@@ -618,6 +621,18 @@ interface OwnedAdapterInstanceTarget {
    */
   readonly storedAdapterId?: string;
 }
+/**
+ * Prove that an explicitly selected adapter instance is currently live on the
+ * exact machine the selection names.
+ *
+ * The proof is announcement-backed rather than hash-backed: hosts may provide
+ * opaque adapter IDs, and a deterministic-looking value is not evidence that a
+ * runtime has initialized it.
+ * @param bus - Bus the live-identity request is issued on.
+ * @param target - Complete identity the caller intends to dispatch to.
+ * @returns The dispatchable instance, or `undefined` when it has no matching live announcement.
+ */
+declare function resolveAnnouncedAdapterInstance(bus: IMakaioBus, target: Required<Pick<OwnedAdapterInstanceTarget, 'adapterId' | 'adapterName' | 'machineId'>>): Promise<MachineScopedAdapterInstance | undefined>;
 /**
  * Resolve the instance an attempt addresses **and** the machine it acts for, or
  * answer that this runtime may not act at all.
@@ -633,9 +648,10 @@ interface OwnedAdapterInstanceTarget {
  *
  * **The three answers, and why each is the honest one:**
  *
- * - **A named instance with its machine** is returned unresolved. The caller
- *   already holds both halves from one source — the selection schema refuses the
- *   pair any other way — so there is nothing to look up and nothing to second-guess.
+ * - **A named instance with its machine** is returned only after the live
+ *   identity registry confirms the exact triple it announced. The selection
+ *   schema proves the request is complete; the announcement proves the target
+ *   currently exists, including when its host supplied an opaque ID.
  * - **A named instance without a machine** is `undefined`. This is the handler-side
  *   half of the schema's refinement, and it is needed as well as the schema:
  *   the test bus does not validate, and defaulting to this runtime's own identity
@@ -704,7 +720,7 @@ type SessionStartFailureCode = /** The adapter refused or threw; the reservation
  * `dead` — the durable state must not advertise a start whose settlement
  * this process can no longer vouch for.
  */
-| 'settlement-unresolved' /** A joined start left the row `starting` more often than the bounded re-read allows. */ | 'start-unresolved' /** Another start won the lead designation and the session still has no agents. */ | 'lead-conflict';
+| 'settlement-unresolved' /** A joined start left the row `starting` more often than the bounded re-read allows. */ | 'start-unresolved' /** Another start won the lead designation and the session still has no agents. */ | 'lead-conflict' /** The session lifecycle gate rejected the reservation before adapter dispatch. */ | 'session-not-active';
 /** A reserved start that did not end with a usable agent. */
 declare class SessionStartError extends Error {
   readonly code: SessionStartFailureCode;
@@ -725,13 +741,16 @@ declare class SessionStartError extends Error {
    * crossing a transport that may not preserve custom error properties.
    */
   readonly deferredAgentIds?: readonly string[];
+  /** Stored lifecycle status when the admission gate rejected a reservation. */
+  readonly sessionStatus?: 'closed' | 'archived' | 'discovered';
   /**
    * @param code - Which modeled outcome this is; the value callers branch on.
    * @param message - Human-readable detail, including the identifiers involved.
    * @param cause - Underlying failure, when one exists.
    * @param deferredAgentIds - The named targets this call could not act for, when the send named any.
+   * @param sessionStatus - Non-active session status observed by a refused reservation.
    */
-  constructor(code: SessionStartFailureCode, message: string, cause?: unknown, deferredAgentIds?: readonly string[]);
+  constructor(code: SessionStartFailureCode, message: string, cause?: unknown, deferredAgentIds?: readonly string[], sessionStatus?: 'closed' | 'archived' | 'discovered');
 }
 //#endregion
 //#region services/core/src/session/handlers/abandon-handler.d.ts
@@ -797,13 +816,15 @@ declare function registerMergeHandler(bus: IMakaioBus): () => void;
 //#endregion
 //#region services/core/src/session/handlers/in-flight-start-join.d.ts
 /** What a consumer does with an agent whose start it joined or arbitrated. */
-type StartResolution = /** The agent is usable as it stands. */'use' /** The agent is not part of this send: the row is gone, or terminal. */ | 'drop' /** The agent needs the ordinary fresh-with-history recovery. */ | 'recover';
+type StartResolution = /** The agent is usable as it stands. */'use' /** The agent is not part of this send: the row is gone, or terminal. */ | 'drop' /** The agent belongs to a guarded recovery this runtime cannot prove retired. */ | 'defer' /** The agent needs the ordinary fresh-with-history recovery. */ | 'recover';
 /** How a send's target set changed once every in-flight start was resolved. */
 interface InFlightStartResolution {
   /** Agents that left the session's target set — deleted or `disposed` rows. */
   readonly droppedAgentIds: ReadonlySet<string>;
   /** Agents this send must recover before using. */
   readonly recoveringAgentIds: ReadonlySet<string>;
+  /** Agents whose guarded recovery is owned by an unretired or unknown runtime. */
+  readonly deferredAgentIds: ReadonlySet<string>;
   /**
    * The subset whose recovery this send claimed by **compare-and-swap**, not by
    * consuming a local attempt.
@@ -823,7 +844,9 @@ interface InFlightStartResolution {
  * Apply the in-flight-start consumer rule to a session's agents.
  *
  * Runs *before* the liveness probe and before the fresh-start branch, and only
- * for agents whose stored status is `starting` — every other row costs nothing.
+ * for agents whose stored status is `starting`. When this process waits for one
+ * of those starts, every materialized row is re-read to a stable pass;
+ * otherwise they cost nothing.
  * The ordering matters at both ends: probing a `starting` agent would find no
  * registered connector and walk into a second lifecycle for an identity that
  * already has one in flight, and an agent dropped here may be the session's last,
@@ -832,10 +855,12 @@ interface InFlightStartResolution {
  * Dropped agents are removed from `session.agents` in place, and every agent that
  * survives is **replaced by the row this resolution read**, so every later step
  * of the send sees both the target set and the identities this resolution
- * produced. The second half matters as much as the first: a joined attempt can
- * bind its agent to a different adapter instance, and a send that kept the
- * pre-join snapshot would probe liveness and route at the instance that attempt
- * moved off.
+ * produced. A local join also refreshes every materialized row: every one was
+ * read before the wait, and the send probes and routes at all of their
+ * identities afterwards. The second half matters as much as the first: a joined
+ * attempt can bind an agent to a different adapter instance, and a send that
+ * kept the pre-join snapshot would probe liveness and route at the instance the
+ * lifecycle moved off.
  * @param bus - Bus the joins, reads and compare-and-swaps are issued on.
  * @param session - Session whose agents are resolved; its `agents` are filtered and refreshed in place.
  * @returns Which agents left the set, and which the send must recover.
@@ -1019,4 +1044,4 @@ declare function routeToAgentsCore(bus: IMakaioBus, session: IMakaioSession, age
   adapterId: string;
 }>, message: MessageInput, messageId: string, turn: Turn$1, deliveryMode: 'enqueue' | 'immediate' | undefined, onTurnComplete: TurnCompleteCallback, turnManager: TurnCompletionRecorder, sessionContext?: SessionContext, responseSchema?: ResponseSchemaDescriptor, assertDispatch?: () => void): Promise<readonly AgentDispatchOutcome[]>;
 //#endregion
-export { Turn$1 as C, TurnPairTerminalOutcome as D, TurnPairStateChange as E, TurnResult as O, SessionTurnManager as S, TurnContext as T, OwnedAdapterInstanceTarget as _, InFlightStartResolution as a, resolveModelCapabilities as b, registerMergeHandler as c, registerAttachHandler as d, registerAbandonHandler as f, OwnedAdapterInstance as g, MachineScopedAdapterInstance as h, refuseTotalDeferral as i, registerForkHandler as l, SessionStartFailureCode as m, routeToAgents as n, StartResolution as o, SessionStartError as p, admitFreshStartTargets as r, resolveInFlightStarts as s, routeToAgentsCore as t, registerCompressHandler as u, resolveAdapterId as v, TurnConfig as w, resolveOwnedAdapterInstance as x, resolveExecutionTarget as y };
+export { SessionTurnManager as C, TurnPairStateChange as D, TurnContext as E, TurnPairTerminalOutcome as O, resolveOwnedAdapterInstance as S, TurnConfig as T, OwnedAdapterInstanceTarget as _, InFlightStartResolution as a, resolveExecutionTarget as b, registerMergeHandler as c, registerAttachHandler as d, registerAbandonHandler as f, OwnedAdapterInstance as g, MachineScopedAdapterInstance as h, refuseTotalDeferral as i, TurnResult as k, registerForkHandler as l, SessionStartFailureCode as m, routeToAgents as n, StartResolution as o, SessionStartError as p, admitFreshStartTargets as r, resolveInFlightStarts as s, routeToAgentsCore as t, registerCompressHandler as u, resolveAdapterId as v, Turn$1 as w, resolveModelCapabilities as x, resolveAnnouncedAdapterInstance as y };

package/dist/{index-CER64zYO.d.mts → index-B9io6JAL.d.mts}

@@ -1,16 +1,16 @@
-import { G as ArtifactLifecycleHookRegistration$1, N as AnyArtifactKindDefinition, W as ArtifactLifecycleHookEvent } from "./index-e4Txan9i.mjs";
-import { s as AdapterProviderAuth$1 } from "./adapter-binding-B-FBoCys.mjs";
-import { i as ExtensionService$1, n as NodeExtensionContext$1, t as ExtensionContext$1 } from "./extension-context-DzB7ydM3.mjs";
-import { t as ExtensionAutomationTriggersContribution } from "./contribution-BB5bjx3f.mjs";
-import { n as ExtensionTransitionRulesContribution, t as ExtensionTransitionActionsContribution, v as WorkflowBlockCollection$1 } from "./transition-C_Ka6b0-.mjs";
-import { E as ClientDefinition$1, Q as VersionLiteral$1, et as VersionRange, f as ExtensionClientHookResponsesContribution } from "./hook-responses-uCXAICTU.mjs";
-import { c as ProviderDefinitionInput$1, r as ProtocolId$1 } from "./definition-DB-kKc0d.mjs";
-import { t as RequiredTimeoutConfig } from "./index-BJMezANn.mjs";
-import { J as SESSION_EVENT_TYPES, gt as SessionMessage$1, i as MakaioSessionEvent$1 } from "./types-CwvN4uN2.mjs";
-import { D as EntityUIConfig$1, I as FormFieldProps } from "./index-CSN_0sCo.mjs";
-import { l as FacetNamespaceDefinition } from "./index-OADt3xlS.mjs";
-import { t as ExtensionReactionsContribution } from "./index-CfiCJPP6.mjs";
-import { G as SurfaceBindingDefinition, p as ExtensionArtifactViewBuildersContribution } from "./view-builder-KYsPqV-5.mjs";
+import { G as ArtifactLifecycleHookRegistration$1, N as AnyArtifactKindDefinition, W as ArtifactLifecycleHookEvent } from "./index-cLB38AWX.mjs";
+import { s as AdapterProviderAuth$1 } from "./adapter-binding-CATvmGuz.mjs";
+import { i as ExtensionService$1, n as NodeExtensionContext$1, t as ExtensionContext$1 } from "./extension-context-QmFuHdq5.mjs";
+import { t as ExtensionAutomationTriggersContribution } from "./contribution-CUHLVLsT.mjs";
+import { n as ExtensionTransitionRulesContribution, t as ExtensionTransitionActionsContribution, v as WorkflowBlockCollection$1 } from "./transition-D3zUBTPc.mjs";
+import { E as ClientDefinition$1, Q as VersionLiteral$1, et as VersionRange, f as ExtensionClientHookResponsesContribution } from "./hook-responses-9Ywsqzzq.mjs";
+import { c as ProviderDefinitionInput$1, r as ProtocolId$1 } from "./definition-BrgzUuFk.mjs";
+import { t as RequiredTimeoutConfig } from "./index-l01zsChf.mjs";
+import { Qt as SESSION_EVENT_TYPES, bn as SessionMessage$1, i as MakaioSessionEvent$1 } from "./types-DcxBYlPA.mjs";
+import { D as EntityUIConfig$1, I as FormFieldProps } from "./index-CmwAJ8-5.mjs";
+import { l as FacetNamespaceDefinition } from "./index-BuMsrli0.mjs";
+import { t as ExtensionReactionsContribution } from "./index-B0VO0rAl.mjs";
+import { G as SurfaceBindingDefinition, p as ExtensionArtifactViewBuildersContribution } from "./view-builder-B0j9p5C0.mjs";
 import { z } from "zod";
 import { MakaioBusLike, PayloadFilter, RegistrableBusNamespaceDefinition, SubjectSchema } from "@makaio/framework/core";
 import * as _$_makaio_contracts0 from "@makaio/framework/contracts";
@@ -1461,7 +1461,7 @@ interface AdapterProviderDefinitionContract$1 {
  * @typeParam TOptions - Options type accepted by {@link createAdapter}.
  *   Defaults to `never` so the type-erased base contract (`AdapterContribution.definition`)
  *   is structurally compatible with any specialised definition via contravariance:
- *   `(options?: ConcreteOptions) => Promise<T>` is assignable to `(options?: never) => Promise<T>`.
+ *   `(options: ConcreteOptions) => Promise<T>` is assignable to `(options: never) => Promise<T>`.
  *   Specialised adapter interfaces (e.g. `AIAdapterDefinition`) pass a narrower
  *   options type here to gain compile-time safety in their factory signatures.
  */
@@ -1557,7 +1557,7 @@ interface AdapterDefinitionContract$1<TAdapter = unknown, TOptions = never> {
    * @param options - Resolved adapter configuration (shape defined by the adapter).
    * @returns Promise resolving to the adapter instance.
    */
-  readonly createAdapter: (options?: TOptions) => Promise<TAdapter>;
+  readonly createAdapter: (options: TOptions) => Promise<TAdapter>;
 }
 //#endregion
 //#region core/contracts/src/extension/extension-cli.d.ts