syncpoint-ai 0.1.0

package/dist/kernel/operation.d.ts

@@ -0,0 +1,721 @@
+/**
+ * Operation — generic operation protocol.
+ *
+ * Supports any operation type (e.g. "code_patch", "image_edit", "video_cut").
+ * Plugins define specific operation types and their validators.
+ */
+import { z } from "zod";
+export declare enum OperationStatus {
+    DRAFT = "DRAFT",
+    SUBMITTED = "SUBMITTED",
+    CONFLICTING = "CONFLICTING",
+    APPROVED = "APPROVED",
+    REJECTED = "REJECTED",
+    APPLIED = "APPLIED",
+    CANCELLED = "CANCELLED"
+}
+export declare function validateOperationTransition(from: OperationStatus, to: OperationStatus): boolean;
+export declare const OperationCheckItemSchema: z.ZodObject<{
+    check: z.ZodString;
+    passed: z.ZodBoolean;
+    detail: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    check: string;
+    passed: boolean;
+    detail: string;
+}, {
+    check: string;
+    passed: boolean;
+    detail: string;
+}>;
+export declare const OperationConstraintViolationSchema: z.ZodObject<{
+    rule: z.ZodString;
+    sourceMemoryId: z.ZodString;
+    projectionId: z.ZodString;
+    message: z.ZodString;
+    evidence: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    message: string;
+    rule: string;
+    sourceMemoryId: string;
+    projectionId: string;
+    evidence?: string[] | undefined;
+}, {
+    message: string;
+    rule: string;
+    sourceMemoryId: string;
+    projectionId: string;
+    evidence?: string[] | undefined;
+}>;
+export declare const OperationCheckResultSchema: z.ZodObject<{
+    allPassed: z.ZodBoolean;
+    items: z.ZodArray<z.ZodObject<{
+        check: z.ZodString;
+        passed: z.ZodBoolean;
+        detail: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        check: string;
+        passed: boolean;
+        detail: string;
+    }, {
+        check: string;
+        passed: boolean;
+        detail: string;
+    }>, "many">;
+    targetResources: z.ZodArray<z.ZodObject<{
+        type: z.ZodString;
+        id: z.ZodOptional<z.ZodString>;
+        locator: z.ZodString;
+        scope: z.ZodDefault<z.ZodEnum<["file", "function", "line_range"]>>;
+        functionName: z.ZodOptional<z.ZodString>;
+        lineRange: z.ZodOptional<z.ZodObject<{
+            start: z.ZodNumber;
+            end: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            start: number;
+            end: number;
+        }, {
+            start: number;
+            end: number;
+        }>>;
+        metadata: z.ZodDefault<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        type: string;
+        locator: string;
+        scope: "function" | "file" | "line_range";
+        metadata: string;
+        id?: string | undefined;
+        functionName?: string | undefined;
+        lineRange?: {
+            start: number;
+            end: number;
+        } | undefined;
+    }, {
+        type: string;
+        locator: string;
+        id?: string | undefined;
+        scope?: "function" | "file" | "line_range" | undefined;
+        functionName?: string | undefined;
+        lineRange?: {
+            start: number;
+            end: number;
+        } | undefined;
+        metadata?: string | undefined;
+    }>, "many">;
+    uncoveredResources: z.ZodArray<z.ZodObject<{
+        type: z.ZodString;
+        id: z.ZodOptional<z.ZodString>;
+        locator: z.ZodString;
+        scope: z.ZodDefault<z.ZodEnum<["file", "function", "line_range"]>>;
+        functionName: z.ZodOptional<z.ZodString>;
+        lineRange: z.ZodOptional<z.ZodObject<{
+            start: z.ZodNumber;
+            end: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            start: number;
+            end: number;
+        }, {
+            start: number;
+            end: number;
+        }>>;
+        metadata: z.ZodDefault<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        type: string;
+        locator: string;
+        scope: "function" | "file" | "line_range";
+        metadata: string;
+        id?: string | undefined;
+        functionName?: string | undefined;
+        lineRange?: {
+            start: number;
+            end: number;
+        } | undefined;
+    }, {
+        type: string;
+        locator: string;
+        id?: string | undefined;
+        scope?: "function" | "file" | "line_range" | undefined;
+        functionName?: string | undefined;
+        lineRange?: {
+            start: number;
+            end: number;
+        } | undefined;
+        metadata?: string | undefined;
+    }>, "many">;
+    conflictingClaimIds: z.ZodArray<z.ZodString, "many">;
+    constraintViolations: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        rule: z.ZodString;
+        sourceMemoryId: z.ZodString;
+        projectionId: z.ZodString;
+        message: z.ZodString;
+        evidence: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        message: string;
+        rule: string;
+        sourceMemoryId: string;
+        projectionId: string;
+        evidence?: string[] | undefined;
+    }, {
+        message: string;
+        rule: string;
+        sourceMemoryId: string;
+        projectionId: string;
+        evidence?: string[] | undefined;
+    }>, "many">>;
+}, "strip", z.ZodTypeAny, {
+    allPassed: boolean;
+    items: {
+        check: string;
+        passed: boolean;
+        detail: string;
+    }[];
+    targetResources: {
+        type: string;
+        locator: string;
+        scope: "function" | "file" | "line_range";
+        metadata: string;
+        id?: string | undefined;
+        functionName?: string | undefined;
+        lineRange?: {
+            start: number;
+            end: number;
+        } | undefined;
+    }[];
+    uncoveredResources: {
+        type: string;
+        locator: string;
+        scope: "function" | "file" | "line_range";
+        metadata: string;
+        id?: string | undefined;
+        functionName?: string | undefined;
+        lineRange?: {
+            start: number;
+            end: number;
+        } | undefined;
+    }[];
+    conflictingClaimIds: string[];
+    constraintViolations?: {
+        message: string;
+        rule: string;
+        sourceMemoryId: string;
+        projectionId: string;
+        evidence?: string[] | undefined;
+    }[] | undefined;
+}, {
+    allPassed: boolean;
+    items: {
+        check: string;
+        passed: boolean;
+        detail: string;
+    }[];
+    targetResources: {
+        type: string;
+        locator: string;
+        id?: string | undefined;
+        scope?: "function" | "file" | "line_range" | undefined;
+        functionName?: string | undefined;
+        lineRange?: {
+            start: number;
+            end: number;
+        } | undefined;
+        metadata?: string | undefined;
+    }[];
+    uncoveredResources: {
+        type: string;
+        locator: string;
+        id?: string | undefined;
+        scope?: "function" | "file" | "line_range" | undefined;
+        functionName?: string | undefined;
+        lineRange?: {
+            start: number;
+            end: number;
+        } | undefined;
+        metadata?: string | undefined;
+    }[];
+    conflictingClaimIds: string[];
+    constraintViolations?: {
+        message: string;
+        rule: string;
+        sourceMemoryId: string;
+        projectionId: string;
+        evidence?: string[] | undefined;
+    }[] | undefined;
+}>;
+export declare const OperationSchema: z.ZodObject<{
+    id: z.ZodString;
+    type: z.ZodString;
+    actorId: z.ZodString;
+    taskId: z.ZodString;
+    sessionId: z.ZodDefault<z.ZodString>;
+    title: z.ZodString;
+    summary: z.ZodString;
+    targetResources: z.ZodArray<z.ZodObject<{
+        type: z.ZodString;
+        id: z.ZodOptional<z.ZodString>;
+        locator: z.ZodString;
+        scope: z.ZodDefault<z.ZodEnum<["file", "function", "line_range"]>>;
+        functionName: z.ZodOptional<z.ZodString>;
+        lineRange: z.ZodOptional<z.ZodObject<{
+            start: z.ZodNumber;
+            end: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            start: number;
+            end: number;
+        }, {
+            start: number;
+            end: number;
+        }>>;
+        metadata: z.ZodDefault<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        type: string;
+        locator: string;
+        scope: "function" | "file" | "line_range";
+        metadata: string;
+        id?: string | undefined;
+        functionName?: string | undefined;
+        lineRange?: {
+            start: number;
+            end: number;
+        } | undefined;
+    }, {
+        type: string;
+        locator: string;
+        id?: string | undefined;
+        scope?: "function" | "file" | "line_range" | undefined;
+        functionName?: string | undefined;
+        lineRange?: {
+            start: number;
+            end: number;
+        } | undefined;
+        metadata?: string | undefined;
+    }>, "many">;
+    payloadRef: z.ZodDefault<z.ZodString>;
+    status: z.ZodNativeEnum<typeof OperationStatus>;
+    checkResult: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        allPassed: z.ZodBoolean;
+        items: z.ZodArray<z.ZodObject<{
+            check: z.ZodString;
+            passed: z.ZodBoolean;
+            detail: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            check: string;
+            passed: boolean;
+            detail: string;
+        }, {
+            check: string;
+            passed: boolean;
+            detail: string;
+        }>, "many">;
+        targetResources: z.ZodArray<z.ZodObject<{
+            type: z.ZodString;
+            id: z.ZodOptional<z.ZodString>;
+            locator: z.ZodString;
+            scope: z.ZodDefault<z.ZodEnum<["file", "function", "line_range"]>>;
+            functionName: z.ZodOptional<z.ZodString>;
+            lineRange: z.ZodOptional<z.ZodObject<{
+                start: z.ZodNumber;
+                end: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                start: number;
+                end: number;
+            }, {
+                start: number;
+                end: number;
+            }>>;
+            metadata: z.ZodDefault<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            type: string;
+            locator: string;
+            scope: "function" | "file" | "line_range";
+            metadata: string;
+            id?: string | undefined;
+            functionName?: string | undefined;
+            lineRange?: {
+                start: number;
+                end: number;
+            } | undefined;
+        }, {
+            type: string;
+            locator: string;
+            id?: string | undefined;
+            scope?: "function" | "file" | "line_range" | undefined;
+            functionName?: string | undefined;
+            lineRange?: {
+                start: number;
+                end: number;
+            } | undefined;
+            metadata?: string | undefined;
+        }>, "many">;
+        uncoveredResources: z.ZodArray<z.ZodObject<{
+            type: z.ZodString;
+            id: z.ZodOptional<z.ZodString>;
+            locator: z.ZodString;
+            scope: z.ZodDefault<z.ZodEnum<["file", "function", "line_range"]>>;
+            functionName: z.ZodOptional<z.ZodString>;
+            lineRange: z.ZodOptional<z.ZodObject<{
+                start: z.ZodNumber;
+                end: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                start: number;
+                end: number;
+            }, {
+                start: number;
+                end: number;
+            }>>;
+            metadata: z.ZodDefault<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            type: string;
+            locator: string;
+            scope: "function" | "file" | "line_range";
+            metadata: string;
+            id?: string | undefined;
+            functionName?: string | undefined;
+            lineRange?: {
+                start: number;
+                end: number;
+            } | undefined;
+        }, {
+            type: string;
+            locator: string;
+            id?: string | undefined;
+            scope?: "function" | "file" | "line_range" | undefined;
+            functionName?: string | undefined;
+            lineRange?: {
+                start: number;
+                end: number;
+            } | undefined;
+            metadata?: string | undefined;
+        }>, "many">;
+        conflictingClaimIds: z.ZodArray<z.ZodString, "many">;
+        constraintViolations: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            rule: z.ZodString;
+            sourceMemoryId: z.ZodString;
+            projectionId: z.ZodString;
+            message: z.ZodString;
+            evidence: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            message: string;
+            rule: string;
+            sourceMemoryId: string;
+            projectionId: string;
+            evidence?: string[] | undefined;
+        }, {
+            message: string;
+            rule: string;
+            sourceMemoryId: string;
+            projectionId: string;
+            evidence?: string[] | undefined;
+        }>, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        allPassed: boolean;
+        items: {
+            check: string;
+            passed: boolean;
+            detail: string;
+        }[];
+        targetResources: {
+            type: string;
+            locator: string;
+            scope: "function" | "file" | "line_range";
+            metadata: string;
+            id?: string | undefined;
+            functionName?: string | undefined;
+            lineRange?: {
+                start: number;
+                end: number;
+            } | undefined;
+        }[];
+        uncoveredResources: {
+            type: string;
+            locator: string;
+            scope: "function" | "file" | "line_range";
+            metadata: string;
+            id?: string | undefined;
+            functionName?: string | undefined;
+            lineRange?: {
+                start: number;
+                end: number;
+            } | undefined;
+        }[];
+        conflictingClaimIds: string[];
+        constraintViolations?: {
+            message: string;
+            rule: string;
+            sourceMemoryId: string;
+            projectionId: string;
+            evidence?: string[] | undefined;
+        }[] | undefined;
+    }, {
+        allPassed: boolean;
+        items: {
+            check: string;
+            passed: boolean;
+            detail: string;
+        }[];
+        targetResources: {
+            type: string;
+            locator: string;
+            id?: string | undefined;
+            scope?: "function" | "file" | "line_range" | undefined;
+            functionName?: string | undefined;
+            lineRange?: {
+                start: number;
+                end: number;
+            } | undefined;
+            metadata?: string | undefined;
+        }[];
+        uncoveredResources: {
+            type: string;
+            locator: string;
+            id?: string | undefined;
+            scope?: "function" | "file" | "line_range" | undefined;
+            functionName?: string | undefined;
+            lineRange?: {
+                start: number;
+                end: number;
+            } | undefined;
+            metadata?: string | undefined;
+        }[];
+        conflictingClaimIds: string[];
+        constraintViolations?: {
+            message: string;
+            rule: string;
+            sourceMemoryId: string;
+            projectionId: string;
+            evidence?: string[] | undefined;
+        }[] | undefined;
+    }>>>;
+    decisionSummary: z.ZodString;
+    createdAt: z.ZodString;
+    updatedAt: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    type: string;
+    status: OperationStatus;
+    id: string;
+    actorId: string;
+    taskId: string;
+    sessionId: string;
+    createdAt: string;
+    decisionSummary: string;
+    updatedAt: string;
+    summary: string;
+    targetResources: {
+        type: string;
+        locator: string;
+        scope: "function" | "file" | "line_range";
+        metadata: string;
+        id?: string | undefined;
+        functionName?: string | undefined;
+        lineRange?: {
+            start: number;
+            end: number;
+        } | undefined;
+    }[];
+    title: string;
+    payloadRef: string;
+    checkResult: {
+        allPassed: boolean;
+        items: {
+            check: string;
+            passed: boolean;
+            detail: string;
+        }[];
+        targetResources: {
+            type: string;
+            locator: string;
+            scope: "function" | "file" | "line_range";
+            metadata: string;
+            id?: string | undefined;
+            functionName?: string | undefined;
+            lineRange?: {
+                start: number;
+                end: number;
+            } | undefined;
+        }[];
+        uncoveredResources: {
+            type: string;
+            locator: string;
+            scope: "function" | "file" | "line_range";
+            metadata: string;
+            id?: string | undefined;
+            functionName?: string | undefined;
+            lineRange?: {
+                start: number;
+                end: number;
+            } | undefined;
+        }[];
+        conflictingClaimIds: string[];
+        constraintViolations?: {
+            message: string;
+            rule: string;
+            sourceMemoryId: string;
+            projectionId: string;
+            evidence?: string[] | undefined;
+        }[] | undefined;
+    } | null;
+}, {
+    type: string;
+    status: OperationStatus;
+    id: string;
+    actorId: string;
+    taskId: string;
+    createdAt: string;
+    decisionSummary: string;
+    updatedAt: string;
+    summary: string;
+    targetResources: {
+        type: string;
+        locator: string;
+        id?: string | undefined;
+        scope?: "function" | "file" | "line_range" | undefined;
+        functionName?: string | undefined;
+        lineRange?: {
+            start: number;
+            end: number;
+        } | undefined;
+        metadata?: string | undefined;
+    }[];
+    title: string;
+    sessionId?: string | undefined;
+    payloadRef?: string | undefined;
+    checkResult?: {
+        allPassed: boolean;
+        items: {
+            check: string;
+            passed: boolean;
+            detail: string;
+        }[];
+        targetResources: {
+            type: string;
+            locator: string;
+            id?: string | undefined;
+            scope?: "function" | "file" | "line_range" | undefined;
+            functionName?: string | undefined;
+            lineRange?: {
+                start: number;
+                end: number;
+            } | undefined;
+            metadata?: string | undefined;
+        }[];
+        uncoveredResources: {
+            type: string;
+            locator: string;
+            id?: string | undefined;
+            scope?: "function" | "file" | "line_range" | undefined;
+            functionName?: string | undefined;
+            lineRange?: {
+                start: number;
+                end: number;
+            } | undefined;
+            metadata?: string | undefined;
+        }[];
+        conflictingClaimIds: string[];
+        constraintViolations?: {
+            message: string;
+            rule: string;
+            sourceMemoryId: string;
+            projectionId: string;
+            evidence?: string[] | undefined;
+        }[] | undefined;
+    } | null | undefined;
+}>;
+export type Operation = z.infer<typeof OperationSchema>;
+export declare const OperationCreateSchema: z.ZodObject<{
+    type: z.ZodString;
+    actorId: z.ZodString;
+    taskId: z.ZodString;
+    sessionId: z.ZodOptional<z.ZodString>;
+    title: z.ZodString;
+    summary: z.ZodDefault<z.ZodString>;
+    targetResources: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        type: z.ZodString;
+        id: z.ZodOptional<z.ZodString>;
+        locator: z.ZodString;
+        scope: z.ZodDefault<z.ZodEnum<["file", "function", "line_range"]>>;
+        functionName: z.ZodOptional<z.ZodString>;
+        lineRange: z.ZodOptional<z.ZodObject<{
+            start: z.ZodNumber;
+            end: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            start: number;
+            end: number;
+        }, {
+            start: number;
+            end: number;
+        }>>;
+        metadata: z.ZodDefault<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        type: string;
+        locator: string;
+        scope: "function" | "file" | "line_range";
+        metadata: string;
+        id?: string | undefined;
+        functionName?: string | undefined;
+        lineRange?: {
+            start: number;
+            end: number;
+        } | undefined;
+    }, {
+        type: string;
+        locator: string;
+        id?: string | undefined;
+        scope?: "function" | "file" | "line_range" | undefined;
+        functionName?: string | undefined;
+        lineRange?: {
+            start: number;
+            end: number;
+        } | undefined;
+        metadata?: string | undefined;
+    }>, "many">>;
+    payloadRef: z.ZodDefault<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    type: string;
+    actorId: string;
+    taskId: string;
+    summary: string;
+    targetResources: {
+        type: string;
+        locator: string;
+        scope: "function" | "file" | "line_range";
+        metadata: string;
+        id?: string | undefined;
+        functionName?: string | undefined;
+        lineRange?: {
+            start: number;
+            end: number;
+        } | undefined;
+    }[];
+    title: string;
+    payloadRef: string;
+    sessionId?: string | undefined;
+}, {
+    type: string;
+    actorId: string;
+    taskId: string;
+    title: string;
+    sessionId?: string | undefined;
+    summary?: string | undefined;
+    targetResources?: {
+        type: string;
+        locator: string;
+        id?: string | undefined;
+        scope?: "function" | "file" | "line_range" | undefined;
+        functionName?: string | undefined;
+        lineRange?: {
+            start: number;
+            end: number;
+        } | undefined;
+        metadata?: string | undefined;
+    }[] | undefined;
+    payloadRef?: string | undefined;
+}>;
+export type OperationCreate = z.infer<typeof OperationCreateSchema>;
+export type OperationCheckItem = z.infer<typeof OperationCheckItemSchema>;
+export type OperationCheckResult = z.infer<typeof OperationCheckResultSchema>;
+export interface OperationApproval {
+    operationId: string;
+    actorId: string;
+    decision: "approved" | "rejected";
+    summary: string;
+}
+//# sourceMappingURL=operation.d.ts.map