effect-agent 0.1.0-beta.95 → 0.1.0-beta.97

package/dist/index.mjs

@@ -61,7 +61,7 @@ import { t as ToolDiscovery_exports } from "./capabilities/ToolDiscovery.mjs";
 import { t as ToolExposure_exports } from "./ToolExposure.mjs";
 import { t as WebCapture_exports } from "./capabilities/WebCapture.mjs";
 import { t as WebSearch_exports } from "./capabilities/WebSearch.mjs";
-import { A as Records_exports } from "./Records-CsEsSW2o.mjs";
+import { A as Records_exports } from "./Records-BAutSSnJ.mjs";
 import { t as ActivityStore_exports } from "./durable/ActivityStore.mjs";
 import { t as SubmissionLedger_exports } from "./durable/SubmissionLedger.mjs";
 import { t as Recovery_exports } from "./durable/Recovery.mjs";
@@ -75,8 +75,8 @@ import { t as Schedule_exports } from "./durable/Schedule.mjs";
 import { t as PreparedInputAdmission_exports } from "./durable/PreparedInputAdmission.mjs";
 import { t as Subscription_exports } from "./durable/Subscription.mjs";
 import { t as MessageDelivery_exports } from "./durable/MessageDelivery.mjs";
-import { n as DurableAgentRuntime_exports } from "./DurableAgentRuntime-BaGsWDHO.mjs";
-import { n as RunJournal_exports } from "./RunJournal-yYpUlTOE.mjs";
+import { n as DurableAgentRuntime_exports } from "./DurableAgentRuntime-DbUvZHDZ.mjs";
+import { n as RunJournal_exports } from "./RunJournal-DRRRZmG7.mjs";
 import { t as WorkerHost_exports } from "./durable/WorkerHost.mjs";
 import { t as OperationAuthorizer_exports } from "./durable/OperationAuthorizer.mjs";
 import { t as SubmissionStatus_exports } from "./durable/SubmissionStatus.mjs";
@@ -86,7 +86,7 @@ import { t as WakeScheduler_exports } from "./durable/WakeScheduler.mjs";
 import { t as EventSource_exports } from "./durable/EventSource.mjs";
 import { t as PersistentHistory_exports } from "./durable/PersistentHistory.mjs";
 import { t as ScheduleTransition_exports } from "./durable/ScheduleTransition.mjs";
-import { i as Scheduling_exports } from "./Scheduling-CUuYc3-D.mjs";
+import { i as Scheduling_exports } from "./Scheduling-C3QpYn0W.mjs";
 import { t as SubscriptionInput_exports } from "./durable/SubscriptionInput.mjs";
 import { t as Subscriptions_exports } from "./durable/Subscriptions.mjs";
 import { t as SubscriptionTools_exports } from "./durable/SubscriptionTools.mjs";

package/package.json

