@humain/humain-code-contracts 0.3.2 → 0.4.0

package/dist/flow-profile.d.ts

@@ -0,0 +1,200 @@
+import { type Static, Type } from "typebox";
+import { type FlowDigestHasher } from "./flow-common.ts";
+export { FlowProfileRefSchema, type FlowProfileRefV1 } from "./flow-common.ts";
+export declare const FlowEffortSchema: Type.TUnion<[Type.TLiteral<"low">, Type.TLiteral<"medium">, Type.TLiteral<"high">]>;
+export declare const FlowRoleBindingSchema: Type.TObject<{
+    readonly primary: Type.TObject<{
+        readonly provider: Type.TString;
+        readonly model: Type.TString;
+    }>;
+    readonly backups: Type.TArray<Type.TObject<{
+        readonly provider: Type.TString;
+        readonly model: Type.TString;
+    }>>;
+    readonly effort: Type.TUnion<[Type.TLiteral<"low">, Type.TLiteral<"medium">, Type.TLiteral<"high">]>;
+}>;
+export type FlowRoleBindingV1 = Static<typeof FlowRoleBindingSchema>;
+export declare const FlowProfileV1Schema: Type.TObject<{
+    readonly schema: Type.TLiteral<"humain-flow-profile">;
+    readonly schemaVersion: Type.TLiteral<1>;
+    readonly id: Type.TString;
+    readonly version: Type.TInteger;
+    readonly digest: Type.TString;
+    readonly kind: Type.TUnion<[Type.TLiteral<"direct">, Type.TLiteral<"flow">]>;
+    readonly label: Type.TString;
+    readonly description: Type.TOptional<Type.TString>;
+    readonly direct: Type.TOptional<Type.TObject<{
+        readonly model: Type.TObject<{
+            readonly provider: Type.TString;
+            readonly model: Type.TString;
+        }>;
+        readonly fallbacks: Type.TArray<Type.TObject<{
+            readonly provider: Type.TString;
+            readonly model: Type.TString;
+        }>>;
+    }>>;
+    readonly roles: Type.TOptional<Type.TObject<{
+        readonly scout: Type.TOptional<Type.TObject<{
+            readonly primary: Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>;
+            readonly backups: Type.TArray<Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>>;
+            readonly effort: Type.TUnion<[Type.TLiteral<"low">, Type.TLiteral<"medium">, Type.TLiteral<"high">]>;
+        }>>;
+        readonly worker: Type.TOptional<Type.TObject<{
+            readonly primary: Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>;
+            readonly backups: Type.TArray<Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>>;
+            readonly effort: Type.TUnion<[Type.TLiteral<"low">, Type.TLiteral<"medium">, Type.TLiteral<"high">]>;
+        }>>;
+        readonly implementer: Type.TOptional<Type.TObject<{
+            readonly primary: Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>;
+            readonly backups: Type.TArray<Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>>;
+            readonly effort: Type.TUnion<[Type.TLiteral<"low">, Type.TLiteral<"medium">, Type.TLiteral<"high">]>;
+        }>>;
+        readonly lead: Type.TOptional<Type.TObject<{
+            readonly primary: Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>;
+            readonly backups: Type.TArray<Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>>;
+            readonly effort: Type.TUnion<[Type.TLiteral<"low">, Type.TLiteral<"medium">, Type.TLiteral<"high">]>;
+        }>>;
+        readonly lead_large: Type.TOptional<Type.TObject<{
+            readonly primary: Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>;
+            readonly backups: Type.TArray<Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>>;
+            readonly effort: Type.TUnion<[Type.TLiteral<"low">, Type.TLiteral<"medium">, Type.TLiteral<"high">]>;
+        }>>;
+        readonly architect: Type.TOptional<Type.TObject<{
+            readonly primary: Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>;
+            readonly backups: Type.TArray<Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>>;
+            readonly effort: Type.TUnion<[Type.TLiteral<"low">, Type.TLiteral<"medium">, Type.TLiteral<"high">]>;
+        }>>;
+        readonly reviewer: Type.TOptional<Type.TObject<{
+            readonly primary: Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>;
+            readonly backups: Type.TArray<Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>>;
+            readonly effort: Type.TUnion<[Type.TLiteral<"low">, Type.TLiteral<"medium">, Type.TLiteral<"high">]>;
+        }>>;
+        readonly security_reviewer: Type.TOptional<Type.TObject<{
+            readonly primary: Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>;
+            readonly backups: Type.TArray<Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>>;
+            readonly effort: Type.TUnion<[Type.TLiteral<"low">, Type.TLiteral<"medium">, Type.TLiteral<"high">]>;
+        }>>;
+        readonly qa: Type.TOptional<Type.TObject<{
+            readonly primary: Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>;
+            readonly backups: Type.TArray<Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>>;
+            readonly effort: Type.TUnion<[Type.TLiteral<"low">, Type.TLiteral<"medium">, Type.TLiteral<"high">]>;
+        }>>;
+        readonly triage: Type.TOptional<Type.TObject<{
+            readonly primary: Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>;
+            readonly backups: Type.TArray<Type.TObject<{
+                readonly provider: Type.TString;
+                readonly model: Type.TString;
+            }>>;
+            readonly effort: Type.TUnion<[Type.TLiteral<"low">, Type.TLiteral<"medium">, Type.TLiteral<"high">]>;
+        }>>;
+    }>>;
+    readonly sizing: Type.TOptional<Type.TObject<{
+        readonly classifierPolicyId: Type.TString;
+        readonly thresholds: Type.TObject<{
+            readonly mediumAt: Type.TNumber;
+            readonly largeAt: Type.TNumber;
+        }>;
+        readonly triageRole: Type.TLiteral<"triage">;
+        readonly maxEscalations: Type.TUnion<[Type.TLiteral<0>, Type.TLiteral<1>]>;
+    }>>;
+    readonly limits: Type.TObject<{
+        readonly maxAgents: Type.TInteger;
+        readonly maxConcurrent: Type.TInteger;
+        readonly maxDepth: Type.TInteger;
+        readonly maxRetries: Type.TInteger;
+        readonly inactivityMs: Type.TInteger;
+        readonly ciWaitMs: Type.TInteger;
+    }>;
+    readonly spend: Type.TObject<{
+        readonly runCapMicrousd: Type.TInteger;
+        readonly warnAtPct: Type.TInteger;
+        readonly perRoleCapMicrousd: Type.TOptional<Type.TObject<{
+            readonly scout: Type.TOptional<Type.TInteger>;
+            readonly worker: Type.TOptional<Type.TInteger>;
+            readonly implementer: Type.TOptional<Type.TInteger>;
+            readonly lead: Type.TOptional<Type.TInteger>;
+            readonly lead_large: Type.TOptional<Type.TInteger>;
+            readonly architect: Type.TOptional<Type.TInteger>;
+            readonly reviewer: Type.TOptional<Type.TInteger>;
+            readonly security_reviewer: Type.TOptional<Type.TInteger>;
+            readonly qa: Type.TOptional<Type.TInteger>;
+            readonly triage: Type.TOptional<Type.TInteger>;
+        }>>;
+    }>;
+    readonly providers: Type.TOptional<Type.TObject<{
+        readonly preference: Type.TArray<Type.TString>;
+    }>>;
+    readonly approval: Type.TOptional<Type.TObject<{
+        readonly approvedBy: Type.TString;
+        readonly approvedAt: Type.TRefine<Type.TString>;
+    }>>;
+    readonly builtIn: Type.TOptional<Type.TLiteral<true>>;
+}>;
+export type FlowProfileV1 = Static<typeof FlowProfileV1Schema>;
+/** Canonical text hashed (sha256 hex) to produce `digest`: the document without `digest`. */
+export declare function flowProfileDigestInput(doc: FlowProfileV1): string;
+/**
+ * SHAPE ONLY: validates structure and cross-field rules but does NOT verify `digest`. Use only for documents whose
+ * integrity is established elsewhere (e.g. authored drafts); prefer {@link parseFlowProfileV1}.
+ */
+export declare function parseFlowProfileV1Shape(input: unknown): FlowProfileV1;
+/** Shape validation plus digest verification with the injected hasher (digests are integrity, not authentication). */
+export declare function parseFlowProfileV1(input: unknown, hasher: FlowDigestHasher): FlowProfileV1;
+//# sourceMappingURL=flow-profile.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"flow-profile.d.ts","sourceRoot":"","sources":["../src/flow-profile.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAC5C,OAAO,EAIN,KAAK,gBAAgB,EAarB,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,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAwC9B,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;AAoBD;;;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

