feat(agent): add typed server API tools

src/frontendAction/registry.ts

@@ -9,6 +9,10 @@ const timeRange = {
   start_time: isoTime.optional(),
   end_time: isoTime.optional(),
 };
+const requiredTimeRange = {
+  start_time: isoTime,
+  end_time: isoTime,
+};
 const locateInput = z.object({
   ids: z.array(id).min(1).max(100),
   feature_type: z.enum(["junction", "pipe", "valve", "reservoir", "pump", "tank", "conduit", "orifice", "outfall"]),
@@ -16,8 +20,8 @@ const locateInput = z.object({
 const historyInput = z.object({
   feature_infos: z.array(z.tuple([id, id])).min(1).max(100),
   data_type: z.enum(["realtime", "scheme", "none"]),
-  ...timeRange,
-}).strict().refine((value) => !value.start_time || !value.end_time || Date.parse(value.start_time) <= Date.parse(value.end_time), "start_time must not be after end_time");
+  ...requiredTimeRange,
+}).strict().refine((value) => Date.parse(value.start_time) < Date.parse(value.end_time), "start_time must precede end_time");
 const scadaInput = z.object({
   device_id: id.optional(),
   device_ids: z.array(id).min(1).max(100).optional(),