open-multi-agent-kit 0.98.4 → 0.98.5

package/dist/core/prompt-settlement.d.ts

@@ -9,9 +9,10 @@ import type { SessionTerminationKind } from "./session-termination.ts";
  * M4 completion sound, notifications) must treat it as a UX signal, never a
  * correctness signal (§3 non-goals).
  *
- * The reducer is a pure function over immutable state (§16.5). Shard and child
- * counters are reserved in the contract, but no production signal call sites
- * wire them yet; any future live M5/M6 path must add those calls before use.
+ * This counter reducer remains a compatibility projection, not execution
+ * ownership authority. AgentSession uses SessionPromptLifecycle to retain actual
+ * tool-promise identities and seal the root producer before projecting an event.
+ * Detached children and shards still require an explicit ownership/join adapter.
  */
 export type PromptSettlementOutcome = "completed" | "failed" | "aborted";
 /** §16.2 prompt run identity. */

package/dist/core/prompt-settlement.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prompt-settlement.d.ts","sourceRoot":"","sources":["../../src/core/prompt-settlement.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAEvE;;;;;;;;;;;;;GAaG;AAEH,MAAM,MAAM,uBAAuB,GAAG,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEzE,kCAAiC;AACjC,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,kCAAiC;AACjC,MAAM,WAAW,kBAAkB;IAClC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,uBAAuB,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CAClC;AAED,gCAA+B;AAC/B,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,QAAQ,CAAC,EAAE;QACnB,QAAQ,CAAC,OAAO,EAAE,uBAAuB,CAAC;QAC1C,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;KAClC,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,MAAM,sBAAsB,GAC/B;IAAE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,uBAAuB,CAAC;IAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;CAAE,GAC3G;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAEhC,kEAAkE;AAClE,wBAAgB,8BAA8B,CAC7C,QAAQ,EAAE,uBAAuB,EACjC,eAAe,EAAE,sBAAsB,GAAG,SAAS,GACjD,uBAAuB,CAKzB;AAED,wBAAgB,2BAA2B,CAAC,WAAW,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,GAAG,qBAAqB,CAWhH;AAED,wFAAuF;AACvF,wBAAgB,sBAAsB,CACrC,KAAK,EAAE,qBAAqB,EAC5B,MAAM,EAAE,sBAAsB,GAC5B,qBAAqB,CAyBvB;AAED,0EAAyE;AACzE,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG,OAAO,CAU7E;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAClC,KAAK,EAAE,qBAAqB,EAC5B,UAAU,EAAE,MAAM,GAChB;IAAE,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,kBAAkB,GAAG,IAAI,CAAA;CAAE,CAYtF","sourcesContent":["import type { SessionTerminationKind } from \"./session-termination.ts\";\n\n/**\n * Prompt settlement coordinator (OMK v0.97.x roadmap §16, M4/PR6).\n *\n * `agent_end` is NOT final (§16.1): provider retries, compaction retries,\n * durable-goal continuations, steering/follow-up queues, shards, and child\n * subagents may still run. `prompt_settled` fires only when the reducer's\n * §16.4 conditions all hold, exactly once per promptRunId. Consumers (the\n * M4 completion sound, notifications) must treat it as a UX signal, never a\n * correctness signal (§3 non-goals).\n *\n * The reducer is a pure function over immutable state (§16.5). Shard and child\n * counters are reserved in the contract, but no production signal call sites\n * wire them yet; any future live M5/M6 path must add those calls before use.\n */\n\nexport type PromptSettlementOutcome = \"completed\" | \"failed\" | \"aborted\";\n\n/** §16.2 prompt run identity. */\nexport interface PromptRunRef {\n\treadonly promptRunId: string;\n\treadonly sessionId: string;\n\treadonly startedAt: string;\n\treadonly lineageId?: string;\n}\n\n/** §16.3 settlement contract. */\nexport interface PromptSettledEvent {\n\treadonly type: \"prompt_settled\";\n\treadonly promptRunId: string;\n\treadonly outcome: PromptSettlementOutcome;\n\treadonly durationMs: number;\n\treadonly terminationKind?: string;\n}\n\n/** §16.5 coordinator state. */\nexport interface PromptSettlementState {\n\treadonly promptRunId: string;\n\treadonly startedAtEpochMs: number;\n\treadonly activeProviderAttempts: number;\n\treadonly activeTools: number;\n\treadonly activeShards: number;\n\treadonly activeChildren: number;\n\treadonly queuedContinuations: number;\n\treadonly terminal?: {\n\t\treadonly outcome: PromptSettlementOutcome;\n\t\treadonly terminationKind?: string;\n\t};\n\treadonly emitted: boolean;\n}\n\nexport type PromptSettlementSignal =\n\t| { readonly kind: \"provider_attempt\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"tool\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"shard\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"child\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"continuation\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"terminal\"; readonly outcome: PromptSettlementOutcome; readonly terminationKind?: string }\n\t| { readonly kind: \"emitted\" };\n\n/** Map the final typed termination onto the prompt UX outcome. */\nexport function resolvePromptSettlementOutcome(\n\tfallback: PromptSettlementOutcome,\n\tterminationKind: SessionTerminationKind | undefined,\n): PromptSettlementOutcome {\n\tif (terminationKind === \"user_abort\" || terminationKind === \"provider_abort\") return \"aborted\";\n\tif (fallback !== \"completed\") return fallback;\n\tif (terminationKind === undefined || terminationKind === \"completed\") return \"completed\";\n\treturn \"failed\";\n}\n\nexport function createPromptSettlementState(promptRunId: string, startedAtEpochMs: number): PromptSettlementState {\n\treturn {\n\t\tpromptRunId,\n\t\tstartedAtEpochMs,\n\t\tactiveProviderAttempts: 0,\n\t\tactiveTools: 0,\n\t\tactiveShards: 0,\n\t\tactiveChildren: 0,\n\t\tqueuedContinuations: 0,\n\t\temitted: false,\n\t};\n}\n\n/** Pure reducer (§16.5). Counters clamp at zero; terminal and emitted are latching. */\nexport function reducePromptSettlement(\n\tstate: PromptSettlementState,\n\tsignal: PromptSettlementSignal,\n): PromptSettlementState {\n\tswitch (signal.kind) {\n\t\tcase \"provider_attempt\":\n\t\t\treturn { ...state, activeProviderAttempts: clampCount(state.activeProviderAttempts + signal.delta) };\n\t\tcase \"tool\":\n\t\t\treturn { ...state, activeTools: clampCount(state.activeTools + signal.delta) };\n\t\tcase \"shard\":\n\t\t\treturn { ...state, activeShards: clampCount(state.activeShards + signal.delta) };\n\t\tcase \"child\":\n\t\t\treturn { ...state, activeChildren: clampCount(state.activeChildren + signal.delta) };\n\t\tcase \"continuation\":\n\t\t\treturn { ...state, queuedContinuations: clampCount(state.queuedContinuations + signal.delta) };\n\t\tcase \"terminal\":\n\t\t\t// First terminal outcome wins; later reclassification never flips it (§15.3).\n\t\t\tif (state.terminal !== undefined) {\n\t\t\t\treturn state;\n\t\t\t}\n\t\t\treturn { ...state, terminal: { outcome: signal.outcome, terminationKind: signal.terminationKind } };\n\t\tcase \"emitted\":\n\t\t\treturn { ...state, emitted: true };\n\t\tdefault: {\n\t\t\tconst exhaustive: never = signal;\n\t\t\treturn exhaustive;\n\t\t}\n\t}\n}\n\n/** §16.4: every condition must hold before `prompt_settled` may emit. */\nexport function shouldEmitPromptSettled(state: PromptSettlementState): boolean {\n\treturn (\n\t\tstate.terminal !== undefined &&\n\t\t!state.emitted &&\n\t\tstate.activeProviderAttempts === 0 &&\n\t\tstate.activeTools === 0 &&\n\t\tstate.activeShards === 0 &&\n\t\tstate.activeChildren === 0 &&\n\t\tstate.queuedContinuations === 0\n\t);\n}\n\n/**\n * Build the event when (and only when) §16.4 holds, marking the state\n * emitted so the same sequence can never yield a second event.\n */\nexport function settlePromptIfReady(\n\tstate: PromptSettlementState,\n\tnowEpochMs: number,\n): { readonly state: PromptSettlementState; readonly event: PromptSettledEvent | null } {\n\tif (!shouldEmitPromptSettled(state) || state.terminal === undefined) {\n\t\treturn { state, event: null };\n\t}\n\tconst event: PromptSettledEvent = {\n\t\ttype: \"prompt_settled\",\n\t\tpromptRunId: state.promptRunId,\n\t\toutcome: state.terminal.outcome,\n\t\tdurationMs: Math.max(0, nowEpochMs - state.startedAtEpochMs),\n\t\t...(state.terminal.terminationKind !== undefined ? { terminationKind: state.terminal.terminationKind } : {}),\n\t};\n\treturn { state: reducePromptSettlement(state, { kind: \"emitted\" }), event };\n}\n\nfunction clampCount(value: number): number {\n\treturn Math.max(0, value);\n}\n"]}
+{"version":3,"file":"prompt-settlement.d.ts","sourceRoot":"","sources":["../../src/core/prompt-settlement.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAEvE;;;;;;;;;;;;;;GAcG;AAEH,MAAM,MAAM,uBAAuB,GAAG,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEzE,kCAAiC;AACjC,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,kCAAiC;AACjC,MAAM,WAAW,kBAAkB;IAClC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,uBAAuB,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CAClC;AAED,gCAA+B;AAC/B,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,QAAQ,CAAC,EAAE;QACnB,QAAQ,CAAC,OAAO,EAAE,uBAAuB,CAAC;QAC1C,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;KAClC,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,MAAM,sBAAsB,GAC/B;IAAE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,uBAAuB,CAAC;IAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;CAAE,GAC3G;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAEhC,kEAAkE;AAClE,wBAAgB,8BAA8B,CAC7C,QAAQ,EAAE,uBAAuB,EACjC,eAAe,EAAE,sBAAsB,GAAG,SAAS,GACjD,uBAAuB,CAKzB;AAED,wBAAgB,2BAA2B,CAAC,WAAW,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,GAAG,qBAAqB,CAWhH;AAED,wFAAuF;AACvF,wBAAgB,sBAAsB,CACrC,KAAK,EAAE,qBAAqB,EAC5B,MAAM,EAAE,sBAAsB,GAC5B,qBAAqB,CAyBvB;AAED,0EAAyE;AACzE,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG,OAAO,CAU7E;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAClC,KAAK,EAAE,qBAAqB,EAC5B,UAAU,EAAE,MAAM,GAChB;IAAE,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,kBAAkB,GAAG,IAAI,CAAA;CAAE,CAYtF","sourcesContent":["import type { SessionTerminationKind } from \"./session-termination.ts\";\n\n/**\n * Prompt settlement coordinator (OMK v0.97.x roadmap §16, M4/PR6).\n *\n * `agent_end` is NOT final (§16.1): provider retries, compaction retries,\n * durable-goal continuations, steering/follow-up queues, shards, and child\n * subagents may still run. `prompt_settled` fires only when the reducer's\n * §16.4 conditions all hold, exactly once per promptRunId. Consumers (the\n * M4 completion sound, notifications) must treat it as a UX signal, never a\n * correctness signal (§3 non-goals).\n *\n * This counter reducer remains a compatibility projection, not execution\n * ownership authority. AgentSession uses SessionPromptLifecycle to retain actual\n * tool-promise identities and seal the root producer before projecting an event.\n * Detached children and shards still require an explicit ownership/join adapter.\n */\n\nexport type PromptSettlementOutcome = \"completed\" | \"failed\" | \"aborted\";\n\n/** §16.2 prompt run identity. */\nexport interface PromptRunRef {\n\treadonly promptRunId: string;\n\treadonly sessionId: string;\n\treadonly startedAt: string;\n\treadonly lineageId?: string;\n}\n\n/** §16.3 settlement contract. */\nexport interface PromptSettledEvent {\n\treadonly type: \"prompt_settled\";\n\treadonly promptRunId: string;\n\treadonly outcome: PromptSettlementOutcome;\n\treadonly durationMs: number;\n\treadonly terminationKind?: string;\n}\n\n/** §16.5 coordinator state. */\nexport interface PromptSettlementState {\n\treadonly promptRunId: string;\n\treadonly startedAtEpochMs: number;\n\treadonly activeProviderAttempts: number;\n\treadonly activeTools: number;\n\treadonly activeShards: number;\n\treadonly activeChildren: number;\n\treadonly queuedContinuations: number;\n\treadonly terminal?: {\n\t\treadonly outcome: PromptSettlementOutcome;\n\t\treadonly terminationKind?: string;\n\t};\n\treadonly emitted: boolean;\n}\n\nexport type PromptSettlementSignal =\n\t| { readonly kind: \"provider_attempt\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"tool\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"shard\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"child\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"continuation\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"terminal\"; readonly outcome: PromptSettlementOutcome; readonly terminationKind?: string }\n\t| { readonly kind: \"emitted\" };\n\n/** Map the final typed termination onto the prompt UX outcome. */\nexport function resolvePromptSettlementOutcome(\n\tfallback: PromptSettlementOutcome,\n\tterminationKind: SessionTerminationKind | undefined,\n): PromptSettlementOutcome {\n\tif (terminationKind === \"user_abort\" || terminationKind === \"provider_abort\") return \"aborted\";\n\tif (fallback !== \"completed\") return fallback;\n\tif (terminationKind === undefined || terminationKind === \"completed\") return \"completed\";\n\treturn \"failed\";\n}\n\nexport function createPromptSettlementState(promptRunId: string, startedAtEpochMs: number): PromptSettlementState {\n\treturn {\n\t\tpromptRunId,\n\t\tstartedAtEpochMs,\n\t\tactiveProviderAttempts: 0,\n\t\tactiveTools: 0,\n\t\tactiveShards: 0,\n\t\tactiveChildren: 0,\n\t\tqueuedContinuations: 0,\n\t\temitted: false,\n\t};\n}\n\n/** Pure reducer (§16.5). Counters clamp at zero; terminal and emitted are latching. */\nexport function reducePromptSettlement(\n\tstate: PromptSettlementState,\n\tsignal: PromptSettlementSignal,\n): PromptSettlementState {\n\tswitch (signal.kind) {\n\t\tcase \"provider_attempt\":\n\t\t\treturn { ...state, activeProviderAttempts: clampCount(state.activeProviderAttempts + signal.delta) };\n\t\tcase \"tool\":\n\t\t\treturn { ...state, activeTools: clampCount(state.activeTools + signal.delta) };\n\t\tcase \"shard\":\n\t\t\treturn { ...state, activeShards: clampCount(state.activeShards + signal.delta) };\n\t\tcase \"child\":\n\t\t\treturn { ...state, activeChildren: clampCount(state.activeChildren + signal.delta) };\n\t\tcase \"continuation\":\n\t\t\treturn { ...state, queuedContinuations: clampCount(state.queuedContinuations + signal.delta) };\n\t\tcase \"terminal\":\n\t\t\t// First terminal outcome wins; later reclassification never flips it (§15.3).\n\t\t\tif (state.terminal !== undefined) {\n\t\t\t\treturn state;\n\t\t\t}\n\t\t\treturn { ...state, terminal: { outcome: signal.outcome, terminationKind: signal.terminationKind } };\n\t\tcase \"emitted\":\n\t\t\treturn { ...state, emitted: true };\n\t\tdefault: {\n\t\t\tconst exhaustive: never = signal;\n\t\t\treturn exhaustive;\n\t\t}\n\t}\n}\n\n/** §16.4: every condition must hold before `prompt_settled` may emit. */\nexport function shouldEmitPromptSettled(state: PromptSettlementState): boolean {\n\treturn (\n\t\tstate.terminal !== undefined &&\n\t\t!state.emitted &&\n\t\tstate.activeProviderAttempts === 0 &&\n\t\tstate.activeTools === 0 &&\n\t\tstate.activeShards === 0 &&\n\t\tstate.activeChildren === 0 &&\n\t\tstate.queuedContinuations === 0\n\t);\n}\n\n/**\n * Build the event when (and only when) §16.4 holds, marking the state\n * emitted so the same sequence can never yield a second event.\n */\nexport function settlePromptIfReady(\n\tstate: PromptSettlementState,\n\tnowEpochMs: number,\n): { readonly state: PromptSettlementState; readonly event: PromptSettledEvent | null } {\n\tif (!shouldEmitPromptSettled(state) || state.terminal === undefined) {\n\t\treturn { state, event: null };\n\t}\n\tconst event: PromptSettledEvent = {\n\t\ttype: \"prompt_settled\",\n\t\tpromptRunId: state.promptRunId,\n\t\toutcome: state.terminal.outcome,\n\t\tdurationMs: Math.max(0, nowEpochMs - state.startedAtEpochMs),\n\t\t...(state.terminal.terminationKind !== undefined ? { terminationKind: state.terminal.terminationKind } : {}),\n\t};\n\treturn { state: reducePromptSettlement(state, { kind: \"emitted\" }), event };\n}\n\nfunction clampCount(value: number): number {\n\treturn Math.max(0, value);\n}\n"]}

package/dist/core/prompt-settlement.js.map

@@ -1 +1 @@
-{"version":3,"file":"prompt-settlement.js","sourceRoot":"","sources":["../../src/core/prompt-settlement.ts"],"names":[],"mappings":"AA6DA,kEAAkE;AAClE,MAAM,UAAU,8BAA8B,CAC7C,QAAiC,EACjC,eAAmD,EACzB;IAC1B,IAAI,eAAe,KAAK,YAAY,IAAI,eAAe,KAAK,gBAAgB;QAAE,OAAO,SAAS,CAAC;IAC/F,IAAI,QAAQ,KAAK,WAAW;QAAE,OAAO,QAAQ,CAAC;IAC9C,IAAI,eAAe,KAAK,SAAS,IAAI,eAAe,KAAK,WAAW;QAAE,OAAO,WAAW,CAAC;IACzF,OAAO,QAAQ,CAAC;AAAA,CAChB;AAED,MAAM,UAAU,2BAA2B,CAAC,WAAmB,EAAE,gBAAwB,EAAyB;IACjH,OAAO;QACN,WAAW;QACX,gBAAgB;QAChB,sBAAsB,EAAE,CAAC;QACzB,WAAW,EAAE,CAAC;QACd,YAAY,EAAE,CAAC;QACf,cAAc,EAAE,CAAC;QACjB,mBAAmB,EAAE,CAAC;QACtB,OAAO,EAAE,KAAK;KACd,CAAC;AAAA,CACF;AAED,wFAAuF;AACvF,MAAM,UAAU,sBAAsB,CACrC,KAA4B,EAC5B,MAA8B,EACN;IACxB,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,kBAAkB;YACtB,OAAO,EAAE,GAAG,KAAK,EAAE,sBAAsB,EAAE,UAAU,CAAC,KAAK,CAAC,sBAAsB,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACtG,KAAK,MAAM;YACV,OAAO,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,UAAU,CAAC,KAAK,CAAC,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAChF,KAAK,OAAO;YACX,OAAO,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,UAAU,CAAC,KAAK,CAAC,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAClF,KAAK,OAAO;YACX,OAAO,EAAE,GAAG,KAAK,EAAE,cAAc,EAAE,UAAU,CAAC,KAAK,CAAC,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACtF,KAAK,cAAc;YAClB,OAAO,EAAE,GAAG,KAAK,EAAE,mBAAmB,EAAE,UAAU,CAAC,KAAK,CAAC,mBAAmB,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAChG,KAAK,UAAU;YACd,+EAA8E;YAC9E,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAClC,OAAO,KAAK,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC;QACrG,KAAK,SAAS;YACb,OAAO,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACpC,SAAS,CAAC;YACT,MAAM,UAAU,GAAU,MAAM,CAAC;YACjC,OAAO,UAAU,CAAC;QACnB,CAAC;IACF,CAAC;AAAA,CACD;AAED,0EAAyE;AACzE,MAAM,UAAU,uBAAuB,CAAC,KAA4B,EAAW;IAC9E,OAAO,CACN,KAAK,CAAC,QAAQ,KAAK,SAAS;QAC5B,CAAC,KAAK,CAAC,OAAO;QACd,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,cAAc,KAAK,CAAC;QAC1B,KAAK,CAAC,mBAAmB,KAAK,CAAC,CAC/B,CAAC;AAAA,CACF;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAClC,KAA4B,EAC5B,UAAkB,EACqE;IACvF,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACrE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC/B,CAAC;IACD,MAAM,KAAK,GAAuB;QACjC,IAAI,EAAE,gBAAgB;QACtB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO;QAC/B,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,GAAG,KAAK,CAAC,gBAAgB,CAAC;QAC5D,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5G,CAAC;IACF,OAAO,EAAE,KAAK,EAAE,sBAAsB,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;AAAA,CAC5E;AAED,SAAS,UAAU,CAAC,KAAa,EAAU;IAC1C,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAAA,CAC1B","sourcesContent":["import type { SessionTerminationKind } from \"./session-termination.ts\";\n\n/**\n * Prompt settlement coordinator (OMK v0.97.x roadmap §16, M4/PR6).\n *\n * `agent_end` is NOT final (§16.1): provider retries, compaction retries,\n * durable-goal continuations, steering/follow-up queues, shards, and child\n * subagents may still run. `prompt_settled` fires only when the reducer's\n * §16.4 conditions all hold, exactly once per promptRunId. Consumers (the\n * M4 completion sound, notifications) must treat it as a UX signal, never a\n * correctness signal (§3 non-goals).\n *\n * The reducer is a pure function over immutable state (§16.5). Shard and child\n * counters are reserved in the contract, but no production signal call sites\n * wire them yet; any future live M5/M6 path must add those calls before use.\n */\n\nexport type PromptSettlementOutcome = \"completed\" | \"failed\" | \"aborted\";\n\n/** §16.2 prompt run identity. */\nexport interface PromptRunRef {\n\treadonly promptRunId: string;\n\treadonly sessionId: string;\n\treadonly startedAt: string;\n\treadonly lineageId?: string;\n}\n\n/** §16.3 settlement contract. */\nexport interface PromptSettledEvent {\n\treadonly type: \"prompt_settled\";\n\treadonly promptRunId: string;\n\treadonly outcome: PromptSettlementOutcome;\n\treadonly durationMs: number;\n\treadonly terminationKind?: string;\n}\n\n/** §16.5 coordinator state. */\nexport interface PromptSettlementState {\n\treadonly promptRunId: string;\n\treadonly startedAtEpochMs: number;\n\treadonly activeProviderAttempts: number;\n\treadonly activeTools: number;\n\treadonly activeShards: number;\n\treadonly activeChildren: number;\n\treadonly queuedContinuations: number;\n\treadonly terminal?: {\n\t\treadonly outcome: PromptSettlementOutcome;\n\t\treadonly terminationKind?: string;\n\t};\n\treadonly emitted: boolean;\n}\n\nexport type PromptSettlementSignal =\n\t| { readonly kind: \"provider_attempt\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"tool\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"shard\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"child\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"continuation\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"terminal\"; readonly outcome: PromptSettlementOutcome; readonly terminationKind?: string }\n\t| { readonly kind: \"emitted\" };\n\n/** Map the final typed termination onto the prompt UX outcome. */\nexport function resolvePromptSettlementOutcome(\n\tfallback: PromptSettlementOutcome,\n\tterminationKind: SessionTerminationKind | undefined,\n): PromptSettlementOutcome {\n\tif (terminationKind === \"user_abort\" || terminationKind === \"provider_abort\") return \"aborted\";\n\tif (fallback !== \"completed\") return fallback;\n\tif (terminationKind === undefined || terminationKind === \"completed\") return \"completed\";\n\treturn \"failed\";\n}\n\nexport function createPromptSettlementState(promptRunId: string, startedAtEpochMs: number): PromptSettlementState {\n\treturn {\n\t\tpromptRunId,\n\t\tstartedAtEpochMs,\n\t\tactiveProviderAttempts: 0,\n\t\tactiveTools: 0,\n\t\tactiveShards: 0,\n\t\tactiveChildren: 0,\n\t\tqueuedContinuations: 0,\n\t\temitted: false,\n\t};\n}\n\n/** Pure reducer (§16.5). Counters clamp at zero; terminal and emitted are latching. */\nexport function reducePromptSettlement(\n\tstate: PromptSettlementState,\n\tsignal: PromptSettlementSignal,\n): PromptSettlementState {\n\tswitch (signal.kind) {\n\t\tcase \"provider_attempt\":\n\t\t\treturn { ...state, activeProviderAttempts: clampCount(state.activeProviderAttempts + signal.delta) };\n\t\tcase \"tool\":\n\t\t\treturn { ...state, activeTools: clampCount(state.activeTools + signal.delta) };\n\t\tcase \"shard\":\n\t\t\treturn { ...state, activeShards: clampCount(state.activeShards + signal.delta) };\n\t\tcase \"child\":\n\t\t\treturn { ...state, activeChildren: clampCount(state.activeChildren + signal.delta) };\n\t\tcase \"continuation\":\n\t\t\treturn { ...state, queuedContinuations: clampCount(state.queuedContinuations + signal.delta) };\n\t\tcase \"terminal\":\n\t\t\t// First terminal outcome wins; later reclassification never flips it (§15.3).\n\t\t\tif (state.terminal !== undefined) {\n\t\t\t\treturn state;\n\t\t\t}\n\t\t\treturn { ...state, terminal: { outcome: signal.outcome, terminationKind: signal.terminationKind } };\n\t\tcase \"emitted\":\n\t\t\treturn { ...state, emitted: true };\n\t\tdefault: {\n\t\t\tconst exhaustive: never = signal;\n\t\t\treturn exhaustive;\n\t\t}\n\t}\n}\n\n/** §16.4: every condition must hold before `prompt_settled` may emit. */\nexport function shouldEmitPromptSettled(state: PromptSettlementState): boolean {\n\treturn (\n\t\tstate.terminal !== undefined &&\n\t\t!state.emitted &&\n\t\tstate.activeProviderAttempts === 0 &&\n\t\tstate.activeTools === 0 &&\n\t\tstate.activeShards === 0 &&\n\t\tstate.activeChildren === 0 &&\n\t\tstate.queuedContinuations === 0\n\t);\n}\n\n/**\n * Build the event when (and only when) §16.4 holds, marking the state\n * emitted so the same sequence can never yield a second event.\n */\nexport function settlePromptIfReady(\n\tstate: PromptSettlementState,\n\tnowEpochMs: number,\n): { readonly state: PromptSettlementState; readonly event: PromptSettledEvent | null } {\n\tif (!shouldEmitPromptSettled(state) || state.terminal === undefined) {\n\t\treturn { state, event: null };\n\t}\n\tconst event: PromptSettledEvent = {\n\t\ttype: \"prompt_settled\",\n\t\tpromptRunId: state.promptRunId,\n\t\toutcome: state.terminal.outcome,\n\t\tdurationMs: Math.max(0, nowEpochMs - state.startedAtEpochMs),\n\t\t...(state.terminal.terminationKind !== undefined ? { terminationKind: state.terminal.terminationKind } : {}),\n\t};\n\treturn { state: reducePromptSettlement(state, { kind: \"emitted\" }), event };\n}\n\nfunction clampCount(value: number): number {\n\treturn Math.max(0, value);\n}\n"]}
+{"version":3,"file":"prompt-settlement.js","sourceRoot":"","sources":["../../src/core/prompt-settlement.ts"],"names":[],"mappings":"AA8DA,kEAAkE;AAClE,MAAM,UAAU,8BAA8B,CAC7C,QAAiC,EACjC,eAAmD,EACzB;IAC1B,IAAI,eAAe,KAAK,YAAY,IAAI,eAAe,KAAK,gBAAgB;QAAE,OAAO,SAAS,CAAC;IAC/F,IAAI,QAAQ,KAAK,WAAW;QAAE,OAAO,QAAQ,CAAC;IAC9C,IAAI,eAAe,KAAK,SAAS,IAAI,eAAe,KAAK,WAAW;QAAE,OAAO,WAAW,CAAC;IACzF,OAAO,QAAQ,CAAC;AAAA,CAChB;AAED,MAAM,UAAU,2BAA2B,CAAC,WAAmB,EAAE,gBAAwB,EAAyB;IACjH,OAAO;QACN,WAAW;QACX,gBAAgB;QAChB,sBAAsB,EAAE,CAAC;QACzB,WAAW,EAAE,CAAC;QACd,YAAY,EAAE,CAAC;QACf,cAAc,EAAE,CAAC;QACjB,mBAAmB,EAAE,CAAC;QACtB,OAAO,EAAE,KAAK;KACd,CAAC;AAAA,CACF;AAED,wFAAuF;AACvF,MAAM,UAAU,sBAAsB,CACrC,KAA4B,EAC5B,MAA8B,EACN;IACxB,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,kBAAkB;YACtB,OAAO,EAAE,GAAG,KAAK,EAAE,sBAAsB,EAAE,UAAU,CAAC,KAAK,CAAC,sBAAsB,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACtG,KAAK,MAAM;YACV,OAAO,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,UAAU,CAAC,KAAK,CAAC,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAChF,KAAK,OAAO;YACX,OAAO,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,UAAU,CAAC,KAAK,CAAC,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAClF,KAAK,OAAO;YACX,OAAO,EAAE,GAAG,KAAK,EAAE,cAAc,EAAE,UAAU,CAAC,KAAK,CAAC,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACtF,KAAK,cAAc;YAClB,OAAO,EAAE,GAAG,KAAK,EAAE,mBAAmB,EAAE,UAAU,CAAC,KAAK,CAAC,mBAAmB,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAChG,KAAK,UAAU;YACd,+EAA8E;YAC9E,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAClC,OAAO,KAAK,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC;QACrG,KAAK,SAAS;YACb,OAAO,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACpC,SAAS,CAAC;YACT,MAAM,UAAU,GAAU,MAAM,CAAC;YACjC,OAAO,UAAU,CAAC;QACnB,CAAC;IACF,CAAC;AAAA,CACD;AAED,0EAAyE;AACzE,MAAM,UAAU,uBAAuB,CAAC,KAA4B,EAAW;IAC9E,OAAO,CACN,KAAK,CAAC,QAAQ,KAAK,SAAS;QAC5B,CAAC,KAAK,CAAC,OAAO;QACd,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,cAAc,KAAK,CAAC;QAC1B,KAAK,CAAC,mBAAmB,KAAK,CAAC,CAC/B,CAAC;AAAA,CACF;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAClC,KAA4B,EAC5B,UAAkB,EACqE;IACvF,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACrE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC/B,CAAC;IACD,MAAM,KAAK,GAAuB;QACjC,IAAI,EAAE,gBAAgB;QACtB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO;QAC/B,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,GAAG,KAAK,CAAC,gBAAgB,CAAC;QAC5D,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5G,CAAC;IACF,OAAO,EAAE,KAAK,EAAE,sBAAsB,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;AAAA,CAC5E;AAED,SAAS,UAAU,CAAC,KAAa,EAAU;IAC1C,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAAA,CAC1B","sourcesContent":["import type { SessionTerminationKind } from \"./session-termination.ts\";\n\n/**\n * Prompt settlement coordinator (OMK v0.97.x roadmap §16, M4/PR6).\n *\n * `agent_end` is NOT final (§16.1): provider retries, compaction retries,\n * durable-goal continuations, steering/follow-up queues, shards, and child\n * subagents may still run. `prompt_settled` fires only when the reducer's\n * §16.4 conditions all hold, exactly once per promptRunId. Consumers (the\n * M4 completion sound, notifications) must treat it as a UX signal, never a\n * correctness signal (§3 non-goals).\n *\n * This counter reducer remains a compatibility projection, not execution\n * ownership authority. AgentSession uses SessionPromptLifecycle to retain actual\n * tool-promise identities and seal the root producer before projecting an event.\n * Detached children and shards still require an explicit ownership/join adapter.\n */\n\nexport type PromptSettlementOutcome = \"completed\" | \"failed\" | \"aborted\";\n\n/** §16.2 prompt run identity. */\nexport interface PromptRunRef {\n\treadonly promptRunId: string;\n\treadonly sessionId: string;\n\treadonly startedAt: string;\n\treadonly lineageId?: string;\n}\n\n/** §16.3 settlement contract. */\nexport interface PromptSettledEvent {\n\treadonly type: \"prompt_settled\";\n\treadonly promptRunId: string;\n\treadonly outcome: PromptSettlementOutcome;\n\treadonly durationMs: number;\n\treadonly terminationKind?: string;\n}\n\n/** §16.5 coordinator state. */\nexport interface PromptSettlementState {\n\treadonly promptRunId: string;\n\treadonly startedAtEpochMs: number;\n\treadonly activeProviderAttempts: number;\n\treadonly activeTools: number;\n\treadonly activeShards: number;\n\treadonly activeChildren: number;\n\treadonly queuedContinuations: number;\n\treadonly terminal?: {\n\t\treadonly outcome: PromptSettlementOutcome;\n\t\treadonly terminationKind?: string;\n\t};\n\treadonly emitted: boolean;\n}\n\nexport type PromptSettlementSignal =\n\t| { readonly kind: \"provider_attempt\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"tool\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"shard\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"child\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"continuation\"; readonly delta: 1 | -1 }\n\t| { readonly kind: \"terminal\"; readonly outcome: PromptSettlementOutcome; readonly terminationKind?: string }\n\t| { readonly kind: \"emitted\" };\n\n/** Map the final typed termination onto the prompt UX outcome. */\nexport function resolvePromptSettlementOutcome(\n\tfallback: PromptSettlementOutcome,\n\tterminationKind: SessionTerminationKind | undefined,\n): PromptSettlementOutcome {\n\tif (terminationKind === \"user_abort\" || terminationKind === \"provider_abort\") return \"aborted\";\n\tif (fallback !== \"completed\") return fallback;\n\tif (terminationKind === undefined || terminationKind === \"completed\") return \"completed\";\n\treturn \"failed\";\n}\n\nexport function createPromptSettlementState(promptRunId: string, startedAtEpochMs: number): PromptSettlementState {\n\treturn {\n\t\tpromptRunId,\n\t\tstartedAtEpochMs,\n\t\tactiveProviderAttempts: 0,\n\t\tactiveTools: 0,\n\t\tactiveShards: 0,\n\t\tactiveChildren: 0,\n\t\tqueuedContinuations: 0,\n\t\temitted: false,\n\t};\n}\n\n/** Pure reducer (§16.5). Counters clamp at zero; terminal and emitted are latching. */\nexport function reducePromptSettlement(\n\tstate: PromptSettlementState,\n\tsignal: PromptSettlementSignal,\n): PromptSettlementState {\n\tswitch (signal.kind) {\n\t\tcase \"provider_attempt\":\n\t\t\treturn { ...state, activeProviderAttempts: clampCount(state.activeProviderAttempts + signal.delta) };\n\t\tcase \"tool\":\n\t\t\treturn { ...state, activeTools: clampCount(state.activeTools + signal.delta) };\n\t\tcase \"shard\":\n\t\t\treturn { ...state, activeShards: clampCount(state.activeShards + signal.delta) };\n\t\tcase \"child\":\n\t\t\treturn { ...state, activeChildren: clampCount(state.activeChildren + signal.delta) };\n\t\tcase \"continuation\":\n\t\t\treturn { ...state, queuedContinuations: clampCount(state.queuedContinuations + signal.delta) };\n\t\tcase \"terminal\":\n\t\t\t// First terminal outcome wins; later reclassification never flips it (§15.3).\n\t\t\tif (state.terminal !== undefined) {\n\t\t\t\treturn state;\n\t\t\t}\n\t\t\treturn { ...state, terminal: { outcome: signal.outcome, terminationKind: signal.terminationKind } };\n\t\tcase \"emitted\":\n\t\t\treturn { ...state, emitted: true };\n\t\tdefault: {\n\t\t\tconst exhaustive: never = signal;\n\t\t\treturn exhaustive;\n\t\t}\n\t}\n}\n\n/** §16.4: every condition must hold before `prompt_settled` may emit. */\nexport function shouldEmitPromptSettled(state: PromptSettlementState): boolean {\n\treturn (\n\t\tstate.terminal !== undefined &&\n\t\t!state.emitted &&\n\t\tstate.activeProviderAttempts === 0 &&\n\t\tstate.activeTools === 0 &&\n\t\tstate.activeShards === 0 &&\n\t\tstate.activeChildren === 0 &&\n\t\tstate.queuedContinuations === 0\n\t);\n}\n\n/**\n * Build the event when (and only when) §16.4 holds, marking the state\n * emitted so the same sequence can never yield a second event.\n */\nexport function settlePromptIfReady(\n\tstate: PromptSettlementState,\n\tnowEpochMs: number,\n): { readonly state: PromptSettlementState; readonly event: PromptSettledEvent | null } {\n\tif (!shouldEmitPromptSettled(state) || state.terminal === undefined) {\n\t\treturn { state, event: null };\n\t}\n\tconst event: PromptSettledEvent = {\n\t\ttype: \"prompt_settled\",\n\t\tpromptRunId: state.promptRunId,\n\t\toutcome: state.terminal.outcome,\n\t\tdurationMs: Math.max(0, nowEpochMs - state.startedAtEpochMs),\n\t\t...(state.terminal.terminationKind !== undefined ? { terminationKind: state.terminal.terminationKind } : {}),\n\t};\n\treturn { state: reducePromptSettlement(state, { kind: \"emitted\" }), event };\n}\n\nfunction clampCount(value: number): number {\n\treturn Math.max(0, value);\n}\n"]}

package/dist/core/run-budget-policy.d.ts

@@ -0,0 +1,18 @@
+/** Logical stream-dispatch limits for one explicit prompt, not provider billing limits. */
+export interface RunBudgetLimits {
+    readonly timeoutMs?: number;
+    readonly maxRequests?: number;
+    readonly maxConcurrentRequests?: number;
+}
+export declare const RUN_BUDGET_STOP_CODES: readonly ["deadline", "requests", "concurrency", "closed"];
+export type RunBudgetStopCode = (typeof RUN_BUDGET_STOP_CODES)[number];
+export declare class RunBudgetExceededError extends Error {
+    readonly code: RunBudgetStopCode;
+    constructor(code: RunBudgetStopCode);
+}
+export declare class RunBudgetPolicyError extends Error {
+    constructor();
+}
+/** Copy the flat policy without executing accessors or accepting inherited limits. */
+export declare function snapshotRunBudgetLimits(input: unknown): RunBudgetLimits;
+//# sourceMappingURL=run-budget-policy.d.ts.map

package/dist/core/run-budget-policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-budget-policy.d.ts","sourceRoot":"","sources":["../../src/core/run-budget-policy.ts"],"names":[],"mappings":"AAAA,2FAA2F;AAC3F,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;CACxC;AAED,eAAO,MAAM,qBAAqB,4DAA6D,CAAC;AAChG,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvE,qBAAa,sBAAuB,SAAQ,KAAK;IAChD,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,YAAY,IAAI,EAAE,iBAAiB,EAIlC;CACD;AAED,qBAAa,oBAAqB,SAAQ,KAAK;IAC9C,cAGC;CACD;AAED,sFAAsF;AACtF,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,CAsCvE","sourcesContent":["/** Logical stream-dispatch limits for one explicit prompt, not provider billing limits. */\nexport interface RunBudgetLimits {\n\treadonly timeoutMs?: number;\n\treadonly maxRequests?: number;\n\treadonly maxConcurrentRequests?: number;\n}\n\nexport const RUN_BUDGET_STOP_CODES = [\"deadline\", \"requests\", \"concurrency\", \"closed\"] as const;\nexport type RunBudgetStopCode = (typeof RUN_BUDGET_STOP_CODES)[number];\n\nexport class RunBudgetExceededError extends Error {\n\treadonly code: RunBudgetStopCode;\n\tconstructor(code: RunBudgetStopCode) {\n\t\tsuper(`Run budget exhausted: ${code}`);\n\t\tthis.name = \"RunBudgetExceededError\";\n\t\tthis.code = code;\n\t}\n}\n\nexport class RunBudgetPolicyError extends Error {\n\tconstructor() {\n\t\tsuper(\"Invalid run budget: use non-negative integer limits and a timeout no greater than 2147483647ms\");\n\t\tthis.name = \"RunBudgetPolicyError\";\n\t}\n}\n\n/** Copy the flat policy without executing accessors or accepting inherited limits. */\nexport function snapshotRunBudgetLimits(input: unknown): RunBudgetLimits {\n\tif (typeof input !== \"object\" || input === null || Array.isArray(input)) throw new RunBudgetPolicyError();\n\tconst prototype = Object.getPrototypeOf(input);\n\tif (prototype !== Object.prototype && prototype !== null) throw new RunBudgetPolicyError();\n\tconst keys = Reflect.ownKeys(input);\n\tif (\n\t\tkeys.length === 0 ||\n\t\tkeys.some(\n\t\t\t(key) =>\n\t\t\t\t![\"timeoutMs\", \"maxRequests\", \"maxConcurrentRequests\"].includes(String(key)) || typeof key !== \"string\",\n\t\t)\n\t) {\n\t\tthrow new RunBudgetPolicyError();\n\t}\n\tconst descriptors = Object.getOwnPropertyDescriptors(input);\n\tconst readLimit = (key: keyof RunBudgetLimits): number | undefined => {\n\t\tconst descriptor = descriptors[key];\n\t\tif (descriptor === undefined) return undefined;\n\t\tconst value: unknown = descriptor.value;\n\t\tif (\n\t\t\t!(\"value\" in descriptor) ||\n\t\t\ttypeof value !== \"number\" ||\n\t\t\t!Number.isSafeInteger(value) ||\n\t\t\tvalue < 0 ||\n\t\t\t(key === \"timeoutMs\" && value > 2147483647)\n\t\t) {\n\t\t\tthrow new RunBudgetPolicyError();\n\t\t}\n\t\treturn value;\n\t};\n\tconst timeoutMs = readLimit(\"timeoutMs\");\n\tconst maxRequests = readLimit(\"maxRequests\");\n\tconst maxConcurrentRequests = readLimit(\"maxConcurrentRequests\");\n\treturn Object.freeze({\n\t\t...(timeoutMs === undefined ? {} : { timeoutMs }),\n\t\t...(maxRequests === undefined ? {} : { maxRequests }),\n\t\t...(maxConcurrentRequests === undefined ? {} : { maxConcurrentRequests }),\n\t});\n}\n"]}

