@handlebar/governance-schema 0.0.6-dev.1 → 0.0.6-dev.10

package/dist/rules/condition.types.d.ts

@@ -48,6 +48,27 @@ export type ToolTagCondition = {
     op: "allOf";
     tags: string[];
 };
+/**
+ * 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[];
+};
 /**
  * Scope for execution time measurement.
  * - "tool": the single tool call duration
@@ -118,4 +139,4 @@ export type NotCondition = {
 /**
  * The full condition algebra supported by the rule engine.
  */
-export type RuleCondition = ToolNameCondition | ToolTagCondition | ExecutionTimeCondition | SequenceCondition | MaxCallsCondition | CustomFunctionCondition | AndCondition | OrCondition | NotCondition;
+export type RuleCondition = ToolNameCondition | ToolTagCondition | EndUserTagCondition | ExecutionTimeCondition | SequenceCondition | MaxCallsCondition | CustomFunctionCondition | AndCondition | OrCondition | NotCondition;

package/dist/rules/custom.d.ts

@@ -0,0 +1,12 @@
+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-serialisable payload consumed by user code
+ */
+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

@@ -0,0 +1,25 @@
+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.
+ *
+ * RuleEffect has an immediate impact on the agent run/tool action.
+ * This is in contract to side effects (yet to be defined),
+ * which would include "log" or "modify context".
+ */
+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

@@ -0,0 +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 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

@@ -0,0 +1,11 @@
+export type { Glob, JSONValue } from "./common";
+export type { RuleCondition } from "./condition";
+export type { CustomFunctionCondition } from "./custom";
+export type { RuleEffect, RuleEffectKind } from "./effects";
+export type { EndUserTagCondition } from "./enduser";
+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

@@ -0,0 +1,66 @@
+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";
+        llm_tokens_in: "llm_tokens_in";
+        llm_tokens_out: "llm_tokens_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";
+            llm_tokens_in: "llm_tokens_in";
+            llm_tokens_out: "llm_tokens_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>;