@neuraloom/contracts 0.0.0-stage → 0.1.22

package/dist/schemas/runtime/probe-harness-gen.schema.d.ts

@@ -0,0 +1,456 @@
+/**
+ * MS-05 #733 — Typed input for deterministic probe harness file generation from requirements.
+ * Distinct from `RuntimeProbeSchema` (#732); only describes generator inputs.
+ */
+import { z } from "zod";
+export declare const ProbeHarnessStatusExpectationSchema: z.ZodEffects<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    kind: z.ZodLiteral<"exact">;
+    status: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    status: number;
+    kind: "exact";
+}, {
+    status: number;
+    kind: "exact";
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"range">;
+    min: z.ZodNumber;
+    max: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    kind: "range";
+    min: number;
+    max: number;
+}, {
+    kind: "range";
+    min: number;
+    max: number;
+}>]>, {
+    status: number;
+    kind: "exact";
+} | {
+    kind: "range";
+    min: number;
+    max: number;
+}, {
+    status: number;
+    kind: "exact";
+} | {
+    kind: "range";
+    min: number;
+    max: number;
+}>;
+export declare const ProbeHarnessDomAssertionSchema: z.ZodEffects<z.ZodObject<{
+    selector: z.ZodOptional<z.ZodString>;
+    text: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    text?: string | undefined;
+    selector?: string | undefined;
+}, {
+    text?: string | undefined;
+    selector?: string | undefined;
+}>, {
+    text?: string | undefined;
+    selector?: string | undefined;
+}, {
+    text?: string | undefined;
+    selector?: string | undefined;
+}>;
+export declare const ProbeHarnessGenApiInputSchema: z.ZodObject<{
+    category: z.ZodLiteral<"api">;
+    requirementId: z.ZodString;
+    probeName: z.ZodString;
+    method: z.ZodEnum<["GET", "POST", "PUT", "PATCH", "DELETE", "OPTIONS", "HEAD"]>;
+    routeTemplate: z.ZodString;
+    expectedStatus: z.ZodEffects<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodLiteral<"exact">;
+        status: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        status: number;
+        kind: "exact";
+    }, {
+        status: number;
+        kind: "exact";
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"range">;
+        min: z.ZodNumber;
+        max: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        kind: "range";
+        min: number;
+        max: number;
+    }, {
+        kind: "range";
+        min: number;
+        max: number;
+    }>]>, {
+        status: number;
+        kind: "exact";
+    } | {
+        kind: "range";
+        min: number;
+        max: number;
+    }, {
+        status: number;
+        kind: "exact";
+    } | {
+        kind: "range";
+        min: number;
+        max: number;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    category: "api";
+    method: "GET" | "HEAD" | "POST" | "PUT" | "PATCH" | "DELETE" | "OPTIONS";
+    routeTemplate: string;
+    requirementId: string;
+    probeName: string;
+    expectedStatus: {
+        status: number;
+        kind: "exact";
+    } | {
+        kind: "range";
+        min: number;
+        max: number;
+    };
+}, {
+    category: "api";
+    method: "GET" | "HEAD" | "POST" | "PUT" | "PATCH" | "DELETE" | "OPTIONS";
+    routeTemplate: string;
+    requirementId: string;
+    probeName: string;
+    expectedStatus: {
+        status: number;
+        kind: "exact";
+    } | {
+        kind: "range";
+        min: number;
+        max: number;
+    };
+}>;
+export declare const ProbeHarnessGenUiInputSchema: z.ZodObject<{
+    category: z.ZodLiteral<"ui">;
+    requirementId: z.ZodString;
+    probeName: z.ZodString;
+    routeTemplate: z.ZodString;
+    assertion: z.ZodEffects<z.ZodObject<{
+        selector: z.ZodOptional<z.ZodString>;
+        text: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        text?: string | undefined;
+        selector?: string | undefined;
+    }, {
+        text?: string | undefined;
+        selector?: string | undefined;
+    }>, {
+        text?: string | undefined;
+        selector?: string | undefined;
+    }, {
+        text?: string | undefined;
+        selector?: string | undefined;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    category: "ui";
+    routeTemplate: string;
+    requirementId: string;
+    probeName: string;
+    assertion: {
+        text?: string | undefined;
+        selector?: string | undefined;
+    };
+}, {
+    category: "ui";
+    routeTemplate: string;
+    requirementId: string;
+    probeName: string;
+    assertion: {
+        text?: string | undefined;
+        selector?: string | undefined;
+    };
+}>;
+export declare const ProbeHarnessGenFlowStepSchema: z.ZodObject<{
+    stepKey: z.ZodString;
+    routeTemplate: z.ZodString;
+    assertion: z.ZodEffects<z.ZodObject<{
+        selector: z.ZodOptional<z.ZodString>;
+        text: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        text?: string | undefined;
+        selector?: string | undefined;
+    }, {
+        text?: string | undefined;
+        selector?: string | undefined;
+    }>, {
+        text?: string | undefined;
+        selector?: string | undefined;
+    }, {
+        text?: string | undefined;
+        selector?: string | undefined;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    stepKey: string;
+    routeTemplate: string;
+    assertion: {
+        text?: string | undefined;
+        selector?: string | undefined;
+    };
+}, {
+    stepKey: string;
+    routeTemplate: string;
+    assertion: {
+        text?: string | undefined;
+        selector?: string | undefined;
+    };
+}>;
+export declare const ProbeHarnessGenFlowInputSchema: z.ZodObject<{
+    category: z.ZodLiteral<"flow">;
+    requirementId: z.ZodString;
+    probeName: z.ZodString;
+    flowKey: z.ZodString;
+    steps: z.ZodArray<z.ZodObject<{
+        stepKey: z.ZodString;
+        routeTemplate: z.ZodString;
+        assertion: z.ZodEffects<z.ZodObject<{
+            selector: z.ZodOptional<z.ZodString>;
+            text: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            text?: string | undefined;
+            selector?: string | undefined;
+        }, {
+            text?: string | undefined;
+            selector?: string | undefined;
+        }>, {
+            text?: string | undefined;
+            selector?: string | undefined;
+        }, {
+            text?: string | undefined;
+            selector?: string | undefined;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        stepKey: string;
+        routeTemplate: string;
+        assertion: {
+            text?: string | undefined;
+            selector?: string | undefined;
+        };
+    }, {
+        stepKey: string;
+        routeTemplate: string;
+        assertion: {
+            text?: string | undefined;
+            selector?: string | undefined;
+        };
+    }>, "many">;
+}, "strict", z.ZodTypeAny, {
+    steps: {
+        stepKey: string;
+        routeTemplate: string;
+        assertion: {
+            text?: string | undefined;
+            selector?: string | undefined;
+        };
+    }[];
+    category: "flow";
+    requirementId: string;
+    probeName: string;
+    flowKey: string;
+}, {
+    steps: {
+        stepKey: string;
+        routeTemplate: string;
+        assertion: {
+            text?: string | undefined;
+            selector?: string | undefined;
+        };
+    }[];
+    category: "flow";
+    requirementId: string;
+    probeName: string;
+    flowKey: string;
+}>;
+export declare const ProbeHarnessRequirementInputSchema: z.ZodDiscriminatedUnion<"category", [z.ZodObject<{
+    category: z.ZodLiteral<"api">;
+    requirementId: z.ZodString;
+    probeName: z.ZodString;
+    method: z.ZodEnum<["GET", "POST", "PUT", "PATCH", "DELETE", "OPTIONS", "HEAD"]>;
+    routeTemplate: z.ZodString;
+    expectedStatus: z.ZodEffects<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodLiteral<"exact">;
+        status: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        status: number;
+        kind: "exact";
+    }, {
+        status: number;
+        kind: "exact";
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"range">;
+        min: z.ZodNumber;
+        max: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        kind: "range";
+        min: number;
+        max: number;
+    }, {
+        kind: "range";
+        min: number;
+        max: number;
+    }>]>, {
+        status: number;
+        kind: "exact";
+    } | {
+        kind: "range";
+        min: number;
+        max: number;
+    }, {
+        status: number;
+        kind: "exact";
+    } | {
+        kind: "range";
+        min: number;
+        max: number;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    category: "api";
+    method: "GET" | "HEAD" | "POST" | "PUT" | "PATCH" | "DELETE" | "OPTIONS";
+    routeTemplate: string;
+    requirementId: string;
+    probeName: string;
+    expectedStatus: {
+        status: number;
+        kind: "exact";
+    } | {
+        kind: "range";
+        min: number;
+        max: number;
+    };
+}, {
+    category: "api";
+    method: "GET" | "HEAD" | "POST" | "PUT" | "PATCH" | "DELETE" | "OPTIONS";
+    routeTemplate: string;
+    requirementId: string;
+    probeName: string;
+    expectedStatus: {
+        status: number;
+        kind: "exact";
+    } | {
+        kind: "range";
+        min: number;
+        max: number;
+    };
+}>, z.ZodObject<{
+    category: z.ZodLiteral<"ui">;
+    requirementId: z.ZodString;
+    probeName: z.ZodString;
+    routeTemplate: z.ZodString;
+    assertion: z.ZodEffects<z.ZodObject<{
+        selector: z.ZodOptional<z.ZodString>;
+        text: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        text?: string | undefined;
+        selector?: string | undefined;
+    }, {
+        text?: string | undefined;
+        selector?: string | undefined;
+    }>, {
+        text?: string | undefined;
+        selector?: string | undefined;
+    }, {
+        text?: string | undefined;
+        selector?: string | undefined;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    category: "ui";
+    routeTemplate: string;
+    requirementId: string;
+    probeName: string;
+    assertion: {
+        text?: string | undefined;
+        selector?: string | undefined;
+    };
+}, {
+    category: "ui";
+    routeTemplate: string;
+    requirementId: string;
+    probeName: string;
+    assertion: {
+        text?: string | undefined;
+        selector?: string | undefined;
+    };
+}>, z.ZodObject<{
+    category: z.ZodLiteral<"flow">;
+    requirementId: z.ZodString;
+    probeName: z.ZodString;
+    flowKey: z.ZodString;
+    steps: z.ZodArray<z.ZodObject<{
+        stepKey: z.ZodString;
+        routeTemplate: z.ZodString;
+        assertion: z.ZodEffects<z.ZodObject<{
+            selector: z.ZodOptional<z.ZodString>;
+            text: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            text?: string | undefined;
+            selector?: string | undefined;
+        }, {
+            text?: string | undefined;
+            selector?: string | undefined;
+        }>, {
+            text?: string | undefined;
+            selector?: string | undefined;
+        }, {
+            text?: string | undefined;
+            selector?: string | undefined;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        stepKey: string;
+        routeTemplate: string;
+        assertion: {
+            text?: string | undefined;
+            selector?: string | undefined;
+        };
+    }, {
+        stepKey: string;
+        routeTemplate: string;
+        assertion: {
+            text?: string | undefined;
+            selector?: string | undefined;
+        };
+    }>, "many">;
+}, "strict", z.ZodTypeAny, {
+    steps: {
+        stepKey: string;
+        routeTemplate: string;
+        assertion: {
+            text?: string | undefined;
+            selector?: string | undefined;
+        };
+    }[];
+    category: "flow";
+    requirementId: string;
+    probeName: string;
+    flowKey: string;
+}, {
+    steps: {
+        stepKey: string;
+        routeTemplate: string;
+        assertion: {
+            text?: string | undefined;
+            selector?: string | undefined;
+        };
+    }[];
+    category: "flow";
+    requirementId: string;
+    probeName: string;
+    flowKey: string;
+}>]>;
+export type ProbeHarnessRequirementInput = z.infer<typeof ProbeHarnessRequirementInputSchema>;
+export type ProbeHarnessGenFlowStep = z.infer<typeof ProbeHarnessGenFlowStepSchema>;
+export declare const ProbeHarnessGeneratedFileSchema: z.ZodObject<{
+    path: z.ZodString;
+    content: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    path: string;
+    content: string;
+}, {
+    path: string;
+    content: string;
+}>;
+export type ProbeHarnessGeneratedFile = z.infer<typeof ProbeHarnessGeneratedFileSchema>;

package/dist/schemas/runtime/probe-harness-gen.schema.js

@@ -0,0 +1,91 @@
+"use strict";
+/**
+ * MS-05 #733 — Typed input for deterministic probe harness file generation from requirements.
+ * Distinct from `RuntimeProbeSchema` (#732); only describes generator inputs.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ProbeHarnessGeneratedFileSchema = exports.ProbeHarnessRequirementInputSchema = exports.ProbeHarnessGenFlowInputSchema = exports.ProbeHarnessGenFlowStepSchema = exports.ProbeHarnessGenUiInputSchema = exports.ProbeHarnessGenApiInputSchema = exports.ProbeHarnessDomAssertionSchema = exports.ProbeHarnessStatusExpectationSchema = void 0;
+const zod_1 = require("zod");
+const RequirementNodeIdSchema = zod_1.z.string().uuid();
+const HttpMethodSchema = zod_1.z.enum([
+    "GET",
+    "POST",
+    "PUT",
+    "PATCH",
+    "DELETE",
+    "OPTIONS",
+    "HEAD",
+]);
+exports.ProbeHarnessStatusExpectationSchema = zod_1.z.discriminatedUnion("kind", [
+    zod_1.z
+        .object({
+        kind: zod_1.z.literal("exact"),
+        status: zod_1.z.number().int().min(100).max(599),
+    })
+        .strict(),
+    zod_1.z
+        .object({
+        kind: zod_1.z.literal("range"),
+        min: zod_1.z.number().int().min(100).max(599),
+        max: zod_1.z.number().int().min(100).max(599),
+    })
+        .strict(),
+]).refine((v) => v.kind !== "range" || v.min <= v.max, {
+    message: "status range min must be less than or equal to max",
+    path: ["min"],
+});
+exports.ProbeHarnessDomAssertionSchema = zod_1.z
+    .object({
+    selector: zod_1.z.string().min(1).max(1024).optional(),
+    text: zod_1.z.string().min(1).max(2048).optional(),
+})
+    .strict()
+    .refine((v) => v.selector !== undefined || v.text !== undefined, {
+    message: "UI/flow assertion requires selector or text",
+});
+exports.ProbeHarnessGenApiInputSchema = zod_1.z
+    .object({
+    category: zod_1.z.literal("api"),
+    requirementId: RequirementNodeIdSchema,
+    probeName: zod_1.z.string().min(1).max(512),
+    method: HttpMethodSchema,
+    routeTemplate: zod_1.z.string().min(1).max(2048),
+    expectedStatus: exports.ProbeHarnessStatusExpectationSchema,
+})
+    .strict();
+exports.ProbeHarnessGenUiInputSchema = zod_1.z
+    .object({
+    category: zod_1.z.literal("ui"),
+    requirementId: RequirementNodeIdSchema,
+    probeName: zod_1.z.string().min(1).max(512),
+    routeTemplate: zod_1.z.string().min(1).max(2048),
+    assertion: exports.ProbeHarnessDomAssertionSchema,
+})
+    .strict();
+exports.ProbeHarnessGenFlowStepSchema = zod_1.z
+    .object({
+    stepKey: zod_1.z.string().min(1).max(512),
+    routeTemplate: zod_1.z.string().min(1).max(2048),
+    assertion: exports.ProbeHarnessDomAssertionSchema,
+})
+    .strict();
+exports.ProbeHarnessGenFlowInputSchema = zod_1.z
+    .object({
+    category: zod_1.z.literal("flow"),
+    requirementId: RequirementNodeIdSchema,
+    probeName: zod_1.z.string().min(1).max(512),
+    flowKey: zod_1.z.string().min(1).max(512),
+    steps: zod_1.z.array(exports.ProbeHarnessGenFlowStepSchema).min(2),
+})
+    .strict();
+exports.ProbeHarnessRequirementInputSchema = zod_1.z.discriminatedUnion("category", [
+    exports.ProbeHarnessGenApiInputSchema,
+    exports.ProbeHarnessGenUiInputSchema,
+    exports.ProbeHarnessGenFlowInputSchema,
+]);
+exports.ProbeHarnessGeneratedFileSchema = zod_1.z
+    .object({
+    path: zod_1.z.string().min(1).max(4096),
+    content: zod_1.z.string().min(1),
+})
+    .strict();