@humain/humain-code-contracts 0.4.14 → 0.4.15

package/dist/flow-events.d.ts

@@ -6,11 +6,20 @@ export { FlowProfileRefSchema, type FlowProfileRefV1 } from "./flow-common.ts";
  * 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", "warning"];
+export declare const FLOW_EVENT_KINDS: readonly ["run_started", "size_decided", "escalated", "route_bound", "fallback", "attempt", "request_usage", "verdict", "budget", "control", "message", "run_settled", "warning", "implementation_ready", "verification_started", "repair_proposed", "repair_started", "repair_finished", "repair_skipped", "verification_settled"];
 export type FlowEventKind = (typeof FLOW_EVENT_KINDS)[number];
 /** Content-free warning reasons. `preexisting_check_failures`: checks already failed identically before the run changed anything. */
 export declare const FLOW_WARNING_REASONS: readonly ["preexisting_check_failures"];
 export type FlowWarningReason = (typeof FLOW_WARNING_REASONS)[number];
+/** Per-check attribution of a verify-after check result (emitted only for runs admitted with `verification: "after"`). */
+export declare const FLOW_CHECK_ATTRIBUTIONS: readonly ["passed", "real", "pre_existing", "flaky", "deadline_limited", "unavailable"];
+export type FlowCheckAttribution = (typeof FLOW_CHECK_ATTRIBUTIONS)[number];
+export declare const FLOW_VERIFICATION_VERDICTS: readonly ["verified", "verified_with_preexisting", "checks_failing", "verification_unavailable"];
+export type FlowVerificationVerdict = (typeof FLOW_VERIFICATION_VERDICTS)[number];
+export declare const FLOW_VERIFICATION_REASONS: readonly ["no_checks", "could_not_run", "deadline", "workspace_changed", "superseded", "cancelled", "crash"];
+export type FlowVerificationReason = (typeof FLOW_VERIFICATION_REASONS)[number];
+export declare const FLOW_REPAIR_SKIP_REASONS: readonly ["user_edited", "host_denied", "grant_timeout", "no_progress", "deadline", "exhausted", "not_repairable"];
+export type FlowRepairSkipReason = (typeof FLOW_REPAIR_SKIP_REASONS)[number];
 export declare const FlowEventV1Schema: Type.TUnion<[Type.TObject<{
     readonly schema: Type.TLiteral<"humain-flow-event">;
     readonly schemaVersion: Type.TLiteral<1>;
@@ -48,7 +57,8 @@ export declare const FlowEventV1Schema: Type.TUnion<[Type.TObject<{
     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 source: Type.TUnion<[Type.TLiteral<"rules">, Type.TLiteral<"signals">, Type.TLiteral<"triage">, Type.TLiteral<"override">]>;
+        readonly basis: Type.TOptional<Type.TUnion<[Type.TLiteral<"prompt">, Type.TLiteral<"original_request">]>>;
         readonly ruleScore: Type.TNumber;
         readonly thresholds: Type.TObject<{
             readonly mediumAt: Type.TNumber;
@@ -72,7 +82,7 @@ export declare const FlowEventV1Schema: Type.TUnion<[Type.TObject<{
     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<"provider_unreachable">, 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<"review_verdict_missing">, Type.TLiteral<"verification_unavailable">, Type.TLiteral<"blocked">]>, Type.TLiteral<"size_underestimated">]>;
+        readonly reasonClass: Type.TUnion<[Type.TUnion<[Type.TLiteral<"provider_error">, Type.TLiteral<"provider_unreachable">, 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<"review_verdict_missing">, Type.TLiteral<"verification_unavailable">, Type.TLiteral<"blocked">, Type.TLiteral<"review_findings">]>, Type.TLiteral<"size_underestimated">]>;
     }>;
 }>, Type.TObject<{
     readonly schema: Type.TLiteral<"humain-flow-event">;
@@ -124,7 +134,7 @@ export declare const FlowEventV1Schema: Type.TUnion<[Type.TObject<{
             readonly provider: Type.TString;
             readonly model: Type.TString;
         }>;
-        readonly reasonClass: Type.TUnion<[Type.TUnion<[Type.TLiteral<"provider_error">, Type.TLiteral<"provider_unreachable">, 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<"review_verdict_missing">, Type.TLiteral<"verification_unavailable">, Type.TLiteral<"blocked">]>, Type.TLiteral<"size_underestimated">]>;
+        readonly reasonClass: Type.TUnion<[Type.TUnion<[Type.TLiteral<"provider_error">, Type.TLiteral<"provider_unreachable">, 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<"review_verdict_missing">, Type.TLiteral<"verification_unavailable">, Type.TLiteral<"blocked">, Type.TLiteral<"review_findings">]>, Type.TLiteral<"size_underestimated">]>;
     }>;
 }>, Type.TObject<{
     readonly schema: Type.TLiteral<"humain-flow-event">;
@@ -145,7 +155,7 @@ export declare const FlowEventV1Schema: Type.TUnion<[Type.TObject<{
         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<"provider_unreachable">, 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<"review_verdict_missing">, Type.TLiteral<"verification_unavailable">, Type.TLiteral<"blocked">]>>;
+        readonly failureClass: Type.TOptional<Type.TUnion<[Type.TLiteral<"provider_error">, Type.TLiteral<"provider_unreachable">, 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<"review_verdict_missing">, Type.TLiteral<"verification_unavailable">, Type.TLiteral<"blocked">, Type.TLiteral<"review_findings">]>>;
     }>;
 }>, Type.TObject<{
     readonly schema: Type.TLiteral<"humain-flow-event">;
@@ -197,6 +207,8 @@ export declare const FlowEventV1Schema: Type.TUnion<[Type.TObject<{
         readonly verdict: Type.TUnion<[Type.TLiteral<"pass">, Type.TLiteral<"fail">, Type.TLiteral<"blocked">]>;
         readonly findingsCount: Type.TInteger;
         readonly checkId: Type.TOptional<Type.TString>;
+        readonly round: Type.TOptional<Type.TInteger>;
+        readonly attribution: Type.TOptional<Type.TUnion<[Type.TLiteral<"passed">, Type.TLiteral<"real">, Type.TLiteral<"pre_existing">, Type.TLiteral<"flaky">, Type.TLiteral<"deadline_limited">, Type.TLiteral<"unavailable">]>>;
     }>;
 }>, Type.TObject<{
     readonly schema: Type.TLiteral<"humain-flow-event">;
@@ -275,7 +287,7 @@ export declare const FlowEventV1Schema: Type.TUnion<[Type.TObject<{
     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<"provider_unreachable">, 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<"review_verdict_missing">, Type.TLiteral<"verification_unavailable">, Type.TLiteral<"blocked">]>>;
+        readonly failureClass: Type.TOptional<Type.TUnion<[Type.TLiteral<"provider_error">, Type.TLiteral<"provider_unreachable">, 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<"review_verdict_missing">, Type.TLiteral<"verification_unavailable">, Type.TLiteral<"blocked">, Type.TLiteral<"review_findings">]>>;
         readonly settledCleanly: Type.TBoolean;
         readonly retryOffer: Type.TArray<Type.TUnion<[Type.TLiteral<"flow">, Type.TLiteral<"direct">]>>;
         readonly totals: Type.TObject<{
@@ -340,6 +352,11 @@ export declare const FlowEventV1Schema: Type.TUnion<[Type.TObject<{
                 readonly requests: Type.TInteger;
             }>>;
         }>;
+        readonly checkCache: Type.TOptional<Type.TObject<{
+            readonly hits: Type.TInteger;
+            readonly misses: Type.TInteger;
+            readonly savedMs: Type.TInteger;
+        }>>;
     }>;
 }>, Type.TObject<{
     readonly schema: Type.TLiteral<"humain-flow-event">;
@@ -359,6 +376,150 @@ export declare const FlowEventV1Schema: Type.TUnion<[Type.TObject<{
         readonly reason: Type.TUnion<[Type.TLiteral<"preexisting_check_failures">]>;
         readonly checkIds: Type.TArray<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<"implementation_ready">;
+    readonly payload: Type.TObject<{
+        readonly taskId: Type.TString;
+        readonly round: Type.TInteger;
+        readonly treeDigest: Type.TString;
+        readonly filesChangedCount: 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<"verification_started">;
+    readonly payload: Type.TObject<{
+        readonly round: Type.TInteger;
+        readonly checksCount: Type.TInteger;
+        readonly scope: Type.TUnion<[Type.TLiteral<"scoped">, Type.TLiteral<"full">]>;
+        readonly budgetMs: Type.TInteger;
+        readonly cachedBaselines: 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<"repair_proposed">;
+    readonly payload: Type.TObject<{
+        readonly round: Type.TInteger;
+        readonly checkIds: Type.TArray<Type.TString>;
+        readonly treeDigest: 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<"repair_started">;
+    readonly payload: Type.TObject<{
+        readonly round: Type.TInteger;
+        readonly taskId: Type.TString;
+        readonly trigger: Type.TUnion<[Type.TLiteral<"auto">]>;
+    }>;
+}>, 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<"repair_finished">;
+    readonly payload: Type.TObject<{
+        readonly round: Type.TInteger;
+        readonly state: Type.TUnion<[Type.TLiteral<"kept">, Type.TLiteral<"reverted">, Type.TLiteral<"failed">, Type.TLiteral<"cancelled">]>;
+        readonly treeDigest: 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<"repair_skipped">;
+    readonly payload: Type.TObject<{
+        readonly round: Type.TInteger;
+        readonly reason: Type.TUnion<[Type.TLiteral<"user_edited">, Type.TLiteral<"host_denied">, Type.TLiteral<"grant_timeout">, Type.TLiteral<"no_progress">, Type.TLiteral<"deadline">, Type.TLiteral<"exhausted">, Type.TLiteral<"not_repairable">]>;
+    }>;
+}>, 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<"verification_settled">;
+    readonly payload: Type.TObject<{
+        readonly verdict: Type.TUnion<[Type.TLiteral<"verified">, Type.TLiteral<"verified_with_preexisting">, Type.TLiteral<"checks_failing">, Type.TLiteral<"verification_unavailable">]>;
+        readonly reason: Type.TOptional<Type.TUnion<[Type.TLiteral<"no_checks">, Type.TLiteral<"could_not_run">, Type.TLiteral<"deadline">, Type.TLiteral<"workspace_changed">, Type.TLiteral<"superseded">, Type.TLiteral<"cancelled">, Type.TLiteral<"crash">]>>;
+        readonly counts: Type.TObject<{
+            readonly passed: Type.TInteger;
+            readonly real: Type.TInteger;
+            readonly preExisting: Type.TInteger;
+            readonly flaky: Type.TInteger;
+            readonly deadlineLimited: Type.TInteger;
+            readonly unavailable: Type.TInteger;
+        }>;
+        readonly repairRounds: Type.TInteger;
+        readonly readyToVerdictMs: Type.TInteger;
+    }>;
 }>]>;
 export type FlowEventV1 = Static<typeof FlowEventV1Schema>;
 /** Validates a plain-data snapshot of `input` and returns the snapshot (never the caller's object). */

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

@@ -1 +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,EACb,SAAS,CACA,CAAC;AACX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9D,qIAAqI;AACrI,eAAO,MAAM,oBAAoB,YAAI,4BAA4B,CAAU,CAAC;AAC5E,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AA2BtE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAgI5B,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAe3D,uGAAuG;AACvG,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAE5D"}
+{"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,EACb,SAAS,EACT,sBAAsB,EACtB,sBAAsB,EACtB,iBAAiB,EACjB,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,sBAAsB,CACb,CAAC;AACX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9D,qIAAqI;AACrI,eAAO,MAAM,oBAAoB,YAAI,4BAA4B,CAAU,CAAC;AAC5E,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEtE,0HAA0H;AAC1H,eAAO,MAAM,uBAAuB,YACnC,QAAQ,EACR,MAAM,EACN,cAAc,EACd,OAAO,EACP,kBAAkB,EAClB,aAAa,CACJ,CAAC;AACX,MAAM,MAAM,oBAAoB,GAAG,CAAC,OAAO,uBAAuB,CAAC,CAAC,MAAM,CAAC,CAAC;AAC5E,eAAO,MAAM,0BAA0B,YACtC,UAAU,EACV,2BAA2B,EAC3B,gBAAgB,EAChB,0BAA0B,CACjB,CAAC;AACX,MAAM,MAAM,uBAAuB,GAAG,CAAC,OAAO,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC;AAClF,eAAO,MAAM,yBAAyB,YACrC,WAAW,EACX,eAAe,EACf,UAAU,EACV,mBAAmB,EACnB,YAAY,EACZ,WAAW,EACX,OAAO,CACE,CAAC;AACX,MAAM,MAAM,sBAAsB,GAAG,CAAC,OAAO,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC;AAChF,eAAO,MAAM,wBAAwB,YACpC,aAAa,EACb,aAAa,EACb,eAAe,EACf,aAAa,EACb,UAAU,EACV,WAAW,EACX,gBAAgB,CACP,CAAC;AACX,MAAM,MAAM,oBAAoB,GAAG,CAAC,OAAO,wBAAwB,CAAC,CAAC,MAAM,CAAC,CAAC;AA6B7E,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAgM5B,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

@@ -21,10 +21,52 @@ export const FLOW_EVENT_KINDS = [
     "message",
     "run_settled",
     "warning",
+    "implementation_ready",
+    "verification_started",
+    "repair_proposed",
+    "repair_started",
+    "repair_finished",
+    "repair_skipped",
+    "verification_settled",
 ];
 /** Content-free warning reasons. `preexisting_check_failures`: checks already failed identically before the run changed anything. */
 export const FLOW_WARNING_REASONS = ["preexisting_check_failures"];
+/** Per-check attribution of a verify-after check result (emitted only for runs admitted with `verification: "after"`). */
+export const FLOW_CHECK_ATTRIBUTIONS = [
+    "passed",
+    "real",
+    "pre_existing",
+    "flaky",
+    "deadline_limited",
+    "unavailable",
+];
+export const FLOW_VERIFICATION_VERDICTS = [
+    "verified",
+    "verified_with_preexisting",
+    "checks_failing",
+    "verification_unavailable",
+];
+export const FLOW_VERIFICATION_REASONS = [
+    "no_checks",
+    "could_not_run",
+    "deadline",
+    "workspace_changed",
+    "superseded",
+    "cancelled",
+    "crash",
+];
+export const FLOW_REPAIR_SKIP_REASONS = [
+    "user_edited",
+    "host_denied",
+    "grant_timeout",
+    "no_progress",
+    "deadline",
+    "exhausted",
+    "not_repairable",
+];
 const Mode = lit("auto", "direct");
+const Round = Type.Integer({ minimum: 0, maximum: 4 });
+const RepairRound = Type.Integer({ minimum: 1, maximum: 4 });
 const Effort = lit("low", "medium", "high");
 const EventModelRefSchema = StrictObject({ provider: FlowIdSchema, model: Type.String({ pattern: FLOW_ID_PATTERN }) });
 const event = (kind, payload) => StrictObject({
@@ -55,7 +97,8 @@ export const FlowEventV1Schema = Type.Union([
     })),
     event("size_decided", StrictObject({
         size: FlowSizeSchema,
-        source: lit("rules", "triage", "override"),
+        source: lit("rules", "signals", "triage", "override"),
+        basis: Type.Optional(lit("prompt", "original_request")),
         ruleScore: Type.Number({ minimum: 0, maximum: 1_000_000 }),
         thresholds: StrictObject({
             mediumAt: Type.Number({ minimum: 0, maximum: 1_000_000 }),
@@ -104,6 +147,9 @@ export const FlowEventV1Schema = Type.Union([
         verdict: lit("pass", "fail", "blocked"),
         findingsCount: FlowCountSchema,
         checkId: Type.Optional(FlowIdSchema),
+        // verify-after only: the check round and its attribution, emitted once the check is attributed.
+        round: Type.Optional(Round),
+        attribution: Type.Optional(lit(...FLOW_CHECK_ATTRIBUTIONS)),
     })),
     event("budget", StrictObject({
         spentMicrousd: FlowMicrousdSchema,
@@ -131,12 +177,55 @@ export const FlowEventV1Schema = Type.Union([
         // 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),
+        // Baseline check cache counts (pristine-tree results reused across runs); counts only, never check identities.
+        checkCache: Type.Optional(StrictObject({ hits: FlowCountSchema, misses: FlowCountSchema, savedMs: FlowCountSchema })),
     })),
     event("warning", StrictObject({
         reason: lit(...FLOW_WARNING_REASONS),
         // Opaque check ids (the same ids `verdict.checkId` uses), never check names or commands.
         checkIds: Type.Array(FlowIdSchema, { minItems: 1, maxItems: 16, uniqueItems: true }),
     })),
+    // verify-after kinds: emitted only for runs whose admission or profile requests `verification: "after"`.
+    // `treeDigest` is sha256 of the candidate tree identity, never a path.
+    event("implementation_ready", StrictObject({
+        taskId: FlowIdSchema,
+        round: Round,
+        treeDigest: FlowDigestSchema,
+        filesChangedCount: FlowCountSchema,
+    })),
+    event("verification_started", StrictObject({
+        round: Round,
+        checksCount: FlowCountSchema,
+        scope: lit("scoped", "full"),
+        budgetMs: FlowCountSchema,
+        cachedBaselines: FlowCountSchema,
+    })),
+    event("repair_proposed", StrictObject({
+        round: RepairRound,
+        checkIds: Type.Array(FlowIdSchema, { minItems: 1, maxItems: 16, uniqueItems: true }),
+        treeDigest: FlowDigestSchema,
+    })),
+    event("repair_started", StrictObject({ round: RepairRound, taskId: FlowIdSchema, trigger: lit("auto") })),
+    event("repair_finished", StrictObject({
+        round: RepairRound,
+        state: lit("kept", "reverted", "failed", "cancelled"),
+        treeDigest: FlowDigestSchema,
+    })),
+    event("repair_skipped", StrictObject({ round: RepairRound, reason: lit(...FLOW_REPAIR_SKIP_REASONS) })),
+    event("verification_settled", StrictObject({
+        verdict: lit(...FLOW_VERIFICATION_VERDICTS),
+        reason: Type.Optional(lit(...FLOW_VERIFICATION_REASONS)),
+        counts: StrictObject({
+            passed: FlowCountSchema,
+            real: FlowCountSchema,
+            preExisting: FlowCountSchema,
+            flaky: FlowCountSchema,
+            deadlineLimited: FlowCountSchema,
+            unavailable: FlowCountSchema,
+        }),
+        repairRounds: Round,
+        readyToVerdictMs: FlowCountSchema,
+    })),
 ]);
 const Validator = compileFlow(FlowEventV1Schema);
 /** `request_usage.costMicrousd` is null exactly when `costBasis` is "unknown"; never 0 for unknown. */

package/dist/flow-events.js.map

@@ -1 +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;IACb,SAAS;CACA,CAAC;AAGX,qIAAqI;AACrI,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,4BAA4B,CAAU,CAAC;AAG5E,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,EAAE,eAAe,CAAC;QAClD,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;IACD,KAAK,CACJ,SAAS,EACT,YAAY,CAAC;QACZ,MAAM,EAAE,GAAG,CAAC,GAAG,oBAAoB,CAAC;QACpC,yFAAyF;QACzF,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;KACpF,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\t\"warning\",\n] as const;\nexport type FlowEventKind = (typeof FLOW_EVENT_KINDS)[number];\n\n/** Content-free warning reasons. `preexisting_check_failures`: checks already failed identically before the run changed anything. */\nexport const FLOW_WARNING_REASONS = [\"preexisting_check_failures\"] as const;\nexport type FlowWarningReason = (typeof FLOW_WARNING_REASONS)[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\", \"lead_selected\"),\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\tevent(\n\t\t\"warning\",\n\t\tStrictObject({\n\t\t\treason: lit(...FLOW_WARNING_REASONS),\n\t\t\t// Opaque check ids (the same ids `verdict.checkId` uses), never check names or commands.\n\t\t\tcheckIds: Type.Array(FlowIdSchema, { minItems: 1, maxItems: 16, uniqueItems: true }),\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"]}
+{"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;IACb,SAAS;IACT,sBAAsB;IACtB,sBAAsB;IACtB,iBAAiB;IACjB,gBAAgB;IAChB,iBAAiB;IACjB,gBAAgB;IAChB,sBAAsB;CACb,CAAC;AAGX,qIAAqI;AACrI,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,4BAA4B,CAAU,CAAC;AAG5E,0HAA0H;AAC1H,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACtC,QAAQ;IACR,MAAM;IACN,cAAc;IACd,OAAO;IACP,kBAAkB;IAClB,aAAa;CACJ,CAAC;AAEX,MAAM,CAAC,MAAM,0BAA0B,GAAG;IACzC,UAAU;IACV,2BAA2B;IAC3B,gBAAgB;IAChB,0BAA0B;CACjB,CAAC;AAEX,MAAM,CAAC,MAAM,yBAAyB,GAAG;IACxC,WAAW;IACX,eAAe;IACf,UAAU;IACV,mBAAmB;IACnB,YAAY;IACZ,WAAW;IACX,OAAO;CACE,CAAC;AAEX,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACvC,aAAa;IACb,aAAa;IACb,eAAe;IACf,aAAa;IACb,UAAU;IACV,WAAW;IACX,gBAAgB;CACP,CAAC;AAGX,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AACnC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;AACvD,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;AAC7D,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,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC;QACrD,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;QACvD,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,EAAE,eAAe,CAAC;QAClD,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;QACpC,gGAAgG;QAChG,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAC3B,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,uBAAuB,CAAC,CAAC;KAC3D,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;QACjC,+GAA+G;QAC/G,UAAU,EAAE,IAAI,CAAC,QAAQ,CACxB,YAAY,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAC1F;KACD,CAAC,CACF;IACD,KAAK,CACJ,SAAS,EACT,YAAY,CAAC;QACZ,MAAM,EAAE,GAAG,CAAC,GAAG,oBAAoB,CAAC;QACpC,yFAAyF;QACzF,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;KACpF,CAAC,CACF;IACD,yGAAyG;IACzG,uEAAuE;IACvE,KAAK,CACJ,sBAAsB,EACtB,YAAY,CAAC;QACZ,MAAM,EAAE,YAAY;QACpB,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,gBAAgB;QAC5B,iBAAiB,EAAE,eAAe;KAClC,CAAC,CACF;IACD,KAAK,CACJ,sBAAsB,EACtB,YAAY,CAAC;QACZ,KAAK,EAAE,KAAK;QACZ,WAAW,EAAE,eAAe;QAC5B,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC5B,QAAQ,EAAE,eAAe;QACzB,eAAe,EAAE,eAAe;KAChC,CAAC,CACF;IACD,KAAK,CACJ,iBAAiB,EACjB,YAAY,CAAC;QACZ,KAAK,EAAE,WAAW;QAClB,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QACpF,UAAU,EAAE,gBAAgB;KAC5B,CAAC,CACF;IACD,KAAK,CAAC,gBAAgB,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACzG,KAAK,CACJ,iBAAiB,EACjB,YAAY,CAAC;QACZ,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,CAAC;QACrD,UAAU,EAAE,gBAAgB;KAC5B,CAAC,CACF;IACD,KAAK,CAAC,gBAAgB,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,CAAC,GAAG,wBAAwB,CAAC,EAAE,CAAC,CAAC;IACvG,KAAK,CACJ,sBAAsB,EACtB,YAAY,CAAC;QACZ,OAAO,EAAE,GAAG,CAAC,GAAG,0BAA0B,CAAC;QAC3C,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,yBAAyB,CAAC,CAAC;QACxD,MAAM,EAAE,YAAY,CAAC;YACpB,MAAM,EAAE,eAAe;YACvB,IAAI,EAAE,eAAe;YACrB,WAAW,EAAE,eAAe;YAC5B,KAAK,EAAE,eAAe;YACtB,eAAe,EAAE,eAAe;YAChC,WAAW,EAAE,eAAe;SAC5B,CAAC;QACF,YAAY,EAAE,KAAK;QACnB,gBAAgB,EAAE,eAAe;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\t\"warning\",\n\t\"implementation_ready\",\n\t\"verification_started\",\n\t\"repair_proposed\",\n\t\"repair_started\",\n\t\"repair_finished\",\n\t\"repair_skipped\",\n\t\"verification_settled\",\n] as const;\nexport type FlowEventKind = (typeof FLOW_EVENT_KINDS)[number];\n\n/** Content-free warning reasons. `preexisting_check_failures`: checks already failed identically before the run changed anything. */\nexport const FLOW_WARNING_REASONS = [\"preexisting_check_failures\"] as const;\nexport type FlowWarningReason = (typeof FLOW_WARNING_REASONS)[number];\n\n/** Per-check attribution of a verify-after check result (emitted only for runs admitted with `verification: \"after\"`). */\nexport const FLOW_CHECK_ATTRIBUTIONS = [\n\t\"passed\",\n\t\"real\",\n\t\"pre_existing\",\n\t\"flaky\",\n\t\"deadline_limited\",\n\t\"unavailable\",\n] as const;\nexport type FlowCheckAttribution = (typeof FLOW_CHECK_ATTRIBUTIONS)[number];\nexport const FLOW_VERIFICATION_VERDICTS = [\n\t\"verified\",\n\t\"verified_with_preexisting\",\n\t\"checks_failing\",\n\t\"verification_unavailable\",\n] as const;\nexport type FlowVerificationVerdict = (typeof FLOW_VERIFICATION_VERDICTS)[number];\nexport const FLOW_VERIFICATION_REASONS = [\n\t\"no_checks\",\n\t\"could_not_run\",\n\t\"deadline\",\n\t\"workspace_changed\",\n\t\"superseded\",\n\t\"cancelled\",\n\t\"crash\",\n] as const;\nexport type FlowVerificationReason = (typeof FLOW_VERIFICATION_REASONS)[number];\nexport const FLOW_REPAIR_SKIP_REASONS = [\n\t\"user_edited\",\n\t\"host_denied\",\n\t\"grant_timeout\",\n\t\"no_progress\",\n\t\"deadline\",\n\t\"exhausted\",\n\t\"not_repairable\",\n] as const;\nexport type FlowRepairSkipReason = (typeof FLOW_REPAIR_SKIP_REASONS)[number];\n\nconst Mode = lit(\"auto\", \"direct\");\nconst Round = Type.Integer({ minimum: 0, maximum: 4 });\nconst RepairRound = Type.Integer({ minimum: 1, maximum: 4 });\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\", \"signals\", \"triage\", \"override\"),\n\t\t\tbasis: Type.Optional(lit(\"prompt\", \"original_request\")),\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\", \"lead_selected\"),\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\t// verify-after only: the check round and its attribution, emitted once the check is attributed.\n\t\t\tround: Type.Optional(Round),\n\t\t\tattribution: Type.Optional(lit(...FLOW_CHECK_ATTRIBUTIONS)),\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\t// Baseline check cache counts (pristine-tree results reused across runs); counts only, never check identities.\n\t\t\tcheckCache: Type.Optional(\n\t\t\t\tStrictObject({ hits: FlowCountSchema, misses: FlowCountSchema, savedMs: FlowCountSchema }),\n\t\t\t),\n\t\t}),\n\t),\n\tevent(\n\t\t\"warning\",\n\t\tStrictObject({\n\t\t\treason: lit(...FLOW_WARNING_REASONS),\n\t\t\t// Opaque check ids (the same ids `verdict.checkId` uses), never check names or commands.\n\t\t\tcheckIds: Type.Array(FlowIdSchema, { minItems: 1, maxItems: 16, uniqueItems: true }),\n\t\t}),\n\t),\n\t// verify-after kinds: emitted only for runs whose admission or profile requests `verification: \"after\"`.\n\t// `treeDigest` is sha256 of the candidate tree identity, never a path.\n\tevent(\n\t\t\"implementation_ready\",\n\t\tStrictObject({\n\t\t\ttaskId: FlowIdSchema,\n\t\t\tround: Round,\n\t\t\ttreeDigest: FlowDigestSchema,\n\t\t\tfilesChangedCount: FlowCountSchema,\n\t\t}),\n\t),\n\tevent(\n\t\t\"verification_started\",\n\t\tStrictObject({\n\t\t\tround: Round,\n\t\t\tchecksCount: FlowCountSchema,\n\t\t\tscope: lit(\"scoped\", \"full\"),\n\t\t\tbudgetMs: FlowCountSchema,\n\t\t\tcachedBaselines: FlowCountSchema,\n\t\t}),\n\t),\n\tevent(\n\t\t\"repair_proposed\",\n\t\tStrictObject({\n\t\t\tround: RepairRound,\n\t\t\tcheckIds: Type.Array(FlowIdSchema, { minItems: 1, maxItems: 16, uniqueItems: true }),\n\t\t\ttreeDigest: FlowDigestSchema,\n\t\t}),\n\t),\n\tevent(\"repair_started\", StrictObject({ round: RepairRound, taskId: FlowIdSchema, trigger: lit(\"auto\") })),\n\tevent(\n\t\t\"repair_finished\",\n\t\tStrictObject({\n\t\t\tround: RepairRound,\n\t\t\tstate: lit(\"kept\", \"reverted\", \"failed\", \"cancelled\"),\n\t\t\ttreeDigest: FlowDigestSchema,\n\t\t}),\n\t),\n\tevent(\"repair_skipped\", StrictObject({ round: RepairRound, reason: lit(...FLOW_REPAIR_SKIP_REASONS) })),\n\tevent(\n\t\t\"verification_settled\",\n\t\tStrictObject({\n\t\t\tverdict: lit(...FLOW_VERIFICATION_VERDICTS),\n\t\t\treason: Type.Optional(lit(...FLOW_VERIFICATION_REASONS)),\n\t\t\tcounts: StrictObject({\n\t\t\t\tpassed: FlowCountSchema,\n\t\t\t\treal: FlowCountSchema,\n\t\t\t\tpreExisting: FlowCountSchema,\n\t\t\t\tflaky: FlowCountSchema,\n\t\t\t\tdeadlineLimited: FlowCountSchema,\n\t\t\t\tunavailable: FlowCountSchema,\n\t\t\t}),\n\t\t\trepairRounds: Round,\n\t\t\treadyToVerdictMs: FlowCountSchema,\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"]}

package/dist/flow-profile.d.ts

@@ -207,6 +207,8 @@ export declare const FlowProfileV1Schema: TObject<{
             readonly largeAt: Type.TNumber;
         }>;
         readonly triageRole: Type.TLiteral<"triage">;
+        /** Opt in to the LLM triage call for rules-large runs. Default off: size comes from rules and repo signals. */
+        readonly triage: TOptional<Type.TBoolean>;
         readonly maxEscalations: Type.TUnion<[Type.TLiteral<0>, Type.TLiteral<1>]>;
     }>>;
     readonly limits: TObject<{
@@ -216,7 +218,17 @@ export declare const FlowProfileV1Schema: TObject<{
         readonly maxRetries: Type.TInteger;
         readonly inactivityMs: Type.TInteger;
         readonly ciWaitMs: Type.TInteger;
+        /** Wall-clock budget for the whole run; checks are capped by what remains and the run settles at it. */
+        readonly runDeadlineMs: TOptional<Type.TInteger>;
+        /** Repair rounds a SMALL/MEDIUM run may spend on real deterministic check failures (default 2). */
+        readonly repairRounds: TOptional<Type.TInteger>;
+        /** verify-after: wall-clock budget for verification and repair, measured from `implementation_ready` (default 15 min). */
+        readonly verifyBudgetMs: TOptional<Type.TInteger>;
     }>;
+    /** `after` publishes the result before verification finishes (verify-after); default `inline`. */
+    readonly verification: TOptional<TObject<{
+        readonly mode: Type.TUnion<[Type.TLiteral<"inline">, Type.TLiteral<"after">]>;
+    }>>;
     readonly spend: TObject<{
         readonly runCapMicrousd: Type.TInteger;
         readonly warnAtPct: Type.TInteger;

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

@@ -1 +1 @@
-{"version":3,"file":"flow-profile.d.ts","sourceRoot":"","sources":["../src/flow-profile.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,OAAO,EAAE,KAAK,SAAS,EAAgB,IAAI,EAAE,MAAM,SAAS,CAAC;AACxF,OAAO,EAIN,KAAK,gBAAgB,EAcrB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,oBAAoB,EAAE,KAAK,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAE/E,eAAO,MAAM,gBAAgB,qFAAkF,CAAC;AAEhH,eAAO,MAAM,qBAAqB;;;;;;;;;;EAIhC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAErE,kEAAkE;AAClE,eAAO,MAAM,0BAA0B,YAAI,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,CAAU,CAAC;AAC3F,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC;AAE5E,wHAAwH;AACxH,eAAO,MAAM,iCAAiC,YAC7C,OAAO,EACP,aAAa,EACb,QAAQ,EACR,qBAAqB,EACrB,cAAc,EACd,gBAAgB,EAChB,YAAY,EACZ,MAAM,EACN,YAAY,EACZ,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,EACpB,kBAAkB,EAClB,oBAAoB,EACpB,qBAAqB,EACrB,UAAU,EACV,iBAAiB,EACjB,WAAW,EACX,iBAAiB,EACjB,QAAQ,CACC,CAAC;AACX,MAAM,MAAM,uBAAuB,GAAG,CAAC,OAAO,iCAAiC,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzF,eAAO,MAAM,yBAAyB,mLAAiE,CAAC;AAExG,sGAAsG;AACtG,eAAO,MAAM,uBAAuB;;;;;;;;;EAGlC,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAEzE,eAAO,MAAM,6BAA6B;;;;;;;;;;EAIxC,CAAC;AACH,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAAC,OAAO,6BAA6B,CAAC,CAAC;AAKrF,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;EAWnC,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE3E,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAyC9B,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAK/D,6FAA6F;AAC7F,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,aAAa,GAAG,MAAM,CAEjE;AAiCD;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,CAErE;AAED,sHAAsH;AACtH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,gBAAgB,GAAG,aAAa,CAM1F"}
+{"version":3,"file":"flow-profile.d.ts","sourceRoot":"","sources":["../src/flow-profile.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,OAAO,EAAE,KAAK,SAAS,EAAgB,IAAI,EAAE,MAAM,SAAS,CAAC;AACxF,OAAO,EAIN,KAAK,gBAAgB,EAcrB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,oBAAoB,EAAE,KAAK,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAE/E,eAAO,MAAM,gBAAgB,qFAAkF,CAAC;AAEhH,eAAO,MAAM,qBAAqB;;;;;;;;;;EAIhC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAErE,kEAAkE;AAClE,eAAO,MAAM,0BAA0B,YAAI,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,CAAU,CAAC;AAC3F,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC;AAE5E,wHAAwH;AACxH,eAAO,MAAM,iCAAiC,YAC7C,OAAO,EACP,aAAa,EACb,QAAQ,EACR,qBAAqB,EACrB,cAAc,EACd,gBAAgB,EAChB,YAAY,EACZ,MAAM,EACN,YAAY,EACZ,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,EACpB,kBAAkB,EAClB,oBAAoB,EACpB,qBAAqB,EACrB,UAAU,EACV,iBAAiB,EACjB,WAAW,EACX,iBAAiB,EACjB,QAAQ,CACC,CAAC;AACX,MAAM,MAAM,uBAAuB,GAAG,CAAC,OAAO,iCAAiC,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzF,eAAO,MAAM,yBAAyB,mLAAiE,CAAC;AAExG,sGAAsG;AACtG,eAAO,MAAM,uBAAuB;;;;;;;;;EAGlC,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAEzE,eAAO,MAAM,6BAA6B;;;;;;;;;;EAIxC,CAAC;AACH,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAAC,OAAO,6BAA6B,CAAC,CAAC;AAKrF,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;EAWnC,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE3E,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAqB7B,+GAA+G;;;;;;;;;;;QAYhH,wGAAwG;;QAExG,mGAAmG;;QAEnG,0HAA0H;;;IAG3H,kGAAkG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWjG,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAK/D,6FAA6F;AAC7F,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,aAAa,GAAG,MAAM,CAEjE;AAiCD;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,CAErE;AAED,sHAAsH;AACtH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,gBAAgB,GAAG,aAAa,CAM1F"}

package/dist/flow-profile.js

@@ -66,6 +66,8 @@ export const FlowProfileV1Schema = StrictObject({
             largeAt: Type.Number({ minimum: 0, maximum: 1_000_000 }),
         }),
         triageRole: Type.Literal("triage"),
+        /** Opt in to the LLM triage call for rules-large runs. Default off: size comes from rules and repo signals. */
+        triage: Type.Optional(Type.Boolean()),
         maxEscalations: Type.Union([Type.Literal(0), Type.Literal(1)]),
     })),
     limits: StrictObject({
@@ -75,7 +77,15 @@ export const FlowProfileV1Schema = StrictObject({
         maxRetries: Type.Integer({ minimum: 0, maximum: 16 }),
         inactivityMs: Type.Integer({ minimum: 1, maximum: 86_400_000 }),
         ciWaitMs: Type.Integer({ minimum: 0, maximum: 86_400_000 }),
+        /** Wall-clock budget for the whole run; checks are capped by what remains and the run settles at it. */
+        runDeadlineMs: Type.Optional(Type.Integer({ minimum: 60_000, maximum: 86_400_000 })),
+        /** Repair rounds a SMALL/MEDIUM run may spend on real deterministic check failures (default 2). */
+        repairRounds: Type.Optional(Type.Integer({ minimum: 0, maximum: 4 })),
+        /** verify-after: wall-clock budget for verification and repair, measured from `implementation_ready` (default 15 min). */
+        verifyBudgetMs: Type.Optional(Type.Integer({ minimum: 60_000, maximum: 7_200_000 })),
     }),
+    /** `after` publishes the result before verification finishes (verify-after); default `inline`. */
+    verification: Type.Optional(StrictObject({ mode: Type.Union([Type.Literal("inline"), Type.Literal("after")]) })),
     spend: StrictObject({
         runCapMicrousd: FlowMicrousdSchema,
         warnAtPct: Type.Integer({ minimum: 1, maximum: 99 }),

package/dist/flow-profile.js.map

@@ -1 +1 @@
-{"version":3,"file":"flow-profile.js","sourceRoot":"","sources":["../src/flow-profile.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2D,IAAI,EAAE,MAAM,SAAS,CAAC;AACxF,OAAO,EACN,gBAAgB,EAChB,WAAW,EACX,iBAAiB,EAEjB,gBAAgB,EAChB,YAAY,EACZ,kBAAkB,EAElB,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,kBAAkB,EAClB,GAAG,EACH,aAAa,EACb,aAAa,EACb,YAAY,EACZ,gBAAgB,GAChB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,oBAAoB,EAAyB,MAAM,kBAAkB,CAAC;AAE/E,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAEhH,MAAM,CAAC,MAAM,qBAAqB,GAAG,YAAY,CAAC;IACjD,OAAO,EAAE,kBAAkB;IAC3B,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACxD,MAAM,EAAE,gBAAgB;CACxB,CAAC,CAAC;AAGH,kEAAkE;AAClE,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,CAAU,CAAC;AAG3F,wHAAwH;AACxH,MAAM,CAAC,MAAM,iCAAiC,GAAG;IAChD,OAAO;IACP,aAAa;IACb,QAAQ;IACR,qBAAqB;IACrB,cAAc;IACd,gBAAgB;IAChB,YAAY;IACZ,MAAM;IACN,YAAY;IACZ,uBAAuB;IACvB,kBAAkB;IAClB,oBAAoB;IACpB,kBAAkB;IAClB,oBAAoB;IACpB,qBAAqB;IACrB,UAAU;IACV,iBAAiB;IACjB,WAAW;IACX,iBAAiB;IACjB,QAAQ;CACC,CAAC;AAGX,MAAM,CAAC,MAAM,yBAAyB,GAAG,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AAExG,sGAAsG;AACtG,MAAM,CAAC,MAAM,uBAAuB,GAAG,YAAY,CAAC;IACnD,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC;IAC1C,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;CACvE,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,6BAA6B,GAAG,YAAY,CAAC;IACzD,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC;IAC1C,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;IACvE,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,yBAAyB,CAAC;CAChD,CAAC,CAAC;AAGH,MAAM,YAAY,GAAG,CAAoB,IAAuB,EAAE,MAAS,EAAE,EAAE,CAC9E,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEnF,MAAM,CAAC,MAAM,wBAAwB,GAAG,YAAY,CAAC;IACpD,KAAK,EAAE,IAAI,CAAC,QAAQ,CACnB,YAAY,CAAC,0BAA0B,EAAE,uBAAuB,CAE/D,CACD;IACD,YAAY,EAAE,IAAI,CAAC,QAAQ,CAC1B,YAAY,CAAC,iCAAiC,EAAE,6BAA6B,CAE5E,CACD;CACD,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,mBAAmB,GAAG,YAAY,CAAC;IAC/C,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;IAC3C,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9B,EAAE,EAAE,YAAY;IAChB,OAAO,EAAE,qBAAqB;IAC9B,MAAM,EAAE,gBAAgB;IACxB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IAChE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACnD,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3D,MAAM,EAAE,IAAI,CAAC,QAAQ,CACpB,YAAY,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CACvG;IACD,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,qBAAqB,CAAC,CAAC;IAC1D,MAAM,EAAE,IAAI,CAAC,QAAQ,CACpB,YAAY,CAAC;QACZ,kBAAkB,EAAE,YAAY;QAChC,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;QACF,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QAClC,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;KAC9D,CAAC,CACF;IACD,MAAM,EAAE,YAAY,CAAC;QACpB,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QACrD,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACxD,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAClD,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACrD,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;QAC/D,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;KAC3D,CAAC;IACF,KAAK,EAAE,YAAY,CAAC;QACnB,cAAc,EAAE,kBAAkB;QAClC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACpD,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC;KACpE,CAAC;IACF,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,wBAAwB,CAAC;IACvD,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IAClG,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,mBAAmB,EAAE,CAAC,CAAC;IACpG,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1C,CAAC,CAAC;AAGH,MAAM,SAAS,GAAG,WAAW,CAAC,mBAAmB,CAAC,CAAC;AACnD,MAAM,mBAAmB,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAU,CAAC;AAE1E,6FAA6F;AAC7F,MAAM,UAAU,sBAAsB,CAAC,GAAkB;IACxD,OAAO,gBAAgB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAsD;IAClF,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IACjG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,mBAAmB,CAAC,SAA+B;IAC3D,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC;IACzG,OAAO,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAkB;IAC3C,IAAI,GAAG,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;QAC7G,OAAO,KAAK,CAAC;IACd,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAClG,OAAO,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtE,KAAK,MAAM,IAAI,IAAI,mBAAmB;QAAE,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;IACxF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,GAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QACnE,IAAI,kBAAkB,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;IAC5C,CAAC;IACD,OAAO,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC;AACpG,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAChC,OAAO,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAc;IACrD,OAAO,aAAa,CAAC,iBAAiB,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;AAC3D,CAAC;AAED,sHAAsH;AACtH,MAAM,UAAU,kBAAkB,CAAC,KAAc,EAAE,MAAwB;IAC1E,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,sBAAsB,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAChF,MAAM,IAAI,iBAAiB,CAAC,iBAAiB,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC","sourcesContent":["import { type Static, type TObject, type TOptional, type TSchema, Type } from \"typebox\";\nimport {\n\tcanonicalWithout,\n\tcompileFlow,\n\tFlowContractError,\n\ttype FlowDigestHasher,\n\tFlowDigestSchema,\n\tFlowIdSchema,\n\tFlowMicrousdSchema,\n\ttype FlowModelRef,\n\tFlowModelRefSchema,\n\tFlowPositiveIntSchema,\n\tFlowTimestampSchema,\n\thasDuplicateModels,\n\tlit,\n\tparseFlowData,\n\tpartialByRole,\n\tStrictObject,\n\tverifyFlowDigest,\n} from \"./flow-common.ts\";\n\nexport { FlowProfileRefSchema, type FlowProfileRefV1 } from \"./flow-common.ts\";\n\nexport const FlowEffortSchema = Type.Union([Type.Literal(\"low\"), Type.Literal(\"medium\"), Type.Literal(\"high\")]);\n\nexport const FlowRoleBindingSchema = StrictObject({\n\tprimary: FlowModelRefSchema,\n\tbackups: Type.Array(FlowModelRefSchema, { maxItems: 8 }),\n\teffort: FlowEffortSchema,\n});\nexport type FlowRoleBindingV1 = Static<typeof FlowRoleBindingSchema>;\n\n/** Cost tiers a selection may declare (matches Flow's `Tier`). */\nexport const FLOW_MODEL_SELECTION_TIERS = [\"cheap\", \"mid\", \"premium\", \"frontier\"] as const;\nexport type FlowSelectionTier = (typeof FLOW_MODEL_SELECTION_TIERS)[number];\n\n/** Flow's `ALL_CAPABILITIES` (method.json) plus the runtime `triage` capability; parity is pinned in the flow tests. */\nexport const FLOW_MODEL_SELECTION_CAPABILITIES = [\n\t\"scout\",\n\t\"scope_scout\",\n\t\"worker\",\n\t\"implementation_fast\",\n\t\"analysis_mid\",\n\t\"technical_lead\",\n\t\"lead_small\",\n\t\"lead\",\n\t\"lead_large\",\n\t\"implementation_strong\",\n\t\"technical_review\",\n\t\"integration_review\",\n\t\"migration_review\",\n\t\"performance_review\",\n\t\"api_contract_review\",\n\t\"qa_agent\",\n\t\"analysis_strong\",\n\t\"architect\",\n\t\"security_review\",\n\t\"triage\",\n] as const;\nexport type FlowSelectionCapability = (typeof FLOW_MODEL_SELECTION_CAPABILITIES)[number];\n\nexport const FlowSelectionEffortSchema = lit(\"off\", \"minimal\", \"low\", \"medium\", \"high\", \"xhigh\", \"max\");\n\n/** Omitted `backups` inherits; an explicit `[]` means no fallbacks. Both must survive round-trips. */\nexport const FlowTierSelectionSchema = StrictObject({\n\tprimary: Type.Optional(FlowModelRefSchema),\n\tbackups: Type.Optional(Type.Array(FlowModelRefSchema, { maxItems: 8 })),\n});\nexport type FlowTierSelectionV1 = Static<typeof FlowTierSelectionSchema>;\n\nexport const FlowCapabilitySelectionSchema = StrictObject({\n\tprimary: Type.Optional(FlowModelRefSchema),\n\tbackups: Type.Optional(Type.Array(FlowModelRefSchema, { maxItems: 8 })),\n\teffort: Type.Optional(FlowSelectionEffortSchema),\n});\nexport type FlowCapabilitySelectionV1 = Static<typeof FlowCapabilitySelectionSchema>;\n\nconst optionalEach = <T extends TSchema>(keys: readonly string[], schema: T) =>\n\tStrictObject(Object.fromEntries(keys.map((key) => [key, Type.Optional(schema)])));\n\nexport const FlowModelSelectionSchema = StrictObject({\n\ttiers: Type.Optional(\n\t\toptionalEach(FLOW_MODEL_SELECTION_TIERS, FlowTierSelectionSchema) as TObject<\n\t\t\tRecord<FlowSelectionTier, TOptional<typeof FlowTierSelectionSchema>>\n\t\t>,\n\t),\n\tcapabilities: Type.Optional(\n\t\toptionalEach(FLOW_MODEL_SELECTION_CAPABILITIES, FlowCapabilitySelectionSchema) as TObject<\n\t\t\tRecord<FlowSelectionCapability, TOptional<typeof FlowCapabilitySelectionSchema>>\n\t\t>,\n\t),\n});\nexport type FlowModelSelectionV1 = Static<typeof FlowModelSelectionSchema>;\n\nexport const FlowProfileV1Schema = StrictObject({\n\tschema: Type.Literal(\"humain-flow-profile\"),\n\tschemaVersion: Type.Literal(1),\n\tid: FlowIdSchema,\n\tversion: FlowPositiveIntSchema,\n\tdigest: FlowDigestSchema,\n\tkind: Type.Union([Type.Literal(\"direct\"), Type.Literal(\"flow\")]),\n\tlabel: Type.String({ minLength: 1, maxLength: 80 }),\n\tdescription: Type.Optional(Type.String({ maxLength: 500 })),\n\tdirect: Type.Optional(\n\t\tStrictObject({ model: FlowModelRefSchema, fallbacks: Type.Array(FlowModelRefSchema, { maxItems: 8 }) }),\n\t),\n\troles: Type.Optional(partialByRole(FlowRoleBindingSchema)),\n\tsizing: Type.Optional(\n\t\tStrictObject({\n\t\t\tclassifierPolicyId: FlowIdSchema,\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\ttriageRole: Type.Literal(\"triage\"),\n\t\t\tmaxEscalations: Type.Union([Type.Literal(0), Type.Literal(1)]),\n\t\t}),\n\t),\n\tlimits: StrictObject({\n\t\tmaxAgents: Type.Integer({ minimum: 1, maximum: 256 }),\n\t\tmaxConcurrent: Type.Integer({ minimum: 1, maximum: 64 }),\n\t\tmaxDepth: Type.Integer({ minimum: 0, maximum: 3 }),\n\t\tmaxRetries: Type.Integer({ minimum: 0, maximum: 16 }),\n\t\tinactivityMs: Type.Integer({ minimum: 1, maximum: 86_400_000 }),\n\t\tciWaitMs: Type.Integer({ minimum: 0, maximum: 86_400_000 }),\n\t}),\n\tspend: StrictObject({\n\t\trunCapMicrousd: FlowMicrousdSchema,\n\t\twarnAtPct: Type.Integer({ minimum: 1, maximum: 99 }),\n\t\tperRoleCapMicrousd: Type.Optional(partialByRole(FlowMicrousdSchema)),\n\t}),\n\tmodelSelection: Type.Optional(FlowModelSelectionSchema),\n\tproviders: Type.Optional(StrictObject({ preference: Type.Array(FlowIdSchema, { maxItems: 16 }) })),\n\tapproval: Type.Optional(StrictObject({ approvedBy: FlowIdSchema, approvedAt: FlowTimestampSchema })),\n\tbuiltIn: Type.Optional(Type.Literal(true)),\n});\nexport type FlowProfileV1 = Static<typeof FlowProfileV1Schema>;\n\nconst Validator = compileFlow(FlowProfileV1Schema);\nconst REQUIRED_FLOW_ROLES = [\"lead\", \"worker\", \"reviewer\", \"qa\"] as const;\n\n/** Canonical text hashed (sha256 hex) to produce `digest`: the document without `digest`. */\nexport function flowProfileDigestInput(doc: FlowProfileV1): string {\n\treturn canonicalWithout(doc, \"digest\");\n}\n\nfunction selectionLayerValid(layer: FlowTierSelectionV1 | FlowCapabilitySelectionV1): boolean {\n\tconst refs = [...(layer.primary === undefined ? [] : [layer.primary]), ...(layer.backups ?? [])];\n\treturn !hasDuplicateModels(refs);\n}\n\nfunction modelSelectionValid(selection: FlowModelSelectionV1): boolean {\n\tconst layers = [...Object.values(selection.tiers ?? {}), ...Object.values(selection.capabilities ?? {})];\n\treturn layers.every(selectionLayerValid);\n}\n\nfunction crossFieldsValid(doc: FlowProfileV1): boolean {\n\tif (doc.modelSelection !== undefined && (doc.kind === \"direct\" || !modelSelectionValid(doc.modelSelection))) {\n\t\treturn false;\n\t}\n\tif (doc.kind === \"direct\") {\n\t\tif (doc.direct === undefined || doc.roles !== undefined || doc.sizing !== undefined) return false;\n\t\treturn !hasDuplicateModels([doc.direct.model, ...doc.direct.fallbacks]);\n\t}\n\tif (doc.direct !== undefined || doc.roles === undefined) return false;\n\tfor (const role of REQUIRED_FLOW_ROLES) if (doc.roles[role] === undefined) return false;\n\tfor (const binding of Object.values(doc.roles)) {\n\t\tconst refs: FlowModelRef[] = [binding.primary, ...binding.backups];\n\t\tif (hasDuplicateModels(refs)) return false;\n\t}\n\treturn doc.sizing === undefined || doc.sizing.thresholds.mediumAt <= doc.sizing.thresholds.largeAt;\n}\n\nfunction isProfile(value: unknown): value is FlowProfileV1 {\n\treturn Validator.Check(value) && crossFieldsValid(value);\n}\n\n/**\n * SHAPE ONLY: validates structure and cross-field rules but does NOT verify `digest`. Use only for documents whose\n * integrity is established elsewhere (e.g. authored drafts); prefer {@link parseFlowProfileV1}.\n */\nexport function parseFlowProfileV1Shape(input: unknown): FlowProfileV1 {\n\treturn parseFlowData(\"profile_invalid\", input, isProfile);\n}\n\n/** Shape validation plus digest verification with the injected hasher (digests are integrity, not authentication). */\nexport function parseFlowProfileV1(input: unknown, hasher: FlowDigestHasher): FlowProfileV1 {\n\tconst profile = parseFlowProfileV1Shape(input);\n\tif (!verifyFlowDigest(hasher, flowProfileDigestInput(profile), profile.digest)) {\n\t\tthrow new FlowContractError(\"digest_mismatch\");\n\t}\n\treturn profile;\n}\n"]}
+{"version":3,"file":"flow-profile.js","sourceRoot":"","sources":["../src/flow-profile.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2D,IAAI,EAAE,MAAM,SAAS,CAAC;AACxF,OAAO,EACN,gBAAgB,EAChB,WAAW,EACX,iBAAiB,EAEjB,gBAAgB,EAChB,YAAY,EACZ,kBAAkB,EAElB,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,kBAAkB,EAClB,GAAG,EACH,aAAa,EACb,aAAa,EACb,YAAY,EACZ,gBAAgB,GAChB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,oBAAoB,EAAyB,MAAM,kBAAkB,CAAC;AAE/E,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAEhH,MAAM,CAAC,MAAM,qBAAqB,GAAG,YAAY,CAAC;IACjD,OAAO,EAAE,kBAAkB;IAC3B,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACxD,MAAM,EAAE,gBAAgB;CACxB,CAAC,CAAC;AAGH,kEAAkE;AAClE,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,CAAU,CAAC;AAG3F,wHAAwH;AACxH,MAAM,CAAC,MAAM,iCAAiC,GAAG;IAChD,OAAO;IACP,aAAa;IACb,QAAQ;IACR,qBAAqB;IACrB,cAAc;IACd,gBAAgB;IAChB,YAAY;IACZ,MAAM;IACN,YAAY;IACZ,uBAAuB;IACvB,kBAAkB;IAClB,oBAAoB;IACpB,kBAAkB;IAClB,oBAAoB;IACpB,qBAAqB;IACrB,UAAU;IACV,iBAAiB;IACjB,WAAW;IACX,iBAAiB;IACjB,QAAQ;CACC,CAAC;AAGX,MAAM,CAAC,MAAM,yBAAyB,GAAG,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AAExG,sGAAsG;AACtG,MAAM,CAAC,MAAM,uBAAuB,GAAG,YAAY,CAAC;IACnD,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC;IAC1C,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;CACvE,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,6BAA6B,GAAG,YAAY,CAAC;IACzD,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC;IAC1C,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;IACvE,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,yBAAyB,CAAC;CAChD,CAAC,CAAC;AAGH,MAAM,YAAY,GAAG,CAAoB,IAAuB,EAAE,MAAS,EAAE,EAAE,CAC9E,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEnF,MAAM,CAAC,MAAM,wBAAwB,GAAG,YAAY,CAAC;IACpD,KAAK,EAAE,IAAI,CAAC,QAAQ,CACnB,YAAY,CAAC,0BAA0B,EAAE,uBAAuB,CAE/D,CACD;IACD,YAAY,EAAE,IAAI,CAAC,QAAQ,CAC1B,YAAY,CAAC,iCAAiC,EAAE,6BAA6B,CAE5E,CACD;CACD,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,mBAAmB,GAAG,YAAY,CAAC;IAC/C,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;IAC3C,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9B,EAAE,EAAE,YAAY;IAChB,OAAO,EAAE,qBAAqB;IAC9B,MAAM,EAAE,gBAAgB;IACxB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IAChE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACnD,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3D,MAAM,EAAE,IAAI,CAAC,QAAQ,CACpB,YAAY,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CACvG;IACD,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,qBAAqB,CAAC,CAAC;IAC1D,MAAM,EAAE,IAAI,CAAC,QAAQ,CACpB,YAAY,CAAC;QACZ,kBAAkB,EAAE,YAAY;QAChC,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;QACF,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QAClC,+GAA+G;QAC/G,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACrC,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;KAC9D,CAAC,CACF;IACD,MAAM,EAAE,YAAY,CAAC;QACpB,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QACrD,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACxD,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAClD,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACrD,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;QAC/D,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;QAC3D,wGAAwG;QACxG,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;QACpF,mGAAmG;QACnG,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QACrE,0HAA0H;QAC1H,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;KACpF,CAAC;IACF,kGAAkG;IAClG,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChH,KAAK,EAAE,YAAY,CAAC;QACnB,cAAc,EAAE,kBAAkB;QAClC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACpD,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC;KACpE,CAAC;IACF,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,wBAAwB,CAAC;IACvD,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IAClG,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,mBAAmB,EAAE,CAAC,CAAC;IACpG,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1C,CAAC,CAAC;AAGH,MAAM,SAAS,GAAG,WAAW,CAAC,mBAAmB,CAAC,CAAC;AACnD,MAAM,mBAAmB,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAU,CAAC;AAE1E,6FAA6F;AAC7F,MAAM,UAAU,sBAAsB,CAAC,GAAkB;IACxD,OAAO,gBAAgB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAsD;IAClF,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IACjG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,mBAAmB,CAAC,SAA+B;IAC3D,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC;IACzG,OAAO,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAkB;IAC3C,IAAI,GAAG,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;QAC7G,OAAO,KAAK,CAAC;IACd,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAClG,OAAO,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtE,KAAK,MAAM,IAAI,IAAI,mBAAmB;QAAE,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;IACxF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,GAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QACnE,IAAI,kBAAkB,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;IAC5C,CAAC;IACD,OAAO,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC;AACpG,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAChC,OAAO,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAc;IACrD,OAAO,aAAa,CAAC,iBAAiB,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;AAC3D,CAAC;AAED,sHAAsH;AACtH,MAAM,UAAU,kBAAkB,CAAC,KAAc,EAAE,MAAwB;IAC1E,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,sBAAsB,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAChF,MAAM,IAAI,iBAAiB,CAAC,iBAAiB,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC","sourcesContent":["import { type Static, type TObject, type TOptional, type TSchema, Type } from \"typebox\";\nimport {\n\tcanonicalWithout,\n\tcompileFlow,\n\tFlowContractError,\n\ttype FlowDigestHasher,\n\tFlowDigestSchema,\n\tFlowIdSchema,\n\tFlowMicrousdSchema,\n\ttype FlowModelRef,\n\tFlowModelRefSchema,\n\tFlowPositiveIntSchema,\n\tFlowTimestampSchema,\n\thasDuplicateModels,\n\tlit,\n\tparseFlowData,\n\tpartialByRole,\n\tStrictObject,\n\tverifyFlowDigest,\n} from \"./flow-common.ts\";\n\nexport { FlowProfileRefSchema, type FlowProfileRefV1 } from \"./flow-common.ts\";\n\nexport const FlowEffortSchema = Type.Union([Type.Literal(\"low\"), Type.Literal(\"medium\"), Type.Literal(\"high\")]);\n\nexport const FlowRoleBindingSchema = StrictObject({\n\tprimary: FlowModelRefSchema,\n\tbackups: Type.Array(FlowModelRefSchema, { maxItems: 8 }),\n\teffort: FlowEffortSchema,\n});\nexport type FlowRoleBindingV1 = Static<typeof FlowRoleBindingSchema>;\n\n/** Cost tiers a selection may declare (matches Flow's `Tier`). */\nexport const FLOW_MODEL_SELECTION_TIERS = [\"cheap\", \"mid\", \"premium\", \"frontier\"] as const;\nexport type FlowSelectionTier = (typeof FLOW_MODEL_SELECTION_TIERS)[number];\n\n/** Flow's `ALL_CAPABILITIES` (method.json) plus the runtime `triage` capability; parity is pinned in the flow tests. */\nexport const FLOW_MODEL_SELECTION_CAPABILITIES = [\n\t\"scout\",\n\t\"scope_scout\",\n\t\"worker\",\n\t\"implementation_fast\",\n\t\"analysis_mid\",\n\t\"technical_lead\",\n\t\"lead_small\",\n\t\"lead\",\n\t\"lead_large\",\n\t\"implementation_strong\",\n\t\"technical_review\",\n\t\"integration_review\",\n\t\"migration_review\",\n\t\"performance_review\",\n\t\"api_contract_review\",\n\t\"qa_agent\",\n\t\"analysis_strong\",\n\t\"architect\",\n\t\"security_review\",\n\t\"triage\",\n] as const;\nexport type FlowSelectionCapability = (typeof FLOW_MODEL_SELECTION_CAPABILITIES)[number];\n\nexport const FlowSelectionEffortSchema = lit(\"off\", \"minimal\", \"low\", \"medium\", \"high\", \"xhigh\", \"max\");\n\n/** Omitted `backups` inherits; an explicit `[]` means no fallbacks. Both must survive round-trips. */\nexport const FlowTierSelectionSchema = StrictObject({\n\tprimary: Type.Optional(FlowModelRefSchema),\n\tbackups: Type.Optional(Type.Array(FlowModelRefSchema, { maxItems: 8 })),\n});\nexport type FlowTierSelectionV1 = Static<typeof FlowTierSelectionSchema>;\n\nexport const FlowCapabilitySelectionSchema = StrictObject({\n\tprimary: Type.Optional(FlowModelRefSchema),\n\tbackups: Type.Optional(Type.Array(FlowModelRefSchema, { maxItems: 8 })),\n\teffort: Type.Optional(FlowSelectionEffortSchema),\n});\nexport type FlowCapabilitySelectionV1 = Static<typeof FlowCapabilitySelectionSchema>;\n\nconst optionalEach = <T extends TSchema>(keys: readonly string[], schema: T) =>\n\tStrictObject(Object.fromEntries(keys.map((key) => [key, Type.Optional(schema)])));\n\nexport const FlowModelSelectionSchema = StrictObject({\n\ttiers: Type.Optional(\n\t\toptionalEach(FLOW_MODEL_SELECTION_TIERS, FlowTierSelectionSchema) as TObject<\n\t\t\tRecord<FlowSelectionTier, TOptional<typeof FlowTierSelectionSchema>>\n\t\t>,\n\t),\n\tcapabilities: Type.Optional(\n\t\toptionalEach(FLOW_MODEL_SELECTION_CAPABILITIES, FlowCapabilitySelectionSchema) as TObject<\n\t\t\tRecord<FlowSelectionCapability, TOptional<typeof FlowCapabilitySelectionSchema>>\n\t\t>,\n\t),\n});\nexport type FlowModelSelectionV1 = Static<typeof FlowModelSelectionSchema>;\n\nexport const FlowProfileV1Schema = StrictObject({\n\tschema: Type.Literal(\"humain-flow-profile\"),\n\tschemaVersion: Type.Literal(1),\n\tid: FlowIdSchema,\n\tversion: FlowPositiveIntSchema,\n\tdigest: FlowDigestSchema,\n\tkind: Type.Union([Type.Literal(\"direct\"), Type.Literal(\"flow\")]),\n\tlabel: Type.String({ minLength: 1, maxLength: 80 }),\n\tdescription: Type.Optional(Type.String({ maxLength: 500 })),\n\tdirect: Type.Optional(\n\t\tStrictObject({ model: FlowModelRefSchema, fallbacks: Type.Array(FlowModelRefSchema, { maxItems: 8 }) }),\n\t),\n\troles: Type.Optional(partialByRole(FlowRoleBindingSchema)),\n\tsizing: Type.Optional(\n\t\tStrictObject({\n\t\t\tclassifierPolicyId: FlowIdSchema,\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\ttriageRole: Type.Literal(\"triage\"),\n\t\t\t/** Opt in to the LLM triage call for rules-large runs. Default off: size comes from rules and repo signals. */\n\t\t\ttriage: Type.Optional(Type.Boolean()),\n\t\t\tmaxEscalations: Type.Union([Type.Literal(0), Type.Literal(1)]),\n\t\t}),\n\t),\n\tlimits: StrictObject({\n\t\tmaxAgents: Type.Integer({ minimum: 1, maximum: 256 }),\n\t\tmaxConcurrent: Type.Integer({ minimum: 1, maximum: 64 }),\n\t\tmaxDepth: Type.Integer({ minimum: 0, maximum: 3 }),\n\t\tmaxRetries: Type.Integer({ minimum: 0, maximum: 16 }),\n\t\tinactivityMs: Type.Integer({ minimum: 1, maximum: 86_400_000 }),\n\t\tciWaitMs: Type.Integer({ minimum: 0, maximum: 86_400_000 }),\n\t\t/** Wall-clock budget for the whole run; checks are capped by what remains and the run settles at it. */\n\t\trunDeadlineMs: Type.Optional(Type.Integer({ minimum: 60_000, maximum: 86_400_000 })),\n\t\t/** Repair rounds a SMALL/MEDIUM run may spend on real deterministic check failures (default 2). */\n\t\trepairRounds: Type.Optional(Type.Integer({ minimum: 0, maximum: 4 })),\n\t\t/** verify-after: wall-clock budget for verification and repair, measured from `implementation_ready` (default 15 min). */\n\t\tverifyBudgetMs: Type.Optional(Type.Integer({ minimum: 60_000, maximum: 7_200_000 })),\n\t}),\n\t/** `after` publishes the result before verification finishes (verify-after); default `inline`. */\n\tverification: Type.Optional(StrictObject({ mode: Type.Union([Type.Literal(\"inline\"), Type.Literal(\"after\")]) })),\n\tspend: StrictObject({\n\t\trunCapMicrousd: FlowMicrousdSchema,\n\t\twarnAtPct: Type.Integer({ minimum: 1, maximum: 99 }),\n\t\tperRoleCapMicrousd: Type.Optional(partialByRole(FlowMicrousdSchema)),\n\t}),\n\tmodelSelection: Type.Optional(FlowModelSelectionSchema),\n\tproviders: Type.Optional(StrictObject({ preference: Type.Array(FlowIdSchema, { maxItems: 16 }) })),\n\tapproval: Type.Optional(StrictObject({ approvedBy: FlowIdSchema, approvedAt: FlowTimestampSchema })),\n\tbuiltIn: Type.Optional(Type.Literal(true)),\n});\nexport type FlowProfileV1 = Static<typeof FlowProfileV1Schema>;\n\nconst Validator = compileFlow(FlowProfileV1Schema);\nconst REQUIRED_FLOW_ROLES = [\"lead\", \"worker\", \"reviewer\", \"qa\"] as const;\n\n/** Canonical text hashed (sha256 hex) to produce `digest`: the document without `digest`. */\nexport function flowProfileDigestInput(doc: FlowProfileV1): string {\n\treturn canonicalWithout(doc, \"digest\");\n}\n\nfunction selectionLayerValid(layer: FlowTierSelectionV1 | FlowCapabilitySelectionV1): boolean {\n\tconst refs = [...(layer.primary === undefined ? [] : [layer.primary]), ...(layer.backups ?? [])];\n\treturn !hasDuplicateModels(refs);\n}\n\nfunction modelSelectionValid(selection: FlowModelSelectionV1): boolean {\n\tconst layers = [...Object.values(selection.tiers ?? {}), ...Object.values(selection.capabilities ?? {})];\n\treturn layers.every(selectionLayerValid);\n}\n\nfunction crossFieldsValid(doc: FlowProfileV1): boolean {\n\tif (doc.modelSelection !== undefined && (doc.kind === \"direct\" || !modelSelectionValid(doc.modelSelection))) {\n\t\treturn false;\n\t}\n\tif (doc.kind === \"direct\") {\n\t\tif (doc.direct === undefined || doc.roles !== undefined || doc.sizing !== undefined) return false;\n\t\treturn !hasDuplicateModels([doc.direct.model, ...doc.direct.fallbacks]);\n\t}\n\tif (doc.direct !== undefined || doc.roles === undefined) return false;\n\tfor (const role of REQUIRED_FLOW_ROLES) if (doc.roles[role] === undefined) return false;\n\tfor (const binding of Object.values(doc.roles)) {\n\t\tconst refs: FlowModelRef[] = [binding.primary, ...binding.backups];\n\t\tif (hasDuplicateModels(refs)) return false;\n\t}\n\treturn doc.sizing === undefined || doc.sizing.thresholds.mediumAt <= doc.sizing.thresholds.largeAt;\n}\n\nfunction isProfile(value: unknown): value is FlowProfileV1 {\n\treturn Validator.Check(value) && crossFieldsValid(value);\n}\n\n/**\n * SHAPE ONLY: validates structure and cross-field rules but does NOT verify `digest`. Use only for documents whose\n * integrity is established elsewhere (e.g. authored drafts); prefer {@link parseFlowProfileV1}.\n */\nexport function parseFlowProfileV1Shape(input: unknown): FlowProfileV1 {\n\treturn parseFlowData(\"profile_invalid\", input, isProfile);\n}\n\n/** Shape validation plus digest verification with the injected hasher (digests are integrity, not authentication). */\nexport function parseFlowProfileV1(input: unknown, hasher: FlowDigestHasher): FlowProfileV1 {\n\tconst profile = parseFlowProfileV1Shape(input);\n\tif (!verifyFlowDigest(hasher, flowProfileDigestInput(profile), profile.digest)) {\n\t\tthrow new FlowContractError(\"digest_mismatch\");\n\t}\n\treturn profile;\n}\n"]}

package/dist/rpc.d.ts

@@ -4,7 +4,7 @@ export declare const MAX_RPC_FRAME_LENGTH: number;
 export declare const MAX_GET_STATE_RESPONSE_UTF8_BYTES: number;
 export declare const MAX_GET_STATE_RESPONSE_CODE_UNITS: number;
 export declare const SUBAGENT_PROGRESS_FIELD: "subagentProgress";
-declare const FLOW_COMMAND_TYPES: readonly ["flow_status", "flow_pause", "flow_resume", "flow_cancel", "flow_message"];
+declare const FLOW_COMMAND_TYPES: readonly ["flow_status", "flow_pause", "flow_resume", "flow_cancel", "flow_message", "flow_repair"];
 type FlowCommandType = (typeof FLOW_COMMAND_TYPES)[number];
 export type RpcWireCommand = {
     id: string;