@keel_flow/schema 0.2.0

package/dist/principle.d.ts

@@ -0,0 +1,106 @@
+import { z } from "zod";
+import type { Diff, ArchitectureMap } from "./architecture.js";
+export declare const PrincipleSeveritySchema: z.ZodEnum<["critical", "warning", "info"]>;
+export type PrincipleSeverity = z.infer<typeof PrincipleSeveritySchema>;
+export declare const PrincipleRefSchema: z.ZodObject<{
+    id: z.ZodString;
+    reason: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    reason: string;
+}, {
+    id: string;
+    reason: string;
+}>;
+export type PrincipleRef = z.infer<typeof PrincipleRefSchema>;
+export declare const ViolationSchema: z.ZodObject<{
+    principleId: z.ZodString;
+    nodeId: z.ZodOptional<z.ZodString>;
+    file: z.ZodOptional<z.ZodString>;
+    line: z.ZodOptional<z.ZodNumber>;
+    severity: z.ZodEnum<["critical", "warning", "info"]>;
+    message: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    message: string;
+    principleId: string;
+    severity: "critical" | "warning" | "info";
+    nodeId?: string | undefined;
+    file?: string | undefined;
+    line?: number | undefined;
+}, {
+    message: string;
+    principleId: string;
+    severity: "critical" | "warning" | "info";
+    nodeId?: string | undefined;
+    file?: string | undefined;
+    line?: number | undefined;
+}>;
+export type Violation = z.infer<typeof ViolationSchema>;
+export declare const PrincipleSchema: z.ZodObject<{
+    id: z.ZodString;
+    description: z.ZodString;
+    rationale: z.ZodString;
+    severity: z.ZodEnum<["critical", "warning", "info"]>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    severity: "critical" | "warning" | "info";
+    description: string;
+    rationale: string;
+}, {
+    id: string;
+    severity: "critical" | "warning" | "info";
+    description: string;
+    rationale: string;
+}>;
+export type Principle = z.infer<typeof PrincipleSchema>;
+export type PrincipleWithCheck = Principle & {
+    check?: (ctx: {
+        diff: Diff;
+        architecture: ArchitectureMap;
+        cwd?: string;
+    }) => Violation[];
+};
+export declare const PrinciplePackSchema: z.ZodObject<{
+    id: z.ZodString;
+    version: z.ZodString;
+    description: z.ZodString;
+    principles: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        description: z.ZodString;
+        rationale: z.ZodString;
+        severity: z.ZodEnum<["critical", "warning", "info"]>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        severity: "critical" | "warning" | "info";
+        description: string;
+        rationale: string;
+    }, {
+        id: string;
+        severity: "critical" | "warning" | "info";
+        description: string;
+        rationale: string;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    description: string;
+    principles: {
+        id: string;
+        severity: "critical" | "warning" | "info";
+        description: string;
+        rationale: string;
+    }[];
+    version: string;
+}, {
+    id: string;
+    description: string;
+    principles: {
+        id: string;
+        severity: "critical" | "warning" | "info";
+        description: string;
+        rationale: string;
+    }[];
+    version: string;
+}>;
+export type PrinciplePack = z.infer<typeof PrinciplePackSchema>;
+export type { Diff, ArchitectureMap };
+//# sourceMappingURL=principle.d.ts.map

package/dist/principle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"principle.d.ts","sourceRoot":"","sources":["../src/principle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAE/D,eAAO,MAAM,uBAAuB,4CAA0C,CAAC;AAC/E,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,eAAO,MAAM,kBAAkB;;;;;;;;;EAG7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;EAO1B,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;EAK1B,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,MAAM,MAAM,kBAAkB,GAAG,SAAS,GAAG;IAC3C,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,YAAY,EAAE,eAAe,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,KAAK,SAAS,EAAE,CAAC;CAC3F,CAAC;AAEF,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAK9B,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC"}

package/dist/principle.js

@@ -0,0 +1,27 @@
+import { z } from "zod";
+export const PrincipleSeveritySchema = z.enum(["critical", "warning", "info"]);
+export const PrincipleRefSchema = z.object({
+    id: z.string(),
+    reason: z.string(),
+});
+export const ViolationSchema = z.object({
+    principleId: z.string(),
+    nodeId: z.string().optional(),
+    file: z.string().optional(),
+    line: z.number().int().optional(),
+    severity: PrincipleSeveritySchema,
+    message: z.string(),
+});
+export const PrincipleSchema = z.object({
+    id: z.string(),
+    description: z.string(),
+    rationale: z.string(),
+    severity: PrincipleSeveritySchema,
+});
+export const PrinciplePackSchema = z.object({
+    id: z.string(),
+    version: z.string(),
+    description: z.string(),
+    principles: z.array(PrincipleSchema),
+});
+//# sourceMappingURL=principle.js.map

