@cursor/july 0.1.99 → 0.1.101

package/dist/internal/tool-policy.js

@@ -8,7 +8,7 @@
  * decision lives here, in one pure function, and every path asks it rather
  * than re-implementing it.
  */
-import { timeArgViolation } from "./as-of.js";
+import { forwardTimeArgument, missingTimeWindow, timeArgViolation, } from "./as-of.js";
 /**
  * What a stubbed write answers. Deliberately not self-describing: a model told
  * mid-turn that its writes are not real starts hedging its conclusions, and
@@ -82,12 +82,24 @@ function unclassifiedRefusal(toolName) {
 export function decideToolCall(facts) {
     // Before the dry-run split: a frozen session bounds its reads whether or
     // not its writes are stubbed.
-    if (facts.asOf !== undefined &&
-        facts.timeArgs !== undefined &&
-        facts.timeArgs.length > 0) {
-        const violation = timeArgViolation(facts.input, facts.timeArgs, facts.asOf);
-        if (violation !== undefined) {
-            return { kind: "unbounded", message: violation };
+    if (facts.asOf !== undefined) {
+        if (facts.timeArgs !== undefined && facts.timeArgs.length > 0) {
+            const violation = timeArgViolation(facts.input, facts.timeArgs, facts.asOf);
+            if (violation !== undefined) {
+                return { kind: "unbounded", message: violation };
+            }
+        }
+        const forward = forwardTimeArgument(facts.input, facts.asOf);
+        if (forward !== undefined) {
+            return { kind: "unbounded", message: forward };
+        }
+        // Present values are checked above; absent ones are the vendor's live
+        // default window, which no walker can see. Require them explicitly.
+        if (facts.timeWindow !== undefined) {
+            const omitted = missingTimeWindow(facts.input, facts.timeWindow, facts.asOf);
+            if (omitted !== undefined) {
+                return { kind: "unbounded", message: omitted };
+            }
         }
     }
     if (!facts.dryRun) {