package/dist/core/run-budget-policy.js

@@ -0,0 +1,52 @@
+export const RUN_BUDGET_STOP_CODES = ["deadline", "requests", "concurrency", "closed"];
+export class RunBudgetExceededError extends Error {
+    code;
+    constructor(code) {
+        super(`Run budget exhausted: ${code}`);
+        this.name = "RunBudgetExceededError";
+        this.code = code;
+    }
+}
+export class RunBudgetPolicyError extends Error {
+    constructor() {
+        super("Invalid run budget: use non-negative integer limits and a timeout no greater than 2147483647ms");
+        this.name = "RunBudgetPolicyError";
+    }
+}
+/** Copy the flat policy without executing accessors or accepting inherited limits. */
+export function snapshotRunBudgetLimits(input) {
+    if (typeof input !== "object" || input === null || Array.isArray(input))
+        throw new RunBudgetPolicyError();
+    const prototype = Object.getPrototypeOf(input);
+    if (prototype !== Object.prototype && prototype !== null)
+        throw new RunBudgetPolicyError();
+    const keys = Reflect.ownKeys(input);
+    if (keys.length === 0 ||
+        keys.some((key) => !["timeoutMs", "maxRequests", "maxConcurrentRequests"].includes(String(key)) || typeof key !== "string")) {
+        throw new RunBudgetPolicyError();
+    }
+    const descriptors = Object.getOwnPropertyDescriptors(input);
+    const readLimit = (key) => {
+        const descriptor = descriptors[key];
+        if (descriptor === undefined)
+            return undefined;
+        const value = descriptor.value;
+        if (!("value" in descriptor) ||
+            typeof value !== "number" ||
+            !Number.isSafeInteger(value) ||
+            value < 0 ||
+            (key === "timeoutMs" && value > 2147483647)) {
+            throw new RunBudgetPolicyError();
+        }
+        return value;
+    };
+    const timeoutMs = readLimit("timeoutMs");
+    const maxRequests = readLimit("maxRequests");
+    const maxConcurrentRequests = readLimit("maxConcurrentRequests");
+    return Object.freeze({
+        ...(timeoutMs === undefined ? {} : { timeoutMs }),
+        ...(maxRequests === undefined ? {} : { maxRequests }),
+        ...(maxConcurrentRequests === undefined ? {} : { maxConcurrentRequests }),
+    });
+}
+//# sourceMappingURL=run-budget-policy.js.map