package/dist/principle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"principle.js","sourceRoot":"","sources":["../src/principle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;AAG/E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;CACnB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACjC,QAAQ,EAAE,uBAAuB;IACjC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;CACpB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,QAAQ,EAAE,uBAAuB;CAClC,CAAC,CAAC;AAOH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC;CACrC,CAAC,CAAC"}

package/dist/spec-check.d.ts

@@ -0,0 +1,194 @@
+import { z } from "zod";
+export declare const SpecRubricSchema: z.ZodObject<{
+    claims: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        text: z.ZodString;
+        weight: z.ZodEnum<["must", "should", "may"]>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        text: string;
+        weight: "must" | "should" | "may";
+    }, {
+        id: string;
+        text: string;
+        weight: "must" | "should" | "may";
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    claims: {
+        id: string;
+        text: string;
+        weight: "must" | "should" | "may";
+    }[];
+}, {
+    claims: {
+        id: string;
+        text: string;
+        weight: "must" | "should" | "may";
+    }[];
+}>;
+export type SpecRubric = z.infer<typeof SpecRubricSchema>;
+export declare const SpecClaimVerdictSchema: z.ZodObject<{
+    claimId: z.ZodString;
+    verdict: z.ZodEnum<["pass", "fail", "na", "partial"]>;
+    evidence: z.ZodOptional<z.ZodString>;
+    confidence: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    claimId: string;
+    verdict: "pass" | "fail" | "na" | "partial";
+    confidence: number;
+    evidence?: string | undefined;
+}, {
+    claimId: string;
+    verdict: "pass" | "fail" | "na" | "partial";
+    confidence: number;
+    evidence?: string | undefined;
+}>;
+export type SpecClaimVerdict = z.infer<typeof SpecClaimVerdictSchema>;
+export declare const SpecCheckModeSchema: z.ZodEnum<["fast", "balanced", "strict"]>;
+export type SpecCheckMode = z.infer<typeof SpecCheckModeSchema>;
+export declare const SpecCheckResultSchema: z.ZodObject<{
+    mode: z.ZodEnum<["fast", "balanced", "strict"]>;
+    verdict: z.ZodEnum<["pass", "fail", "partial", "pending"]>;
+    rubric: z.ZodNullable<z.ZodObject<{
+        claims: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            text: z.ZodString;
+            weight: z.ZodEnum<["must", "should", "may"]>;
+        }, "strip", z.ZodTypeAny, {
+            id: string;
+            text: string;
+            weight: "must" | "should" | "may";
+        }, {
+            id: string;
+            text: string;
+            weight: "must" | "should" | "may";
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        claims: {
+            id: string;
+            text: string;
+            weight: "must" | "should" | "may";
+        }[];
+    }, {
+        claims: {
+            id: string;
+            text: string;
+            weight: "must" | "should" | "may";
+        }[];
+    }>>;
+    claims: z.ZodArray<z.ZodObject<{
+        claimId: z.ZodString;
+        verdict: z.ZodEnum<["pass", "fail", "na", "partial"]>;
+        evidence: z.ZodOptional<z.ZodString>;
+        confidence: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        claimId: string;
+        verdict: "pass" | "fail" | "na" | "partial";
+        confidence: number;
+        evidence?: string | undefined;
+    }, {
+        claimId: string;
+        verdict: "pass" | "fail" | "na" | "partial";
+        confidence: number;
+        evidence?: string | undefined;
+    }>, "many">;
+    bidirectional: z.ZodOptional<z.ZodObject<{
+        summary: z.ZodString;
+        similarity: z.ZodNumber;
+        divergent: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        summary: string;
+        similarity: number;
+        divergent: boolean;
+    }, {
+        summary: string;
+        similarity: number;
+        divergent: boolean;
+    }>>;
+    adversarial: z.ZodOptional<z.ZodObject<{
+        concerns: z.ZodArray<z.ZodString, "many">;
+        raisedPartial: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        concerns: string[];
+        raisedPartial: boolean;
+    }, {
+        concerns: string[];
+        raisedPartial: boolean;
+    }>>;
+    positionBias: z.ZodOptional<z.ZodObject<{
+        swapsRun: z.ZodNumber;
+        disagreements: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        swapsRun: number;
+        disagreements: number;
+    }, {
+        swapsRun: number;
+        disagreements: number;
+    }>>;
+    costUsd: z.ZodNumber;
+    latencyMs: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    latencyMs: number;
+    costUsd: number;
+    claims: {
+        claimId: string;
+        verdict: "pass" | "fail" | "na" | "partial";
+        confidence: number;
+        evidence?: string | undefined;
+    }[];
+    verdict: "pending" | "pass" | "fail" | "partial";
+    mode: "strict" | "fast" | "balanced";
+    rubric: {
+        claims: {
+            id: string;
+            text: string;
+            weight: "must" | "should" | "may";
+        }[];
+    } | null;
+    bidirectional?: {
+        summary: string;
+        similarity: number;
+        divergent: boolean;
+    } | undefined;
+    adversarial?: {
+        concerns: string[];
+        raisedPartial: boolean;
+    } | undefined;
+    positionBias?: {
+        swapsRun: number;
+        disagreements: number;
+    } | undefined;
+}, {
+    latencyMs: number;
+    costUsd: number;
+    claims: {
+        claimId: string;
+        verdict: "pass" | "fail" | "na" | "partial";
+        confidence: number;
+        evidence?: string | undefined;
+    }[];
+    verdict: "pending" | "pass" | "fail" | "partial";
+    mode: "strict" | "fast" | "balanced";
+    rubric: {
+        claims: {
+            id: string;
+            text: string;
+            weight: "must" | "should" | "may";
+        }[];
+    } | null;
+    bidirectional?: {
+        summary: string;
+        similarity: number;
+        divergent: boolean;
+    } | undefined;
+    adversarial?: {
+        concerns: string[];
+        raisedPartial: boolean;
+    } | undefined;
+    positionBias?: {
+        swapsRun: number;
+        disagreements: number;
+    } | undefined;
+}>;
+export type SpecCheckResult = z.infer<typeof SpecCheckResultSchema>;
+//# sourceMappingURL=spec-check.d.ts.map

