@replayci/replay 0.1.12 → 0.1.14

package/dist/index.cjs

@@ -2578,6 +2578,22 @@ function evaluatePrecondition(precondition, sessionState, currentArguments) {
             detail: `Prior tool output assertion failed: ${assertion.path} \u2014 expected ${JSON.stringify(assertion.equals)}, got ${JSON.stringify(value)}`
           };
         }
+        if (assertion.gte !== void 0) {
+          if (typeof value !== "number" || value < assertion.gte) {
+            return {
+              satisfied: false,
+              detail: `Prior tool output assertion failed: ${assertion.path} \u2014 expected >= ${assertion.gte}, got ${JSON.stringify(value)}`
+            };
+          }
+        }
+        if (assertion.lte !== void 0) {
+          if (typeof value !== "number" || value > assertion.lte) {
+            return {
+              satisfied: false,
+              detail: `Prior tool output assertion failed: ${assertion.path} \u2014 expected <= ${assertion.lte}, got ${JSON.stringify(value)}`
+            };
+          }
+        }
       }
     }
   }
@@ -3762,7 +3778,7 @@ function createInitialState(sessionId, options) {
     checkpointCount: 0
   };
 }
-function finalizeExecutedStep(state, step, contracts, compiledSession) {
+function finalizeExecutedStep(state, step, contracts, compiledSession, options) {
   const newSteps = [...state.steps, step];
   const newToolCallCounts = updateToolCallCounts(state.toolCallCounts, step);
   const resolvedContracts = compiledSession ? Array.from(compiledSession.perToolContracts.values()) : contracts;
@@ -3772,7 +3788,7 @@ function finalizeExecutedStep(state, step, contracts, compiledSession) {
     step
   );
   const costDelta = computeStepCost(step);
-  const newPhase = compiledSession ? recomputePhaseFromCommitted(step.toolCalls, state, compiledSession) : state.currentPhase;
+  const newPhase = options?.deferPhase ? state.currentPhase : compiledSession ? recomputePhaseFromCommitted(step.toolCalls, state, compiledSession) : state.currentPhase;
   return {
     ...state,
     steps: newSteps,
@@ -4081,26 +4097,27 @@ function matchesTool(toolName, filter) {
   if (typeof filter === "string") return filter === toolName;
   return filter.includes(toolName);
 }
-function speculativeCheck(toolName, parsedArgs, aggregates, definitions) {
+function speculativeCheck(toolName, parsedArgs, aggregates, definitions, bindings) {
   const failures = [];
   for (const def of definitions) {
     if (!matchesTool(toolName, def.tool)) continue;
     const current = aggregates.get(def.name);
     if (!current) continue;
+    const resolved = resolveBounds(def, bindings);
     const currentValue = current.currentValue;
     if (def.metric === "count") {
       const speculative2 = currentValue + 1;
-      if (def.lte !== void 0 && speculative2 > def.lte) {
+      if (resolved.lte !== void 0 && speculative2 > resolved.lte) {
         failures.push({
           aggregate: def.name,
           reason: "aggregate_limit_exceeded",
-          detail: `${def.reason} (count ${speculative2} > lte ${def.lte})`,
+          detail: `${def.reason} (count ${speculative2} > lte ${resolved.lte})`,
           current: currentValue,
           speculative: speculative2,
-          bound: { lte: def.lte }
+          bound: { lte: resolved.lte }
         });
       }
-      if (def.gte !== void 0 && speculative2 < def.gte) {
+      if (resolved.gte !== void 0 && speculative2 < resolved.gte) {
       }
       continue;
     }
@@ -4182,21 +4199,21 @@ function speculativeCheck(toolName, parsedArgs, aggregates, definitions) {
       default:
         continue;
     }
-    if (def.lte !== void 0 && speculative > def.lte) {
+    if (resolved.lte !== void 0 && speculative > resolved.lte) {
       failures.push({
         aggregate: def.name,
         reason: "aggregate_limit_exceeded",
-        detail: `${def.reason} (${def.metric} ${speculative} > lte ${def.lte})`,
+        detail: `${def.reason} (${def.metric} ${speculative} > lte ${resolved.lte})`,
         current: currentValue,
         speculative,
-        bound: { lte: def.lte }
+        bound: { lte: resolved.lte }
       });
     }
-    if (def.gte !== void 0 && speculative < def.gte) {
+    if (resolved.gte !== void 0 && speculative < resolved.gte) {
       failures.push({
         aggregate: def.name,
         reason: "aggregate_limit_exceeded",
-        detail: `${def.reason} (${def.metric} ${speculative} < gte ${def.gte})`,
+        detail: `${def.reason} (${def.metric} ${speculative} < gte ${resolved.gte})`,
         current: currentValue,
         speculative,
         bound: { gte: def.gte }
@@ -4248,6 +4265,34 @@ function commitAggregate(toolName, parsedArgs, aggregates, definitions) {
   }
   return updated;
 }
+function resolveBounds(def, bindings) {
+  if (!def.when || def.when.length === 0 || !bindings) {
+    return { gte: def.gte, lte: def.lte };
+  }
+  for (const cond of def.when) {
+    const bound = bindings.get(cond.binding);
+    if (!bound) continue;
+    const val = bound.value;
+    if (!matchesCondition(val, cond)) continue;
+    return {
+      gte: cond.then_gte ?? def.gte,
+      lte: cond.then_lte ?? def.lte
+    };
+  }
+  return { gte: def.gte, lte: def.lte };
+}
+function matchesCondition(value, cond) {
+  if (cond.equals !== void 0) {
+    if (JSON.stringify(value) !== JSON.stringify(cond.equals)) return false;
+  }
+  if (cond.gte !== void 0) {
+    if (typeof value !== "number" || value < cond.gte) return false;
+  }
+  if (cond.lte !== void 0) {
+    if (typeof value !== "number" || value > cond.lte) return false;
+  }
+  return true;
+}
 
 // src/envelopes.ts
 function initializeEnvelopes(definitions) {
@@ -5614,6 +5659,7 @@ function replay(client, opts = {}) {
   let shadowEvaluationCount = 0;
   let manualFilter = null;
   const deferredReceipts = /* @__PURE__ */ new Map();
+  let deferredPhase = null;
   const contractLimits = resolveSessionLimits(contracts);
   const compiledLimits = compiledSession?.sessionLimits;
   const mergedLimits = { ...contractLimits ?? {}, ...compiledLimits ?? {} };
@@ -5750,6 +5796,7 @@ function replay(client, opts = {}) {
       total_ms: 0,
       enforcement_ms: 0
     };
+    deferredPhase = null;
     const trace = createTrace(sessionState.totalStepCount);
     const traceCtx = { trace };
     let currentTraceStage = "narrow";
@@ -6221,7 +6268,7 @@ function replay(client, opts = {}) {
             } catch {
               parsedArgs = {};
             }
-            const aggResult = speculativeCheck(tc.name, parsedArgs, workingAggregates, compiledSession.aggregates);
+            const aggResult = speculativeCheck(tc.name, parsedArgs, workingAggregates, compiledSession.aggregates, sessionState.bindings);
             if (!aggResult.passed) {
               for (const f of aggResult.failures) {
                 trace.push({
@@ -6664,11 +6711,31 @@ function replay(client, opts = {}) {
               }
             }
           }
+          const hasPhaseTransition = phaseResult?.legal && phaseResult.newPhase !== sessionState.currentPhase;
+          const shouldDeferPhase = isActiveGovern && !attemptDegraded && hasPhaseTransition;
           const prevVersionAllow = sessionState.stateVersion;
-          sessionState = finalizeExecutedStep(sessionState, completedStep, contracts, compiledSession);
+          sessionState = finalizeExecutedStep(
+            sessionState,
+            completedStep,
+            contracts,
+            compiledSession,
+            shouldDeferPhase ? { deferPhase: true } : void 0
+          );
           sessionState = recordDecisionOutcome(sessionState, "allowed");
           syncStateToStore(prevVersionAllow, sessionState);
           timing.finalize_ms += Date.now() - enforceFinalizeStart;
+          if (shouldDeferPhase && compiledSession) {
+            const advancingTools = /* @__PURE__ */ new Set();
+            for (const tc of toolCalls) {
+              const contract = compiledSession.perToolContracts.get(tc.name);
+              if (contract?.transitions?.advances_to === phaseResult.newPhase) {
+                advancingTools.add(tc.name);
+              }
+            }
+            if (advancingTools.size > 0 && phaseResult.newPhase != null) {
+              deferredPhase = { newPhase: phaseResult.newPhase, toolNames: advancingTools };
+            }
+          }
           if (isActiveGovern && !attemptDegraded && attemptPendingCalls && attemptPendingCalls.size > 0) {
             for (const [toolCallId, pending] of attemptPendingCalls) {
               deferredReceipts.set(toolCallId, {
@@ -6686,8 +6753,8 @@ function replay(client, opts = {}) {
             checked: { gate_mode: gateMode },
             found: { blocked_count: 0, action: "allow" }
           });
-          const allowNewPhase = phaseResult && phaseResult.legal && phaseResult.newPhase !== sessionState.currentPhase ? phaseResult.newPhase : sessionState.currentPhase;
-          trace.push({ stage: "finalize", tool: null, verdict: "info", reason: "cycle_complete", checked: {}, found: { state_version: sessionState.stateVersion, phase_before: completedStep.phase, phase_after: allowNewPhase, tools_committed: toolCalls.map((tc) => tc.name), tools_blocked: [], killed: false, step_index: sessionState.totalStepCount } });
+          const allowNewPhase = phaseResult && phaseResult.legal && phaseResult.newPhase !== (completedStep.phase ?? sessionState.currentPhase) ? phaseResult.newPhase : sessionState.currentPhase;
+          trace.push({ stage: "finalize", tool: null, verdict: "info", reason: "cycle_complete", checked: {}, found: { state_version: sessionState.stateVersion, phase_before: completedStep.phase, phase_after: allowNewPhase, ...shouldDeferPhase ? { phase_deferred: true } : {}, tools_committed: toolCalls.map((tc) => tc.name), tools_blocked: [], killed: false, step_index: sessionState.totalStepCount } });
           trace.complete = true;
           lastTrace = trace;
           emitDiagnostic2(diagnostics, { type: "replay_trace", session_id: sessionId, trace });
@@ -7034,6 +7101,10 @@ function replay(client, opts = {}) {
           throw new ReplayKillError(sessionId, killedAt);
         }
         const result = await executor(args);
+        if (deferredPhase && deferredPhase.toolNames.has(toolName)) {
+          sessionState = { ...sessionState, currentPhase: deferredPhase.newPhase };
+          deferredPhase = null;
+        }
         if (runtimeClient && leaseFence && !runtimeDegraded) {
           for (const [callId, deferred] of deferredReceipts) {
             if (deferred.toolName === toolName) {

package/dist/index.js

@@ -2558,6 +2558,22 @@ function evaluatePrecondition(precondition, sessionState, currentArguments) {
             detail: `Prior tool output assertion failed: ${assertion.path} \u2014 expected ${JSON.stringify(assertion.equals)}, got ${JSON.stringify(value)}`
           };
         }
+        if (assertion.gte !== void 0) {
+          if (typeof value !== "number" || value < assertion.gte) {
+            return {
+              satisfied: false,
+              detail: `Prior tool output assertion failed: ${assertion.path} \u2014 expected >= ${assertion.gte}, got ${JSON.stringify(value)}`
+            };
+          }
+        }
+        if (assertion.lte !== void 0) {
+          if (typeof value !== "number" || value > assertion.lte) {
+            return {
+              satisfied: false,
+              detail: `Prior tool output assertion failed: ${assertion.path} \u2014 expected <= ${assertion.lte}, got ${JSON.stringify(value)}`
+            };
+          }
+        }
       }
     }
   }
@@ -3751,7 +3767,7 @@ function createInitialState(sessionId, options) {
     checkpointCount: 0
   };
 }
-function finalizeExecutedStep(state, step, contracts, compiledSession) {
+function finalizeExecutedStep(state, step, contracts, compiledSession, options) {
   const newSteps = [...state.steps, step];
   const newToolCallCounts = updateToolCallCounts(state.toolCallCounts, step);
   const resolvedContracts = compiledSession ? Array.from(compiledSession.perToolContracts.values()) : contracts;
@@ -3761,7 +3777,7 @@ function finalizeExecutedStep(state, step, contracts, compiledSession) {
     step
   );
   const costDelta = computeStepCost(step);
-  const newPhase = compiledSession ? recomputePhaseFromCommitted(step.toolCalls, state, compiledSession) : state.currentPhase;
+  const newPhase = options?.deferPhase ? state.currentPhase : compiledSession ? recomputePhaseFromCommitted(step.toolCalls, state, compiledSession) : state.currentPhase;
   return {
     ...state,
     steps: newSteps,
@@ -4070,26 +4086,27 @@ function matchesTool(toolName, filter) {
   if (typeof filter === "string") return filter === toolName;
   return filter.includes(toolName);
 }
-function speculativeCheck(toolName, parsedArgs, aggregates, definitions) {
+function speculativeCheck(toolName, parsedArgs, aggregates, definitions, bindings) {
   const failures = [];
   for (const def of definitions) {
     if (!matchesTool(toolName, def.tool)) continue;
     const current = aggregates.get(def.name);
     if (!current) continue;
+    const resolved = resolveBounds(def, bindings);
     const currentValue = current.currentValue;
     if (def.metric === "count") {
       const speculative2 = currentValue + 1;
-      if (def.lte !== void 0 && speculative2 > def.lte) {
+      if (resolved.lte !== void 0 && speculative2 > resolved.lte) {
         failures.push({
           aggregate: def.name,
           reason: "aggregate_limit_exceeded",
-          detail: `${def.reason} (count ${speculative2} > lte ${def.lte})`,
+          detail: `${def.reason} (count ${speculative2} > lte ${resolved.lte})`,
           current: currentValue,
           speculative: speculative2,
-          bound: { lte: def.lte }
+          bound: { lte: resolved.lte }
         });
       }
-      if (def.gte !== void 0 && speculative2 < def.gte) {
+      if (resolved.gte !== void 0 && speculative2 < resolved.gte) {
       }
       continue;
     }
@@ -4171,21 +4188,21 @@ function speculativeCheck(toolName, parsedArgs, aggregates, definitions) {
       default:
         continue;
     }
-    if (def.lte !== void 0 && speculative > def.lte) {
+    if (resolved.lte !== void 0 && speculative > resolved.lte) {
       failures.push({
         aggregate: def.name,
         reason: "aggregate_limit_exceeded",
-        detail: `${def.reason} (${def.metric} ${speculative} > lte ${def.lte})`,
+        detail: `${def.reason} (${def.metric} ${speculative} > lte ${resolved.lte})`,
         current: currentValue,
         speculative,
-        bound: { lte: def.lte }
+        bound: { lte: resolved.lte }
       });
     }
-    if (def.gte !== void 0 && speculative < def.gte) {
+    if (resolved.gte !== void 0 && speculative < resolved.gte) {
       failures.push({
         aggregate: def.name,
         reason: "aggregate_limit_exceeded",
-        detail: `${def.reason} (${def.metric} ${speculative} < gte ${def.gte})`,
+        detail: `${def.reason} (${def.metric} ${speculative} < gte ${resolved.gte})`,
         current: currentValue,
         speculative,
         bound: { gte: def.gte }
@@ -4237,6 +4254,34 @@ function commitAggregate(toolName, parsedArgs, aggregates, definitions) {
   }
   return updated;
 }
+function resolveBounds(def, bindings) {
+  if (!def.when || def.when.length === 0 || !bindings) {
+    return { gte: def.gte, lte: def.lte };
+  }
+  for (const cond of def.when) {
+    const bound = bindings.get(cond.binding);
+    if (!bound) continue;
+    const val = bound.value;
+    if (!matchesCondition(val, cond)) continue;
+    return {
+      gte: cond.then_gte ?? def.gte,
+      lte: cond.then_lte ?? def.lte
+    };
+  }
+  return { gte: def.gte, lte: def.lte };
+}
+function matchesCondition(value, cond) {
+  if (cond.equals !== void 0) {
+    if (JSON.stringify(value) !== JSON.stringify(cond.equals)) return false;
+  }
+  if (cond.gte !== void 0) {
+    if (typeof value !== "number" || value < cond.gte) return false;
+  }
+  if (cond.lte !== void 0) {
+    if (typeof value !== "number" || value > cond.lte) return false;
+  }
+  return true;
+}
 
 // src/envelopes.ts
 function initializeEnvelopes(definitions) {
@@ -5605,6 +5650,7 @@ function replay(client, opts = {}) {
   let shadowEvaluationCount = 0;
   let manualFilter = null;
   const deferredReceipts = /* @__PURE__ */ new Map();
+  let deferredPhase = null;
   const contractLimits = resolveSessionLimits(contracts);
   const compiledLimits = compiledSession?.sessionLimits;
   const mergedLimits = { ...contractLimits ?? {}, ...compiledLimits ?? {} };
@@ -5741,6 +5787,7 @@ function replay(client, opts = {}) {
       total_ms: 0,
       enforcement_ms: 0
     };
+    deferredPhase = null;
     const trace = createTrace(sessionState.totalStepCount);
     const traceCtx = { trace };
     let currentTraceStage = "narrow";
@@ -6212,7 +6259,7 @@ function replay(client, opts = {}) {
             } catch {
               parsedArgs = {};
             }
-            const aggResult = speculativeCheck(tc.name, parsedArgs, workingAggregates, compiledSession.aggregates);
+            const aggResult = speculativeCheck(tc.name, parsedArgs, workingAggregates, compiledSession.aggregates, sessionState.bindings);
             if (!aggResult.passed) {
               for (const f of aggResult.failures) {
                 trace.push({
@@ -6655,11 +6702,31 @@ function replay(client, opts = {}) {
               }
             }
           }
+          const hasPhaseTransition = phaseResult?.legal && phaseResult.newPhase !== sessionState.currentPhase;
+          const shouldDeferPhase = isActiveGovern && !attemptDegraded && hasPhaseTransition;
           const prevVersionAllow = sessionState.stateVersion;
-          sessionState = finalizeExecutedStep(sessionState, completedStep, contracts, compiledSession);
+          sessionState = finalizeExecutedStep(
+            sessionState,
+            completedStep,
+            contracts,
+            compiledSession,
+            shouldDeferPhase ? { deferPhase: true } : void 0
+          );
           sessionState = recordDecisionOutcome(sessionState, "allowed");
           syncStateToStore(prevVersionAllow, sessionState);
           timing.finalize_ms += Date.now() - enforceFinalizeStart;
+          if (shouldDeferPhase && compiledSession) {
+            const advancingTools = /* @__PURE__ */ new Set();
+            for (const tc of toolCalls) {
+              const contract = compiledSession.perToolContracts.get(tc.name);
+              if (contract?.transitions?.advances_to === phaseResult.newPhase) {
+                advancingTools.add(tc.name);
+              }
+            }
+            if (advancingTools.size > 0 && phaseResult.newPhase != null) {
+              deferredPhase = { newPhase: phaseResult.newPhase, toolNames: advancingTools };
+            }
+          }
           if (isActiveGovern && !attemptDegraded && attemptPendingCalls && attemptPendingCalls.size > 0) {
             for (const [toolCallId, pending] of attemptPendingCalls) {
               deferredReceipts.set(toolCallId, {
@@ -6677,8 +6744,8 @@ function replay(client, opts = {}) {
             checked: { gate_mode: gateMode },
             found: { blocked_count: 0, action: "allow" }
           });
-          const allowNewPhase = phaseResult && phaseResult.legal && phaseResult.newPhase !== sessionState.currentPhase ? phaseResult.newPhase : sessionState.currentPhase;
-          trace.push({ stage: "finalize", tool: null, verdict: "info", reason: "cycle_complete", checked: {}, found: { state_version: sessionState.stateVersion, phase_before: completedStep.phase, phase_after: allowNewPhase, tools_committed: toolCalls.map((tc) => tc.name), tools_blocked: [], killed: false, step_index: sessionState.totalStepCount } });
+          const allowNewPhase = phaseResult && phaseResult.legal && phaseResult.newPhase !== (completedStep.phase ?? sessionState.currentPhase) ? phaseResult.newPhase : sessionState.currentPhase;
+          trace.push({ stage: "finalize", tool: null, verdict: "info", reason: "cycle_complete", checked: {}, found: { state_version: sessionState.stateVersion, phase_before: completedStep.phase, phase_after: allowNewPhase, ...shouldDeferPhase ? { phase_deferred: true } : {}, tools_committed: toolCalls.map((tc) => tc.name), tools_blocked: [], killed: false, step_index: sessionState.totalStepCount } });
           trace.complete = true;
           lastTrace = trace;
           emitDiagnostic2(diagnostics, { type: "replay_trace", session_id: sessionId, trace });
@@ -7025,6 +7092,10 @@ function replay(client, opts = {}) {
           throw new ReplayKillError(sessionId, killedAt);
         }
         const result = await executor(args);
+        if (deferredPhase && deferredPhase.toolNames.has(toolName)) {
+          sessionState = { ...sessionState, currentPhase: deferredPhase.newPhase };
+          deferredPhase = null;
+        }
         if (runtimeClient && leaseFence && !runtimeDegraded) {
           for (const [callId, deferred] of deferredReceipts) {
             if (deferred.toolName === toolName) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@replayci/replay",
-  "version": "0.1.12",
+  "version": "0.1.14",
   "description": "ReplayCI SDK for deterministic tool-call validation and observation.",
   "license": "ISC",
   "author": "ReplayCI",