From 2a57031bb7aa17753715389e3acd7e0b39967632 Mon Sep 17 00:00:00 2001
From: PJ <ipriyanshujain@gmail.com>
Date: Mon, 1 Jun 2026 13:49:47 +0530
Subject: [PATCH] feat(inspect): within clause on always residual node

A negated bounded eventually serializes as a bounded always; render its
bound instead of dropping it.
---
 inspect-ui/src/types.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/inspect-ui/src/types.ts b/inspect-ui/src/types.ts
index bab0ade..773d18b 100644
--- a/inspect-ui/src/types.ts
+++ b/inspect-ui/src/types.ts
@@ -103,7 +103,8 @@ export interface Exception {
 export type ResidualNode =
   | { op: "true" }
   | { op: "false" }
-  | { op: "always" | "now" | "next" | "not"; arg: ResidualNode }
+  | { op: "now" | "next" | "not"; arg: ResidualNode }
+  | { op: "always"; arg: ResidualNode; within?: { amount: number; unit: string } }
   | { op: "eventually"; arg: ResidualNode; within?: { amount: number; unit: string } }
   | { op: "and" | "or" | "implies"; left: ResidualNode; right: ResidualNode }
   | { op: "predicate"; name?: string }