@effect-agent/testing 0.1.0-beta.96 → 0.1.0-beta.98

package/package.json

@@ -1 +1 @@
-{"name":"@effect-agent/testing","version":"0.1.0-beta.96","dependencies":{"effect-agent":"0.1.0-beta.96"},"devDependencies":{"@effect-agent/platform-node":"0.1.0-beta.96","@effect-agent/storage-memory":"0.1.0-beta.96","@effect-agent/storage-sqlite":"0.1.0-beta.96","@effect/platform-node":"4.0.0-rc.115","@effect/sql-sqlite-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"},"./certification":{"types":"./dist/Certification.d.mts","default":"./dist/Certification.mjs"},"./chaos":{"types":"./dist/Chaos.d.mts","default":"./dist/Chaos.mjs"},"./code-executor-conformance":{"types":"./dist/CodeExecutorConformance.d.mts","default":"./dist/CodeExecutorConformance.mjs"},"./code-executor-substitute":{"types":"./dist/CodeExecutorSubstitute.d.mts","default":"./dist/CodeExecutorSubstitute.mjs"},"./docs-researcher":{"types":"./dist/DocsResearcher.d.mts","default":"./dist/DocsResearcher.mjs"},"./scripted-model":{"types":"./dist/ScriptedModel.d.mts","default":"./dist/ScriptedModel.mjs"},"./travel-planner":{"types":"./dist/TravelPlanner.d.mts","default":"./dist/TravelPlanner.mjs"}},"description":"Scripted models, deterministic fixtures, and adapter conformance kits for testing Effect Agent applications.","license":"MIT","repository":{"type":"git","url":"git+https://github.com/danieljvdm/effect-agent.git","directory":"packages/testing"},"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/testing","version":"0.1.0-beta.98","dependencies":{"effect-agent":"0.1.0-beta.98"},"devDependencies":{"@effect-agent/platform-node":"0.1.0-beta.98","@effect-agent/storage-memory":"0.1.0-beta.98","@effect-agent/storage-sqlite":"0.1.0-beta.98","@effect/platform-node":"4.0.0-rc.115","@effect/sql-sqlite-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"},"./certification":{"types":"./dist/Certification.d.mts","default":"./dist/Certification.mjs"},"./chaos":{"types":"./dist/Chaos.d.mts","default":"./dist/Chaos.mjs"},"./code-executor-conformance":{"types":"./dist/CodeExecutorConformance.d.mts","default":"./dist/CodeExecutorConformance.mjs"},"./code-executor-substitute":{"types":"./dist/CodeExecutorSubstitute.d.mts","default":"./dist/CodeExecutorSubstitute.mjs"},"./docs-researcher":{"types":"./dist/DocsResearcher.d.mts","default":"./dist/DocsResearcher.mjs"},"./scripted-model":{"types":"./dist/ScriptedModel.d.mts","default":"./dist/ScriptedModel.mjs"},"./travel-planner":{"types":"./dist/TravelPlanner.d.mts","default":"./dist/TravelPlanner.mjs"}},"description":"Scripted models, deterministic fixtures, and adapter conformance kits for testing Effect Agent applications.","license":"MIT","repository":{"type":"git","url":"git+https://github.com/danieljvdm/effect-agent.git","directory":"packages/testing"},"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/Certification.ts

@@ -187,6 +187,12 @@ export const TIER2_UNREACHED_LOCATIONS: ReadonlyArray<DurableRuntimeFailpointLoc
   "policy:before-reservation-append",
   "policy:after-reservation-append",
   "resolve:after-intent",
+  // All six shapes retain their original Tool contracts, so none retires an unavailable
+  // operation. The deployment continuity matrix in durable-runtime.test.ts exercises the
+  // actual before/after-unavailable append boundaries, asserting absent/present canonical
+  // ToolUnavailable results at the crash and one original-call settlement after re-drive.
+  "tools:before-unavailable-append",
+  "tools:after-unavailable-append",
   "subagent:after-child-abort-intent",
   // Background workers use retained delivery, source capacity, and child-origin paths absent
   // from these six attached/ordinary scenarios. The before/after creation and completion

package/src/fixtures/travel-planner/phase6.ts

@@ -250,7 +250,13 @@ const plannerDecide = (promptJson: string): Stream.Stream<Response.StreamPartEnc
  * batch is committed history, every later request gets the plan — identical parts, so the DC
  * canonical evidence is byte-equivalent to the DN ScriptedModel run after normalization.
  */
