@humain/humain-code-contracts 0.3.3 → 0.4.0

package/dist/flow-events.d.ts

@@ -0,0 +1,345 @@
+import { type Static, Type } from "typebox";
+export { FlowProfileRefSchema, type FlowProfileRefV1 } from "./flow-common.ts";
+/**
+ * Privacy rule: every string in an event is an Id, a Digest, an enum literal, or an ISO timestamp.
+ * There is no free-text field, so prompts, messages and model output have no place to go. Syntax checks cannot tell
+ * semantic content, though: a path-like string can match an Id or model pattern. Producers must put only catalog
+ * provider/model identifiers in those fields (see docs/flow-contracts.md, trust boundaries).
+ */
+export declare const FLOW_EVENT_KINDS: readonly ["run_started", "size_decided", "escalated", "route_bound", "fallback", "attempt", "request_usage", "verdict", "budget", "control", "message", "run_settled"];
+export type FlowEventKind = (typeof FLOW_EVENT_KINDS)[number];
+export declare const FlowEventV1Schema: Type.TUnion<[Type.TObject<{
+    readonly schema: Type.TLiteral<"humain-flow-event">;
+    readonly schemaVersion: Type.TLiteral<1>;
+    readonly eventId: Type.TString;
+    readonly runId: Type.TString;
+    readonly seq: Type.TInteger;
+    readonly ts: Type.TRefine<Type.TString>;
+    readonly profile: Type.TObject<{
+        readonly id: Type.TString;
+        readonly version: Type.TInteger;
+        readonly digest: Type.TString;
+    }>;
+    readonly causes: Type.TArray<Type.TString>;
+    readonly kind: Type.TLiteral<"run_started">;
+    readonly payload: Type.TObject<{
+        readonly mode: Type.TUnion<[Type.TLiteral<"auto">, Type.TLiteral<"direct">]>;
+        readonly surface: Type.TUnion<[Type.TLiteral<"cli">, Type.TLiteral<"web">]>;
+        readonly admissionDigest: Type.TString;
+        readonly inputsCount: Type.TInteger;
+        readonly goalSha256: Type.TString;
+    }>;
+}>, Type.TObject<{
+    readonly schema: Type.TLiteral<"humain-flow-event">;
+    readonly schemaVersion: Type.TLiteral<1>;
+    readonly eventId: Type.TString;
+    readonly runId: Type.TString;
+    readonly seq: Type.TInteger;
+    readonly ts: Type.TRefine<Type.TString>;
+    readonly profile: Type.TObject<{
+        readonly id: Type.TString;
+        readonly version: Type.TInteger;
+        readonly digest: Type.TString;
+    }>;
+    readonly causes: Type.TArray<Type.TString>;
+    readonly kind: Type.TLiteral<"size_decided">;
+    readonly payload: Type.TObject<{
+        readonly size: Type.TUnion<[Type.TLiteral<"small">, Type.TLiteral<"medium">, Type.TLiteral<"large">]>;
+        readonly source: Type.TUnion<[Type.TLiteral<"rules">, Type.TLiteral<"triage">, Type.TLiteral<"override">]>;
+        readonly ruleScore: Type.TNumber;
+        readonly thresholds: Type.TObject<{
+            readonly mediumAt: Type.TNumber;
+            readonly largeAt: Type.TNumber;
+        }>;
+    }>;
+}>, Type.TObject<{
+    readonly schema: Type.TLiteral<"humain-flow-event">;
+    readonly schemaVersion: Type.TLiteral<1>;
+    readonly eventId: Type.TString;
+    readonly runId: Type.TString;
+    readonly seq: Type.TInteger;
+    readonly ts: Type.TRefine<Type.TString>;
+    readonly profile: Type.TObject<{
+        readonly id: Type.TString;
+        readonly version: Type.TInteger;
+        readonly digest: Type.TString;
+    }>;
+    readonly causes: Type.TArray<Type.TString>;
+    readonly kind: Type.TLiteral<"escalated">;
+    readonly payload: Type.TObject<{
+        readonly from: Type.TUnion<[Type.TLiteral<"small">, Type.TLiteral<"medium">, Type.TLiteral<"large">]>;
+        readonly to: Type.TUnion<[Type.TLiteral<"small">, Type.TLiteral<"medium">, Type.TLiteral<"large">]>;
+        readonly reasonClass: Type.TUnion<[Type.TUnion<[Type.TLiteral<"provider_error">, Type.TLiteral<"rate_limit">, Type.TLiteral<"timeout">, Type.TLiteral<"check_failed">, Type.TLiteral<"review_rejected">, Type.TLiteral<"qa_failed">, Type.TLiteral<"budget_stop">, Type.TLiteral<"cancelled">, Type.TLiteral<"crash">, Type.TLiteral<"unsafe_scope">, Type.TLiteral<"stalled">, Type.TLiteral<"config_invalid">, Type.TLiteral<"internal">]>, Type.TLiteral<"size_underestimated">]>;
+    }>;
+}>, Type.TObject<{
+    readonly schema: Type.TLiteral<"humain-flow-event">;
+    readonly schemaVersion: Type.TLiteral<1>;
+    readonly eventId: Type.TString;
+    readonly runId: Type.TString;
+    readonly seq: Type.TInteger;
+    readonly ts: Type.TRefine<Type.TString>;
+    readonly profile: Type.TObject<{
+        readonly id: Type.TString;
+        readonly version: Type.TInteger;
+        readonly digest: Type.TString;
+    }>;
+    readonly causes: Type.TArray<Type.TString>;
+    readonly kind: Type.TLiteral<"route_bound">;
+    readonly payload: Type.TObject<{
+        readonly taskId: Type.TString;
+        readonly role: Type.TUnion<[Type.TLiteral<"scout">, Type.TLiteral<"worker">, Type.TLiteral<"implementer">, Type.TLiteral<"lead">, Type.TLiteral<"lead_large">, Type.TLiteral<"architect">, Type.TLiteral<"reviewer">, Type.TLiteral<"security_reviewer">, Type.TLiteral<"qa">, Type.TLiteral<"triage">]>;
+        readonly model: Type.TObject<{
+            readonly provider: Type.TString;
+            readonly model: Type.TString;
+        }>;
+        readonly effort: Type.TUnion<[Type.TLiteral<"low">, Type.TLiteral<"medium">, Type.TLiteral<"high">]>;
+        readonly binding: Type.TUnion<[Type.TLiteral<"primary">, Type.TLiteral<"backup">]>;
+        readonly backupIndex: Type.TInteger;
+    }>;
+}>, Type.TObject<{
+    readonly schema: Type.TLiteral<"humain-flow-event">;
+    readonly schemaVersion: Type.TLiteral<1>;
+    readonly eventId: Type.TString;
+    readonly runId: Type.TString;
+    readonly seq: Type.TInteger;
+    readonly ts: Type.TRefine<Type.TString>;
+    readonly profile: Type.TObject<{
+        readonly id: Type.TString;
+        readonly version: Type.TInteger;
+        readonly digest: Type.TString;
+    }>;
+    readonly causes: Type.TArray<Type.TString>;
+    readonly kind: Type.TLiteral<"fallback">;
+    readonly payload: Type.TObject<{
+        readonly taskId: Type.TString;
+        readonly role: Type.TUnion<[Type.TLiteral<"scout">, Type.TLiteral<"worker">, Type.TLiteral<"implementer">, Type.TLiteral<"lead">, Type.TLiteral<"lead_large">, Type.TLiteral<"architect">, Type.TLiteral<"reviewer">, Type.TLiteral<"security_reviewer">, Type.TLiteral<"qa">, Type.TLiteral<"triage">]>;
+        readonly from: Type.TObject<{
+            readonly provider: Type.TString;
+            readonly model: Type.TString;
+        }>;
+        readonly to: Type.TObject<{
+            readonly provider: Type.TString;
+            readonly model: Type.TString;
+        }>;
+        readonly reasonClass: Type.TUnion<[Type.TUnion<[Type.TLiteral<"provider_error">, Type.TLiteral<"rate_limit">, Type.TLiteral<"timeout">, Type.TLiteral<"check_failed">, Type.TLiteral<"review_rejected">, Type.TLiteral<"qa_failed">, Type.TLiteral<"budget_stop">, Type.TLiteral<"cancelled">, Type.TLiteral<"crash">, Type.TLiteral<"unsafe_scope">, Type.TLiteral<"stalled">, Type.TLiteral<"config_invalid">, Type.TLiteral<"internal">]>, Type.TLiteral<"size_underestimated">]>;
+    }>;
+}>, Type.TObject<{
+    readonly schema: Type.TLiteral<"humain-flow-event">;
+    readonly schemaVersion: Type.TLiteral<1>;
+    readonly eventId: Type.TString;
+    readonly runId: Type.TString;
+    readonly seq: Type.TInteger;
+    readonly ts: Type.TRefine<Type.TString>;
+    readonly profile: Type.TObject<{
+        readonly id: Type.TString;
+        readonly version: Type.TInteger;
+        readonly digest: Type.TString;
+    }>;
+    readonly causes: Type.TArray<Type.TString>;
+    readonly kind: Type.TLiteral<"attempt">;
+    readonly payload: Type.TObject<{
+        readonly taskId: Type.TString;
+        readonly role: Type.TUnion<[Type.TLiteral<"scout">, Type.TLiteral<"worker">, Type.TLiteral<"implementer">, Type.TLiteral<"lead">, Type.TLiteral<"lead_large">, Type.TLiteral<"architect">, Type.TLiteral<"reviewer">, Type.TLiteral<"security_reviewer">, Type.TLiteral<"qa">, Type.TLiteral<"triage">]>;
+        readonly attempt: Type.TInteger;
+        readonly state: Type.TUnion<[Type.TLiteral<"started">, Type.TLiteral<"succeeded">, Type.TLiteral<"failed">, Type.TLiteral<"retried">, Type.TLiteral<"cancelled">]>;
+        readonly failureClass: Type.TOptional<Type.TUnion<[Type.TLiteral<"provider_error">, Type.TLiteral<"rate_limit">, Type.TLiteral<"timeout">, Type.TLiteral<"check_failed">, Type.TLiteral<"review_rejected">, Type.TLiteral<"qa_failed">, Type.TLiteral<"budget_stop">, Type.TLiteral<"cancelled">, Type.TLiteral<"crash">, Type.TLiteral<"unsafe_scope">, Type.TLiteral<"stalled">, Type.TLiteral<"config_invalid">, Type.TLiteral<"internal">]>>;
+    }>;
+}>, Type.TObject<{
+    readonly schema: Type.TLiteral<"humain-flow-event">;
+    readonly schemaVersion: Type.TLiteral<1>;
+    readonly eventId: Type.TString;
+    readonly runId: Type.TString;
+    readonly seq: Type.TInteger;
+    readonly ts: Type.TRefine<Type.TString>;
+    readonly profile: Type.TObject<{
+        readonly id: Type.TString;
+        readonly version: Type.TInteger;
+        readonly digest: Type.TString;
+    }>;
+    readonly causes: Type.TArray<Type.TString>;
+    readonly kind: Type.TLiteral<"request_usage">;
+    readonly payload: Type.TObject<{
+        readonly requestId: Type.TString;
+        readonly taskId: Type.TString;
+        readonly role: Type.TUnion<[Type.TLiteral<"scout">, Type.TLiteral<"worker">, Type.TLiteral<"implementer">, Type.TLiteral<"lead">, Type.TLiteral<"lead_large">, Type.TLiteral<"architect">, Type.TLiteral<"reviewer">, Type.TLiteral<"security_reviewer">, Type.TLiteral<"qa">, Type.TLiteral<"triage">]>;
+        readonly model: Type.TObject<{
+            readonly provider: Type.TString;
+            readonly model: Type.TString;
+        }>;
+        readonly inputTokens: Type.TInteger;
+        readonly outputTokens: Type.TInteger;
+        readonly cacheReadTokens: Type.TInteger;
+        readonly cacheWriteTokens: Type.TInteger;
+        readonly costMicrousd: Type.TUnion<[Type.TInteger, Type.TNull]>;
+        readonly costBasis: Type.TUnion<[Type.TLiteral<"reported">, Type.TLiteral<"estimated">, Type.TLiteral<"unknown">]>;
+        readonly durationMs: Type.TInteger;
+    }>;
+}>, Type.TObject<{
+    readonly schema: Type.TLiteral<"humain-flow-event">;
+    readonly schemaVersion: Type.TLiteral<1>;
+    readonly eventId: Type.TString;
+    readonly runId: Type.TString;
+    readonly seq: Type.TInteger;
+    readonly ts: Type.TRefine<Type.TString>;
+    readonly profile: Type.TObject<{
+        readonly id: Type.TString;
+        readonly version: Type.TInteger;
+        readonly digest: Type.TString;
+    }>;
+    readonly causes: Type.TArray<Type.TString>;
+    readonly kind: Type.TLiteral<"verdict">;
+    readonly payload: Type.TObject<{
+        readonly stage: Type.TUnion<[Type.TLiteral<"check">, Type.TLiteral<"review">, Type.TLiteral<"qa">]>;
+        readonly taskId: Type.TString;
+        readonly verdict: Type.TUnion<[Type.TLiteral<"pass">, Type.TLiteral<"fail">, Type.TLiteral<"blocked">]>;
+        readonly findingsCount: Type.TInteger;
+        readonly checkId: Type.TOptional<Type.TString>;
+    }>;
+}>, Type.TObject<{
+    readonly schema: Type.TLiteral<"humain-flow-event">;
+    readonly schemaVersion: Type.TLiteral<1>;
+    readonly eventId: Type.TString;
+    readonly runId: Type.TString;
+    readonly seq: Type.TInteger;
+    readonly ts: Type.TRefine<Type.TString>;
+    readonly profile: Type.TObject<{
+        readonly id: Type.TString;
+        readonly version: Type.TInteger;
+        readonly digest: Type.TString;
+    }>;
+    readonly causes: Type.TArray<Type.TString>;
+    readonly kind: Type.TLiteral<"budget">;
+    readonly payload: Type.TObject<{
+        readonly spentMicrousd: Type.TInteger;
+        readonly capMicrousd: Type.TInteger;
+        readonly pct: Type.TNumber;
+        readonly state: Type.TUnion<[Type.TLiteral<"ok">, Type.TLiteral<"warn">, Type.TLiteral<"stop">]>;
+    }>;
+}>, Type.TObject<{
+    readonly schema: Type.TLiteral<"humain-flow-event">;
+    readonly schemaVersion: Type.TLiteral<1>;
+    readonly eventId: Type.TString;
+    readonly runId: Type.TString;
+    readonly seq: Type.TInteger;
+    readonly ts: Type.TRefine<Type.TString>;
+    readonly profile: Type.TObject<{
+        readonly id: Type.TString;
+        readonly version: Type.TInteger;
+        readonly digest: Type.TString;
+    }>;
+    readonly causes: Type.TArray<Type.TString>;
+    readonly kind: Type.TLiteral<"control">;
+    readonly payload: Type.TObject<{
+        readonly action: Type.TUnion<[Type.TLiteral<"pause">, Type.TLiteral<"resume">, Type.TLiteral<"cancel">, Type.TLiteral<"message">, Type.TLiteral<"status">]>;
+        readonly commandId: Type.TString;
+        readonly state: Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"applied">, Type.TLiteral<"rejected">]>;
+        readonly latencyMs: Type.TInteger;
+    }>;
+}>, Type.TObject<{
+    readonly schema: Type.TLiteral<"humain-flow-event">;
+    readonly schemaVersion: Type.TLiteral<1>;
+    readonly eventId: Type.TString;
+    readonly runId: Type.TString;
+    readonly seq: Type.TInteger;
+    readonly ts: Type.TRefine<Type.TString>;
+    readonly profile: Type.TObject<{
+        readonly id: Type.TString;
+        readonly version: Type.TInteger;
+        readonly digest: Type.TString;
+    }>;
+    readonly causes: Type.TArray<Type.TString>;
+    readonly kind: Type.TLiteral<"message">;
+    readonly payload: Type.TObject<{
+        readonly messageId: Type.TString;
+        readonly disposition: Type.TUnion<[Type.TLiteral<"live">, Type.TLiteral<"queued">, Type.TLiteral<"rejected">]>;
+        readonly targetRole: Type.TUnion<[Type.TLiteral<"scout">, Type.TLiteral<"worker">, Type.TLiteral<"implementer">, Type.TLiteral<"lead">, Type.TLiteral<"lead_large">, Type.TLiteral<"architect">, Type.TLiteral<"reviewer">, Type.TLiteral<"security_reviewer">, Type.TLiteral<"qa">, Type.TLiteral<"triage">]>;
+        readonly textSha256: Type.TString;
+        readonly textLength: Type.TInteger;
+    }>;
+}>, Type.TObject<{
+    readonly schema: Type.TLiteral<"humain-flow-event">;
+    readonly schemaVersion: Type.TLiteral<1>;
+    readonly eventId: Type.TString;
+    readonly runId: Type.TString;
+    readonly seq: Type.TInteger;
+    readonly ts: Type.TRefine<Type.TString>;
+    readonly profile: Type.TObject<{
+        readonly id: Type.TString;
+        readonly version: Type.TInteger;
+        readonly digest: Type.TString;
+    }>;
+    readonly causes: Type.TArray<Type.TString>;
+    readonly kind: Type.TLiteral<"run_settled">;
+    readonly payload: Type.TObject<{
+        readonly outcome: Type.TUnion<[Type.TLiteral<"succeeded">, Type.TLiteral<"failed">, Type.TLiteral<"cancelled">, Type.TLiteral<"budget_stopped">, Type.TLiteral<"interrupted">]>;
+        readonly failureClass: Type.TOptional<Type.TUnion<[Type.TLiteral<"provider_error">, Type.TLiteral<"rate_limit">, Type.TLiteral<"timeout">, Type.TLiteral<"check_failed">, Type.TLiteral<"review_rejected">, Type.TLiteral<"qa_failed">, Type.TLiteral<"budget_stop">, Type.TLiteral<"cancelled">, Type.TLiteral<"crash">, Type.TLiteral<"unsafe_scope">, Type.TLiteral<"stalled">, Type.TLiteral<"config_invalid">, Type.TLiteral<"internal">]>>;
+        readonly settledCleanly: Type.TBoolean;
+        readonly retryOffer: Type.TArray<Type.TUnion<[Type.TLiteral<"flow">, Type.TLiteral<"direct">]>>;
+        readonly totals: Type.TObject<{
+            readonly scout: Type.TOptional<Type.TObject<{
+                readonly tokens: Type.TInteger;
+                readonly costMicrousd: Type.TInteger;
+                readonly durationMs: Type.TInteger;
+                readonly requests: Type.TInteger;
+            }>>;
+            readonly worker: Type.TOptional<Type.TObject<{
+                readonly tokens: Type.TInteger;
+                readonly costMicrousd: Type.TInteger;
+                readonly durationMs: Type.TInteger;
+                readonly requests: Type.TInteger;
+            }>>;
+            readonly implementer: Type.TOptional<Type.TObject<{
+                readonly tokens: Type.TInteger;
+                readonly costMicrousd: Type.TInteger;
+                readonly durationMs: Type.TInteger;
+                readonly requests: Type.TInteger;
+            }>>;
+            readonly lead: Type.TOptional<Type.TObject<{
+                readonly tokens: Type.TInteger;
+                readonly costMicrousd: Type.TInteger;
+                readonly durationMs: Type.TInteger;
+                readonly requests: Type.TInteger;
+            }>>;
+            readonly lead_large: Type.TOptional<Type.TObject<{
+                readonly tokens: Type.TInteger;
+                readonly costMicrousd: Type.TInteger;
+                readonly durationMs: Type.TInteger;
+                readonly requests: Type.TInteger;
+            }>>;
+            readonly architect: Type.TOptional<Type.TObject<{
+                readonly tokens: Type.TInteger;
+                readonly costMicrousd: Type.TInteger;
+                readonly durationMs: Type.TInteger;
+                readonly requests: Type.TInteger;
+            }>>;
+            readonly reviewer: Type.TOptional<Type.TObject<{
+                readonly tokens: Type.TInteger;
+                readonly costMicrousd: Type.TInteger;
+                readonly durationMs: Type.TInteger;
+                readonly requests: Type.TInteger;
+            }>>;
+            readonly security_reviewer: Type.TOptional<Type.TObject<{
+                readonly tokens: Type.TInteger;
+                readonly costMicrousd: Type.TInteger;
+                readonly durationMs: Type.TInteger;
+                readonly requests: Type.TInteger;
+            }>>;
+            readonly qa: Type.TOptional<Type.TObject<{
+                readonly tokens: Type.TInteger;
+                readonly costMicrousd: Type.TInteger;
+                readonly durationMs: Type.TInteger;
+                readonly requests: Type.TInteger;
+            }>>;
+            readonly triage: Type.TOptional<Type.TObject<{
+                readonly tokens: Type.TInteger;
+                readonly costMicrousd: Type.TInteger;
+                readonly durationMs: Type.TInteger;
+                readonly requests: Type.TInteger;
+            }>>;
+        }>;
+    }>;
+}>]>;
+export type FlowEventV1 = Static<typeof FlowEventV1Schema>;
+/** Validates a plain-data snapshot of `input` and returns the snapshot (never the caller's object). */
+export declare function parseFlowEventV1(input: unknown): FlowEventV1;
+//# sourceMappingURL=flow-events.d.ts.map