@@ -0,0 +1,89 @@
+import { Type } from "typebox";
+import { canonicalWithout, compileFlow, FlowContractError, FlowDigestSchema, FlowIdSchema, FlowMicrousdSchema, FlowModelRefSchema, FlowPositiveIntSchema, FlowTimestampSchema, hasDuplicateModels, parseFlowData, partialByRole, StrictObject, verifyFlowDigest, } from "./flow-common.js";
+export { FlowProfileRefSchema } from "./flow-common.js";
+export const FlowEffortSchema = Type.Union([Type.Literal("low"), Type.Literal("medium"), Type.Literal("high")]);
+export const FlowRoleBindingSchema = StrictObject({
+    primary: FlowModelRefSchema,
+    backups: Type.Array(FlowModelRefSchema, { maxItems: 8 }),
+    effort: FlowEffortSchema,
+});
+export const FlowProfileV1Schema = StrictObject({
+    schema: Type.Literal("humain-flow-profile"),
+    schemaVersion: Type.Literal(1),
+    id: FlowIdSchema,
+    version: FlowPositiveIntSchema,
+    digest: FlowDigestSchema,
+    kind: Type.Union([Type.Literal("direct"), Type.Literal("flow")]),
+    label: Type.String({ minLength: 1, maxLength: 80 }),
+    description: Type.Optional(Type.String({ maxLength: 500 })),
+    direct: Type.Optional(StrictObject({ model: FlowModelRefSchema, fallbacks: Type.Array(FlowModelRefSchema, { maxItems: 8 }) })),
+    roles: Type.Optional(partialByRole(FlowRoleBindingSchema)),
+    sizing: Type.Optional(StrictObject({
+        classifierPolicyId: FlowIdSchema,
+        thresholds: StrictObject({
+            mediumAt: Type.Number({ minimum: 0, maximum: 1_000_000 }),
+            largeAt: Type.Number({ minimum: 0, maximum: 1_000_000 }),
+        }),
+        triageRole: Type.Literal("triage"),
+        maxEscalations: Type.Union([Type.Literal(0), Type.Literal(1)]),
+    })),
+    limits: StrictObject({
+        maxAgents: Type.Integer({ minimum: 1, maximum: 256 }),
+        maxConcurrent: Type.Integer({ minimum: 1, maximum: 64 }),
+        maxDepth: Type.Integer({ minimum: 0, maximum: 3 }),
+        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 }),
+    }),
+    spend: StrictObject({
+        runCapMicrousd: FlowMicrousdSchema,
+        warnAtPct: Type.Integer({ minimum: 1, maximum: 99 }),
+        perRoleCapMicrousd: Type.Optional(partialByRole(FlowMicrousdSchema)),
+    }),
+    providers: Type.Optional(StrictObject({ preference: Type.Array(FlowIdSchema, { maxItems: 16 }) })),
+    approval: Type.Optional(StrictObject({ approvedBy: FlowIdSchema, approvedAt: FlowTimestampSchema })),
+    builtIn: Type.Optional(Type.Literal(true)),
+});
+const Validator = compileFlow(FlowProfileV1Schema);
+const REQUIRED_FLOW_ROLES = ["lead", "worker", "reviewer", "qa"];
+/** Canonical text hashed (sha256 hex) to produce `digest`: the document without `digest`. */
+export function flowProfileDigestInput(doc) {
+    return canonicalWithout(doc, "digest");
+}
+function crossFieldsValid(doc) {
+    if (doc.kind === "direct") {
+        if (doc.direct === undefined || doc.roles !== undefined || doc.sizing !== undefined)
+            return false;
+        return !hasDuplicateModels([doc.direct.model, ...doc.direct.fallbacks]);
+    }
+    if (doc.direct !== undefined || doc.roles === undefined)
+        return false;
+    for (const role of REQUIRED_FLOW_ROLES)
+        if (doc.roles[role] === undefined)
+            return false;
+    for (const binding of Object.values(doc.roles)) {
+        const refs = [binding.primary, ...binding.backups];
+        if (hasDuplicateModels(refs))
+            return false;
+    }
+    return doc.sizing === undefined || doc.sizing.thresholds.mediumAt <= doc.sizing.thresholds.largeAt;
+}
+function isProfile(value) {
+    return Validator.Check(value) && crossFieldsValid(value);
+}
+/**
+ * SHAPE ONLY: validates structure and cross-field rules but does NOT verify `digest`. Use only for documents whose
+ * integrity is established elsewhere (e.g. authored drafts); prefer {@link parseFlowProfileV1}.
+ */
+export function parseFlowProfileV1Shape(input) {
+    return parseFlowData("profile_invalid", input, isProfile);
+}
+/** Shape validation plus digest verification with the injected hasher (digests are integrity, not authentication). */
+export function parseFlowProfileV1(input, hasher) {
+    const profile = parseFlowProfileV1Shape(input);
+    if (!verifyFlowDigest(hasher, flowProfileDigestInput(profile), profile.digest)) {
+        throw new FlowContractError("digest_mismatch");
+    }
+    return profile;
+}
+//# sourceMappingURL=flow-profile.js.map