package/dist/core/run-budget-policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-budget-policy.js","sourceRoot":"","sources":["../../src/core/run-budget-policy.ts"],"names":[],"mappings":"AAOA,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,CAAU,CAAC;AAGhG,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IACvC,IAAI,CAAoB;IACjC,YAAY,IAAuB,EAAE;QACpC,KAAK,CAAC,yBAAyB,IAAI,EAAE,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IAAA,CACjB;CACD;AAED,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC9C,cAAc;QACb,KAAK,CAAC,gGAAgG,CAAC,CAAC;QACxG,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IAAA,CACnC;CACD;AAED,sFAAsF;AACtF,MAAM,UAAU,uBAAuB,CAAC,KAAc,EAAmB;IACxE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,oBAAoB,EAAE,CAAC;IAC1G,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI;QAAE,MAAM,IAAI,oBAAoB,EAAE,CAAC;IAC3F,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpC,IACC,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,IAAI,CAAC,IAAI,CACR,CAAC,GAAG,EAAE,EAAE,CACP,CAAC,CAAC,WAAW,EAAE,aAAa,EAAE,uBAAuB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,OAAO,GAAG,KAAK,QAAQ,CACxG,EACA,CAAC;QACF,MAAM,IAAI,oBAAoB,EAAE,CAAC;IAClC,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,CAAC,GAA0B,EAAsB,EAAE,CAAC;QACrE,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,MAAM,KAAK,GAAY,UAAU,CAAC,KAAK,CAAC;QACxC,IACC,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC;YACxB,OAAO,KAAK,KAAK,QAAQ;YACzB,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;YAC5B,KAAK,GAAG,CAAC;YACT,CAAC,GAAG,KAAK,WAAW,IAAI,KAAK,GAAG,UAAU,CAAC,EAC1C,CAAC;YACF,MAAM,IAAI,oBAAoB,EAAE,CAAC;QAClC,CAAC;QACD,OAAO,KAAK,CAAC;IAAA,CACb,CAAC;IACF,MAAM,SAAS,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC;IACzC,MAAM,WAAW,GAAG,SAAS,CAAC,aAAa,CAAC,CAAC;IAC7C,MAAM,qBAAqB,GAAG,SAAS,CAAC,uBAAuB,CAAC,CAAC;IACjE,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;QACjD,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;QACrD,GAAG,CAAC,qBAAqB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,qBAAqB,EAAE,CAAC;KACzE,CAAC,CAAC;AAAA,CACH","sourcesContent":["/** Logical stream-dispatch limits for one explicit prompt, not provider billing limits. */\nexport interface RunBudgetLimits {\n\treadonly timeoutMs?: number;\n\treadonly maxRequests?: number;\n\treadonly maxConcurrentRequests?: number;\n}\n\nexport const RUN_BUDGET_STOP_CODES = [\"deadline\", \"requests\", \"concurrency\", \"closed\"] as const;\nexport type RunBudgetStopCode = (typeof RUN_BUDGET_STOP_CODES)[number];\n\nexport class RunBudgetExceededError extends Error {\n\treadonly code: RunBudgetStopCode;\n\tconstructor(code: RunBudgetStopCode) {\n\t\tsuper(`Run budget exhausted: ${code}`);\n\t\tthis.name = \"RunBudgetExceededError\";\n\t\tthis.code = code;\n\t}\n}\n\nexport class RunBudgetPolicyError extends Error {\n\tconstructor() {\n\t\tsuper(\"Invalid run budget: use non-negative integer limits and a timeout no greater than 2147483647ms\");\n\t\tthis.name = \"RunBudgetPolicyError\";\n\t}\n}\n\n/** Copy the flat policy without executing accessors or accepting inherited limits. */\nexport function snapshotRunBudgetLimits(input: unknown): RunBudgetLimits {\n\tif (typeof input !== \"object\" || input === null || Array.isArray(input)) throw new RunBudgetPolicyError();\n\tconst prototype = Object.getPrototypeOf(input);\n\tif (prototype !== Object.prototype && prototype !== null) throw new RunBudgetPolicyError();\n\tconst keys = Reflect.ownKeys(input);\n\tif (\n\t\tkeys.length === 0 ||\n\t\tkeys.some(\n\t\t\t(key) =>\n\t\t\t\t![\"timeoutMs\", \"maxRequests\", \"maxConcurrentRequests\"].includes(String(key)) || typeof key !== \"string\",\n\t\t)\n\t) {\n\t\tthrow new RunBudgetPolicyError();\n\t}\n\tconst descriptors = Object.getOwnPropertyDescriptors(input);\n\tconst readLimit = (key: keyof RunBudgetLimits): number | undefined => {\n\t\tconst descriptor = descriptors[key];\n\t\tif (descriptor === undefined) return undefined;\n\t\tconst value: unknown = descriptor.value;\n\t\tif (\n\t\t\t!(\"value\" in descriptor) ||\n\t\t\ttypeof value !== \"number\" ||\n\t\t\t!Number.isSafeInteger(value) ||\n\t\t\tvalue < 0 ||\n\t\t\t(key === \"timeoutMs\" && value > 2147483647)\n\t\t) {\n\t\t\tthrow new RunBudgetPolicyError();\n\t\t}\n\t\treturn value;\n\t};\n\tconst timeoutMs = readLimit(\"timeoutMs\");\n\tconst maxRequests = readLimit(\"maxRequests\");\n\tconst maxConcurrentRequests = readLimit(\"maxConcurrentRequests\");\n\treturn Object.freeze({\n\t\t...(timeoutMs === undefined ? {} : { timeoutMs }),\n\t\t...(maxRequests === undefined ? {} : { maxRequests }),\n\t\t...(maxConcurrentRequests === undefined ? {} : { maxConcurrentRequests }),\n\t});\n}\n"]}

