@handlebar/governance-schema 0.0.6-dev.6 → 0.0.6-dev.8

package/dist/rules/custom.d.ts

@@ -1,11 +1,12 @@
-import type { JSONValue } from "./common";
+import { z } from "zod";
 /**
  * Delegate condition evaluation to a user-defined function.
  * - `name` is resolved by the host SDK/application
- * - `args` is an opaque, JSON-serializable payload consumed by user code
+ * - `args` is an opaque, JSON-serialisable payload consumed by user code
  */
-export type CustomFunctionCondition = {
-    kind: "custom";
-    name: string;
-    args?: JSONValue;
-};
+export declare const CustomFunctionConditionSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"custom">;
+    name: z.ZodString;
+    args: z.ZodOptional<z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>, z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>>;
+}, z.core.$strict>;
+export type CustomFunctionCondition = z.infer<typeof CustomFunctionConditionSchema>;

package/dist/rules/effects.d.ts

@@ -1,4 +1,10 @@
-export type RuleEffectKind = "allow" | "hitl" | "block";
+import z from "zod";
+export declare const RuleEffectKindSchema: z.ZodEnum<{
+    allow: "allow";
+    block: "block";
+    hitl: "hitl";
+}>;
+export type RuleEffectKind = z.infer<typeof RuleEffectKindSchema>;
 /**
  * Direct impact of a rule breach.
  *
@@ -6,13 +12,14 @@ export type RuleEffectKind = "allow" | "hitl" | "block";
  * This is in contract to side effects (yet to be defined),
  * which would include "log" or "modify context".
  */
-export type RuleEffect = {
-    type: "allow";
-    reason?: string;
-} | {
-    type: "hitl";
-    reason?: string;
-} | {
-    type: "block";
-    reason?: string;
-};
+export declare const RuleEffectSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"allow">;
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"hitl">;
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"block">;
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>], "type">;
+export type RuleEffect = z.infer<typeof RuleEffectSchema>;

package/dist/rules/enduser.d.ts

@@ -1,21 +1,23 @@
+import { z } from "zod";
 /**
  * Match on arbitrary tags assigned to the enduser.
  * "enduser" in this context means the users of a Handlebar user.
  * - has: existence AND truthiness of the tag. E.g. "has:tier" would be false if "tier=0", "tier=false", or no "tier" tag exists.
  * - hasValue: tag exists and has an exact given value
  */
-export type EndUserTagCondition = {
-    kind: "enduserTag";
-    op: "has";
-    tag: string;
-} | {
-    kind: "enduserTag";
-    op: "hasValue";
-    tag: string;
-    value: string;
-} | {
-    kind: "enduserTag";
-    op: "hasValueAny";
-    tag: string;
-    values: string[];
-};
+export declare const EndUserTagConditionSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"enduserTag">;
+    op: z.ZodLiteral<"has">;
+    tag: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"enduserTag">;
+    op: z.ZodLiteral<"hasValue">;
+    tag: z.ZodString;
+    value: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"enduserTag">;
+    op: z.ZodLiteral<"hasValueAny">;
+    tag: z.ZodString;
+    values: z.ZodArray<z.ZodString>;
+}, z.core.$strict>], "op">;
+export type EndUserTagCondition = z.infer<typeof EndUserTagConditionSchema>;

package/dist/rules/index.d.ts

@@ -1,10 +1,11 @@
+export type { Glob, JSONValue } from "./common";
 export type { RuleCondition } from "./condition";
-export type { RulePhase, RuleSelector, Rule } from "./rule";
-export type { RuleEffect, RuleEffectKind } from "./effects";
-export type { RequireSubjectCondition, SignalCondition } from "./signals";
-export type { TimeGateCondition, ExecutionTimeCondition, ExecutionTimeScope } from "./time";
-export type { MetricWindowCondition } from "./metrics";
 export type { CustomFunctionCondition } from "./custom";
+export type { RuleEffect, RuleEffectKind } from "./effects";
 export type { EndUserTagCondition } from "./enduser";
-export type { MaxCallsCondition, MaxCallsSelector, SequenceCondition, ToolNameCondition, ToolTagCondition } from "./tools";
-export type { Glob, JSONValue } from "./common";
+export type { MetricWindowCondition } from "./metrics";
+export type { Rule, RulePhase, RuleSelector } from "./rule";
+export { RuleSchema, RuleSpecSchema } from "./rule";
+export type { RequireSubjectCondition, SignalBinding, SignalCondition, } from "./signals";
+export type { ExecutionTimeCondition, ExecutionTimeScope, TimeGateCondition, } from "./time";
+export type { MaxCallsCondition, MaxCallsSelector, SequenceCondition, ToolNameCondition, ToolTagCondition, } from "./tools";

package/dist/rules/metrics.d.ts

@@ -1,24 +1,62 @@
-import type { Glob } from "./common";
-import type { RuleEffectKind } from "./effects";
-type MetricRef = {
-    kind: "inbuilt";
-    key: "bytes_in" | "bytes_out" | "records_in" | "records_out" | "duration_ms";
-} | {
-    kind: "custom";
-    key: string;
-};
-export type MetricWindowCondition = {
-    kind: "metricWindow";
-    scope: "agent" | "agent_user";
-    metric: MetricRef;
-    aggregate: "sum" | "avg" | "max" | "min" | "count";
-    windowSeconds: number;
-    filter?: {
-        toolName?: Glob | Glob[];
-        toolTag?: string | string[];
-    };
-    op: "gt" | "gte" | "lt" | "lte" | "eq" | "neq";
-    value: number;
-    onMissing?: RuleEffectKind;
-};
-export {};
+import { z } from "zod";
+export declare const MetricRefSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"inbuilt">;
+    key: z.ZodEnum<{
+        bytes_in: "bytes_in";
+        bytes_out: "bytes_out";
+        duration_ms: "duration_ms";
+        records_in: "records_in";
+        records_out: "records_out";
+    }>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"custom">;
+    key: z.ZodString;
+}, z.core.$strict>], "kind">;
+export type MetricRef = z.infer<typeof MetricRefSchema>;
+export declare const MetricWindowConditionSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"metricWindow">;
+    scope: z.ZodEnum<{
+        agent: "agent";
+        agent_user: "agent_user";
+    }>;
+    metric: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"inbuilt">;
+        key: z.ZodEnum<{
+            bytes_in: "bytes_in";
+            bytes_out: "bytes_out";
+            duration_ms: "duration_ms";
+            records_in: "records_in";
+            records_out: "records_out";
+        }>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"custom">;
+        key: z.ZodString;
+    }, z.core.$strict>], "kind">;
+    aggregate: z.ZodEnum<{
+        sum: "sum";
+        avg: "avg";
+        max: "max";
+        min: "min";
+        count: "count";
+    }>;
+    windowSeconds: z.ZodNumber;
+    filter: z.ZodOptional<z.ZodObject<{
+        toolName: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]>>;
+        toolTag: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]>>;
+    }, z.core.$strict>>;
+    op: z.ZodEnum<{
+        gt: "gt";
+        gte: "gte";
+        lt: "lt";
+        lte: "lte";
+        eq: "eq";
+        neq: "neq";
+    }>;
+    value: z.ZodNumber;
+    onMissing: z.ZodOptional<z.ZodEnum<{
+        allow: "allow";
+        block: "block";
+        hitl: "hitl";
+    }>>;
+}, z.core.$strict>;
+export type MetricWindowCondition = z.infer<typeof MetricWindowConditionSchema>;