package/dist/spec-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-check.d.ts","sourceRoot":"","sources":["../src/spec-check.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;EAQ3B,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;EAKjC,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,eAAO,MAAM,mBAAmB,2CAAyC,CAAC;AAC1E,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA0BhC,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC"}

package/dist/spec-check.js

@@ -0,0 +1,43 @@
+import { z } from "zod";
+export const SpecRubricSchema = z.object({
+    claims: z.array(z.object({
+        id: z.string(),
+        text: z.string(),
+        weight: z.enum(["must", "should", "may"]),
+    })),
+});
+export const SpecClaimVerdictSchema = z.object({
+    claimId: z.string(),
+    verdict: z.enum(["pass", "fail", "na", "partial"]),
+    evidence: z.string().optional(),
+    confidence: z.number().min(0).max(1),
+});
+export const SpecCheckModeSchema = z.enum(["fast", "balanced", "strict"]);
+export const SpecCheckResultSchema = z.object({
+    mode: SpecCheckModeSchema,
+    verdict: z.enum(["pass", "fail", "partial", "pending"]),
+    rubric: SpecRubricSchema.nullable(),
+    claims: z.array(SpecClaimVerdictSchema),
+    bidirectional: z
+        .object({
+        summary: z.string(),
+        similarity: z.number().min(0).max(1),
+        divergent: z.boolean(),
+    })
+        .optional(),
+    adversarial: z
+        .object({
+        concerns: z.array(z.string()),
+        raisedPartial: z.boolean(),
+    })
+        .optional(),
+    positionBias: z
+        .object({
+        swapsRun: z.number().int().nonnegative(),
+        disagreements: z.number().int().nonnegative(),
+    })
+        .optional(),
+    costUsd: z.number().nonnegative(),
+    latencyMs: z.number().int().nonnegative(),
+});
+//# sourceMappingURL=spec-check.js.map

package/dist/spec-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-check.js","sourceRoot":"","sources":["../src/spec-check.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,MAAM,EAAE,CAAC,CAAC,KAAK,CACb,CAAC,CAAC,MAAM,CAAC;QACP,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;QACd,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;QAChB,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;KAC1C,CAAC,CACH;CACF,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IAClD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CACrC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;AAG1E,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,IAAI,EAAE,mBAAmB;IACzB,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IACvD,MAAM,EAAE,gBAAgB,CAAC,QAAQ,EAAE;IACnC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC;IACvC,aAAa,EAAE,CAAC;SACb,MAAM,CAAC;QACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;QACnB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;KACvB,CAAC;SACD,QAAQ,EAAE;IACb,WAAW,EAAE,CAAC;SACX,MAAM,CAAC;QACN,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QAC7B,aAAa,EAAE,CAAC,CAAC,OAAO,EAAE;KAC3B,CAAC;SACD,QAAQ,EAAE;IACb,YAAY,EAAE,CAAC;SACZ,MAAM,CAAC;QACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;QACxC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;KAC9C,CAAC;SACD,QAAQ,EAAE;IACb,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE;IACjC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;CAC1C,CAAC,CAAC"}