package/dist/core/run-budget.d.ts

@@ -0,0 +1,33 @@
+import { RunBudgetExceededError, type RunBudgetLimits, type RunBudgetStopCode } from "./run-budget-policy.ts";
+export interface RunBudgetSnapshot {
+    readonly limits: RunBudgetLimits;
+    readonly requestsStarted: number;
+    readonly activeRequests: number;
+    readonly remainingMs?: number;
+    readonly closed: boolean;
+    readonly exhaustedBy?: RunBudgetStopCode;
+}
+/** One in-memory, monotonic budget shared by every dispatch in a prompt. */
+export declare class RunBudget {
+    readonly limits: RunBudgetLimits;
+    private readonly controller;
+    private readonly deadline;
+    private readonly onExhausted;
+    private readonly active;
+    private timer;
+    private issued;
+    private closed;
+    private exhausted;
+    constructor(limits: RunBudgetLimits, onExhausted: (error: RunBudgetExceededError) => void);
+    get signal(): AbortSignal;
+    get failure(): RunBudgetExceededError | undefined;
+    get remainingMs(): number | undefined;
+    assertActive(): void;
+    assertAdmission(): void;
+    admit(): () => void;
+    snapshot(): RunBudgetSnapshot;
+    close(): void;
+    private exhaust;
+    private armDeadline;
+}
+//# sourceMappingURL=run-budget.d.ts.map