-export const phase6PlannerModel = promptAwareModel("travel-planner-phase-4", plannerDecide);
+export const phase6PlannerModel = promptAwareModel("travel-planner-phase-4", (promptJson) =>
+  promptJson.includes("[gate:") && !promptJson.includes(phase6FlightCallId)
+    ? Stream.fromEffectDrain(awaitPlannerGate(gateMarkerFromPrompt(promptJson))).pipe(
+        Stream.concat(plannerDecide(promptJson)),
+      )
+    : plannerDecide(promptJson),
+);
 
 // ---------------------------------------------------------------------------
 // Deterministic test gate for the admission-limits rows. Module state is
@@ -548,7 +554,7 @@ export const phase6ResearcherModel = promptAwareModel("destination-researcher-p6
 
 /**
  * Every phase-6 Travel Planner worker Binding, captured with its requirement Contexts:
- * the P4 planner and its gated twin, the P5 booking agent over the
+ * one P4 planner whose prompt selects the optional test gate, the P5 booking agent over the
  * shared supplier desk, and the S2 coordinator/researcher pair wired through the durable
  * delegation Layer. A Thread Object registers these via its `bindings` option; the
  * capture runs once per incarnation, and everything stateful the assertions rely on (desk,
@@ -561,11 +567,6 @@ export const makePhase6TravelPlannerBindings: Effect.Effect<ReadonlyArray<Resolv
       phase4TravelPlannerDefinitionDigests,
     ).pipe(Effect.provide(phase4TravelPlannerWorkerLayer));
 
-    const gatedPlanner: ResolvedBinding = yield* DurableWorkerBinding.make(
-      Agent.withModel(TravelPlannerPhase4, phase6GatedPlannerModel),
-      phase6GatedPlannerDefinitionDigests,
-    ).pipe(Effect.provide(phase4TravelPlannerWorkerLayer));
-
     const booking: ResolvedBinding = yield* DurableWorkerBinding.make(
       Agent.withModel(TravelPlannerPhase5, phase6BookingModel),
       phase5TravelPlannerDefinitionDigests,
@@ -604,7 +605,7 @@ export const makePhase6TravelPlannerBindings: Effect.Effect<ReadonlyArray<Resolv
       s2ResearcherDigests,
     ).pipe(Effect.provide(childToolkitLayer));
 
-    return [planner, gatedPlanner, booking, coordinator, researcher];
+    return [planner, booking, coordinator, researcher];
   });
 
 // ---------------------------------------------------------------------------
@@ -619,7 +620,7 @@ export const makePhase6TravelPlannerBindings: Effect.Effect<ReadonlyArray<Resolv
  * value, so the two platforms' canonical outcomes are byte-equivalent transitively — the P6
  * exit gate "Travel Planner produces equivalent canonical outcomes under DN and DC".
  *
- * Regenerate ONLY when the Travel Planner scenario itself changes, by printing either suite's
+ * Regenerate ONLY when the Travel Planner scenario or canonical protocol changes, by printing either suite's
  * normalized value; both suites must then agree on the new golden.
  */
 export const phase6TravelPlannerGoldenEvidence: Schema.Json = [
@@ -699,6 +700,29 @@ export const phase6TravelPlannerGoldenEvidence: Schema.Json = [
       deploymentId: "{deploymentId}",
       payload: {
         _tag: "ModelResponseRecorded",
+        toolOperations: [
+          {
+            toolCallId: "flight-call-1",
+            toolName: "search_flights",
+            executionClass: "readonly",
+            executionKind: "ordinary",
+            replay: "{digest}",
+          },
+          {
+            toolCallId: "lodging-call-1",
+            toolName: "search_lodging",
+            executionClass: "readonly",
+            executionKind: "ordinary",
+            replay: "{digest}",
+          },
+          {
+            toolCallId: "activity-call-1",
+            toolName: "search_activities",
+            executionClass: "readonly",
+            executionKind: "ordinary",
+            replay: "{digest}",
+          },
+        ],
         runId: "run:{submissionId}",
         turnId: "turn:run:{submissionId}:1",
         turn: 1,
@@ -921,6 +945,7 @@ export const phase6TravelPlannerGoldenEvidence: Schema.Json = [
       deploymentId: "{deploymentId}",
       payload: {
         _tag: "RunCompleted",
+        resultDigest: "{digest}",
         runId: "run:{submissionId}",
         output: {
           itineraries: [