@@ -1 +1 @@
-{"name":"effect-agent","version":"0.1.0-beta.95","devDependencies":{"@effect/platform-node":"4.0.0-rc.115","@effect/vitest":"4.0.0-rc.115","effect":"4.0.0-rc.115","typescript":"7.0.2","vite-plus":"0.3.0"},"peerDependencies":{"effect":"^4.0.0-rc.115"},"exports":{".":{"types":"./dist/index.d.mts","default":"./dist/index.mjs"},"./activity-store":{"types":"./dist/durable/ActivityStore.d.mts","default":"./dist/durable/ActivityStore.mjs"},"./admin":{"types":"./dist/durable/Admin.d.mts","default":"./dist/durable/Admin.mjs"},"./agent":{"types":"./dist/core/Agent.d.mts","default":"./dist/core/Agent.mjs"},"./agent-error":{"types":"./dist/core/AgentError.d.mts","default":"./dist/core/AgentError.mjs"},"./agent-policy":{"types":"./dist/core/AgentPolicy.d.mts","default":"./dist/core/AgentPolicy.mjs"},"./agent-registration":{"types":"./dist/durable/AgentRegistration.d.mts","default":"./dist/durable/AgentRegistration.mjs"},"./agent-runtime":{"types":"./dist/engine/AgentRuntime.d.mts","default":"./dist/engine/AgentRuntime.mjs"},"./agent-updates":{"types":"./dist/core/AgentUpdates.d.mts","default":"./dist/core/AgentUpdates.mjs"},"./approval":{"types":"./dist/capabilities/Approval.d.mts","default":"./dist/capabilities/Approval.mjs"},"./budget":{"types":"./dist/capabilities/Budget.d.mts","default":"./dist/capabilities/Budget.mjs"},"./code-executor":{"types":"./dist/sandbox/CodeExecutor.d.mts","default":"./dist/sandbox/CodeExecutor.mjs"},"./code-mode":{"types":"./dist/capabilities/CodeMode.d.mts","default":"./dist/capabilities/CodeMode.mjs"},"./commands":{"types":"./dist/capabilities/Commands.d.mts","default":"./dist/capabilities/Commands.mjs"},"./committed-activity":{"types":"./dist/durable/CommittedActivity.d.mts","default":"./dist/durable/CommittedActivity.mjs"},"./compaction":{"types":"./dist/engine/Compaction.d.mts","default":"./dist/engine/Compaction.mjs"},"./context-compactor":{"types":"./dist/engine/ContextCompactor.d.mts","default":"./dist/engine/ContextCompactor.mjs"},"./context-history":{"types":"./dist/engine/ContextHistory.d.mts","default":"./dist/engine/ContextHistory.mjs"},"./context-tools":{"types":"./dist/capabilities/ContextTools.d.mts","default":"./dist/capabilities/ContextTools.mjs"},"./context-window":{"types":"./dist/engine/ContextWindow.d.mts","default":"./dist/engine/ContextWindow.mjs"},"./digest":{"types":"./dist/durable/Digest.d.mts","default":"./dist/durable/Digest.mjs"},"./durable-agent-runtime":{"types":"./dist/durable/DurableAgentRuntime.d.mts","default":"./dist/durable/DurableAgentRuntime.mjs"},"./durable-failpoint":{"types":"./dist/durable/DurableFailpoint.d.mts","default":"./dist/durable/DurableFailpoint.mjs"},"./durable-step":{"types":"./dist/engine/DurableStep.d.mts","default":"./dist/engine/DurableStep.mjs"},"./event-source":{"types":"./dist/durable/EventSource.d.mts","default":"./dist/durable/EventSource.mjs"},"./git-hub-workflow-source":{"types":"./dist/durable/GitHubWorkflowSource.d.mts","default":"./dist/durable/GitHubWorkflowSource.mjs"},"./id-generator":{"types":"./dist/core/IdGenerator.d.mts","default":"./dist/core/IdGenerator.mjs"},"./identifiers":{"types":"./dist/core/Identifiers.d.mts","default":"./dist/core/Identifiers.mjs"},"./in-memory":{"types":"./dist/InMemory.d.mts","default":"./dist/InMemory.mjs"},"./interactive-browser":{"types":"./dist/sandbox/InteractiveBrowser.d.mts","default":"./dist/sandbox/InteractiveBrowser.mjs"},"./mcp":{"types":"./dist/capabilities/Mcp.d.mts","default":"./dist/capabilities/Mcp.mjs"},"./mcp-client":{"types":"./dist/capabilities/McpClient.d.mts","default":"./dist/capabilities/McpClient.mjs"},"./memory":{"types":"./dist/core/Memory.d.mts","default":"./dist/core/Memory.mjs"},"./memory-namespace":{"types":"./dist/core/MemoryNamespace.d.mts","default":"./dist/core/MemoryNamespace.mjs"},"./memory-notes":{"types":"./dist/capabilities/MemoryNotes.d.mts","default":"./dist/capabilities/MemoryNotes.mjs"},"./memory-reference":{"types":"./dist/core/MemoryReference.d.mts","default":"./dist/core/MemoryReference.mjs"},"./memory-revalidation":{"types":"./dist/core/MemoryRevalidation.d.mts","default":"./dist/core/MemoryRevalidation.mjs"},"./memory-store":{"types":"./dist/core/MemoryStore.d.mts","default":"./dist/core/MemoryStore.mjs"},"./message-delivery":{"types":"./dist/durable/MessageDelivery.d.mts","default":"./dist/durable/MessageDelivery.mjs"},"./messaging":{"types":"./dist/capabilities/Messaging.d.mts","default":"./dist/capabilities/Messaging.mjs"},"./messaging-host":{"types":"./dist/engine/MessagingHost.d.mts","default":"./dist/engine/MessagingHost.mjs"},"./model-context":{"types":"./dist/capabilities/ModelContext.d.mts","default":"./dist/capabilities/ModelContext.mjs"},"./operation-authorizer":{"types":"./dist/durable/OperationAuthorizer.d.mts","default":"./dist/durable/OperationAuthorizer.mjs"},"./output":{"types":"./dist/engine/Output.d.mts","default":"./dist/engine/Output.mjs"},"./page-capture":{"types":"./dist/sandbox/PageCapture.d.mts","default":"./dist/sandbox/PageCapture.mjs"},"./page-crawl":{"types":"./dist/sandbox/PageCrawl.d.mts","default":"./dist/sandbox/PageCrawl.mjs"},"./page-screenshot":{"types":"./dist/sandbox/PageScreenshot.d.mts","default":"./dist/sandbox/PageScreenshot.mjs"},"./persistent-history":{"types":"./dist/durable/PersistentHistory.d.mts","default":"./dist/durable/PersistentHistory.mjs"},"./prepared-input-admission":{"types":"./dist/durable/PreparedInputAdmission.d.mts","default":"./dist/durable/PreparedInputAdmission.mjs"},"./protected-browser":{"types":"./dist/sandbox/ProtectedBrowser.d.mts","default":"./dist/sandbox/ProtectedBrowser.mjs"},"./receipt":{"types":"./dist/core/Receipt.d.mts","default":"./dist/core/Receipt.mjs"},"./records":{"types":"./dist/durable/Records.d.mts","default":"./dist/durable/Records.mjs"},"./recovery":{"types":"./dist/durable/Recovery.d.mts","default":"./dist/durable/Recovery.mjs"},"./redaction":{"types":"./dist/capabilities/Redaction.d.mts","default":"./dist/capabilities/Redaction.mjs"},"./remembering":{"types":"./dist/capabilities/Remembering.d.mts","default":"./dist/capabilities/Remembering.mjs"},"./remembering-store":{"types":"./dist/core/RememberingStore.d.mts","default":"./dist/core/RememberingStore.mjs"},"./run-event":{"types":"./dist/core/RunEvent.d.mts","default":"./dist/core/RunEvent.mjs"},"./run-event-sink":{"types":"./dist/engine/RunEventSink.d.mts","default":"./dist/engine/RunEventSink.mjs"},"./run-hooks":{"types":"./dist/capabilities/RunHooks.d.mts","default":"./dist/capabilities/RunHooks.mjs"},"./run-journal":{"types":"./dist/durable/RunJournal.d.mts","default":"./dist/durable/RunJournal.mjs"},"./run-options":{"types":"./dist/engine/RunOptions.d.mts","default":"./dist/engine/RunOptions.mjs"},"./run-policy-usage":{"types":"./dist/core/RunPolicyUsage.d.mts","default":"./dist/core/RunPolicyUsage.mjs"},"./sandbox":{"types":"./dist/sandbox/Sandbox.d.mts","default":"./dist/sandbox/Sandbox.mjs"},"./schedule":{"types":"./dist/durable/Schedule.d.mts","default":"./dist/durable/Schedule.mjs"},"./schedule-transition":{"types":"./dist/durable/ScheduleTransition.d.mts","default":"./dist/durable/ScheduleTransition.mjs"},"./scheduling":{"types":"./dist/durable/Scheduling.d.mts","default":"./dist/durable/Scheduling.mjs"},"./semantic-memory":{"types":"./dist/capabilities/SemanticMemory.d.mts","default":"./dist/capabilities/SemanticMemory.mjs"},"./semantic-memory-index":{"types":"./dist/core/SemanticMemoryIndex.d.mts","default":"./dist/core/SemanticMemoryIndex.mjs"},"./semantic-memory-revalidation":{"types":"./dist/core/SemanticMemoryRevalidation.d.mts","default":"./dist/core/SemanticMemoryRevalidation.mjs"},"./sql-memory-store":{"types":"./dist/durable/SqlMemoryStore.d.mts","default":"./dist/durable/SqlMemoryStore.mjs"},"./sql-message-delivery-store":{"types":"./dist/durable/SqlMessageDeliveryStore.d.mts","default":"./dist/durable/SqlMessageDeliveryStore.mjs"},"./sql-storage-v2-upgrade":{"types":"./dist/durable/SqlStorageV2Upgrade.d.mts","default":"./dist/durable/SqlStorageV2Upgrade.mjs"},"./sql-subscription-store":{"types":"./dist/durable/SqlSubscriptionStore.d.mts","default":"./dist/durable/SqlSubscriptionStore.mjs"},"./subagent":{"types":"./dist/capabilities/Subagent.d.mts","default":"./dist/capabilities/Subagent.mjs"},"./subagent-contract":{"types":"./dist/core/SubagentContract.d.mts","default":"./dist/core/SubagentContract.mjs"},"./subagent-host":{"types":"./dist/engine/SubagentHost.d.mts","default":"./dist/engine/SubagentHost.mjs"},"./subagent-reservations":{"types":"./dist/capabilities/SubagentReservations.d.mts","default":"./dist/capabilities/SubagentReservations.mjs"},"./submission-ledger":{"types":"./dist/durable/SubmissionLedger.d.mts","default":"./dist/durable/SubmissionLedger.mjs"},"./submission-status":{"types":"./dist/durable/SubmissionStatus.d.mts","default":"./dist/durable/SubmissionStatus.mjs"},"./subscription":{"types":"./dist/durable/Subscription.d.mts","default":"./dist/durable/Subscription.mjs"},"./subscription-input":{"types":"./dist/durable/SubscriptionInput.d.mts","default":"./dist/durable/SubscriptionInput.mjs"},"./subscription-tools":{"types":"./dist/durable/SubscriptionTools.d.mts","default":"./dist/durable/SubscriptionTools.mjs"},"./subscription-transition":{"types":"./dist/durable/SubscriptionTransition.d.mts","default":"./dist/durable/SubscriptionTransition.mjs"},"./subscriptions":{"types":"./dist/durable/Subscriptions.d.mts","default":"./dist/durable/Subscriptions.mjs"},"./testing/certification":{"types":"./dist/durable/Certification.d.mts","default":"./dist/durable/Certification.mjs"},"./testing/durable-failpoint-test-control":{"types":"./dist/durable/DurableFailpointTestControl.d.mts","default":"./dist/durable/DurableFailpointTestControl.mjs"},"./testing/message-delivery-store-conformance":{"types":"./dist/durable/MessageDeliveryStoreConformance.d.mts","default":"./dist/durable/MessageDeliveryStoreConformance.mjs"},"./testing/schedule-store-conformance":{"types":"./dist/durable/ScheduleStoreConformance.d.mts","default":"./dist/durable/ScheduleStoreConformance.mjs"},"./testing/submission-ledger-conformance":{"types":"./dist/durable/SubmissionLedgerConformance.d.mts","default":"./dist/durable/SubmissionLedgerConformance.mjs"},"./testing/subscription-store-conformance":{"types":"./dist/durable/SubscriptionStoreConformance.d.mts","default":"./dist/durable/SubscriptionStoreConformance.mjs"},"./testing/thread-store-conformance":{"types":"./dist/durable/ThreadStoreConformance.d.mts","default":"./dist/durable/ThreadStoreConformance.mjs"},"./thread":{"types":"./dist/core/Thread.d.mts","default":"./dist/core/Thread.mjs"},"./thread-context-history":{"types":"./dist/durable/ThreadContextHistory.d.mts","default":"./dist/durable/ThreadContextHistory.mjs"},"./thread-context-history-projection":{"types":"./dist/durable/ThreadContextHistoryProjection.d.mts","default":"./dist/durable/ThreadContextHistoryProjection.mjs"},"./thread-history":{"types":"./dist/engine/ThreadHistory.d.mts","default":"./dist/engine/ThreadHistory.mjs"},"./thread-invariants":{"types":"./dist/durable/ThreadInvariants.d.mts","default":"./dist/durable/ThreadInvariants.mjs"},"./thread-projection":{"types":"./dist/durable/ThreadProjection.d.mts","default":"./dist/durable/ThreadProjection.mjs"},"./thread-projection-maintenance":{"types":"./dist/durable/ThreadProjectionMaintenance.d.mts","default":"./dist/durable/ThreadProjectionMaintenance.mjs"},"./thread-store":{"types":"./dist/durable/ThreadStore.d.mts","default":"./dist/durable/ThreadStore.mjs"},"./tool-broker":{"types":"./dist/engine/ToolBroker.d.mts","default":"./dist/engine/ToolBroker.mjs"},"./tool-discovery":{"types":"./dist/capabilities/ToolDiscovery.d.mts","default":"./dist/capabilities/ToolDiscovery.mjs"},"./tool-exposure":{"types":"./dist/ToolExposure.d.mts","default":"./dist/ToolExposure.mjs"},"./tool-reconciler":{"types":"./dist/durable/ToolReconciler.d.mts","default":"./dist/durable/ToolReconciler.mjs"},"./tool-result":{"types":"./dist/core/ToolResult.d.mts","default":"./dist/core/ToolResult.mjs"},"./usage":{"types":"./dist/core/Usage.d.mts","default":"./dist/core/Usage.mjs"},"./wake-scheduler":{"types":"./dist/durable/WakeScheduler.d.mts","default":"./dist/durable/WakeScheduler.mjs"},"./web-capture":{"types":"./dist/capabilities/WebCapture.d.mts","default":"./dist/capabilities/WebCapture.mjs"},"./web-search":{"types":"./dist/capabilities/WebSearch.d.mts","default":"./dist/capabilities/WebSearch.mjs"},"./worker":{"types":"./dist/core/Worker.d.mts","default":"./dist/core/Worker.mjs"},"./worker-host":{"types":"./dist/durable/WorkerHost.d.mts","default":"./dist/durable/WorkerHost.mjs"}},"description":"Effect-native agents, execution, subagents, and sandbox contracts in one tree-shakeable package.","license":"MIT","repository":{"type":"git","url":"git+https://github.com/danieljvdm/effect-agent.git","directory":"packages/effect-agent"},"files":["dist","src"],"type":"module","sideEffects":[],"publishConfig":{"access":"public"},"scripts":{"build":"vp pack","check":"tsc --noEmit -p tsconfig.json","test":"vp test --passWithNoTests"}}
+{"name":"effect-agent","version":"0.1.0-beta.97","devDependencies":{"@effect/platform-node":"4.0.0-rc.115","@effect/vitest":"4.0.0-rc.115","effect":"4.0.0-rc.115","typescript":"7.0.2","vite-plus":"0.3.0"},"peerDependencies":{"effect":"^4.0.0-rc.115"},"exports":{".":{"types":"./dist/index.d.mts","default":"./dist/index.mjs"},"./activity-store":{"types":"./dist/durable/ActivityStore.d.mts","default":"./dist/durable/ActivityStore.mjs"},"./admin":{"types":"./dist/durable/Admin.d.mts","default":"./dist/durable/Admin.mjs"},"./agent":{"types":"./dist/core/Agent.d.mts","default":"./dist/core/Agent.mjs"},"./agent-error":{"types":"./dist/core/AgentError.d.mts","default":"./dist/core/AgentError.mjs"},"./agent-policy":{"types":"./dist/core/AgentPolicy.d.mts","default":"./dist/core/AgentPolicy.mjs"},"./agent-registration":{"types":"./dist/durable/AgentRegistration.d.mts","default":"./dist/durable/AgentRegistration.mjs"},"./agent-runtime":{"types":"./dist/engine/AgentRuntime.d.mts","default":"./dist/engine/AgentRuntime.mjs"},"./agent-updates":{"types":"./dist/core/AgentUpdates.d.mts","default":"./dist/core/AgentUpdates.mjs"},"./approval":{"types":"./dist/capabilities/Approval.d.mts","default":"./dist/capabilities/Approval.mjs"},"./budget":{"types":"./dist/capabilities/Budget.d.mts","default":"./dist/capabilities/Budget.mjs"},"./code-executor":{"types":"./dist/sandbox/CodeExecutor.d.mts","default":"./dist/sandbox/CodeExecutor.mjs"},"./code-mode":{"types":"./dist/capabilities/CodeMode.d.mts","default":"./dist/capabilities/CodeMode.mjs"},"./commands":{"types":"./dist/capabilities/Commands.d.mts","default":"./dist/capabilities/Commands.mjs"},"./committed-activity":{"types":"./dist/durable/CommittedActivity.d.mts","default":"./dist/durable/CommittedActivity.mjs"},"./compaction":{"types":"./dist/engine/Compaction.d.mts","default":"./dist/engine/Compaction.mjs"},"./context-compactor":{"types":"./dist/engine/ContextCompactor.d.mts","default":"./dist/engine/ContextCompactor.mjs"},"./context-history":{"types":"./dist/engine/ContextHistory.d.mts","default":"./dist/engine/ContextHistory.mjs"},"./context-tools":{"types":"./dist/capabilities/ContextTools.d.mts","default":"./dist/capabilities/ContextTools.mjs"},"./context-window":{"types":"./dist/engine/ContextWindow.d.mts","default":"./dist/engine/ContextWindow.mjs"},"./digest":{"types":"./dist/durable/Digest.d.mts","default":"./dist/durable/Digest.mjs"},"./durable-agent-runtime":{"types":"./dist/durable/DurableAgentRuntime.d.mts","default":"./dist/durable/DurableAgentRuntime.mjs"},"./durable-failpoint":{"types":"./dist/durable/DurableFailpoint.d.mts","default":"./dist/durable/DurableFailpoint.mjs"},"./durable-step":{"types":"./dist/engine/DurableStep.d.mts","default":"./dist/engine/DurableStep.mjs"},"./event-source":{"types":"./dist/durable/EventSource.d.mts","default":"./dist/durable/EventSource.mjs"},"./git-hub-workflow-source":{"types":"./dist/durable/GitHubWorkflowSource.d.mts","default":"./dist/durable/GitHubWorkflowSource.mjs"},"./id-generator":{"types":"./dist/core/IdGenerator.d.mts","default":"./dist/core/IdGenerator.mjs"},"./identifiers":{"types":"./dist/core/Identifiers.d.mts","default":"./dist/core/Identifiers.mjs"},"./in-memory":{"types":"./dist/InMemory.d.mts","default":"./dist/InMemory.mjs"},"./interactive-browser":{"types":"./dist/sandbox/InteractiveBrowser.d.mts","default":"./dist/sandbox/InteractiveBrowser.mjs"},"./mcp":{"types":"./dist/capabilities/Mcp.d.mts","default":"./dist/capabilities/Mcp.mjs"},"./mcp-client":{"types":"./dist/capabilities/McpClient.d.mts","default":"./dist/capabilities/McpClient.mjs"},"./memory":{"types":"./dist/core/Memory.d.mts","default":"./dist/core/Memory.mjs"},"./memory-namespace":{"types":"./dist/core/MemoryNamespace.d.mts","default":"./dist/core/MemoryNamespace.mjs"},"./memory-notes":{"types":"./dist/capabilities/MemoryNotes.d.mts","default":"./dist/capabilities/MemoryNotes.mjs"},"./memory-reference":{"types":"./dist/core/MemoryReference.d.mts","default":"./dist/core/MemoryReference.mjs"},"./memory-revalidation":{"types":"./dist/core/MemoryRevalidation.d.mts","default":"./dist/core/MemoryRevalidation.mjs"},"./memory-store":{"types":"./dist/core/MemoryStore.d.mts","default":"./dist/core/MemoryStore.mjs"},"./message-delivery":{"types":"./dist/durable/MessageDelivery.d.mts","default":"./dist/durable/MessageDelivery.mjs"},"./messaging":{"types":"./dist/capabilities/Messaging.d.mts","default":"./dist/capabilities/Messaging.mjs"},"./messaging-host":{"types":"./dist/engine/MessagingHost.d.mts","default":"./dist/engine/MessagingHost.mjs"},"./model-context":{"types":"./dist/capabilities/ModelContext.d.mts","default":"./dist/capabilities/ModelContext.mjs"},"./operation-authorizer":{"types":"./dist/durable/OperationAuthorizer.d.mts","default":"./dist/durable/OperationAuthorizer.mjs"},"./output":{"types":"./dist/engine/Output.d.mts","default":"./dist/engine/Output.mjs"},"./page-capture":{"types":"./dist/sandbox/PageCapture.d.mts","default":"./dist/sandbox/PageCapture.mjs"},"./page-crawl":{"types":"./dist/sandbox/PageCrawl.d.mts","default":"./dist/sandbox/PageCrawl.mjs"},"./page-screenshot":{"types":"./dist/sandbox/PageScreenshot.d.mts","default":"./dist/sandbox/PageScreenshot.mjs"},"./persistent-history":{"types":"./dist/durable/PersistentHistory.d.mts","default":"./dist/durable/PersistentHistory.mjs"},"./prepared-input-admission":{"types":"./dist/durable/PreparedInputAdmission.d.mts","default":"./dist/durable/PreparedInputAdmission.mjs"},"./protected-browser":{"types":"./dist/sandbox/ProtectedBrowser.d.mts","default":"./dist/sandbox/ProtectedBrowser.mjs"},"./receipt":{"types":"./dist/core/Receipt.d.mts","default":"./dist/core/Receipt.mjs"},"./records":{"types":"./dist/durable/Records.d.mts","default":"./dist/durable/Records.mjs"},"./recovery":{"types":"./dist/durable/Recovery.d.mts","default":"./dist/durable/Recovery.mjs"},"./redaction":{"types":"./dist/capabilities/Redaction.d.mts","default":"./dist/capabilities/Redaction.mjs"},"./remembering":{"types":"./dist/capabilities/Remembering.d.mts","default":"./dist/capabilities/Remembering.mjs"},"./remembering-store":{"types":"./dist/core/RememberingStore.d.mts","default":"./dist/core/RememberingStore.mjs"},"./run-event":{"types":"./dist/core/RunEvent.d.mts","default":"./dist/core/RunEvent.mjs"},"./run-event-sink":{"types":"./dist/engine/RunEventSink.d.mts","default":"./dist/engine/RunEventSink.mjs"},"./run-hooks":{"types":"./dist/capabilities/RunHooks.d.mts","default":"./dist/capabilities/RunHooks.mjs"},"./run-journal":{"types":"./dist/durable/RunJournal.d.mts","default":"./dist/durable/RunJournal.mjs"},"./run-options":{"types":"./dist/engine/RunOptions.d.mts","default":"./dist/engine/RunOptions.mjs"},"./run-policy-usage":{"types":"./dist/core/RunPolicyUsage.d.mts","default":"./dist/core/RunPolicyUsage.mjs"},"./sandbox":{"types":"./dist/sandbox/Sandbox.d.mts","default":"./dist/sandbox/Sandbox.mjs"},"./schedule":{"types":"./dist/durable/Schedule.d.mts","default":"./dist/durable/Schedule.mjs"},"./schedule-transition":{"types":"./dist/durable/ScheduleTransition.d.mts","default":"./dist/durable/ScheduleTransition.mjs"},"./scheduling":{"types":"./dist/durable/Scheduling.d.mts","default":"./dist/durable/Scheduling.mjs"},"./semantic-memory":{"types":"./dist/capabilities/SemanticMemory.d.mts","default":"./dist/capabilities/SemanticMemory.mjs"},"./semantic-memory-index":{"types":"./dist/core/SemanticMemoryIndex.d.mts","default":"./dist/core/SemanticMemoryIndex.mjs"},"./semantic-memory-revalidation":{"types":"./dist/core/SemanticMemoryRevalidation.d.mts","default":"./dist/core/SemanticMemoryRevalidation.mjs"},"./sql-memory-store":{"types":"./dist/durable/SqlMemoryStore.d.mts","default":"./dist/durable/SqlMemoryStore.mjs"},"./sql-message-delivery-store":{"types":"./dist/durable/SqlMessageDeliveryStore.d.mts","default":"./dist/durable/SqlMessageDeliveryStore.mjs"},"./sql-storage-v2-upgrade":{"types":"./dist/durable/SqlStorageV2Upgrade.d.mts","default":"./dist/durable/SqlStorageV2Upgrade.mjs"},"./sql-subscription-store":{"types":"./dist/durable/SqlSubscriptionStore.d.mts","default":"./dist/durable/SqlSubscriptionStore.mjs"},"./subagent":{"types":"./dist/capabilities/Subagent.d.mts","default":"./dist/capabilities/Subagent.mjs"},"./subagent-contract":{"types":"./dist/core/SubagentContract.d.mts","default":"./dist/core/SubagentContract.mjs"},"./subagent-host":{"types":"./dist/engine/SubagentHost.d.mts","default":"./dist/engine/SubagentHost.mjs"},"./subagent-reservations":{"types":"./dist/capabilities/SubagentReservations.d.mts","default":"./dist/capabilities/SubagentReservations.mjs"},"./submission-ledger":{"types":"./dist/durable/SubmissionLedger.d.mts","default":"./dist/durable/SubmissionLedger.mjs"},"./submission-status":{"types":"./dist/durable/SubmissionStatus.d.mts","default":"./dist/durable/SubmissionStatus.mjs"},"./subscription":{"types":"./dist/durable/Subscription.d.mts","default":"./dist/durable/Subscription.mjs"},"./subscription-input":{"types":"./dist/durable/SubscriptionInput.d.mts","default":"./dist/durable/SubscriptionInput.mjs"},"./subscription-tools":{"types":"./dist/durable/SubscriptionTools.d.mts","default":"./dist/durable/SubscriptionTools.mjs"},"./subscription-transition":{"types":"./dist/durable/SubscriptionTransition.d.mts","default":"./dist/durable/SubscriptionTransition.mjs"},"./subscriptions":{"types":"./dist/durable/Subscriptions.d.mts","default":"./dist/durable/Subscriptions.mjs"},"./testing/certification":{"types":"./dist/durable/Certification.d.mts","default":"./dist/durable/Certification.mjs"},"./testing/durable-failpoint-test-control":{"types":"./dist/durable/DurableFailpointTestControl.d.mts","default":"./dist/durable/DurableFailpointTestControl.mjs"},"./testing/message-delivery-store-conformance":{"types":"./dist/durable/MessageDeliveryStoreConformance.d.mts","default":"./dist/durable/MessageDeliveryStoreConformance.mjs"},"./testing/schedule-store-conformance":{"types":"./dist/durable/ScheduleStoreConformance.d.mts","default":"./dist/durable/ScheduleStoreConformance.mjs"},"./testing/submission-ledger-conformance":{"types":"./dist/durable/SubmissionLedgerConformance.d.mts","default":"./dist/durable/SubmissionLedgerConformance.mjs"},"./testing/subscription-store-conformance":{"types":"./dist/durable/SubscriptionStoreConformance.d.mts","default":"./dist/durable/SubscriptionStoreConformance.mjs"},"./testing/thread-store-conformance":{"types":"./dist/durable/ThreadStoreConformance.d.mts","default":"./dist/durable/ThreadStoreConformance.mjs"},"./thread":{"types":"./dist/core/Thread.d.mts","default":"./dist/core/Thread.mjs"},"./thread-context-history":{"types":"./dist/durable/ThreadContextHistory.d.mts","default":"./dist/durable/ThreadContextHistory.mjs"},"./thread-context-history-projection":{"types":"./dist/durable/ThreadContextHistoryProjection.d.mts","default":"./dist/durable/ThreadContextHistoryProjection.mjs"},"./thread-history":{"types":"./dist/engine/ThreadHistory.d.mts","default":"./dist/engine/ThreadHistory.mjs"},"./thread-invariants":{"types":"./dist/durable/ThreadInvariants.d.mts","default":"./dist/durable/ThreadInvariants.mjs"},"./thread-projection":{"types":"./dist/durable/ThreadProjection.d.mts","default":"./dist/durable/ThreadProjection.mjs"},"./thread-projection-maintenance":{"types":"./dist/durable/ThreadProjectionMaintenance.d.mts","default":"./dist/durable/ThreadProjectionMaintenance.mjs"},"./thread-store":{"types":"./dist/durable/ThreadStore.d.mts","default":"./dist/durable/ThreadStore.mjs"},"./tool-broker":{"types":"./dist/engine/ToolBroker.d.mts","default":"./dist/engine/ToolBroker.mjs"},"./tool-discovery":{"types":"./dist/capabilities/ToolDiscovery.d.mts","default":"./dist/capabilities/ToolDiscovery.mjs"},"./tool-exposure":{"types":"./dist/ToolExposure.d.mts","default":"./dist/ToolExposure.mjs"},"./tool-reconciler":{"types":"./dist/durable/ToolReconciler.d.mts","default":"./dist/durable/ToolReconciler.mjs"},"./tool-result":{"types":"./dist/core/ToolResult.d.mts","default":"./dist/core/ToolResult.mjs"},"./usage":{"types":"./dist/core/Usage.d.mts","default":"./dist/core/Usage.mjs"},"./wake-scheduler":{"types":"./dist/durable/WakeScheduler.d.mts","default":"./dist/durable/WakeScheduler.mjs"},"./web-capture":{"types":"./dist/capabilities/WebCapture.d.mts","default":"./dist/capabilities/WebCapture.mjs"},"./web-search":{"types":"./dist/capabilities/WebSearch.d.mts","default":"./dist/capabilities/WebSearch.mjs"},"./worker":{"types":"./dist/core/Worker.d.mts","default":"./dist/core/Worker.mjs"},"./worker-host":{"types":"./dist/durable/WorkerHost.d.mts","default":"./dist/durable/WorkerHost.mjs"}},"description":"Effect-native agents, execution, subagents, and sandbox contracts in one tree-shakeable package.","license":"MIT","repository":{"type":"git","url":"git+https://github.com/danieljvdm/effect-agent.git","directory":"packages/effect-agent"},"files":["dist","src"],"type":"module","sideEffects":[],"publishConfig":{"access":"public"},"scripts":{"build":"vp pack","check":"tsc --noEmit -p tsconfig.json","test":"vp test --passWithNoTests"}}