package/dist/core/run-budget.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-budget.d.ts","sourceRoot":"","sources":["../../src/core/run-budget.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,sBAAsB,EACtB,KAAK,eAAe,EACpB,KAAK,iBAAiB,EAEtB,MAAM,wBAAwB,CAAC;AAEhC,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,iBAAiB,CAAC;CACzC;AAED,4EAA4E;AAC5E,qBAAa,SAAS;IACrB,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAyB;IACpD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAqB;IAC9C,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA0C;IACtE,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAqB;IAC5C,OAAO,CAAC,KAAK,CAA4C;IACzD,OAAO,CAAC,MAAM,CAAK;IACnB,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,SAAS,CAAqC;IAEtD,YAAY,MAAM,EAAE,eAAe,EAAE,WAAW,EAAE,CAAC,KAAK,EAAE,sBAAsB,KAAK,IAAI,EAKxF;IAED,IAAI,MAAM,IAAI,WAAW,CAExB;IACD,IAAI,OAAO,IAAI,sBAAsB,GAAG,SAAS,CAEhD;IACD,IAAI,WAAW,IAAI,MAAM,GAAG,SAAS,CAEpC;IAED,YAAY,IAAI,IAAI,CAInB;IAED,eAAe,IAAI,IAAI,CAItB;IAED,KAAK,IAAI,MAAM,IAAI,CAQlB;IAED,QAAQ,IAAI,iBAAiB,CAS5B;IAED,KAAK,IAAI,IAAI,CAIZ;IAED,OAAO,CAAC,OAAO;IAUf,OAAO,CAAC,WAAW;CAOnB","sourcesContent":["import {\n\tRunBudgetExceededError,\n\ttype RunBudgetLimits,\n\ttype RunBudgetStopCode,\n\tsnapshotRunBudgetLimits,\n} from \"./run-budget-policy.ts\";\n\nexport interface RunBudgetSnapshot {\n\treadonly limits: RunBudgetLimits;\n\treadonly requestsStarted: number;\n\treadonly activeRequests: number;\n\treadonly remainingMs?: number;\n\treadonly closed: boolean;\n\treadonly exhaustedBy?: RunBudgetStopCode;\n}\n\n/** One in-memory, monotonic budget shared by every dispatch in a prompt. */\nexport class RunBudget {\n\treadonly limits: RunBudgetLimits;\n\tprivate readonly controller = new AbortController();\n\tprivate readonly deadline: number | undefined;\n\tprivate readonly onExhausted: (error: RunBudgetExceededError) => void;\n\tprivate readonly active = new Set<symbol>();\n\tprivate timer: ReturnType<typeof setTimeout> | undefined;\n\tprivate issued = 0;\n\tprivate closed = false;\n\tprivate exhausted: RunBudgetExceededError | undefined;\n\n\tconstructor(limits: RunBudgetLimits, onExhausted: (error: RunBudgetExceededError) => void) {\n\t\tthis.limits = snapshotRunBudgetLimits(limits);\n\t\tthis.onExhausted = onExhausted;\n\t\tthis.deadline = this.limits.timeoutMs === undefined ? undefined : performance.now() + this.limits.timeoutMs;\n\t\tif (this.deadline !== undefined) this.armDeadline();\n\t}\n\n\tget signal(): AbortSignal {\n\t\treturn this.controller.signal;\n\t}\n\tget failure(): RunBudgetExceededError | undefined {\n\t\treturn this.exhausted;\n\t}\n\tget remainingMs(): number | undefined {\n\t\treturn this.deadline === undefined ? undefined : Math.max(0, Math.ceil(this.deadline - performance.now()));\n\t}\n\n\tassertActive(): void {\n\t\tif (this.closed) throw new RunBudgetExceededError(\"closed\");\n\t\tif (this.exhausted) throw this.exhausted;\n\t\tif (this.deadline !== undefined && performance.now() >= this.deadline) throw this.exhaust(\"deadline\");\n\t}\n\n\tassertAdmission(): void {\n\t\tthis.assertActive();\n\t\tif (this.issued >= (this.limits.maxRequests ?? Infinity)) throw this.exhaust(\"requests\");\n\t\tif (this.active.size >= (this.limits.maxConcurrentRequests ?? Infinity)) throw this.exhaust(\"concurrency\");\n\t}\n\n\tadmit(): () => void {\n\t\tthis.assertAdmission();\n\t\tconst request = Symbol();\n\t\tthis.issued += 1;\n\t\tthis.active.add(request);\n\t\treturn () => {\n\t\t\tthis.active.delete(request);\n\t\t};\n\t}\n\n\tsnapshot(): RunBudgetSnapshot {\n\t\treturn Object.freeze({\n\t\t\tlimits: this.limits,\n\t\t\trequestsStarted: this.issued,\n\t\t\tactiveRequests: this.active.size,\n\t\t\tremainingMs: this.remainingMs,\n\t\t\tclosed: this.closed,\n\t\t\t...(this.exhausted ? { exhaustedBy: this.exhausted.code } : {}),\n\t\t});\n\t}\n\n\tclose(): void {\n\t\tthis.closed = true;\n\t\tclearTimeout(this.timer);\n\t\tthis.controller.abort(new RunBudgetExceededError(\"closed\"));\n\t}\n\n\tprivate exhaust(code: RunBudgetStopCode): RunBudgetExceededError {\n\t\tif (this.exhausted) return this.exhausted;\n\t\tconst error = new RunBudgetExceededError(code);\n\t\tthis.exhausted = error;\n\t\tclearTimeout(this.timer);\n\t\tthis.controller.abort(error);\n\t\tthis.onExhausted(error);\n\t\treturn error;\n\t}\n\n\tprivate armDeadline(): void {\n\t\tthis.timer = setTimeout(() => {\n\t\t\tif (this.closed) return;\n\t\t\tif (this.remainingMs === 0) this.exhaust(\"deadline\");\n\t\t\telse this.armDeadline();\n\t\t}, this.remainingMs);\n\t}\n}\n"]}