package/dist/flow-events.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"flow-events.d.ts","sourceRoot":"","sources":["../src/flow-events.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAgB,IAAI,EAAE,MAAM,SAAS,CAAC;AAqB1D,OAAO,EAAE,oBAAoB,EAAE,KAAK,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAE/E;;;;;GAKG;AAEH,eAAO,MAAM,gBAAgB,YAC5B,aAAa,EACb,cAAc,EACd,WAAW,EACX,aAAa,EACb,UAAU,EACV,SAAS,EACT,eAAe,EACf,SAAS,EACT,QAAQ,EACR,SAAS,EACT,SAAS,EACT,aAAa,CACJ,CAAC;AACX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AA2B9D,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAwH5B,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAe3D,uGAAuG;AACvG,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAE5D"}

package/dist/flow-events.js

@@ -0,0 +1,147 @@
+import { Type } from "typebox";
+import { compileFlow, FLOW_ID_PATTERN, FlowCountSchema, FlowDigestSchema, FlowFailureClassSchema, FlowIdSchema, FlowMicrousdSchema, FlowPositiveIntSchema, FlowProfileRefSchema, FlowReasonClassSchema, FlowRoleSchema, FlowSizeSchema, FlowTimestampSchema, lit, parseFlowData, partialByRole, StrictObject, } from "./flow-common.js";
+export { FlowProfileRefSchema } from "./flow-common.js";
+/**
+ * Privacy rule: every string in an event is an Id, a Digest, an enum literal, or an ISO timestamp.
+ * There is no free-text field, so prompts, messages and model output have no place to go. Syntax checks cannot tell
+ * semantic content, though: a path-like string can match an Id or model pattern. Producers must put only catalog
+ * provider/model identifiers in those fields (see docs/flow-contracts.md, trust boundaries).
+ */
+export const FLOW_EVENT_KINDS = [
+    "run_started",
+    "size_decided",
+    "escalated",
+    "route_bound",
+    "fallback",
+    "attempt",
+    "request_usage",
+    "verdict",
+    "budget",
+    "control",
+    "message",
+    "run_settled",
+];
+const Mode = lit("auto", "direct");
+const Effort = lit("low", "medium", "high");
+const EventModelRefSchema = StrictObject({ provider: FlowIdSchema, model: Type.String({ pattern: FLOW_ID_PATTERN }) });
+const event = (kind, payload) => StrictObject({
+    schema: Type.Literal("humain-flow-event"),
+    schemaVersion: Type.Literal(1),
+    eventId: FlowIdSchema,
+    runId: FlowIdSchema,
+    seq: FlowPositiveIntSchema,
+    ts: FlowTimestampSchema,
+    profile: FlowProfileRefSchema,
+    causes: Type.Array(FlowIdSchema, { maxItems: 16 }),
+    kind: Type.Literal(kind),
+    payload,
+});
+const RoleTotals = StrictObject({
+    tokens: FlowCountSchema,
+    costMicrousd: FlowMicrousdSchema,
+    durationMs: FlowCountSchema,
+    requests: FlowCountSchema,
+});
+export const FlowEventV1Schema = Type.Union([
+    event("run_started", StrictObject({
+        mode: Mode,
+        surface: lit("cli", "web"),
+        admissionDigest: FlowDigestSchema,
+        inputsCount: FlowCountSchema,
+        goalSha256: FlowDigestSchema,
+    })),
+    event("size_decided", StrictObject({
+        size: FlowSizeSchema,
+        source: lit("rules", "triage", "override"),
+        ruleScore: Type.Number({ minimum: 0, maximum: 1_000_000 }),
+        thresholds: StrictObject({
+            mediumAt: Type.Number({ minimum: 0, maximum: 1_000_000 }),
+            largeAt: Type.Number({ minimum: 0, maximum: 1_000_000 }),
+        }),
+    })),
+    event("escalated", StrictObject({ from: FlowSizeSchema, to: FlowSizeSchema, reasonClass: FlowReasonClassSchema })),
+    event("route_bound", StrictObject({
+        taskId: FlowIdSchema,
+        role: FlowRoleSchema,
+        model: EventModelRefSchema,
+        effort: Effort,
+        binding: lit("primary", "backup"),
+        backupIndex: Type.Integer({ minimum: 0, maximum: 7 }),
+    })),
+    event("fallback", StrictObject({
+        taskId: FlowIdSchema,
+        role: FlowRoleSchema,
+        from: EventModelRefSchema,
+        to: EventModelRefSchema,
+        reasonClass: FlowReasonClassSchema,
+    })),
+    event("attempt", StrictObject({
+        taskId: FlowIdSchema,
+        role: FlowRoleSchema,
+        attempt: FlowPositiveIntSchema,
+        state: lit("started", "succeeded", "failed", "retried", "cancelled"),
+        failureClass: Type.Optional(FlowFailureClassSchema),
+    })),
+    event("request_usage", StrictObject({
+        requestId: FlowIdSchema,
+        taskId: FlowIdSchema,
+        role: FlowRoleSchema,
+        model: EventModelRefSchema,
+        inputTokens: FlowCountSchema,
+        outputTokens: FlowCountSchema,
+        cacheReadTokens: FlowCountSchema,
+        cacheWriteTokens: FlowCountSchema,
+        costMicrousd: Type.Union([FlowMicrousdSchema, Type.Null()]),
+        costBasis: lit("reported", "estimated", "unknown"),
+        durationMs: FlowCountSchema,
+    })),
+    event("verdict", StrictObject({
+        stage: lit("check", "review", "qa"),
+        taskId: FlowIdSchema,
+        verdict: lit("pass", "fail", "blocked"),
+        findingsCount: FlowCountSchema,
+        checkId: Type.Optional(FlowIdSchema),
+    })),
+    event("budget", StrictObject({
+        spentMicrousd: FlowMicrousdSchema,
+        capMicrousd: FlowMicrousdSchema,
+        pct: Type.Number({ minimum: 0, maximum: 100 }),
+        state: lit("ok", "warn", "stop"),
+    })),
+    event("control", StrictObject({
+        action: lit("pause", "resume", "cancel", "message", "status"),
+        commandId: FlowIdSchema,
+        state: lit("accepted", "applied", "rejected"),
+        latencyMs: FlowCountSchema,
+    })),
+    event("message", StrictObject({
+        messageId: FlowIdSchema,
+        disposition: lit("live", "queued", "rejected"),
+        targetRole: FlowRoleSchema,
+        textSha256: FlowDigestSchema,
+        textLength: Type.Integer({ minimum: 1, maximum: 16_000 }),
+    })),
+    event("run_settled", StrictObject({
+        outcome: lit("succeeded", "failed", "cancelled", "budget_stopped", "interrupted"),
+        failureClass: Type.Optional(FlowFailureClassSchema),
+        settledCleanly: Type.Boolean(),
+        // Subset of the two retry modes offered to the user; unique, order-free (full offer = both).
+        retryOffer: Type.Array(lit("flow", "direct"), { maxItems: 2, uniqueItems: true }),
+        totals: partialByRole(RoleTotals),
+    })),
+]);
+const Validator = compileFlow(FlowEventV1Schema);
+/** `request_usage.costMicrousd` is null exactly when `costBasis` is "unknown"; never 0 for unknown. */
+function crossFieldsValid(doc) {
+    if (doc.kind === "request_usage")
+        return (doc.payload.costMicrousd === null) === (doc.payload.costBasis === "unknown");
+    return true;
+}
+function isEvent(value) {
+    return Validator.Check(value) && crossFieldsValid(value);
+}
+/** Validates a plain-data snapshot of `input` and returns the snapshot (never the caller's object). */
+export function parseFlowEventV1(input) {
+    return parseFlowData("event_invalid", input, isEvent);
+}
+//# sourceMappingURL=flow-events.js.map