package/src/durable/AgentRegistration.ts

@@ -5,6 +5,11 @@ export {
   DurableWorkerBinding,
   compileRegistrations,
   definitionDigestsEqual,
+  bindingSupports,
+  BindingManifest,
+  makeBindingManifest,
+  compileBindingManifest,
+  type ReplayVersions,
   type AgentRegistration,
   type AgentAttemptContext,
   type ExecutableAgentBinding,

package/src/durable/DurableAgentRuntime.ts

@@ -139,6 +139,7 @@ import {
   BindingUnavailable,
   compileRegistrations,
   definitionDigestsEqual,
+  bindingSupports,
   type AgentRegistration,
   type DurableBindingFailure,
   makeLegacyWorkerBinding,
@@ -184,6 +185,7 @@ import {
   RecordId,
   RepairAnnotated,
   RunStartedRecord,
+  RunDurationExhausted,
   SettlementFailureDiagnostic,
   SubagentJoined,
   SubagentLineageRecorded,
@@ -235,6 +237,8 @@ import {
   runIdForSubmission,
   runStartedBatchId,
   runStartedRecordId,
+  runDurationRecordId,
+  runDurationBatchId,
   subagentJoinBatchId,
   subagentJoinedRecordId,
   subagentLineageBatchId,
@@ -2551,13 +2555,10 @@ const make = Effect.fn("DurableAgentRuntime.make")(function* (
     const recordId = runStartedRecordId(runId);
     const existing = yield* canonicalRunStartFromRecords(records, runId);
     let start: RecordEnvelope;
+    let allowance = maxDurationMillis;
 
     if (existing !== undefined && existing.payload._tag === "RunStarted") {
-      if (existing.payload.maxDurationMillis !== maxDurationMillis) {
-        return yield* RunJournalError.make({
-          message: `Run ${runId} started with a ${existing.payload.maxDurationMillis}ms duration allowance; the replacement Binding supplies ${maxDurationMillis}ms`,
-        });
-      }
+      allowance = existing.payload.maxDurationMillis;
       start = existing;
     } else {
       const executionStarted = records.some(
@@ -2567,7 +2568,7 @@ const make = Effect.fn("DurableAgentRuntime.make")(function* (
 
       if (executionStarted) {
         return yield* RunJournalError.make({
-          message: `Run ${runId} has execution records but no canonical start; reset incompatible private-development data`,
+          message: `Run ${runId} has execution records but no canonical start; retain the request for evidence repair`,
         });
       }
       start = yield* makeEnvelope(
@@ -2588,7 +2589,14 @@ const make = Effect.fn("DurableAgentRuntime.make")(function* (
 
     return {
       startedAt: start.createdAt,
-      deadline: DateTime.addDuration(start.createdAt, Duration.millis(maxDurationMillis)),
+      // Downtime is not execution. Reuse the original per-Attempt allowance without
+      // moving the Run start or resetting journaled turn, Tool or cost accounting.
+      deadline: records.some(
+        ({ record }) =>
+          record.payload._tag === "RunDurationExhausted" && record.payload.runId === runId,
+      )
+        ? start.createdAt
+        : DateTime.addDuration(yield* DateTime.now, Duration.millis(allowance)),
     };
   });
 
@@ -7565,6 +7573,27 @@ const make = Effect.fn("DurableAgentRuntime.make")(function* (
         // lane would strand the repair); a reserved row WITHOUT a canonical join is an open
         // attached-child obligation and the parent never settles across it (spec §13).
         if (outcome._tag === "failed" && outcome.policyLimit === "duration") {
+          const exhaustedId = runDurationRecordId(runIdForSubmission(submissionId));
+
+          if (!(yield* refreshControl()).some(({ record }) => record.recordId === exhaustedId)) {
+            yield* hit("run:before-duration-append");
+            yield* appendBatch(
+              ctx,
+              CanonicalBatch.make({
+                batchId: runDurationBatchId(runIdForSubmission(submissionId)),
+                producerId: config.producerId,
+                records: [
+                  yield* makeEnvelope(
+                    exhaustedId,
+                    RunDurationExhausted.make({
+                      runId: runIdForSubmission(submissionId),
+                    }),
+                  ),
+                ],
+              }),
+            );
+            yield* hit("run:after-duration-append");
+          }
           yield* reconcileExpiredChildren(ctx, submission, yield* Ref.get(tokenRef));
         }
         const openObligation = yield* completeJoinedReleases(submission);
@@ -7601,60 +7630,7 @@ const make = Effect.fn("DurableAgentRuntime.make")(function* (
       }
     }).pipe(Effect.scoped);
 
-  /**
-   * Framework-owned Schema-stable `ChildCompatibilityFailure` Settlement for a parent-linked
-   * child whose exact Binding cannot be resolved at claim time (spec §11, SUB-023/SUB-032): no
-   * application code runs, the child never executes, and the parent joins the bounded failure
-   * through the normal verification path. A pre-existing reservation or canonical settlement is
-   * completed instead of re-decided.
-   */
-  const settleChildCompatibility = Effect.fn("DurableAgentRuntime.settleChildCompatibility")(
-    function* (
-      claim: Claim,
-      submission: SubmissionSnapshot,
-      failure: DurableBindingFailure,
-    ): Effect.fn.Return<Settlement, DurableWorkerFailure> {
-      yield* store.materialize(
-        ThreadMaterialization.make({
-          threadId: submission.threadId,
-          producerEpoch: claim.producerEpoch,
-        }),
-      );
-      yield* ensureThreadCreated(submission.threadId, submission.agentId, submission.agentDigests);
-      const ctx = yield* attemptContextFor(submission.threadId, claim.producerEpoch);
-      const tokenRef = yield* Ref.make(claim.ownershipToken);
-      const records = yield* readControl(submission.threadId, [submission.submissionId]);
-
-      const recorded = records.some(
-        (envelope) =>
-          envelope.record.recordId === submissionSettlementRecordId(submission.submissionId),
-      );
-
-      const snapshot = yield* ledger.loadRecoverySnapshot(
-        RecoverySnapshotRequest.make({ submissionId: submission.submissionId }),
-      );
-
-      if (snapshot.reservation !== undefined) {
-        // An earlier pass already reserved the one exact outcome: complete it, never re-decide.
-        return yield* completeReservation(ctx, submission, snapshot.reservation, recorded);
-      }
-
-      const result = yield* Schema.decodeEffect(SettlementFailureDiagnostic)({
-        errorTag: "ChildCompatibilityFailure",
-        message: boundedText(failure.message),
-      }).pipe(Effect.orDie);
-
-      return yield* terminalize(ctx, submission, tokenRef, { _tag: "failed", result }, false);
-    },
-  );
-
-  /**
-   * Drain one Thread lane under claim-time Binding resolution (plan §1.7): every claimed
-   * head resolves through the selected private binding path before any code runs. A refusal
-   * writes the framework `ChildCompatibilityFailure` Settlement for a
-   * parent-linked child and surfaces the typed refusal (after releasing the claim) for a root —
-   * a worker never runs a claimed head against different code (SUB-023).
-   */
+  /** A missing compatible binding leaves both roots and children owed, with their claims released. */
   type CapturedWorkerBinding = Effect.Success<ReturnType<typeof makeLegacyWorkerBinding>>;
 
   // Register cleanup before any interruptible work can observe a granted claim. The token
@@ -7692,7 +7668,7 @@ const make = Effect.fn("DurableAgentRuntime.make")(function* (
   const processThreadHead = (
     resolve: (
       submission: SubmissionSnapshot,
-    ) => Effect.Effect<CapturedWorkerBinding, DurableBindingFailure>,
+    ) => Effect.Effect<CapturedWorkerBinding, DurableBindingFailure | DurableWorkerFailure>,
     threadId: ThreadId,
     options?: { readonly yieldAfter?: DateTime.Utc },
   ): Effect.Effect<Option.Option<Settlement>, DurableWorkerFailure | DurableBindingFailure> =>
@@ -7772,14 +7748,6 @@ const make = Effect.fn("DurableAgentRuntime.make")(function* (
         );
 
         if (resolution._tag === "refused") {
-          if (submission.parentLinkage !== undefined) {
-            return Option.some(
-              yield* settleChildCompatibility(claim, submission, resolution.failure),
-            );
-          }
-
-          // Root Submission: release the claim and surface the typed refusal — the obligation
-          // stays visible and no different code ever runs (spec §11).
           return yield* resolution.failure;
         }
 
@@ -7795,7 +7763,7 @@ const make = Effect.fn("DurableAgentRuntime.make")(function* (
   const drainThread = (
     resolve: (
       submission: SubmissionSnapshot,
-    ) => Effect.Effect<CapturedWorkerBinding, DurableBindingFailure>,
+    ) => Effect.Effect<CapturedWorkerBinding, DurableBindingFailure | DurableWorkerFailure>,
     threadId: ThreadId,
   ): Effect.Effect<ReadonlyArray<Settlement>, DurableWorkerFailure | DurableBindingFailure> =>
     Effect.gen(function* () {
@@ -7867,25 +7835,85 @@ const make = Effect.fn("DurableAgentRuntime.make")(function* (
       );
     });
 
+  const resolveRetainedBinding = Effect.fn("DurableAgentRuntime.resolveRetainedBinding")(function* (
+    submission: SubmissionSnapshot,
+  ) {
+    const exact = registeredBindings.find(
+      (binding) =>
+        binding.agentId === submission.agentId &&
+        definitionDigestsEqual(binding.digests, submission.agentDigests),
+    );
+
+    if (exact !== undefined) return exact;
+
+    const candidates = registeredBindings.filter(
+      (binding) => binding.agentId === submission.agentId,
+    );
+
+    const candidate = candidates[0];
+
+    // A missing/ambiguous registration needs no history read. If every retained Tool contract
+    // is supported, neither does an ordinary additive deployment.
+    if (candidate === undefined || candidates.length !== 1)
+      return yield* resolveWorkerBinding(
+        registeredBindings,
+        submission.agentId,
+        submission.agentDigests,
+      );
+    if (bindingSupports(candidate, submission.agentDigests, undefined, submission.inputPayload))
+      return candidate;
+
+    // A checkpoint can omit a settled batch that still supplies completion projection.
+    // Compatibility reads the bounded authoritative prefix, never a reduced checkpoint.
+    const records = yield* Effect.gen(function* () {
+      const tail = yield* store.inspectTail(
+        ThreadTailRequest.make({ threadId: submission.threadId }),
+      );
+
+      return yield* Stream.runCollect(
+        canonicalRange(submission.threadId, tail.tailSequence).pipe(
+          Stream.filter(controlRecords([submission.submissionId])),
+        ),
+      );
+    }).pipe(Effect.catchTag("ThreadNotMaterialized", () => Effect.succeed([])));
+
+    const completionTools =
+      candidate === undefined
+        ? []
+        : [
+            ...(candidate.definition.completion === undefined
+              ? []
+              : [candidate.definition.completion.tool]),
+            ...(candidate.definition.completionFromTools?.map((entry) => entry.tool) ?? []),
+          ];
+
+    const pending = yield* pendingToolBatchFor(
+      records,
+      runIdForSubmission(submission.submissionId),
+      completionTools,
+    );
+
+    return yield* resolveWorkerBinding(
+      registeredBindings,
+      submission.agentId,
+      submission.agentDigests,
+      pending?.calls
+        .filter((call) => call.providerExecuted !== true || completionTools.includes(call.name))
+        .map((call) => call.name) ?? [],
+      submission.inputPayload,
+    );
+  });
+
   const processThreadResolvedImpl = (
     threadId: ThreadId,
   ): Effect.Effect<ReadonlyArray<Settlement>, DurableWorkerFailure | DurableBindingFailure> =>
-    drainThread(
-      (submission) =>
-        resolveWorkerBinding(registeredBindings, submission.agentId, submission.agentDigests),
-      threadId,
-    );
+    drainThread(resolveRetainedBinding, threadId);
 
   const processThreadHeadImpl = (
     threadId: ThreadId,
     options?: { readonly yieldAfter?: DateTime.Utc },
   ): Effect.Effect<Option.Option<Settlement>, DurableWorkerFailure | DurableBindingFailure> =>
-    processThreadHead(
-      (submission) =>
-        resolveWorkerBinding(registeredBindings, submission.agentId, submission.agentDigests),
-      threadId,
-      options,
-    );
+    processThreadHead(resolveRetainedBinding, threadId, options);
 
   const claimFor = Effect.fn("DurableAgentRuntime.claimFor")(function* (
     submission: SubmissionSnapshot,
@@ -8311,8 +8339,13 @@ const make = Effect.fn("DurableAgentRuntime.make")(function* (
       if (
         start?.payload._tag === "RunStarted" &&
         start.payload.runId === runId &&
-        (yield* Clock.currentTimeMillis) >=
-          DateTime.toEpochMillis(start.createdAt) + start.payload.maxDurationMillis &&
+        (records.some(
+          ({ record }) =>
+            record.payload._tag === "RunDurationExhausted" && record.payload.runId === runId,
+        ) ||
+          (submission.workerAdmission !== undefined &&
+            (yield* Clock.currentTimeMillis) >=
+              submission.workerAdmission.origin.expiresAtMillis)) &&
         (decision._tag === "CompleteChildAdmission" ||
           decision._tag === "RepairSubagentStartLink" ||
           decision._tag === "AwaitChildAdmissionResolution" ||
@@ -9088,6 +9121,44 @@ const make = Effect.fn("DurableAgentRuntime.make")(function* (
             ),
           );
 
+    // Replay metadata is registration authority, never a caller's compatibility assertion.
+    // Frozen native deliveries already proved their original envelope above. Root retries may
+    // reuse only the original row; a new root must name a host-owned contract.
+    if (
+      options.definitions.replay !== undefined &&
+      workerAdmission === undefined &&
+      messageAdmission === undefined &&
+      !registeredBindings.some(
+        (binding) =>
+          binding.agentId === agent.definition.id &&
+          (definitionDigestsEqual(binding.digests, options.definitions) ||
+            binding.retainedManifests?.some((retained) =>
+              definitionDigestsEqual(
+                DefinitionDigests.make({ ...retained.digests, replay: retained.replay }),
+                options.definitions,
+              ),
+            )),
+      )
+    ) {
+      const retained = yield* ledger.lookup(
+        SubmissionLookupByKey.make({
+          threadId: options.threadId,
+          principal: options.principal,
+          idempotencyKey: options.idempotencyKey,
+        }),
+      );
+
+      if (
+        Option.isNone(retained) ||
+        retained.value.agentId !== agent.definition.id ||
+        !definitionDigestsEqual(retained.value.agentDigests, options.definitions)
+      )
+        return yield* AdmissionPolicyError.make({
+          reason: "refused",
+          code: "unregistered-replay-contract",
+        });
+    }
+
     const admitted = yield* ledger.admit(
       yield* Schema.decodeEffect(AdmissionRequest)({
         threadId: options.threadId,

package/src/durable/DurableFailpoint.ts

@@ -21,6 +21,8 @@ export const DurableRuntimeFailpointLocation = Schema.Literals([
   "input:after-canonical-append",
   "run:before-start-append",
   "run:after-start-append",
+  "run:before-duration-append",
+  "run:after-duration-append",
   "turn:after-canonical-append",
   "turn:after-response-append",
   "turn:after-results-append",

package/src/durable/Records.ts

@@ -200,13 +200,24 @@ export class DefinitionDigestInput extends Schema.Class<DefinitionDigestInput>(
   tools: PersistedJson,
 }) {}
 
-/** Digests make a replay-visible definition/configuration change explicit. */
+/** The contracts a retained Run may decode or execute, independent of its deployment. */
+export class ReplayContract extends Schema.Class<ReplayContract>(
+  "@effect-agent/thread/ReplayContract",
+)({
+  agent: Digest,
+  /** Agent semantics and output/completion codecs; the saved input is checked separately. */
+  agentBehavior: Schema.optionalKey(Digest),
+  tools: Schema.Record(Schema.String, Digest),
+}) {}
+
+/** Digests identify admission exactly; replay contracts separately authorize continuation. */
 export class DefinitionDigests extends Schema.Class<DefinitionDigests>(
   "@effect-agent/thread/DefinitionDigests",
 )({
   agent: Digest,
   model: Digest,
   tools: Digest,
+  replay: Schema.optionalKey(ReplayContract),
 }) {}
 
 export class ThreadCreated extends Schema.TaggedClass<ThreadCreated>(
@@ -230,7 +241,7 @@ export class UserInputRecorded extends Schema.TaggedClass<UserInputRecorded>(
   messageAdmission: Schema.optionalKey(InputMessage),
 }) {}
 
-/** Immutable clock and duration allowance for one logical Run, before any agent execution. */
+/** Immutable Run start and per-Attempt duration allowance, before any agent execution. */
 export class RunStartedRecord extends Schema.TaggedClass<RunStartedRecord>(
   "@effect-agent/thread/RunStartedRecord",
 )("RunStarted", {
@@ -240,6 +251,11 @@ export class RunStartedRecord extends Schema.TaggedClass<RunStartedRecord>(
   maxDurationMillis: Schema.Finite.check(Schema.isGreaterThan(0)),
 }) {}
 
+/** An active Attempt exhausted its execution allowance; downtime alone never writes this. */
+export class RunDurationExhausted extends Schema.TaggedClass<RunDurationExhausted>(
+  "@effect-agent/thread/RunDurationExhausted",
+)("RunDurationExhausted", { runId: RunId }) {}
+
 const PersistedPromptMessages = Schema.toEncoded(Prompt.Prompt);
 const isPersistedPromptMessages = Schema.is(PersistedPromptMessages);
 
@@ -940,6 +956,7 @@ export const CanonicalRecordPayload = Schema.Union([
   ThreadCreated,
   UserInputRecorded,
   RunStartedRecord,
+  RunDurationExhausted,
   RunPolicyUsageReserved,
   ModelCompleted,
   ModelResponseRecorded,

package/src/durable/RunJournal.ts

@@ -62,6 +62,11 @@ export const runStartedRecordId = (runId: RunId): RecordId => decodeRecordId(`ru
 
 export const runStartedBatchId = (runId: RunId): BatchId => decodeBatchId(`run-start:${runId}`);
 
+export const runDurationRecordId = (runId: RunId): RecordId =>
+  decodeRecordId(`run-duration:${runId}`);
+
+export const runDurationBatchId = (runId: RunId): BatchId => decodeBatchId(`run-duration:${runId}`);
+
 /** Deterministic Turn identity: Attempt-independent for one (Run, canonical turn) pair. */
 export const turnIdForRun = (runId: RunId, turn: number): TurnId =>
   decodeTurnId(`turn:${runId}:${turn}`);
@@ -488,6 +493,7 @@ const withoutApplicationToolCallMessages = (prompt: Prompt.Prompt): ReadonlyArra
 const PROMPT_TRANSPARENT_TAGS: ReadonlySet<string> = new Set([
   "RunPolicyUsageReserved",
   "RunStarted",
+  "RunDurationExhausted",
   "ToolCallPrepared",
   "ToolCallUnknown",
   "ToolCallResolved",