package/dist/core/run-budget.js

@@ -0,0 +1,89 @@
+import { RunBudgetExceededError, snapshotRunBudgetLimits, } from "./run-budget-policy.js";
+/** One in-memory, monotonic budget shared by every dispatch in a prompt. */
+export class RunBudget {
+    limits;
+    controller = new AbortController();
+    deadline;
+    onExhausted;
+    active = new Set();
+    timer;
+    issued = 0;
+    closed = false;
+    exhausted;
+    constructor(limits, onExhausted) {
+        this.limits = snapshotRunBudgetLimits(limits);
+        this.onExhausted = onExhausted;
+        this.deadline = this.limits.timeoutMs === undefined ? undefined : performance.now() + this.limits.timeoutMs;
+        if (this.deadline !== undefined)
+            this.armDeadline();
+    }
+    get signal() {
+        return this.controller.signal;
+    }
+    get failure() {
+        return this.exhausted;
+    }
+    get remainingMs() {
+        return this.deadline === undefined ? undefined : Math.max(0, Math.ceil(this.deadline - performance.now()));
+    }
+    assertActive() {
+        if (this.closed)
+            throw new RunBudgetExceededError("closed");
+        if (this.exhausted)
+            throw this.exhausted;
+        if (this.deadline !== undefined && performance.now() >= this.deadline)
+            throw this.exhaust("deadline");
+    }
+    assertAdmission() {
+        this.assertActive();
+        if (this.issued >= (this.limits.maxRequests ?? Infinity))
+            throw this.exhaust("requests");
+        if (this.active.size >= (this.limits.maxConcurrentRequests ?? Infinity))
+            throw this.exhaust("concurrency");
+    }
+    admit() {
+        this.assertAdmission();
+        const request = Symbol();
+        this.issued += 1;
+        this.active.add(request);
+        return () => {
+            this.active.delete(request);
+        };
+    }
+    snapshot() {
+        return Object.freeze({
+            limits: this.limits,
+            requestsStarted: this.issued,
+            activeRequests: this.active.size,
+            remainingMs: this.remainingMs,
+            closed: this.closed,
+            ...(this.exhausted ? { exhaustedBy: this.exhausted.code } : {}),
+        });
+    }
+    close() {
+        this.closed = true;
+        clearTimeout(this.timer);
+        this.controller.abort(new RunBudgetExceededError("closed"));
+    }
+    exhaust(code) {
+        if (this.exhausted)
+            return this.exhausted;
+        const error = new RunBudgetExceededError(code);
+        this.exhausted = error;
+        clearTimeout(this.timer);
+        this.controller.abort(error);
+        this.onExhausted(error);
+        return error;
+    }
+    armDeadline() {
+        this.timer = setTimeout(() => {
+            if (this.closed)
+                return;
+            if (this.remainingMs === 0)
+                this.exhaust("deadline");
+            else
+                this.armDeadline();
+        }, this.remainingMs);
+    }
+}
+//# sourceMappingURL=run-budget.js.map