package/dist/flow-events.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"flow-events.js","sourceRoot":"","sources":["../src/flow-events.ts"],"names":[],"mappings":"AAAA,OAAO,EAA6B,IAAI,EAAE,MAAM,SAAS,CAAC;AAC1D,OAAO,EACN,WAAW,EACX,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,sBAAsB,EACtB,YAAY,EACZ,kBAAkB,EAClB,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,EACrB,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,GAAG,EACH,aAAa,EACb,aAAa,EACb,YAAY,GACZ,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,oBAAoB,EAAyB,MAAM,kBAAkB,CAAC;AAE/E;;;;;GAKG;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC/B,aAAa;IACb,cAAc;IACd,WAAW;IACX,aAAa;IACb,UAAU;IACV,SAAS;IACT,eAAe;IACf,SAAS;IACT,QAAQ;IACR,SAAS;IACT,SAAS;IACT,aAAa;CACJ,CAAC;AAGX,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AACnC,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;AAC5C,MAAM,mBAAmB,GAAG,YAAY,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC,CAAC;AAEvH,MAAM,KAAK,GAAG,CAA4C,IAAO,EAAE,OAAU,EAAE,EAAE,CAChF,YAAY,CAAC;IACZ,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACzC,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9B,OAAO,EAAE,YAAY;IACrB,KAAK,EAAE,YAAY;IACnB,GAAG,EAAE,qBAAqB;IAC1B,EAAE,EAAE,mBAAmB;IACvB,OAAO,EAAE,oBAAoB;IAC7B,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAClD,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;IACxB,OAAO;CACP,CAAC,CAAC;AAEJ,MAAM,UAAU,GAAG,YAAY,CAAC;IAC/B,MAAM,EAAE,eAAe;IACvB,YAAY,EAAE,kBAAkB;IAChC,UAAU,EAAE,eAAe;IAC3B,QAAQ,EAAE,eAAe;CACzB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC3C,KAAK,CACJ,aAAa,EACb,YAAY,CAAC;QACZ,IAAI,EAAE,IAAI;QACV,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;QAC1B,eAAe,EAAE,gBAAgB;QACjC,WAAW,EAAE,eAAe;QAC5B,UAAU,EAAE,gBAAgB;KAC5B,CAAC,CACF;IACD,KAAK,CACJ,cAAc,EACd,YAAY,CAAC;QACZ,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC;QAC1C,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;QAC1D,UAAU,EAAE,YAAY,CAAC;YACxB,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;YACzD,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;SACxD,CAAC;KACF,CAAC,CACF;IACD,KAAK,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAClH,KAAK,CACJ,aAAa,EACb,YAAY,CAAC;QACZ,MAAM,EAAE,YAAY;QACpB,IAAI,EAAE,cAAc;QACpB,KAAK,EAAE,mBAAmB;QAC1B,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC;QACjC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;KACrD,CAAC,CACF;IACD,KAAK,CACJ,UAAU,EACV,YAAY,CAAC;QACZ,MAAM,EAAE,YAAY;QACpB,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,mBAAmB;QACzB,EAAE,EAAE,mBAAmB;QACvB,WAAW,EAAE,qBAAqB;KAClC,CAAC,CACF;IACD,KAAK,CACJ,SAAS,EACT,YAAY,CAAC;QACZ,MAAM,EAAE,YAAY;QACpB,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,qBAAqB;QAC9B,KAAK,EAAE,GAAG,CAAC,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC;QACpE,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,sBAAsB,CAAC;KACnD,CAAC,CACF;IACD,KAAK,CACJ,eAAe,EACf,YAAY,CAAC;QACZ,SAAS,EAAE,YAAY;QACvB,MAAM,EAAE,YAAY;QACpB,IAAI,EAAE,cAAc;QACpB,KAAK,EAAE,mBAAmB;QAC1B,WAAW,EAAE,eAAe;QAC5B,YAAY,EAAE,eAAe;QAC7B,eAAe,EAAE,eAAe;QAChC,gBAAgB,EAAE,eAAe;QACjC,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,kBAAkB,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3D,SAAS,EAAE,GAAG,CAAC,UAAU,EAAE,WAAW,EAAE,SAAS,CAAC;QAClD,UAAU,EAAE,eAAe;KAC3B,CAAC,CACF;IACD,KAAK,CACJ,SAAS,EACT,YAAY,CAAC;QACZ,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC;QACnC,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC;QACvC,aAAa,EAAE,eAAe;QAC9B,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC;KACpC,CAAC,CACF;IACD,KAAK,CACJ,QAAQ,EACR,YAAY,CAAC;QACZ,aAAa,EAAE,kBAAkB;QACjC,WAAW,EAAE,kBAAkB;QAC/B,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC9C,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC;KAChC,CAAC,CACF;IACD,KAAK,CACJ,SAAS,EACT,YAAY,CAAC;QACZ,MAAM,EAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC;QAC7D,SAAS,EAAE,YAAY;QACvB,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,SAAS,EAAE,UAAU,CAAC;QAC7C,SAAS,EAAE,eAAe;KAC1B,CAAC,CACF;IACD,KAAK,CACJ,SAAS,EACT,YAAY,CAAC;QACZ,SAAS,EAAE,YAAY;QACvB,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC;QAC9C,UAAU,EAAE,cAAc;QAC1B,UAAU,EAAE,gBAAgB;QAC5B,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;KACzD,CAAC,CACF;IACD,KAAK,CACJ,aAAa,EACb,YAAY,CAAC;QACZ,OAAO,EAAE,GAAG,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,gBAAgB,EAAE,aAAa,CAAC;QACjF,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,sBAAsB,CAAC;QACnD,cAAc,EAAE,IAAI,CAAC,OAAO,EAAE;QAC9B,6FAA6F;QAC7F,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QACjF,MAAM,EAAE,aAAa,CAAC,UAAU,CAAC;KACjC,CAAC,CACF;CACD,CAAC,CAAC;AAGH,MAAM,SAAS,GAAG,WAAW,CAAC,iBAAiB,CAAC,CAAC;AAEjD,uGAAuG;AACvG,SAAS,gBAAgB,CAAC,GAAgB;IACzC,IAAI,GAAG,CAAC,IAAI,KAAK,eAAe;QAC/B,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;IACtF,OAAO,IAAI,CAAC;AACb,CAAC;AAED,SAAS,OAAO,CAAC,KAAc;IAC9B,OAAO,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC9C,OAAO,aAAa,CAAC,eAAe,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AACvD,CAAC","sourcesContent":["import { type Static, type TSchema, Type } from \"typebox\";\nimport {\n\tcompileFlow,\n\tFLOW_ID_PATTERN,\n\tFlowCountSchema,\n\tFlowDigestSchema,\n\tFlowFailureClassSchema,\n\tFlowIdSchema,\n\tFlowMicrousdSchema,\n\tFlowPositiveIntSchema,\n\tFlowProfileRefSchema,\n\tFlowReasonClassSchema,\n\tFlowRoleSchema,\n\tFlowSizeSchema,\n\tFlowTimestampSchema,\n\tlit,\n\tparseFlowData,\n\tpartialByRole,\n\tStrictObject,\n} from \"./flow-common.ts\";\n\nexport { FlowProfileRefSchema, type FlowProfileRefV1 } from \"./flow-common.ts\";\n\n/**\n * Privacy rule: every string in an event is an Id, a Digest, an enum literal, or an ISO timestamp.\n * There is no free-text field, so prompts, messages and model output have no place to go. Syntax checks cannot tell\n * semantic content, though: a path-like string can match an Id or model pattern. Producers must put only catalog\n * provider/model identifiers in those fields (see docs/flow-contracts.md, trust boundaries).\n */\n\nexport const FLOW_EVENT_KINDS = [\n\t\"run_started\",\n\t\"size_decided\",\n\t\"escalated\",\n\t\"route_bound\",\n\t\"fallback\",\n\t\"attempt\",\n\t\"request_usage\",\n\t\"verdict\",\n\t\"budget\",\n\t\"control\",\n\t\"message\",\n\t\"run_settled\",\n] as const;\nexport type FlowEventKind = (typeof FLOW_EVENT_KINDS)[number];\n\nconst Mode = lit(\"auto\", \"direct\");\nconst Effort = lit(\"low\", \"medium\", \"high\");\nconst EventModelRefSchema = StrictObject({ provider: FlowIdSchema, model: Type.String({ pattern: FLOW_ID_PATTERN }) });\n\nconst event = <const K extends string, P extends TSchema>(kind: K, payload: P) =>\n\tStrictObject({\n\t\tschema: Type.Literal(\"humain-flow-event\"),\n\t\tschemaVersion: Type.Literal(1),\n\t\teventId: FlowIdSchema,\n\t\trunId: FlowIdSchema,\n\t\tseq: FlowPositiveIntSchema,\n\t\tts: FlowTimestampSchema,\n\t\tprofile: FlowProfileRefSchema,\n\t\tcauses: Type.Array(FlowIdSchema, { maxItems: 16 }),\n\t\tkind: Type.Literal(kind),\n\t\tpayload,\n\t});\n\nconst RoleTotals = StrictObject({\n\ttokens: FlowCountSchema,\n\tcostMicrousd: FlowMicrousdSchema,\n\tdurationMs: FlowCountSchema,\n\trequests: FlowCountSchema,\n});\n\nexport const FlowEventV1Schema = Type.Union([\n\tevent(\n\t\t\"run_started\",\n\t\tStrictObject({\n\t\t\tmode: Mode,\n\t\t\tsurface: lit(\"cli\", \"web\"),\n\t\t\tadmissionDigest: FlowDigestSchema,\n\t\t\tinputsCount: FlowCountSchema,\n\t\t\tgoalSha256: FlowDigestSchema,\n\t\t}),\n\t),\n\tevent(\n\t\t\"size_decided\",\n\t\tStrictObject({\n\t\t\tsize: FlowSizeSchema,\n\t\t\tsource: lit(\"rules\", \"triage\", \"override\"),\n\t\t\truleScore: Type.Number({ minimum: 0, maximum: 1_000_000 }),\n\t\t\tthresholds: StrictObject({\n\t\t\t\tmediumAt: Type.Number({ minimum: 0, maximum: 1_000_000 }),\n\t\t\t\tlargeAt: Type.Number({ minimum: 0, maximum: 1_000_000 }),\n\t\t\t}),\n\t\t}),\n\t),\n\tevent(\"escalated\", StrictObject({ from: FlowSizeSchema, to: FlowSizeSchema, reasonClass: FlowReasonClassSchema })),\n\tevent(\n\t\t\"route_bound\",\n\t\tStrictObject({\n\t\t\ttaskId: FlowIdSchema,\n\t\t\trole: FlowRoleSchema,\n\t\t\tmodel: EventModelRefSchema,\n\t\t\teffort: Effort,\n\t\t\tbinding: lit(\"primary\", \"backup\"),\n\t\t\tbackupIndex: Type.Integer({ minimum: 0, maximum: 7 }),\n\t\t}),\n\t),\n\tevent(\n\t\t\"fallback\",\n\t\tStrictObject({\n\t\t\ttaskId: FlowIdSchema,\n\t\t\trole: FlowRoleSchema,\n\t\t\tfrom: EventModelRefSchema,\n\t\t\tto: EventModelRefSchema,\n\t\t\treasonClass: FlowReasonClassSchema,\n\t\t}),\n\t),\n\tevent(\n\t\t\"attempt\",\n\t\tStrictObject({\n\t\t\ttaskId: FlowIdSchema,\n\t\t\trole: FlowRoleSchema,\n\t\t\tattempt: FlowPositiveIntSchema,\n\t\t\tstate: lit(\"started\", \"succeeded\", \"failed\", \"retried\", \"cancelled\"),\n\t\t\tfailureClass: Type.Optional(FlowFailureClassSchema),\n\t\t}),\n\t),\n\tevent(\n\t\t\"request_usage\",\n\t\tStrictObject({\n\t\t\trequestId: FlowIdSchema,\n\t\t\ttaskId: FlowIdSchema,\n\t\t\trole: FlowRoleSchema,\n\t\t\tmodel: EventModelRefSchema,\n\t\t\tinputTokens: FlowCountSchema,\n\t\t\toutputTokens: FlowCountSchema,\n\t\t\tcacheReadTokens: FlowCountSchema,\n\t\t\tcacheWriteTokens: FlowCountSchema,\n\t\t\tcostMicrousd: Type.Union([FlowMicrousdSchema, Type.Null()]),\n\t\t\tcostBasis: lit(\"reported\", \"estimated\", \"unknown\"),\n\t\t\tdurationMs: FlowCountSchema,\n\t\t}),\n\t),\n\tevent(\n\t\t\"verdict\",\n\t\tStrictObject({\n\t\t\tstage: lit(\"check\", \"review\", \"qa\"),\n\t\t\ttaskId: FlowIdSchema,\n\t\t\tverdict: lit(\"pass\", \"fail\", \"blocked\"),\n\t\t\tfindingsCount: FlowCountSchema,\n\t\t\tcheckId: Type.Optional(FlowIdSchema),\n\t\t}),\n\t),\n\tevent(\n\t\t\"budget\",\n\t\tStrictObject({\n\t\t\tspentMicrousd: FlowMicrousdSchema,\n\t\t\tcapMicrousd: FlowMicrousdSchema,\n\t\t\tpct: Type.Number({ minimum: 0, maximum: 100 }),\n\t\t\tstate: lit(\"ok\", \"warn\", \"stop\"),\n\t\t}),\n\t),\n\tevent(\n\t\t\"control\",\n\t\tStrictObject({\n\t\t\taction: lit(\"pause\", \"resume\", \"cancel\", \"message\", \"status\"),\n\t\t\tcommandId: FlowIdSchema,\n\t\t\tstate: lit(\"accepted\", \"applied\", \"rejected\"),\n\t\t\tlatencyMs: FlowCountSchema,\n\t\t}),\n\t),\n\tevent(\n\t\t\"message\",\n\t\tStrictObject({\n\t\t\tmessageId: FlowIdSchema,\n\t\t\tdisposition: lit(\"live\", \"queued\", \"rejected\"),\n\t\t\ttargetRole: FlowRoleSchema,\n\t\t\ttextSha256: FlowDigestSchema,\n\t\t\ttextLength: Type.Integer({ minimum: 1, maximum: 16_000 }),\n\t\t}),\n\t),\n\tevent(\n\t\t\"run_settled\",\n\t\tStrictObject({\n\t\t\toutcome: lit(\"succeeded\", \"failed\", \"cancelled\", \"budget_stopped\", \"interrupted\"),\n\t\t\tfailureClass: Type.Optional(FlowFailureClassSchema),\n\t\t\tsettledCleanly: Type.Boolean(),\n\t\t\t// Subset of the two retry modes offered to the user; unique, order-free (full offer = both).\n\t\t\tretryOffer: Type.Array(lit(\"flow\", \"direct\"), { maxItems: 2, uniqueItems: true }),\n\t\t\ttotals: partialByRole(RoleTotals),\n\t\t}),\n\t),\n]);\nexport type FlowEventV1 = Static<typeof FlowEventV1Schema>;\n\nconst Validator = compileFlow(FlowEventV1Schema);\n\n/** `request_usage.costMicrousd` is null exactly when `costBasis` is \"unknown\"; never 0 for unknown. */\nfunction crossFieldsValid(doc: FlowEventV1): boolean {\n\tif (doc.kind === \"request_usage\")\n\t\treturn (doc.payload.costMicrousd === null) === (doc.payload.costBasis === \"unknown\");\n\treturn true;\n}\n\nfunction isEvent(value: unknown): value is FlowEventV1 {\n\treturn Validator.Check(value) && crossFieldsValid(value);\n}\n\n/** Validates a plain-data snapshot of `input` and returns the snapshot (never the caller's object). */\nexport function parseFlowEventV1(input: unknown): FlowEventV1 {\n\treturn parseFlowData(\"event_invalid\", input, isEvent);\n}\n"]}