@neuraloom/contracts 0.0.0-stage → 0.1.23

package/dist/schemas/traceability/traceability-graph.schema.d.ts

@@ -0,0 +1,712 @@
+import { z } from "zod";
+/** Graph node: requirement (e.g. spec-backed). */
+export declare const RequirementNodeSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"requirement">;
+    id: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "requirement";
+    title?: string | undefined;
+    description?: string | undefined;
+}, {
+    id: string;
+    kind: "requirement";
+    title?: string | undefined;
+    description?: string | undefined;
+}>;
+/** Graph node: task. */
+export declare const TaskNodeSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"task">;
+    id: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    status: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "task";
+    title?: string | undefined;
+    status?: string | undefined;
+}, {
+    id: string;
+    kind: "task";
+    title?: string | undefined;
+    status?: string | undefined;
+}>;
+/** Graph node: repository file at a point in time. */
+export declare const FileNodeSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"file">;
+    id: z.ZodString;
+    path: z.ZodString;
+    commitSha: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    path: string;
+    kind: "file";
+    commitSha?: string | undefined;
+}, {
+    id: string;
+    path: string;
+    kind: "file";
+    commitSha?: string | undefined;
+}>;
+/** Graph node: pull request. */
+export declare const PullRequestNodeSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"pull_request">;
+    id: z.ZodString;
+    url: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    number: z.ZodOptional<z.ZodNumber>;
+    headSha: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "pull_request";
+    url: string;
+    number?: number | undefined;
+    title?: string | undefined;
+    headSha?: string | undefined;
+}, {
+    id: string;
+    kind: "pull_request";
+    url: string;
+    number?: number | undefined;
+    title?: string | undefined;
+    headSha?: string | undefined;
+}>;
+/** Graph node: deployment (Vercel, etc.). */
+export declare const DeploymentNodeSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"deployment">;
+    id: z.ZodString;
+    providerDeploymentId: z.ZodString;
+    url: z.ZodOptional<z.ZodString>;
+    environment: z.ZodOptional<z.ZodEnum<["production", "preview", "development"]>>;
+    commitSha: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "deployment";
+    providerDeploymentId: string;
+    url?: string | undefined;
+    environment?: "development" | "production" | "preview" | undefined;
+    commitSha?: string | undefined;
+}, {
+    id: string;
+    kind: "deployment";
+    providerDeploymentId: string;
+    url?: string | undefined;
+    environment?: "development" | "production" | "preview" | undefined;
+    commitSha?: string | undefined;
+}>;
+/** Graph node: runtime verification (E2E, smoke, health). */
+export declare const RuntimeCheckNodeSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"runtime_check">;
+    id: z.ZodString;
+    externalId: z.ZodString;
+    name: z.ZodOptional<z.ZodString>;
+    status: z.ZodOptional<z.ZodEnum<["pending", "pass", "fail", "skipped", "error"]>>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "runtime_check";
+    externalId: string;
+    status?: "pending" | "error" | "skipped" | "fail" | "pass" | undefined;
+    name?: string | undefined;
+}, {
+    id: string;
+    kind: "runtime_check";
+    externalId: string;
+    status?: "pending" | "error" | "skipped" | "fail" | "pass" | undefined;
+    name?: string | undefined;
+}>;
+export declare const TraceabilityNodeSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    kind: z.ZodLiteral<"requirement">;
+    id: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "requirement";
+    title?: string | undefined;
+    description?: string | undefined;
+}, {
+    id: string;
+    kind: "requirement";
+    title?: string | undefined;
+    description?: string | undefined;
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"task">;
+    id: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    status: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "task";
+    title?: string | undefined;
+    status?: string | undefined;
+}, {
+    id: string;
+    kind: "task";
+    title?: string | undefined;
+    status?: string | undefined;
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"file">;
+    id: z.ZodString;
+    path: z.ZodString;
+    commitSha: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    path: string;
+    kind: "file";
+    commitSha?: string | undefined;
+}, {
+    id: string;
+    path: string;
+    kind: "file";
+    commitSha?: string | undefined;
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"pull_request">;
+    id: z.ZodString;
+    url: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    number: z.ZodOptional<z.ZodNumber>;
+    headSha: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "pull_request";
+    url: string;
+    number?: number | undefined;
+    title?: string | undefined;
+    headSha?: string | undefined;
+}, {
+    id: string;
+    kind: "pull_request";
+    url: string;
+    number?: number | undefined;
+    title?: string | undefined;
+    headSha?: string | undefined;
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"deployment">;
+    id: z.ZodString;
+    providerDeploymentId: z.ZodString;
+    url: z.ZodOptional<z.ZodString>;
+    environment: z.ZodOptional<z.ZodEnum<["production", "preview", "development"]>>;
+    commitSha: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "deployment";
+    providerDeploymentId: string;
+    url?: string | undefined;
+    environment?: "development" | "production" | "preview" | undefined;
+    commitSha?: string | undefined;
+}, {
+    id: string;
+    kind: "deployment";
+    providerDeploymentId: string;
+    url?: string | undefined;
+    environment?: "development" | "production" | "preview" | undefined;
+    commitSha?: string | undefined;
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"runtime_check">;
+    id: z.ZodString;
+    externalId: z.ZodString;
+    name: z.ZodOptional<z.ZodString>;
+    status: z.ZodOptional<z.ZodEnum<["pending", "pass", "fail", "skipped", "error"]>>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "runtime_check";
+    externalId: string;
+    status?: "pending" | "error" | "skipped" | "fail" | "pass" | undefined;
+    name?: string | undefined;
+}, {
+    id: string;
+    kind: "runtime_check";
+    externalId: string;
+    status?: "pending" | "error" | "skipped" | "fail" | "pass" | undefined;
+    name?: string | undefined;
+}>]>;
+/** Task implements requirement. */
+export declare const ImplementsEdgeSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"implements">;
+    id: z.ZodString;
+    sourceTaskId: z.ZodString;
+    targetRequirementId: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "implements";
+    sourceTaskId: string;
+    targetRequirementId: string;
+}, {
+    id: string;
+    kind: "implements";
+    sourceTaskId: string;
+    targetRequirementId: string;
+}>;
+/** Task emits / produces file changes. */
+export declare const EmitsEdgeSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"emits">;
+    id: z.ZodString;
+    sourceTaskId: z.ZodString;
+    targetFileId: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "emits";
+    sourceTaskId: string;
+    targetFileId: string;
+}, {
+    id: string;
+    kind: "emits";
+    sourceTaskId: string;
+    targetFileId: string;
+}>;
+/** PR contains file diff. */
+export declare const PullRequestContainsEdgeSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"pull_request_contains">;
+    id: z.ZodString;
+    sourcePullRequestId: z.ZodString;
+    targetFileId: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "pull_request_contains";
+    targetFileId: string;
+    sourcePullRequestId: string;
+}, {
+    id: string;
+    kind: "pull_request_contains";
+    targetFileId: string;
+    sourcePullRequestId: string;
+}>;
+/** PR deploys to an environment (deployment row). */
+export declare const DeploysEdgeSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"deploys">;
+    id: z.ZodString;
+    sourcePullRequestId: z.ZodString;
+    targetDeploymentId: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "deploys";
+    sourcePullRequestId: string;
+    targetDeploymentId: string;
+}, {
+    id: string;
+    kind: "deploys";
+    sourcePullRequestId: string;
+    targetDeploymentId: string;
+}>;
+/** Deployment validated by runtime check. */
+export declare const ValidatedByEdgeSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"validated_by">;
+    id: z.ZodString;
+    sourceDeploymentId: z.ZodString;
+    targetRuntimeCheckId: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "validated_by";
+    sourceDeploymentId: string;
+    targetRuntimeCheckId: string;
+}, {
+    id: string;
+    kind: "validated_by";
+    sourceDeploymentId: string;
+    targetRuntimeCheckId: string;
+}>;
+export declare const TraceabilityEdgeSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    kind: z.ZodLiteral<"implements">;
+    id: z.ZodString;
+    sourceTaskId: z.ZodString;
+    targetRequirementId: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "implements";
+    sourceTaskId: string;
+    targetRequirementId: string;
+}, {
+    id: string;
+    kind: "implements";
+    sourceTaskId: string;
+    targetRequirementId: string;
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"emits">;
+    id: z.ZodString;
+    sourceTaskId: z.ZodString;
+    targetFileId: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "emits";
+    sourceTaskId: string;
+    targetFileId: string;
+}, {
+    id: string;
+    kind: "emits";
+    sourceTaskId: string;
+    targetFileId: string;
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"pull_request_contains">;
+    id: z.ZodString;
+    sourcePullRequestId: z.ZodString;
+    targetFileId: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "pull_request_contains";
+    targetFileId: string;
+    sourcePullRequestId: string;
+}, {
+    id: string;
+    kind: "pull_request_contains";
+    targetFileId: string;
+    sourcePullRequestId: string;
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"deploys">;
+    id: z.ZodString;
+    sourcePullRequestId: z.ZodString;
+    targetDeploymentId: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "deploys";
+    sourcePullRequestId: string;
+    targetDeploymentId: string;
+}, {
+    id: string;
+    kind: "deploys";
+    sourcePullRequestId: string;
+    targetDeploymentId: string;
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"validated_by">;
+    id: z.ZodString;
+    sourceDeploymentId: z.ZodString;
+    targetRuntimeCheckId: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "validated_by";
+    sourceDeploymentId: string;
+    targetRuntimeCheckId: string;
+}, {
+    id: string;
+    kind: "validated_by";
+    sourceDeploymentId: string;
+    targetRuntimeCheckId: string;
+}>]>;
+export declare const TraceabilityGraphSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1">;
+    nodes: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodLiteral<"requirement">;
+        id: z.ZodString;
+        title: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "requirement";
+        title?: string | undefined;
+        description?: string | undefined;
+    }, {
+        id: string;
+        kind: "requirement";
+        title?: string | undefined;
+        description?: string | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"task">;
+        id: z.ZodString;
+        title: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "task";
+        title?: string | undefined;
+        status?: string | undefined;
+    }, {
+        id: string;
+        kind: "task";
+        title?: string | undefined;
+        status?: string | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"file">;
+        id: z.ZodString;
+        path: z.ZodString;
+        commitSha: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        path: string;
+        kind: "file";
+        commitSha?: string | undefined;
+    }, {
+        id: string;
+        path: string;
+        kind: "file";
+        commitSha?: string | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"pull_request">;
+        id: z.ZodString;
+        url: z.ZodString;
+        title: z.ZodOptional<z.ZodString>;
+        number: z.ZodOptional<z.ZodNumber>;
+        headSha: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "pull_request";
+        url: string;
+        number?: number | undefined;
+        title?: string | undefined;
+        headSha?: string | undefined;
+    }, {
+        id: string;
+        kind: "pull_request";
+        url: string;
+        number?: number | undefined;
+        title?: string | undefined;
+        headSha?: string | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"deployment">;
+        id: z.ZodString;
+        providerDeploymentId: z.ZodString;
+        url: z.ZodOptional<z.ZodString>;
+        environment: z.ZodOptional<z.ZodEnum<["production", "preview", "development"]>>;
+        commitSha: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "deployment";
+        providerDeploymentId: string;
+        url?: string | undefined;
+        environment?: "development" | "production" | "preview" | undefined;
+        commitSha?: string | undefined;
+    }, {
+        id: string;
+        kind: "deployment";
+        providerDeploymentId: string;
+        url?: string | undefined;
+        environment?: "development" | "production" | "preview" | undefined;
+        commitSha?: string | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"runtime_check">;
+        id: z.ZodString;
+        externalId: z.ZodString;
+        name: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodEnum<["pending", "pass", "fail", "skipped", "error"]>>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "runtime_check";
+        externalId: string;
+        status?: "pending" | "error" | "skipped" | "fail" | "pass" | undefined;
+        name?: string | undefined;
+    }, {
+        id: string;
+        kind: "runtime_check";
+        externalId: string;
+        status?: "pending" | "error" | "skipped" | "fail" | "pass" | undefined;
+        name?: string | undefined;
+    }>]>, "many">;
+    edges: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodLiteral<"implements">;
+        id: z.ZodString;
+        sourceTaskId: z.ZodString;
+        targetRequirementId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "implements";
+        sourceTaskId: string;
+        targetRequirementId: string;
+    }, {
+        id: string;
+        kind: "implements";
+        sourceTaskId: string;
+        targetRequirementId: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"emits">;
+        id: z.ZodString;
+        sourceTaskId: z.ZodString;
+        targetFileId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "emits";
+        sourceTaskId: string;
+        targetFileId: string;
+    }, {
+        id: string;
+        kind: "emits";
+        sourceTaskId: string;
+        targetFileId: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"pull_request_contains">;
+        id: z.ZodString;
+        sourcePullRequestId: z.ZodString;
+        targetFileId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "pull_request_contains";
+        targetFileId: string;
+        sourcePullRequestId: string;
+    }, {
+        id: string;
+        kind: "pull_request_contains";
+        targetFileId: string;
+        sourcePullRequestId: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"deploys">;
+        id: z.ZodString;
+        sourcePullRequestId: z.ZodString;
+        targetDeploymentId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "deploys";
+        sourcePullRequestId: string;
+        targetDeploymentId: string;
+    }, {
+        id: string;
+        kind: "deploys";
+        sourcePullRequestId: string;
+        targetDeploymentId: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"validated_by">;
+        id: z.ZodString;
+        sourceDeploymentId: z.ZodString;
+        targetRuntimeCheckId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "validated_by";
+        sourceDeploymentId: string;
+        targetRuntimeCheckId: string;
+    }, {
+        id: string;
+        kind: "validated_by";
+        sourceDeploymentId: string;
+        targetRuntimeCheckId: string;
+    }>]>, "many">;
+}, "strip", z.ZodTypeAny, {
+    schemaVersion: "1";
+    nodes: ({
+        id: string;
+        kind: "requirement";
+        title?: string | undefined;
+        description?: string | undefined;
+    } | {
+        id: string;
+        kind: "task";
+        title?: string | undefined;
+        status?: string | undefined;
+    } | {
+        id: string;
+        path: string;
+        kind: "file";
+        commitSha?: string | undefined;
+    } | {
+        id: string;
+        kind: "pull_request";
+        url: string;
+        number?: number | undefined;
+        title?: string | undefined;
+        headSha?: string | undefined;
+    } | {
+        id: string;
+        kind: "deployment";
+        providerDeploymentId: string;
+        url?: string | undefined;
+        environment?: "development" | "production" | "preview" | undefined;
+        commitSha?: string | undefined;
+    } | {
+        id: string;
+        kind: "runtime_check";
+        externalId: string;
+        status?: "pending" | "error" | "skipped" | "fail" | "pass" | undefined;
+        name?: string | undefined;
+    })[];
+    edges: ({
+        id: string;
+        kind: "implements";
+        sourceTaskId: string;
+        targetRequirementId: string;
+    } | {
+        id: string;
+        kind: "emits";
+        sourceTaskId: string;
+        targetFileId: string;
+    } | {
+        id: string;
+        kind: "pull_request_contains";
+        targetFileId: string;
+        sourcePullRequestId: string;
+    } | {
+        id: string;
+        kind: "deploys";
+        sourcePullRequestId: string;
+        targetDeploymentId: string;
+    } | {
+        id: string;
+        kind: "validated_by";
+        sourceDeploymentId: string;
+        targetRuntimeCheckId: string;
+    })[];
+}, {
+    schemaVersion: "1";
+    nodes: ({
+        id: string;
+        kind: "requirement";
+        title?: string | undefined;
+        description?: string | undefined;
+    } | {
+        id: string;
+        kind: "task";
+        title?: string | undefined;
+        status?: string | undefined;
+    } | {
+        id: string;
+        path: string;
+        kind: "file";
+        commitSha?: string | undefined;
+    } | {
+        id: string;
+        kind: "pull_request";
+        url: string;
+        number?: number | undefined;
+        title?: string | undefined;
+        headSha?: string | undefined;
+    } | {
+        id: string;
+        kind: "deployment";
+        providerDeploymentId: string;
+        url?: string | undefined;
+        environment?: "development" | "production" | "preview" | undefined;
+        commitSha?: string | undefined;
+    } | {
+        id: string;
+        kind: "runtime_check";
+        externalId: string;
+        status?: "pending" | "error" | "skipped" | "fail" | "pass" | undefined;
+        name?: string | undefined;
+    })[];
+    edges: ({
+        id: string;
+        kind: "implements";
+        sourceTaskId: string;
+        targetRequirementId: string;
+    } | {
+        id: string;
+        kind: "emits";
+        sourceTaskId: string;
+        targetFileId: string;
+    } | {
+        id: string;
+        kind: "pull_request_contains";
+        targetFileId: string;
+        sourcePullRequestId: string;
+    } | {
+        id: string;
+        kind: "deploys";
+        sourcePullRequestId: string;
+        targetDeploymentId: string;
+    } | {
+        id: string;
+        kind: "validated_by";
+        sourceDeploymentId: string;
+        targetRuntimeCheckId: string;
+    })[];
+}>;
+export type RequirementNode = z.infer<typeof RequirementNodeSchema>;
+export type TaskNode = z.infer<typeof TaskNodeSchema>;
+export type FileNode = z.infer<typeof FileNodeSchema>;
+export type PullRequestNode = z.infer<typeof PullRequestNodeSchema>;
+export type DeploymentNode = z.infer<typeof DeploymentNodeSchema>;
+export type RuntimeCheckNode = z.infer<typeof RuntimeCheckNodeSchema>;
+export type TraceabilityNode = z.infer<typeof TraceabilityNodeSchema>;
+export type ImplementsEdge = z.infer<typeof ImplementsEdgeSchema>;
+export type EmitsEdge = z.infer<typeof EmitsEdgeSchema>;
+export type PullRequestContainsEdge = z.infer<typeof PullRequestContainsEdgeSchema>;
+export type DeploysEdge = z.infer<typeof DeploysEdgeSchema>;
+export type ValidatedByEdge = z.infer<typeof ValidatedByEdgeSchema>;
+export type TraceabilityEdge = z.infer<typeof TraceabilityEdgeSchema>;
+export type TraceabilityGraph = z.infer<typeof TraceabilityGraphSchema>;