package/dist/core/run-budget.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-budget.js","sourceRoot":"","sources":["../../src/core/run-budget.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,sBAAsB,EAGtB,uBAAuB,GACvB,MAAM,wBAAwB,CAAC;AAWhC,4EAA4E;AAC5E,MAAM,OAAO,SAAS;IACZ,MAAM,CAAkB;IAChB,UAAU,GAAG,IAAI,eAAe,EAAE,CAAC;IACnC,QAAQ,CAAqB;IAC7B,WAAW,CAA0C;IACrD,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,CAA4C;IACjD,MAAM,GAAG,CAAC,CAAC;IACX,MAAM,GAAG,KAAK,CAAC;IACf,SAAS,CAAqC;IAEtD,YAAY,MAAuB,EAAE,WAAoD,EAAE;QAC1F,IAAI,CAAC,MAAM,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC;QAC5G,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAE,IAAI,CAAC,WAAW,EAAE,CAAC;IAAA,CACpD;IAED,IAAI,MAAM,GAAgB;QACzB,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;IAAA,CAC9B;IACD,IAAI,OAAO,GAAuC;QACjD,OAAO,IAAI,CAAC,SAAS,CAAC;IAAA,CACtB;IACD,IAAI,WAAW,GAAuB;QACrC,OAAO,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAAA,CAC3G;IAED,YAAY,GAAS;QACpB,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,sBAAsB,CAAC,QAAQ,CAAC,CAAC;QAC5D,IAAI,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,CAAC,SAAS,CAAC;QACzC,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAAA,CACtG;IAED,eAAe,GAAS;QACvB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,IAAI,QAAQ,CAAC;YAAE,MAAM,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACzF,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,qBAAqB,IAAI,QAAQ,CAAC;YAAE,MAAM,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAAA,CAC3G;IAED,KAAK,GAAe;QACnB,IAAI,CAAC,eAAe,EAAE,CAAC;QACvB,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC;QACzB,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;QACjB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACzB,OAAO,GAAG,EAAE,CAAC;YACZ,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAAA,CAC5B,CAAC;IAAA,CACF;IAED,QAAQ,GAAsB;QAC7B,OAAO,MAAM,CAAC,MAAM,CAAC;YACpB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,eAAe,EAAE,IAAI,CAAC,MAAM;YAC5B,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI;YAChC,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/D,CAAC,CAAC;IAAA,CACH;IAED,KAAK,GAAS;QACb,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAAC;IAAA,CAC5D;IAEO,OAAO,CAAC,IAAuB,EAA0B;QAChE,IAAI,IAAI,CAAC,SAAS;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC;QAC1C,MAAM,KAAK,GAAG,IAAI,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC;QACvB,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACxB,OAAO,KAAK,CAAC;IAAA,CACb;IAEO,WAAW,GAAS;QAC3B,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,MAAM;gBAAE,OAAO;YACxB,IAAI,IAAI,CAAC,WAAW,KAAK,CAAC;gBAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;;gBAChD,IAAI,CAAC,WAAW,EAAE,CAAC;QAAA,CACxB,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IAAA,CACrB;CACD","sourcesContent":["import {\n\tRunBudgetExceededError,\n\ttype RunBudgetLimits,\n\ttype RunBudgetStopCode,\n\tsnapshotRunBudgetLimits,\n} from \"./run-budget-policy.ts\";\n\nexport interface RunBudgetSnapshot {\n\treadonly limits: RunBudgetLimits;\n\treadonly requestsStarted: number;\n\treadonly activeRequests: number;\n\treadonly remainingMs?: number;\n\treadonly closed: boolean;\n\treadonly exhaustedBy?: RunBudgetStopCode;\n}\n\n/** One in-memory, monotonic budget shared by every dispatch in a prompt. */\nexport class RunBudget {\n\treadonly limits: RunBudgetLimits;\n\tprivate readonly controller = new AbortController();\n\tprivate readonly deadline: number | undefined;\n\tprivate readonly onExhausted: (error: RunBudgetExceededError) => void;\n\tprivate readonly active = new Set<symbol>();\n\tprivate timer: ReturnType<typeof setTimeout> | undefined;\n\tprivate issued = 0;\n\tprivate closed = false;\n\tprivate exhausted: RunBudgetExceededError | undefined;\n\n\tconstructor(limits: RunBudgetLimits, onExhausted: (error: RunBudgetExceededError) => void) {\n\t\tthis.limits = snapshotRunBudgetLimits(limits);\n\t\tthis.onExhausted = onExhausted;\n\t\tthis.deadline = this.limits.timeoutMs === undefined ? undefined : performance.now() + this.limits.timeoutMs;\n\t\tif (this.deadline !== undefined) this.armDeadline();\n\t}\n\n\tget signal(): AbortSignal {\n\t\treturn this.controller.signal;\n\t}\n\tget failure(): RunBudgetExceededError | undefined {\n\t\treturn this.exhausted;\n\t}\n\tget remainingMs(): number | undefined {\n\t\treturn this.deadline === undefined ? undefined : Math.max(0, Math.ceil(this.deadline - performance.now()));\n\t}\n\n\tassertActive(): void {\n\t\tif (this.closed) throw new RunBudgetExceededError(\"closed\");\n\t\tif (this.exhausted) throw this.exhausted;\n\t\tif (this.deadline !== undefined && performance.now() >= this.deadline) throw this.exhaust(\"deadline\");\n\t}\n\n\tassertAdmission(): void {\n\t\tthis.assertActive();\n\t\tif (this.issued >= (this.limits.maxRequests ?? Infinity)) throw this.exhaust(\"requests\");\n\t\tif (this.active.size >= (this.limits.maxConcurrentRequests ?? Infinity)) throw this.exhaust(\"concurrency\");\n\t}\n\n\tadmit(): () => void {\n\t\tthis.assertAdmission();\n\t\tconst request = Symbol();\n\t\tthis.issued += 1;\n\t\tthis.active.add(request);\n\t\treturn () => {\n\t\t\tthis.active.delete(request);\n\t\t};\n\t}\n\n\tsnapshot(): RunBudgetSnapshot {\n\t\treturn Object.freeze({\n\t\t\tlimits: this.limits,\n\t\t\trequestsStarted: this.issued,\n\t\t\tactiveRequests: this.active.size,\n\t\t\tremainingMs: this.remainingMs,\n\t\t\tclosed: this.closed,\n\t\t\t...(this.exhausted ? { exhaustedBy: this.exhausted.code } : {}),\n\t\t});\n\t}\n\n\tclose(): void {\n\t\tthis.closed = true;\n\t\tclearTimeout(this.timer);\n\t\tthis.controller.abort(new RunBudgetExceededError(\"closed\"));\n\t}\n\n\tprivate exhaust(code: RunBudgetStopCode): RunBudgetExceededError {\n\t\tif (this.exhausted) return this.exhausted;\n\t\tconst error = new RunBudgetExceededError(code);\n\t\tthis.exhausted = error;\n\t\tclearTimeout(this.timer);\n\t\tthis.controller.abort(error);\n\t\tthis.onExhausted(error);\n\t\treturn error;\n\t}\n\n\tprivate armDeadline(): void {\n\t\tthis.timer = setTimeout(() => {\n\t\t\tif (this.closed) return;\n\t\t\tif (this.remainingMs === 0) this.exhaust(\"deadline\");\n\t\t\telse this.armDeadline();\n\t\t}, this.remainingMs);\n\t}\n}\n"]}

