@kya-os/cli 1.8.3 → 2.0.2

package/node_modules/@kya-os/contracts/dist/workbench/artifact-bindings.d.ts

@@ -0,0 +1,1448 @@
+import { z } from 'zod';
+export declare const ImmutableArtifactLocatorSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
+    type: z.ZodLiteral<"local_snapshot">;
+    digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "local_snapshot";
+    digest: string;
+}, {
+    type: "local_snapshot";
+    digest: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"git_commit">;
+    objectId: z.ZodEffects<z.ZodString, string, string>;
+}, "strict", z.ZodTypeAny, {
+    type: "git_commit";
+    objectId: string;
+}, {
+    type: "git_commit";
+    objectId: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"pull_request_head">;
+    repositoryId: z.ZodString;
+    number: z.ZodNumber;
+    headObjectId: z.ZodEffects<z.ZodString, string, string>;
+}, "strict", z.ZodTypeAny, {
+    number: number;
+    type: "pull_request_head";
+    repositoryId: string;
+    headObjectId: string;
+}, {
+    number: number;
+    type: "pull_request_head";
+    repositoryId: string;
+    headObjectId: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"content_blob">;
+    digest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "content_blob";
+    digest: string;
+}, {
+    type: "content_blob";
+    digest: string;
+}>]>;
+export declare const ArtifactIdentitySchema: z.ZodEffects<z.ZodObject<{
+    kind: z.ZodEnum<["workspace_snapshot", "commit", "pull_request", "test_report", "package", "document"]>;
+    repositoryId: z.ZodString;
+    baseCommit: z.ZodEffects<z.ZodString, string, string>;
+    contentDigest: z.ZodString;
+    locator: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
+        type: z.ZodLiteral<"local_snapshot">;
+        digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        type: "local_snapshot";
+        digest: string;
+    }, {
+        type: "local_snapshot";
+        digest: string;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"git_commit">;
+        objectId: z.ZodEffects<z.ZodString, string, string>;
+    }, "strict", z.ZodTypeAny, {
+        type: "git_commit";
+        objectId: string;
+    }, {
+        type: "git_commit";
+        objectId: string;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"pull_request_head">;
+        repositoryId: z.ZodString;
+        number: z.ZodNumber;
+        headObjectId: z.ZodEffects<z.ZodString, string, string>;
+    }, "strict", z.ZodTypeAny, {
+        number: number;
+        type: "pull_request_head";
+        repositoryId: string;
+        headObjectId: string;
+    }, {
+        number: number;
+        type: "pull_request_head";
+        repositoryId: string;
+        headObjectId: string;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"content_blob">;
+        digest: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        type: "content_blob";
+        digest: string;
+    }, {
+        type: "content_blob";
+        digest: string;
+    }>]>;
+}, "strict", z.ZodTypeAny, {
+    kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+    repositoryId: string;
+    baseCommit: string;
+    contentDigest: string;
+    locator: {
+        type: "local_snapshot";
+        digest: string;
+    } | {
+        type: "git_commit";
+        objectId: string;
+    } | {
+        number: number;
+        type: "pull_request_head";
+        repositoryId: string;
+        headObjectId: string;
+    } | {
+        type: "content_blob";
+        digest: string;
+    };
+}, {
+    kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+    repositoryId: string;
+    baseCommit: string;
+    contentDigest: string;
+    locator: {
+        type: "local_snapshot";
+        digest: string;
+    } | {
+        type: "git_commit";
+        objectId: string;
+    } | {
+        number: number;
+        type: "pull_request_head";
+        repositoryId: string;
+        headObjectId: string;
+    } | {
+        type: "content_blob";
+        digest: string;
+    };
+}>, {
+    kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+    repositoryId: string;
+    baseCommit: string;
+    contentDigest: string;
+    locator: {
+        type: "local_snapshot";
+        digest: string;
+    } | {
+        type: "git_commit";
+        objectId: string;
+    } | {
+        number: number;
+        type: "pull_request_head";
+        repositoryId: string;
+        headObjectId: string;
+    } | {
+        type: "content_blob";
+        digest: string;
+    };
+}, {
+    kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+    repositoryId: string;
+    baseCommit: string;
+    contentDigest: string;
+    locator: {
+        type: "local_snapshot";
+        digest: string;
+    } | {
+        type: "git_commit";
+        objectId: string;
+    } | {
+        number: number;
+        type: "pull_request_head";
+        repositoryId: string;
+        headObjectId: string;
+    } | {
+        type: "content_blob";
+        digest: string;
+    };
+}>;
+export declare const AcceptedArtifactRevisionSchema: z.ZodEffects<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<1>;
+    acceptanceId: z.ZodString;
+    taskId: z.ZodString;
+    specRevision: z.ZodNumber;
+    manifestDigest: z.ZodString;
+    trackGeneration: z.ZodNullable<z.ZodNumber>;
+    artifact: z.ZodEffects<z.ZodObject<{
+        kind: z.ZodEnum<["workspace_snapshot", "commit", "pull_request", "test_report", "package", "document"]>;
+        repositoryId: z.ZodString;
+        baseCommit: z.ZodEffects<z.ZodString, string, string>;
+        contentDigest: z.ZodString;
+        locator: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
+            type: z.ZodLiteral<"local_snapshot">;
+            digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            type: "local_snapshot";
+            digest: string;
+        }, {
+            type: "local_snapshot";
+            digest: string;
+        }>, z.ZodObject<{
+            type: z.ZodLiteral<"git_commit">;
+            objectId: z.ZodEffects<z.ZodString, string, string>;
+        }, "strict", z.ZodTypeAny, {
+            type: "git_commit";
+            objectId: string;
+        }, {
+            type: "git_commit";
+            objectId: string;
+        }>, z.ZodObject<{
+            type: z.ZodLiteral<"pull_request_head">;
+            repositoryId: z.ZodString;
+            number: z.ZodNumber;
+            headObjectId: z.ZodEffects<z.ZodString, string, string>;
+        }, "strict", z.ZodTypeAny, {
+            number: number;
+            type: "pull_request_head";
+            repositoryId: string;
+            headObjectId: string;
+        }, {
+            number: number;
+            type: "pull_request_head";
+            repositoryId: string;
+            headObjectId: string;
+        }>, z.ZodObject<{
+            type: z.ZodLiteral<"content_blob">;
+            digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            type: "content_blob";
+            digest: string;
+        }, {
+            type: "content_blob";
+            digest: string;
+        }>]>;
+    }, "strict", z.ZodTypeAny, {
+        kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+        repositoryId: string;
+        baseCommit: string;
+        contentDigest: string;
+        locator: {
+            type: "local_snapshot";
+            digest: string;
+        } | {
+            type: "git_commit";
+            objectId: string;
+        } | {
+            number: number;
+            type: "pull_request_head";
+            repositoryId: string;
+            headObjectId: string;
+        } | {
+            type: "content_blob";
+            digest: string;
+        };
+    }, {
+        kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+        repositoryId: string;
+        baseCommit: string;
+        contentDigest: string;
+        locator: {
+            type: "local_snapshot";
+            digest: string;
+        } | {
+            type: "git_commit";
+            objectId: string;
+        } | {
+            number: number;
+            type: "pull_request_head";
+            repositoryId: string;
+            headObjectId: string;
+        } | {
+            type: "content_blob";
+            digest: string;
+        };
+    }>, {
+        kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+        repositoryId: string;
+        baseCommit: string;
+        contentDigest: string;
+        locator: {
+            type: "local_snapshot";
+            digest: string;
+        } | {
+            type: "git_commit";
+            objectId: string;
+        } | {
+            number: number;
+            type: "pull_request_head";
+            repositoryId: string;
+            headObjectId: string;
+        } | {
+            type: "content_blob";
+            digest: string;
+        };
+    }, {
+        kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+        repositoryId: string;
+        baseCommit: string;
+        contentDigest: string;
+        locator: {
+            type: "local_snapshot";
+            digest: string;
+        } | {
+            type: "git_commit";
+            objectId: string;
+        } | {
+            number: number;
+            type: "pull_request_head";
+            repositoryId: string;
+            headObjectId: string;
+        } | {
+            type: "content_blob";
+            digest: string;
+        };
+    }>;
+    reviewDigest: z.ZodString;
+    reviewer: z.ZodString;
+    acceptedAtMs: z.ZodNumber;
+    supersedes: z.ZodNullable<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    taskId: string;
+    supersedes: string | null;
+    schemaVersion: 1;
+    acceptanceId: string;
+    specRevision: number;
+    manifestDigest: string;
+    trackGeneration: number | null;
+    artifact: {
+        kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+        repositoryId: string;
+        baseCommit: string;
+        contentDigest: string;
+        locator: {
+            type: "local_snapshot";
+            digest: string;
+        } | {
+            type: "git_commit";
+            objectId: string;
+        } | {
+            number: number;
+            type: "pull_request_head";
+            repositoryId: string;
+            headObjectId: string;
+        } | {
+            type: "content_blob";
+            digest: string;
+        };
+    };
+    reviewDigest: string;
+    reviewer: string;
+    acceptedAtMs: number;
+}, {
+    taskId: string;
+    supersedes: string | null;
+    schemaVersion: 1;
+    acceptanceId: string;
+    specRevision: number;
+    manifestDigest: string;
+    trackGeneration: number | null;
+    artifact: {
+        kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+        repositoryId: string;
+        baseCommit: string;
+        contentDigest: string;
+        locator: {
+            type: "local_snapshot";
+            digest: string;
+        } | {
+            type: "git_commit";
+            objectId: string;
+        } | {
+            number: number;
+            type: "pull_request_head";
+            repositoryId: string;
+            headObjectId: string;
+        } | {
+            type: "content_blob";
+            digest: string;
+        };
+    };
+    reviewDigest: string;
+    reviewer: string;
+    acceptedAtMs: number;
+}>, {
+    taskId: string;
+    supersedes: string | null;
+    schemaVersion: 1;
+    acceptanceId: string;
+    specRevision: number;
+    manifestDigest: string;
+    trackGeneration: number | null;
+    artifact: {
+        kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+        repositoryId: string;
+        baseCommit: string;
+        contentDigest: string;
+        locator: {
+            type: "local_snapshot";
+            digest: string;
+        } | {
+            type: "git_commit";
+            objectId: string;
+        } | {
+            number: number;
+            type: "pull_request_head";
+            repositoryId: string;
+            headObjectId: string;
+        } | {
+            type: "content_blob";
+            digest: string;
+        };
+    };
+    reviewDigest: string;
+    reviewer: string;
+    acceptedAtMs: number;
+}, {
+    taskId: string;
+    supersedes: string | null;
+    schemaVersion: 1;
+    acceptanceId: string;
+    specRevision: number;
+    manifestDigest: string;
+    trackGeneration: number | null;
+    artifact: {
+        kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+        repositoryId: string;
+        baseCommit: string;
+        contentDigest: string;
+        locator: {
+            type: "local_snapshot";
+            digest: string;
+        } | {
+            type: "git_commit";
+            objectId: string;
+        } | {
+            number: number;
+            type: "pull_request_head";
+            repositoryId: string;
+            headObjectId: string;
+        } | {
+            type: "content_blob";
+            digest: string;
+        };
+    };
+    reviewDigest: string;
+    reviewer: string;
+    acceptedAtMs: number;
+}>;
+export declare const AcceptanceWithdrawalSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<1>;
+    acceptanceId: z.ZodString;
+    reason: z.ZodString;
+    triggerTaskId: z.ZodString;
+    withdrawnBy: z.ZodString;
+    withdrawnAtMs: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    reason: string;
+    schemaVersion: 1;
+    acceptanceId: string;
+    triggerTaskId: string;
+    withdrawnBy: string;
+    withdrawnAtMs: number;
+}, {
+    reason: string;
+    schemaVersion: 1;
+    acceptanceId: string;
+    triggerTaskId: string;
+    withdrawnBy: string;
+    withdrawnAtMs: number;
+}>;
+export declare const ConsumedArtifactSchema: z.ZodEffects<z.ZodObject<{
+    prerequisiteTaskId: z.ZodString;
+    prerequisiteSpecRevision: z.ZodNumber;
+    requirement: z.ZodEnum<["accepted_patch", "merged"]>;
+    acceptanceId: z.ZodString;
+    repositoryId: z.ZodString;
+    kind: z.ZodEnum<["workspace_snapshot", "commit", "pull_request", "test_report", "package", "document"]>;
+    contentDigest: z.ZodString;
+    mergedCommit: z.ZodNullable<z.ZodEffects<z.ZodString, string, string>>;
+}, "strict", z.ZodTypeAny, {
+    kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+    repositoryId: string;
+    contentDigest: string;
+    acceptanceId: string;
+    prerequisiteTaskId: string;
+    prerequisiteSpecRevision: number;
+    requirement: "accepted_patch" | "merged";
+    mergedCommit: string | null;
+}, {
+    kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+    repositoryId: string;
+    contentDigest: string;
+    acceptanceId: string;
+    prerequisiteTaskId: string;
+    prerequisiteSpecRevision: number;
+    requirement: "accepted_patch" | "merged";
+    mergedCommit: string | null;
+}>, {
+    kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+    repositoryId: string;
+    contentDigest: string;
+    acceptanceId: string;
+    prerequisiteTaskId: string;
+    prerequisiteSpecRevision: number;
+    requirement: "accepted_patch" | "merged";
+    mergedCommit: string | null;
+}, {
+    kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+    repositoryId: string;
+    contentDigest: string;
+    acceptanceId: string;
+    prerequisiteTaskId: string;
+    prerequisiteSpecRevision: number;
+    requirement: "accepted_patch" | "merged";
+    mergedCommit: string | null;
+}>;
+export declare const DependencyBindingSchema: z.ZodEffects<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<1>;
+    bindingId: z.ZodString;
+    dependentTaskId: z.ZodString;
+    dependentSpecRevision: z.ZodNumber;
+    trackId: z.ZodString;
+    trackGeneration: z.ZodNumber;
+    consumed: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        prerequisiteTaskId: z.ZodString;
+        prerequisiteSpecRevision: z.ZodNumber;
+        requirement: z.ZodEnum<["accepted_patch", "merged"]>;
+        acceptanceId: z.ZodString;
+        repositoryId: z.ZodString;
+        kind: z.ZodEnum<["workspace_snapshot", "commit", "pull_request", "test_report", "package", "document"]>;
+        contentDigest: z.ZodString;
+        mergedCommit: z.ZodNullable<z.ZodEffects<z.ZodString, string, string>>;
+    }, "strict", z.ZodTypeAny, {
+        kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+        repositoryId: string;
+        contentDigest: string;
+        acceptanceId: string;
+        prerequisiteTaskId: string;
+        prerequisiteSpecRevision: number;
+        requirement: "accepted_patch" | "merged";
+        mergedCommit: string | null;
+    }, {
+        kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+        repositoryId: string;
+        contentDigest: string;
+        acceptanceId: string;
+        prerequisiteTaskId: string;
+        prerequisiteSpecRevision: number;
+        requirement: "accepted_patch" | "merged";
+        mergedCommit: string | null;
+    }>, {
+        kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+        repositoryId: string;
+        contentDigest: string;
+        acceptanceId: string;
+        prerequisiteTaskId: string;
+        prerequisiteSpecRevision: number;
+        requirement: "accepted_patch" | "merged";
+        mergedCommit: string | null;
+    }, {
+        kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+        repositoryId: string;
+        contentDigest: string;
+        acceptanceId: string;
+        prerequisiteTaskId: string;
+        prerequisiteSpecRevision: number;
+        requirement: "accepted_patch" | "merged";
+        mergedCommit: string | null;
+    }>, "many">;
+    materializationPlanDigest: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    schemaVersion: 1;
+    trackGeneration: number;
+    bindingId: string;
+    dependentTaskId: string;
+    dependentSpecRevision: number;
+    trackId: string;
+    consumed: {
+        kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+        repositoryId: string;
+        contentDigest: string;
+        acceptanceId: string;
+        prerequisiteTaskId: string;
+        prerequisiteSpecRevision: number;
+        requirement: "accepted_patch" | "merged";
+        mergedCommit: string | null;
+    }[];
+    materializationPlanDigest: string;
+}, {
+    schemaVersion: 1;
+    trackGeneration: number;
+    bindingId: string;
+    dependentTaskId: string;
+    dependentSpecRevision: number;
+    trackId: string;
+    consumed: {
+        kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+        repositoryId: string;
+        contentDigest: string;
+        acceptanceId: string;
+        prerequisiteTaskId: string;
+        prerequisiteSpecRevision: number;
+        requirement: "accepted_patch" | "merged";
+        mergedCommit: string | null;
+    }[];
+    materializationPlanDigest: string;
+}>, {
+    schemaVersion: 1;
+    trackGeneration: number;
+    bindingId: string;
+    dependentTaskId: string;
+    dependentSpecRevision: number;
+    trackId: string;
+    consumed: {
+        kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+        repositoryId: string;
+        contentDigest: string;
+        acceptanceId: string;
+        prerequisiteTaskId: string;
+        prerequisiteSpecRevision: number;
+        requirement: "accepted_patch" | "merged";
+        mergedCommit: string | null;
+    }[];
+    materializationPlanDigest: string;
+}, {
+    schemaVersion: 1;
+    trackGeneration: number;
+    bindingId: string;
+    dependentTaskId: string;
+    dependentSpecRevision: number;
+    trackId: string;
+    consumed: {
+        kind: "workspace_snapshot" | "commit" | "pull_request" | "test_report" | "package" | "document";
+        repositoryId: string;
+        contentDigest: string;
+        acceptanceId: string;
+        prerequisiteTaskId: string;
+        prerequisiteSpecRevision: number;
+        requirement: "accepted_patch" | "merged";
+        mergedCommit: string | null;
+    }[];
+    materializationPlanDigest: string;
+}>;
+/**
+ * Why a binding no longer matches the graph and acceptance ledger (D2). A stale
+ * binding is reviewed and replaced, never silently rebound.
+ */
+export declare const StaleReasonSchema: z.ZodEffects<z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
+    type: z.ZodLiteral<"track_mismatch">;
+    bindingTrackId: z.ZodString;
+    trackId: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "track_mismatch";
+    trackId: string;
+    bindingTrackId: string;
+}, {
+    type: "track_mismatch";
+    trackId: string;
+    bindingTrackId: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"dependent_removed">;
+}, "strict", z.ZodTypeAny, {
+    type: "dependent_removed";
+}, {
+    type: "dependent_removed";
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"dependent_revision_changed">;
+    from: z.ZodNumber;
+    to: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    type: "dependent_revision_changed";
+    from: number;
+    to: number;
+}, {
+    type: "dependent_revision_changed";
+    from: number;
+    to: number;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"edge_added">;
+    prerequisiteTaskId: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "edge_added";
+    prerequisiteTaskId: string;
+}, {
+    type: "edge_added";
+    prerequisiteTaskId: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"edge_removed">;
+    prerequisiteTaskId: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "edge_removed";
+    prerequisiteTaskId: string;
+}, {
+    type: "edge_removed";
+    prerequisiteTaskId: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"prerequisite_revision_changed">;
+    taskId: z.ZodString;
+    from: z.ZodNumber;
+    to: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    type: "prerequisite_revision_changed";
+    taskId: string;
+    from: number;
+    to: number;
+}, {
+    type: "prerequisite_revision_changed";
+    taskId: string;
+    from: number;
+    to: number;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"requirement_changed">;
+    prerequisiteTaskId: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "requirement_changed";
+    prerequisiteTaskId: string;
+}, {
+    type: "requirement_changed";
+    prerequisiteTaskId: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"acceptance_withdrawn">;
+    acceptanceId: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "acceptance_withdrawn";
+    acceptanceId: string;
+}, {
+    type: "acceptance_withdrawn";
+    acceptanceId: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"acceptance_superseded">;
+    acceptanceId: z.ZodString;
+    by: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "acceptance_superseded";
+    acceptanceId: string;
+    by: string;
+}, {
+    type: "acceptance_superseded";
+    acceptanceId: string;
+    by: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"acceptance_unknown">;
+    acceptanceId: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "acceptance_unknown";
+    acceptanceId: string;
+}, {
+    type: "acceptance_unknown";
+    acceptanceId: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"acceptance_mismatch">;
+    acceptanceId: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "acceptance_mismatch";
+    acceptanceId: string;
+}, {
+    type: "acceptance_mismatch";
+    acceptanceId: string;
+}>]>, {
+    type: "track_mismatch";
+    trackId: string;
+    bindingTrackId: string;
+} | {
+    type: "dependent_removed";
+} | {
+    type: "dependent_revision_changed";
+    from: number;
+    to: number;
+} | {
+    type: "edge_added";
+    prerequisiteTaskId: string;
+} | {
+    type: "edge_removed";
+    prerequisiteTaskId: string;
+} | {
+    type: "prerequisite_revision_changed";
+    taskId: string;
+    from: number;
+    to: number;
+} | {
+    type: "requirement_changed";
+    prerequisiteTaskId: string;
+} | {
+    type: "acceptance_withdrawn";
+    acceptanceId: string;
+} | {
+    type: "acceptance_superseded";
+    acceptanceId: string;
+    by: string;
+} | {
+    type: "acceptance_unknown";
+    acceptanceId: string;
+} | {
+    type: "acceptance_mismatch";
+    acceptanceId: string;
+}, {
+    type: "track_mismatch";
+    trackId: string;
+    bindingTrackId: string;
+} | {
+    type: "dependent_removed";
+} | {
+    type: "dependent_revision_changed";
+    from: number;
+    to: number;
+} | {
+    type: "edge_added";
+    prerequisiteTaskId: string;
+} | {
+    type: "edge_removed";
+    prerequisiteTaskId: string;
+} | {
+    type: "prerequisite_revision_changed";
+    taskId: string;
+    from: number;
+    to: number;
+} | {
+    type: "requirement_changed";
+    prerequisiteTaskId: string;
+} | {
+    type: "acceptance_withdrawn";
+    acceptanceId: string;
+} | {
+    type: "acceptance_superseded";
+    acceptanceId: string;
+    by: string;
+} | {
+    type: "acceptance_unknown";
+    acceptanceId: string;
+} | {
+    type: "acceptance_mismatch";
+    acceptanceId: string;
+}>;
+/** One to 2000 distinct reasons. */
+export declare const StaleReasonsSchema: z.ZodEffects<z.ZodArray<z.ZodEffects<z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
+    type: z.ZodLiteral<"track_mismatch">;
+    bindingTrackId: z.ZodString;
+    trackId: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "track_mismatch";
+    trackId: string;
+    bindingTrackId: string;
+}, {
+    type: "track_mismatch";
+    trackId: string;
+    bindingTrackId: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"dependent_removed">;
+}, "strict", z.ZodTypeAny, {
+    type: "dependent_removed";
+}, {
+    type: "dependent_removed";
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"dependent_revision_changed">;
+    from: z.ZodNumber;
+    to: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    type: "dependent_revision_changed";
+    from: number;
+    to: number;
+}, {
+    type: "dependent_revision_changed";
+    from: number;
+    to: number;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"edge_added">;
+    prerequisiteTaskId: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "edge_added";
+    prerequisiteTaskId: string;
+}, {
+    type: "edge_added";
+    prerequisiteTaskId: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"edge_removed">;
+    prerequisiteTaskId: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "edge_removed";
+    prerequisiteTaskId: string;
+}, {
+    type: "edge_removed";
+    prerequisiteTaskId: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"prerequisite_revision_changed">;
+    taskId: z.ZodString;
+    from: z.ZodNumber;
+    to: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    type: "prerequisite_revision_changed";
+    taskId: string;
+    from: number;
+    to: number;
+}, {
+    type: "prerequisite_revision_changed";
+    taskId: string;
+    from: number;
+    to: number;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"requirement_changed">;
+    prerequisiteTaskId: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "requirement_changed";
+    prerequisiteTaskId: string;
+}, {
+    type: "requirement_changed";
+    prerequisiteTaskId: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"acceptance_withdrawn">;
+    acceptanceId: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "acceptance_withdrawn";
+    acceptanceId: string;
+}, {
+    type: "acceptance_withdrawn";
+    acceptanceId: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"acceptance_superseded">;
+    acceptanceId: z.ZodString;
+    by: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "acceptance_superseded";
+    acceptanceId: string;
+    by: string;
+}, {
+    type: "acceptance_superseded";
+    acceptanceId: string;
+    by: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"acceptance_unknown">;
+    acceptanceId: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "acceptance_unknown";
+    acceptanceId: string;
+}, {
+    type: "acceptance_unknown";
+    acceptanceId: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"acceptance_mismatch">;
+    acceptanceId: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    type: "acceptance_mismatch";
+    acceptanceId: string;
+}, {
+    type: "acceptance_mismatch";
+    acceptanceId: string;
+}>]>, {
+    type: "track_mismatch";
+    trackId: string;
+    bindingTrackId: string;
+} | {
+    type: "dependent_removed";
+} | {
+    type: "dependent_revision_changed";
+    from: number;
+    to: number;
+} | {
+    type: "edge_added";
+    prerequisiteTaskId: string;
+} | {
+    type: "edge_removed";
+    prerequisiteTaskId: string;
+} | {
+    type: "prerequisite_revision_changed";
+    taskId: string;
+    from: number;
+    to: number;
+} | {
+    type: "requirement_changed";
+    prerequisiteTaskId: string;
+} | {
+    type: "acceptance_withdrawn";
+    acceptanceId: string;
+} | {
+    type: "acceptance_superseded";
+    acceptanceId: string;
+    by: string;
+} | {
+    type: "acceptance_unknown";
+    acceptanceId: string;
+} | {
+    type: "acceptance_mismatch";
+    acceptanceId: string;
+}, {
+    type: "track_mismatch";
+    trackId: string;
+    bindingTrackId: string;
+} | {
+    type: "dependent_removed";
+} | {
+    type: "dependent_revision_changed";
+    from: number;
+    to: number;
+} | {
+    type: "edge_added";
+    prerequisiteTaskId: string;
+} | {
+    type: "edge_removed";
+    prerequisiteTaskId: string;
+} | {
+    type: "prerequisite_revision_changed";
+    taskId: string;
+    from: number;
+    to: number;
+} | {
+    type: "requirement_changed";
+    prerequisiteTaskId: string;
+} | {
+    type: "acceptance_withdrawn";
+    acceptanceId: string;
+} | {
+    type: "acceptance_superseded";
+    acceptanceId: string;
+    by: string;
+} | {
+    type: "acceptance_unknown";
+    acceptanceId: string;
+} | {
+    type: "acceptance_mismatch";
+    acceptanceId: string;
+}>, "many">, ({
+    type: "track_mismatch";
+    trackId: string;
+    bindingTrackId: string;
+} | {
+    type: "dependent_removed";
+} | {
+    type: "dependent_revision_changed";
+    from: number;
+    to: number;
+} | {
+    type: "edge_added";
+    prerequisiteTaskId: string;
+} | {
+    type: "edge_removed";
+    prerequisiteTaskId: string;
+} | {
+    type: "prerequisite_revision_changed";
+    taskId: string;
+    from: number;
+    to: number;
+} | {
+    type: "requirement_changed";
+    prerequisiteTaskId: string;
+} | {
+    type: "acceptance_withdrawn";
+    acceptanceId: string;
+} | {
+    type: "acceptance_superseded";
+    acceptanceId: string;
+    by: string;
+} | {
+    type: "acceptance_unknown";
+    acceptanceId: string;
+} | {
+    type: "acceptance_mismatch";
+    acceptanceId: string;
+})[], ({
+    type: "track_mismatch";
+    trackId: string;
+    bindingTrackId: string;
+} | {
+    type: "dependent_removed";
+} | {
+    type: "dependent_revision_changed";
+    from: number;
+    to: number;
+} | {
+    type: "edge_added";
+    prerequisiteTaskId: string;
+} | {
+    type: "edge_removed";
+    prerequisiteTaskId: string;
+} | {
+    type: "prerequisite_revision_changed";
+    taskId: string;
+    from: number;
+    to: number;
+} | {
+    type: "requirement_changed";
+    prerequisiteTaskId: string;
+} | {
+    type: "acceptance_withdrawn";
+    acceptanceId: string;
+} | {
+    type: "acceptance_superseded";
+    acceptanceId: string;
+    by: string;
+} | {
+    type: "acceptance_unknown";
+    acceptanceId: string;
+} | {
+    type: "acceptance_mismatch";
+    acceptanceId: string;
+})[]>;
+export declare const BindingStatusSchema: z.ZodDiscriminatedUnion<"state", [z.ZodObject<{
+    state: z.ZodLiteral<"current">;
+}, "strict", z.ZodTypeAny, {
+    state: "current";
+}, {
+    state: "current";
+}>, z.ZodObject<{
+    state: z.ZodLiteral<"stale">;
+    reasons: z.ZodEffects<z.ZodArray<z.ZodEffects<z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
+        type: z.ZodLiteral<"track_mismatch">;
+        bindingTrackId: z.ZodString;
+        trackId: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        type: "track_mismatch";
+        trackId: string;
+        bindingTrackId: string;
+    }, {
+        type: "track_mismatch";
+        trackId: string;
+        bindingTrackId: string;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"dependent_removed">;
+    }, "strict", z.ZodTypeAny, {
+        type: "dependent_removed";
+    }, {
+        type: "dependent_removed";
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"dependent_revision_changed">;
+        from: z.ZodNumber;
+        to: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        type: "dependent_revision_changed";
+        from: number;
+        to: number;
+    }, {
+        type: "dependent_revision_changed";
+        from: number;
+        to: number;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"edge_added">;
+        prerequisiteTaskId: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        type: "edge_added";
+        prerequisiteTaskId: string;
+    }, {
+        type: "edge_added";
+        prerequisiteTaskId: string;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"edge_removed">;
+        prerequisiteTaskId: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        type: "edge_removed";
+        prerequisiteTaskId: string;
+    }, {
+        type: "edge_removed";
+        prerequisiteTaskId: string;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"prerequisite_revision_changed">;
+        taskId: z.ZodString;
+        from: z.ZodNumber;
+        to: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        type: "prerequisite_revision_changed";
+        taskId: string;
+        from: number;
+        to: number;
+    }, {
+        type: "prerequisite_revision_changed";
+        taskId: string;
+        from: number;
+        to: number;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"requirement_changed">;
+        prerequisiteTaskId: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        type: "requirement_changed";
+        prerequisiteTaskId: string;
+    }, {
+        type: "requirement_changed";
+        prerequisiteTaskId: string;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"acceptance_withdrawn">;
+        acceptanceId: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        type: "acceptance_withdrawn";
+        acceptanceId: string;
+    }, {
+        type: "acceptance_withdrawn";
+        acceptanceId: string;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"acceptance_superseded">;
+        acceptanceId: z.ZodString;
+        by: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        type: "acceptance_superseded";
+        acceptanceId: string;
+        by: string;
+    }, {
+        type: "acceptance_superseded";
+        acceptanceId: string;
+        by: string;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"acceptance_unknown">;
+        acceptanceId: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        type: "acceptance_unknown";
+        acceptanceId: string;
+    }, {
+        type: "acceptance_unknown";
+        acceptanceId: string;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"acceptance_mismatch">;
+        acceptanceId: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        type: "acceptance_mismatch";
+        acceptanceId: string;
+    }, {
+        type: "acceptance_mismatch";
+        acceptanceId: string;
+    }>]>, {
+        type: "track_mismatch";
+        trackId: string;
+        bindingTrackId: string;
+    } | {
+        type: "dependent_removed";
+    } | {
+        type: "dependent_revision_changed";
+        from: number;
+        to: number;
+    } | {
+        type: "edge_added";
+        prerequisiteTaskId: string;
+    } | {
+        type: "edge_removed";
+        prerequisiteTaskId: string;
+    } | {
+        type: "prerequisite_revision_changed";
+        taskId: string;
+        from: number;
+        to: number;
+    } | {
+        type: "requirement_changed";
+        prerequisiteTaskId: string;
+    } | {
+        type: "acceptance_withdrawn";
+        acceptanceId: string;
+    } | {
+        type: "acceptance_superseded";
+        acceptanceId: string;
+        by: string;
+    } | {
+        type: "acceptance_unknown";
+        acceptanceId: string;
+    } | {
+        type: "acceptance_mismatch";
+        acceptanceId: string;
+    }, {
+        type: "track_mismatch";
+        trackId: string;
+        bindingTrackId: string;
+    } | {
+        type: "dependent_removed";
+    } | {
+        type: "dependent_revision_changed";
+        from: number;
+        to: number;
+    } | {
+        type: "edge_added";
+        prerequisiteTaskId: string;
+    } | {
+        type: "edge_removed";
+        prerequisiteTaskId: string;
+    } | {
+        type: "prerequisite_revision_changed";
+        taskId: string;
+        from: number;
+        to: number;
+    } | {
+        type: "requirement_changed";
+        prerequisiteTaskId: string;
+    } | {
+        type: "acceptance_withdrawn";
+        acceptanceId: string;
+    } | {
+        type: "acceptance_superseded";
+        acceptanceId: string;
+        by: string;
+    } | {
+        type: "acceptance_unknown";
+        acceptanceId: string;
+    } | {
+        type: "acceptance_mismatch";
+        acceptanceId: string;
+    }>, "many">, ({
+        type: "track_mismatch";
+        trackId: string;
+        bindingTrackId: string;
+    } | {
+        type: "dependent_removed";
+    } | {
+        type: "dependent_revision_changed";
+        from: number;
+        to: number;
+    } | {
+        type: "edge_added";
+        prerequisiteTaskId: string;
+    } | {
+        type: "edge_removed";
+        prerequisiteTaskId: string;
+    } | {
+        type: "prerequisite_revision_changed";
+        taskId: string;
+        from: number;
+        to: number;
+    } | {
+        type: "requirement_changed";
+        prerequisiteTaskId: string;
+    } | {
+        type: "acceptance_withdrawn";
+        acceptanceId: string;
+    } | {
+        type: "acceptance_superseded";
+        acceptanceId: string;
+        by: string;
+    } | {
+        type: "acceptance_unknown";
+        acceptanceId: string;
+    } | {
+        type: "acceptance_mismatch";
+        acceptanceId: string;
+    })[], ({
+        type: "track_mismatch";
+        trackId: string;
+        bindingTrackId: string;
+    } | {
+        type: "dependent_removed";
+    } | {
+        type: "dependent_revision_changed";
+        from: number;
+        to: number;
+    } | {
+        type: "edge_added";
+        prerequisiteTaskId: string;
+    } | {
+        type: "edge_removed";
+        prerequisiteTaskId: string;
+    } | {
+        type: "prerequisite_revision_changed";
+        taskId: string;
+        from: number;
+        to: number;
+    } | {
+        type: "requirement_changed";
+        prerequisiteTaskId: string;
+    } | {
+        type: "acceptance_withdrawn";
+        acceptanceId: string;
+    } | {
+        type: "acceptance_superseded";
+        acceptanceId: string;
+        by: string;
+    } | {
+        type: "acceptance_unknown";
+        acceptanceId: string;
+    } | {
+        type: "acceptance_mismatch";
+        acceptanceId: string;
+    })[]>;
+}, "strict", z.ZodTypeAny, {
+    state: "stale";
+    reasons: ({
+        type: "track_mismatch";
+        trackId: string;
+        bindingTrackId: string;
+    } | {
+        type: "dependent_removed";
+    } | {
+        type: "dependent_revision_changed";
+        from: number;
+        to: number;
+    } | {
+        type: "edge_added";
+        prerequisiteTaskId: string;
+    } | {
+        type: "edge_removed";
+        prerequisiteTaskId: string;
+    } | {
+        type: "prerequisite_revision_changed";
+        taskId: string;
+        from: number;
+        to: number;
+    } | {
+        type: "requirement_changed";
+        prerequisiteTaskId: string;
+    } | {
+        type: "acceptance_withdrawn";
+        acceptanceId: string;
+    } | {
+        type: "acceptance_superseded";
+        acceptanceId: string;
+        by: string;
+    } | {
+        type: "acceptance_unknown";
+        acceptanceId: string;
+    } | {
+        type: "acceptance_mismatch";
+        acceptanceId: string;
+    })[];
+}, {
+    state: "stale";
+    reasons: ({
+        type: "track_mismatch";
+        trackId: string;
+        bindingTrackId: string;
+    } | {
+        type: "dependent_removed";
+    } | {
+        type: "dependent_revision_changed";
+        from: number;
+        to: number;
+    } | {
+        type: "edge_added";
+        prerequisiteTaskId: string;
+    } | {
+        type: "edge_removed";
+        prerequisiteTaskId: string;
+    } | {
+        type: "prerequisite_revision_changed";
+        taskId: string;
+        from: number;
+        to: number;
+    } | {
+        type: "requirement_changed";
+        prerequisiteTaskId: string;
+    } | {
+        type: "acceptance_withdrawn";
+        acceptanceId: string;
+    } | {
+        type: "acceptance_superseded";
+        acceptanceId: string;
+        by: string;
+    } | {
+        type: "acceptance_unknown";
+        acceptanceId: string;
+    } | {
+        type: "acceptance_mismatch";
+        acceptanceId: string;
+    })[];
+}>]>;
+export type StaleReason = z.infer<typeof StaleReasonSchema>;
+export type BindingStatus = z.infer<typeof BindingStatusSchema>;
+export type AcceptedArtifactRevision = z.infer<typeof AcceptedArtifactRevisionSchema>;
+export type AcceptanceWithdrawal = z.infer<typeof AcceptanceWithdrawalSchema>;
+export type DependencyBinding = z.infer<typeof DependencyBindingSchema>;
+/** Lowercase SHA-256 hex of the value's canonical (RFC8785) form. */
+export declare function contractDigest(value: unknown): Promise<string>;
+export declare function verifyContractRecordIdentity(record: Record<string, unknown>, field: string, prefix: string): Promise<void>;
+/** Use this boundary before storing/admitting a record; shape validation alone is insufficient. */
+export declare function parseAcceptedArtifactRevision(input: unknown): Promise<AcceptedArtifactRevision>;
+export declare function parseDependencyBinding(input: unknown): Promise<DependencyBinding>;