package/dist/flow-profile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"flow-profile.js","sourceRoot":"","sources":["../src/flow-profile.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,IAAI,EAAE,MAAM,SAAS,CAAC;AAC5C,OAAO,EACN,gBAAgB,EAChB,WAAW,EACX,iBAAiB,EAEjB,gBAAgB,EAChB,YAAY,EACZ,kBAAkB,EAElB,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,kBAAkB,EAClB,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,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,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,gBAAgB,CAAC,GAAkB;IAC3C,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 } 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\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\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\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 crossFieldsValid(doc: FlowProfileV1): boolean {\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/flow-sizing.d.ts

@@ -0,0 +1,30 @@
+export type IntentLane = "debug" | "mechanical" | "creative" | "fallback";
+export type IntentDecisionSource = "keyword-classifier" | "mode-override" | "default";
+export type FlowSize = "small" | "medium" | "large";
+export type RiskReason = "explicit-thorough-request" | "high-risk-domain-term" | "long-multi-imperative";
+export type PromptExecutionDepth = "quick" | "balanced" | "thorough";
+export declare const UNIFIED_CLASSIFIER_POLICY_ID: "unified-regex-v4";
+export interface UnifiedPromptClassification {
+    lane: IntentLane;
+    laneDecisionSource: IntentDecisionSource;
+    laneMatchedSignals: string[];
+    depth: PromptExecutionDepth;
+    riskReasons: RiskReason[];
+    policyId: typeof UNIFIED_CLASSIFIER_POLICY_ID;
+}
+export declare function classifyPromptLanguageBucket(prompt: string): "latin" | "non-latin";
+export declare function classifyPromptSignals(input: {
+    prompt: string;
+    mode?: string | null;
+}): UnifiedPromptClassification;
+export interface FlowSizeThresholds {
+    mediumAt: number;
+    largeAt: number;
+}
+/**
+ * Maps a classifier depth to a Flow size: quick -> small, balanced -> medium, thorough -> large.
+ * When `thresholds` and a finite numeric `score` are both given, the score decides instead:
+ * score >= largeAt -> large, score >= mediumAt -> medium, else small.
+ */
+export declare function sizeFromDepth(depth: PromptExecutionDepth, thresholds?: FlowSizeThresholds, score?: number): FlowSize;
+//# sourceMappingURL=flow-sizing.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"flow-sizing.d.ts","sourceRoot":"","sources":["../src/flow-sizing.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,YAAY,GAAG,UAAU,GAAG,UAAU,CAAC;AAC1E,MAAM,MAAM,oBAAoB,GAAG,oBAAoB,GAAG,eAAe,GAAG,SAAS,CAAC;AACtF,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;AAmBpD,MAAM,MAAM,UAAU,GACnB,2BAA2B,GAC3B,uBAAuB,GACvB,uBAAuB,CAAC;AAE3B,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,UAAU,GAAG,UAAU,CAAC;AAErE,eAAO,MAAM,4BAA4B,EAAG,kBAA2B,CAAC;AAExE,MAAM,WAAW,2BAA2B;IAC3C,IAAI,EAAE,UAAU,CAAC;IACjB,kBAAkB,EAAE,oBAAoB,CAAC;IACzC,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,KAAK,EAAE,oBAAoB,CAAC;IAC5B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,QAAQ,EAAE,OAAO,4BAA4B,CAAC;CAC9C;AAknBD,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,WAAW,CAElF;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,GAAG,2BAA2B,CAiBlH;AAED,MAAM,WAAW,kBAAkB;IAClC,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;CAChB;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,oBAAoB,EAAE,UAAU,CAAC,EAAE,kBAAkB,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,QAAQ,CAOpH"}