package/dist/core/run-execution-api.d.ts

@@ -0,0 +1,15 @@
+/** Public run-budget, journal, and termination contracts. */
+export type { RunBudgetSnapshot } from "./run-budget.ts";
+export { RunBudgetExceededError, type RunBudgetLimits, RunBudgetPolicyError } from "./run-budget-policy.ts";
+export { appendRunJournalRecordDurably, type OpenRunJournalStoreOptions, type RunJournalQuarantineReport, RunJournalStore, RunJournalStoreCorruptionError, writeQuarantineBytesDurably, } from "./run-journal-store.ts";
+export { classifySessionTermination, formatSessionTermination, type SessionTermination, type SessionTerminationCause, SessionTerminationError, type SessionTerminationKind, } from "./session-termination.ts";
+export { planVerifiedRun, RunCoordinator, type VerifiedRunApproval, type VerifiedRunPlan, } from "./verified-run/coordinator.ts";
+export type { TaskRecoveryInspection } from "./verified-run/dag-recovery.ts";
+export type { RunTaskCheckpoint, RunTaskProjection } from "./verified-run/dag-types.ts";
+export type { RunProjection } from "./verified-run/events.ts";
+export type { VerifiedRunEvidence } from "./verified-run/evidence.ts";
+export type { RecoveryInspection } from "./verified-run/recovery.ts";
+export type { RecoveryBudget } from "./verified-run/recovery-clock.ts";
+export { VerifiedRunError } from "./verified-run/storage.ts";
+export type { WriterRecoveryInspection } from "./verified-run/writer-recovery.ts";
+//# sourceMappingURL=run-execution-api.d.ts.map

package/dist/core/run-execution-api.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-execution-api.d.ts","sourceRoot":"","sources":["../../src/core/run-execution-api.ts"],"names":[],"mappings":"AAAA,6DAA6D;AAE7D,YAAY,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,sBAAsB,EAAE,KAAK,eAAe,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC5G,OAAO,EACN,6BAA6B,EAC7B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,EAC/B,eAAe,EACf,8BAA8B,EAC9B,2BAA2B,GAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACN,0BAA0B,EAC1B,wBAAwB,EACxB,KAAK,kBAAkB,EACvB,KAAK,uBAAuB,EAC5B,uBAAuB,EACvB,KAAK,sBAAsB,GAC3B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACN,eAAe,EACf,cAAc,EACd,KAAK,mBAAmB,EACxB,KAAK,eAAe,GACpB,MAAM,+BAA+B,CAAC;AACvC,YAAY,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAC7E,YAAY,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AACxF,YAAY,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9D,YAAY,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,YAAY,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACrE,YAAY,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,YAAY,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC","sourcesContent":["/** Public run-budget, journal, and termination contracts. */\n\nexport type { RunBudgetSnapshot } from \"./run-budget.ts\";\nexport { RunBudgetExceededError, type RunBudgetLimits, RunBudgetPolicyError } from \"./run-budget-policy.ts\";\nexport {\n\tappendRunJournalRecordDurably,\n\ttype OpenRunJournalStoreOptions,\n\ttype RunJournalQuarantineReport,\n\tRunJournalStore,\n\tRunJournalStoreCorruptionError,\n\twriteQuarantineBytesDurably,\n} from \"./run-journal-store.ts\";\nexport {\n\tclassifySessionTermination,\n\tformatSessionTermination,\n\ttype SessionTermination,\n\ttype SessionTerminationCause,\n\tSessionTerminationError,\n\ttype SessionTerminationKind,\n} from \"./session-termination.ts\";\nexport {\n\tplanVerifiedRun,\n\tRunCoordinator,\n\ttype VerifiedRunApproval,\n\ttype VerifiedRunPlan,\n} from \"./verified-run/coordinator.ts\";\nexport type { TaskRecoveryInspection } from \"./verified-run/dag-recovery.ts\";\nexport type { RunTaskCheckpoint, RunTaskProjection } from \"./verified-run/dag-types.ts\";\nexport type { RunProjection } from \"./verified-run/events.ts\";\nexport type { VerifiedRunEvidence } from \"./verified-run/evidence.ts\";\nexport type { RecoveryInspection } from \"./verified-run/recovery.ts\";\nexport type { RecoveryBudget } from \"./verified-run/recovery-clock.ts\";\nexport { VerifiedRunError } from \"./verified-run/storage.ts\";\nexport type { WriterRecoveryInspection } from \"./verified-run/writer-recovery.ts\";\n"]}

package/dist/core/run-execution-api.js

@@ -0,0 +1,7 @@
+/** Public run-budget, journal, and termination contracts. */
+export { RunBudgetExceededError, RunBudgetPolicyError } from "./run-budget-policy.js";
+export { appendRunJournalRecordDurably, RunJournalStore, RunJournalStoreCorruptionError, writeQuarantineBytesDurably, } from "./run-journal-store.js";
+export { classifySessionTermination, formatSessionTermination, SessionTerminationError, } from "./session-termination.js";
+export { planVerifiedRun, RunCoordinator, } from "./verified-run/coordinator.js";
+export { VerifiedRunError } from "./verified-run/storage.js";
+//# sourceMappingURL=run-execution-api.js.map

package/dist/core/run-execution-api.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-execution-api.js","sourceRoot":"","sources":["../../src/core/run-execution-api.ts"],"names":[],"mappings":"AAAA,6DAA6D;AAG7D,OAAO,EAAE,sBAAsB,EAAwB,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC5G,OAAO,EACN,6BAA6B,EAG7B,eAAe,EACf,8BAA8B,EAC9B,2BAA2B,GAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACN,0BAA0B,EAC1B,wBAAwB,EAGxB,uBAAuB,GAEvB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACN,eAAe,EACf,cAAc,GAGd,MAAM,+BAA+B,CAAC;AAOvC,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC","sourcesContent":["/** Public run-budget, journal, and termination contracts. */\n\nexport type { RunBudgetSnapshot } from \"./run-budget.ts\";\nexport { RunBudgetExceededError, type RunBudgetLimits, RunBudgetPolicyError } from \"./run-budget-policy.ts\";\nexport {\n\tappendRunJournalRecordDurably,\n\ttype OpenRunJournalStoreOptions,\n\ttype RunJournalQuarantineReport,\n\tRunJournalStore,\n\tRunJournalStoreCorruptionError,\n\twriteQuarantineBytesDurably,\n} from \"./run-journal-store.ts\";\nexport {\n\tclassifySessionTermination,\n\tformatSessionTermination,\n\ttype SessionTermination,\n\ttype SessionTerminationCause,\n\tSessionTerminationError,\n\ttype SessionTerminationKind,\n} from \"./session-termination.ts\";\nexport {\n\tplanVerifiedRun,\n\tRunCoordinator,\n\ttype VerifiedRunApproval,\n\ttype VerifiedRunPlan,\n} from \"./verified-run/coordinator.ts\";\nexport type { TaskRecoveryInspection } from \"./verified-run/dag-recovery.ts\";\nexport type { RunTaskCheckpoint, RunTaskProjection } from \"./verified-run/dag-types.ts\";\nexport type { RunProjection } from \"./verified-run/events.ts\";\nexport type { VerifiedRunEvidence } from \"./verified-run/evidence.ts\";\nexport type { RecoveryInspection } from \"./verified-run/recovery.ts\";\nexport type { RecoveryBudget } from \"./verified-run/recovery-clock.ts\";\nexport { VerifiedRunError } from \"./verified-run/storage.ts\";\nexport type { WriterRecoveryInspection } from \"./verified-run/writer-recovery.ts\";\n"]}