import * as z from "zod/v4"; import { type TodosActivity, type TodosApproval, type TodosComment, type TodosDeletionRecord, type TodosDependency, type TodosGitRef, type TodosPlan, type TodosProject, type TodosRun, type TodosRunEvent, type TodosSavedView, type TodosTask, type TodosTaskList, type TodosTaskTemplate, type TodosTraceability } from "./domain"; import { type TaskToPrProjection } from "./projection"; import { type TodosError } from "./errors"; export declare const TODOS_TRANSFER_SCHEMA_IDS: { readonly bundle: "hasna.todos.transfer_bundle.v1"; readonly validation: "hasna.todos.transfer_validation.v1"; readonly importPreview: "hasna.todos.transfer_import_preview.v1"; readonly importExecution: "hasna.todos.transfer_import_execution.v1"; readonly executionContext: "hasna.todos.transfer_execution_context.v1"; readonly checkpoint: "hasna.todos.transfer_checkpoint.v1"; readonly migrationReceipt: "hasna.todos.migration_receipt.v1"; }; export declare const TODOS_TRANSFER_SECTION_NAMES: readonly ["projects", "task_lists", "plans", "tasks", "comments", "dependencies", "activities", "verification_evidence", "task_files", "runs", "run_events", "run_commands", "run_files", "run_artifacts", "git_commits", "git_refs", "traceability", "task_to_pr_projections", "saved_views", "task_templates", "approvals", "deletion_records"]; export declare const TodosTransferSectionNameSchema: z.ZodEnum<{ approvals: "approvals"; tasks: "tasks"; dependencies: "dependencies"; task_files: "task_files"; projects: "projects"; comments: "comments"; traceability: "traceability"; plans: "plans"; task_lists: "task_lists"; activities: "activities"; verification_evidence: "verification_evidence"; runs: "runs"; run_events: "run_events"; run_commands: "run_commands"; run_files: "run_files"; run_artifacts: "run_artifacts"; git_commits: "git_commits"; git_refs: "git_refs"; task_to_pr_projections: "task_to_pr_projections"; saved_views: "saved_views"; task_templates: "task_templates"; deletion_records: "deletion_records"; }>; export type TodosTransferSectionName = z.infer; export declare const TodosPortableCommandReceiptSchema: z.ZodObject<{ commandDigest: z.ZodString; argumentsDigest: z.ZodNullable; exitCode: z.ZodNullable; durationMs: z.ZodNullable; outputRefs: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>>; }, z.core.$strict>; export type TodosPortableCommandReceipt = z.infer; export declare const TodosPortableVerificationEvidenceSchema: z.ZodObject<{ id: z.ZodString; version: z.ZodNumber; checks: z.ZodArray; summary: z.ZodNullable; durationMs: z.ZodNullable; }, z.core.$strict>>; owner: z.ZodString; status: z.ZodEnum<{ failed: "failed"; passed: "passed"; inconclusive: "inconclusive"; }>; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; summary: z.ZodString; startedAt: z.ZodISODateTime; completedAt: z.ZodNullable; taskId: z.ZodNullable; runId: z.ZodNullable; verifierRef: z.ZodObject<{ owner: z.ZodString; id: z.ZodString; digest: z.ZodString; }, z.core.$strict>; confidence: z.ZodNullable; contentRefs: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>>; commandReceipts: z.ZodArray; exitCode: z.ZodNullable; durationMs: z.ZodNullable; outputRefs: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>>; }, z.core.$strict>>; }, z.core.$strict>; export type TodosPortableVerificationEvidence = z.infer; export declare const TodosPortableTaskFileSchema: z.ZodObject<{ id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; taskId: z.ZodString; logicalName: z.ZodString; contentRef: z.ZodObject<{ algorithm: z.ZodLiteral<"sha256">; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>; purpose: z.ZodEnum<{ attachment: "attachment"; evidence: "evidence"; deliverable: "deliverable"; }>; }, z.core.$strict>; export type TodosPortableTaskFile = z.infer; export declare const TodosPortableRunCommandSchema: z.ZodObject<{ id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; runId: z.ZodString; sequence: z.ZodNumber; commandDigest: z.ZodString; argumentsDigest: z.ZodNullable; exitCode: z.ZodNullable; durationMs: z.ZodNullable; outputRefs: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>>; completedAt: z.ZodNullable; }, z.core.$strict>; export type TodosPortableRunCommand = z.infer; export declare const TodosPortableRunFileSchema: z.ZodObject<{ id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; runId: z.ZodString; logicalName: z.ZodString; contentRef: z.ZodObject<{ algorithm: z.ZodLiteral<"sha256">; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>; role: z.ZodEnum<{ output: "output"; input: "input"; evidence: "evidence"; }>; }, z.core.$strict>; export type TodosPortableRunFile = z.infer; export declare const TodosPortableRunArtifactSchema: z.ZodObject<{ id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; runId: z.ZodString; logicalName: z.ZodString; kind: z.ZodString; contentRef: z.ZodObject<{ algorithm: z.ZodLiteral<"sha256">; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>; verified: z.ZodBoolean; verificationEvidenceId: z.ZodNullable; }, z.core.$strict>; export type TodosPortableRunArtifact = z.infer; export declare const TodosPortableGitCommitSchema: z.ZodObject<{ id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; repositoryRef: z.ZodObject<{ owner: z.ZodString; id: z.ZodString; digest: z.ZodString; }, z.core.$strict>; objectId: z.ZodObject<{ algorithm: z.ZodEnum<{ sha256: "sha256"; sha1: "sha1"; }>; value: z.ZodString; }, z.core.$strict>; message: z.ZodString; authorRef: z.ZodObject<{ owner: z.ZodString; id: z.ZodString; digest: z.ZodString; }, z.core.$strict>; committedAt: z.ZodISODateTime; changedFileDigests: z.ZodArray; }, z.core.$strict>; export type TodosPortableGitCommit = z.infer; export declare const TodosTransferSectionsSchema: z.ZodObject<{ projects: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; repositoryRef: z.ZodNullable>; archivedAt: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; task_lists: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; slug: z.ZodString; name: z.ZodString; description: z.ZodNullable; archivedAt: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; plans: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; taskListId: z.ZodNullable; name: z.ZodString; description: z.ZodNullable; status: z.ZodEnum<{ draft: "draft"; active: "active"; archived: "archived"; completed: "completed"; }>; objective: z.ZodString; taskIds: z.ZodArray; completedAt: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; tasks: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; title: z.ZodString; description: z.ZodNullable; status: z.ZodEnum<{ pending: "pending"; failed: "failed"; cancelled: "cancelled"; blocked: "blocked"; ready: "ready"; in_progress: "in_progress"; completed: "completed"; }>; priority: z.ZodEnum<{ low: "low"; medium: "medium"; high: "high"; critical: "critical"; }>; projectId: z.ZodNullable; taskListId: z.ZodNullable; planId: z.ZodNullable; parentTaskId: z.ZodNullable; assignedAgentId: z.ZodNullable; fingerprint: z.ZodNullable; tags: z.ZodArray; acceptanceCriteria: z.ZodArray; dueAt: z.ZodNullable; completedAt: z.ZodNullable; externalOwnerRefs: z.ZodArray>; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; comments: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; kind: z.ZodEnum<{ comment: "comment"; note: "note"; progress: "progress"; }>; content: z.ZodString; progressPercent: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; dependencies: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; activities: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; resourceRef: z.ZodObject<{ owner: z.ZodString; kind: z.ZodString; id: z.ZodString; digest: z.ZodString; }, z.core.$strict>; action: z.ZodString; summary: z.ZodString; occurredAt: z.ZodISODateTime; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; verification_evidence: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; summary: z.ZodNullable; durationMs: z.ZodNullable; }, z.core.$strict>>; owner: z.ZodString; status: z.ZodEnum<{ failed: "failed"; passed: "passed"; inconclusive: "inconclusive"; }>; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; summary: z.ZodString; startedAt: z.ZodISODateTime; completedAt: z.ZodNullable; taskId: z.ZodNullable; runId: z.ZodNullable; verifierRef: z.ZodObject<{ owner: z.ZodString; id: z.ZodString; digest: z.ZodString; }, z.core.$strict>; confidence: z.ZodNullable; contentRefs: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>>; commandReceipts: z.ZodArray; exitCode: z.ZodNullable; durationMs: z.ZodNullable; outputRefs: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>>; }, z.core.$strict>>; }, z.core.$strict>>; }, z.core.$strict>; task_files: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>; purpose: z.ZodEnum<{ attachment: "attachment"; evidence: "evidence"; deliverable: "deliverable"; }>; }, z.core.$strict>>; }, z.core.$strict>; runs: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; taskIds: z.ZodArray; planId: z.ZodNullable; agentId: z.ZodNullable; startedAt: z.ZodNullable; completedAt: z.ZodNullable; ledgerDigest: z.ZodString; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; run_events: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; run_commands: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; exitCode: z.ZodNullable; durationMs: z.ZodNullable; outputRefs: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>>; completedAt: z.ZodNullable; }, z.core.$strict>>; }, z.core.$strict>; run_files: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>; role: z.ZodEnum<{ output: "output"; input: "input"; evidence: "evidence"; }>; }, z.core.$strict>>; }, z.core.$strict>; run_artifacts: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>; verified: z.ZodBoolean; verificationEvidenceId: z.ZodNullable; }, z.core.$strict>>; }, z.core.$strict>; git_commits: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; objectId: z.ZodObject<{ algorithm: z.ZodEnum<{ sha256: "sha256"; sha1: "sha1"; }>; value: z.ZodString; }, z.core.$strict>; message: z.ZodString; authorRef: z.ZodObject<{ owner: z.ZodString; id: z.ZodString; digest: z.ZodString; }, z.core.$strict>; committedAt: z.ZodISODateTime; changedFileDigests: z.ZodArray; }, z.core.$strict>>; }, z.core.$strict>; git_refs: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; type: z.ZodEnum<{ branch: "branch"; pull_request: "pull_request"; tag: "tag"; }>; name: z.ZodString; target: z.ZodObject<{ algorithm: z.ZodEnum<{ sha256: "sha256"; sha1: "sha1"; }>; value: z.ZodString; }, z.core.$strict>; published: z.ZodBoolean; providerObservedAt: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; traceability: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; gitRefIds: z.ZodArray; verificationEvidenceIds: z.ZodArray; projectionIds: z.ZodArray; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; task_to_pr_projections: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray>>; }, z.core.$strict>; saved_views: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; query: z.ZodObject<{ query: z.ZodString; filters: z.ZodObject<{ projectIds: z.ZodArray; taskListIds: z.ZodArray; planIds: z.ZodArray; agentIds: z.ZodArray; statuses: z.ZodArray>; priorities: z.ZodArray>; tags: z.ZodArray; changedAfter: z.ZodNullable; dueBefore: z.ZodNullable; }, z.core.$strict>; cursor: z.ZodNullable; limit: z.ZodNumber; }, z.core.$strict>; audience: z.ZodEnum<{ private: "private"; organization: "organization"; }>; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; task_templates: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; titlePattern: z.ZodString; descriptionPattern: z.ZodNullable; priority: z.ZodEnum<{ low: "low"; medium: "medium"; high: "high"; critical: "critical"; }>; tags: z.ZodArray; acceptanceCriteria: z.ZodArray; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; approvals: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; status: z.ZodEnum<{ pending: "pending"; rejected: "rejected"; expired: "expired"; approved: "approved"; }>; reason: z.ZodString; requestedBy: z.ZodObject<{ owner: z.ZodString; id: z.ZodString; digest: z.ZodString; }, z.core.$strict>; decidedBy: z.ZodNullable>; requestedAt: z.ZodISODateTime; decidedAt: z.ZodNullable; expiresAt: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; deletion_records: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; reasonCode: z.ZodString; deletedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; }, z.core.$strict>; export type TodosTransferSections = z.infer; export declare const TodosDependencyClosureEntrySchema: z.ZodObject<{ owner: z.ZodString; taskId: z.ZodString; dependencyTaskIds: z.ZodArray; }, z.core.$strict>; export type TodosDependencyClosureEntry = z.infer; export declare const TodosAttachmentContentReferenceSchema: z.ZodObject<{ owner: z.ZodString; source: z.ZodObject<{ section: z.ZodEnum<{ task_files: "task_files"; verification_evidence: "verification_evidence"; run_commands: "run_commands"; run_files: "run_files"; run_artifacts: "run_artifacts"; }>; id: z.ZodString; }, z.core.$strict>; index: z.ZodNumber; contentRef: z.ZodObject<{ algorithm: z.ZodLiteral<"sha256">; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>; }, z.core.$strict>; export type TodosAttachmentContentReference = z.infer; export declare const TodosTransferRecordRefSchema: z.ZodObject<{ owner: z.ZodString; section: z.ZodEnum<{ approvals: "approvals"; tasks: "tasks"; dependencies: "dependencies"; task_files: "task_files"; projects: "projects"; comments: "comments"; traceability: "traceability"; plans: "plans"; task_lists: "task_lists"; activities: "activities"; verification_evidence: "verification_evidence"; runs: "runs"; run_events: "run_events"; run_commands: "run_commands"; run_files: "run_files"; run_artifacts: "run_artifacts"; git_commits: "git_commits"; git_refs: "git_refs"; task_to_pr_projections: "task_to_pr_projections"; saved_views: "saved_views"; task_templates: "task_templates"; deletion_records: "deletion_records"; }>; id: z.ZodString; kind: z.ZodOptional>; version: z.ZodOptional; digest: z.ZodOptional; }, z.core.$strict>; export type TodosTransferRecordRef = z.infer; export declare const TodosTransferReferenceClosureEntrySchema: z.ZodObject<{ source: z.ZodObject<{ owner: z.ZodString; section: z.ZodEnum<{ approvals: "approvals"; tasks: "tasks"; dependencies: "dependencies"; task_files: "task_files"; projects: "projects"; comments: "comments"; traceability: "traceability"; plans: "plans"; task_lists: "task_lists"; activities: "activities"; verification_evidence: "verification_evidence"; runs: "runs"; run_events: "run_events"; run_commands: "run_commands"; run_files: "run_files"; run_artifacts: "run_artifacts"; git_commits: "git_commits"; git_refs: "git_refs"; task_to_pr_projections: "task_to_pr_projections"; saved_views: "saved_views"; task_templates: "task_templates"; deletion_records: "deletion_records"; }>; id: z.ZodString; kind: z.ZodOptional>; version: z.ZodOptional; digest: z.ZodOptional; }, z.core.$strict>; references: z.ZodArray; id: z.ZodString; kind: z.ZodOptional>; version: z.ZodOptional; digest: z.ZodOptional; }, z.core.$strict>>; }, z.core.$strict>; export type TodosTransferReferenceClosureEntry = z.infer; export declare const TodosTransferReferenceOnlySchema: z.ZodObject<{ owner: z.ZodString; agentIds: z.ZodArray; externalOwnerRefs: z.ZodArray>; ownerQualifiedRefs: z.ZodArray>; }, z.core.$strict>; export type TodosTransferReferenceOnly = z.infer; export declare const TodosTransferBundleSchema: z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.transfer_bundle.v1">; version: z.ZodLiteral<"1">; bundleId: z.ZodString; createdAt: z.ZodISODateTime; source: z.ZodObject<{ authorityId: z.ZodString; }, z.core.$strict>; contractVersion: z.ZodLiteral<"1.0.0">; contractDigest: z.ZodString; manifestVersion: z.ZodLiteral<"1">; manifestDigest: z.ZodString; sections: z.ZodObject<{ projects: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; repositoryRef: z.ZodNullable>; archivedAt: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; task_lists: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; slug: z.ZodString; name: z.ZodString; description: z.ZodNullable; archivedAt: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; plans: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; taskListId: z.ZodNullable; name: z.ZodString; description: z.ZodNullable; status: z.ZodEnum<{ draft: "draft"; active: "active"; archived: "archived"; completed: "completed"; }>; objective: z.ZodString; taskIds: z.ZodArray; completedAt: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; tasks: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; title: z.ZodString; description: z.ZodNullable; status: z.ZodEnum<{ pending: "pending"; failed: "failed"; cancelled: "cancelled"; blocked: "blocked"; ready: "ready"; in_progress: "in_progress"; completed: "completed"; }>; priority: z.ZodEnum<{ low: "low"; medium: "medium"; high: "high"; critical: "critical"; }>; projectId: z.ZodNullable; taskListId: z.ZodNullable; planId: z.ZodNullable; parentTaskId: z.ZodNullable; assignedAgentId: z.ZodNullable; fingerprint: z.ZodNullable; tags: z.ZodArray; acceptanceCriteria: z.ZodArray; dueAt: z.ZodNullable; completedAt: z.ZodNullable; externalOwnerRefs: z.ZodArray>; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; comments: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; kind: z.ZodEnum<{ comment: "comment"; note: "note"; progress: "progress"; }>; content: z.ZodString; progressPercent: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; dependencies: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; activities: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; resourceRef: z.ZodObject<{ owner: z.ZodString; kind: z.ZodString; id: z.ZodString; digest: z.ZodString; }, z.core.$strict>; action: z.ZodString; summary: z.ZodString; occurredAt: z.ZodISODateTime; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; verification_evidence: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; summary: z.ZodNullable; durationMs: z.ZodNullable; }, z.core.$strict>>; owner: z.ZodString; status: z.ZodEnum<{ failed: "failed"; passed: "passed"; inconclusive: "inconclusive"; }>; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; summary: z.ZodString; startedAt: z.ZodISODateTime; completedAt: z.ZodNullable; taskId: z.ZodNullable; runId: z.ZodNullable; verifierRef: z.ZodObject<{ owner: z.ZodString; id: z.ZodString; digest: z.ZodString; }, z.core.$strict>; confidence: z.ZodNullable; contentRefs: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>>; commandReceipts: z.ZodArray; exitCode: z.ZodNullable; durationMs: z.ZodNullable; outputRefs: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>>; }, z.core.$strict>>; }, z.core.$strict>>; }, z.core.$strict>; task_files: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>; purpose: z.ZodEnum<{ attachment: "attachment"; evidence: "evidence"; deliverable: "deliverable"; }>; }, z.core.$strict>>; }, z.core.$strict>; runs: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; taskIds: z.ZodArray; planId: z.ZodNullable; agentId: z.ZodNullable; startedAt: z.ZodNullable; completedAt: z.ZodNullable; ledgerDigest: z.ZodString; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; run_events: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; run_commands: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; exitCode: z.ZodNullable; durationMs: z.ZodNullable; outputRefs: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>>; completedAt: z.ZodNullable; }, z.core.$strict>>; }, z.core.$strict>; run_files: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>; role: z.ZodEnum<{ output: "output"; input: "input"; evidence: "evidence"; }>; }, z.core.$strict>>; }, z.core.$strict>; run_artifacts: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>; verified: z.ZodBoolean; verificationEvidenceId: z.ZodNullable; }, z.core.$strict>>; }, z.core.$strict>; git_commits: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; objectId: z.ZodObject<{ algorithm: z.ZodEnum<{ sha256: "sha256"; sha1: "sha1"; }>; value: z.ZodString; }, z.core.$strict>; message: z.ZodString; authorRef: z.ZodObject<{ owner: z.ZodString; id: z.ZodString; digest: z.ZodString; }, z.core.$strict>; committedAt: z.ZodISODateTime; changedFileDigests: z.ZodArray; }, z.core.$strict>>; }, z.core.$strict>; git_refs: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; type: z.ZodEnum<{ branch: "branch"; pull_request: "pull_request"; tag: "tag"; }>; name: z.ZodString; target: z.ZodObject<{ algorithm: z.ZodEnum<{ sha256: "sha256"; sha1: "sha1"; }>; value: z.ZodString; }, z.core.$strict>; published: z.ZodBoolean; providerObservedAt: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; traceability: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; gitRefIds: z.ZodArray; verificationEvidenceIds: z.ZodArray; projectionIds: z.ZodArray; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; task_to_pr_projections: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray>>; }, z.core.$strict>; saved_views: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; query: z.ZodObject<{ query: z.ZodString; filters: z.ZodObject<{ projectIds: z.ZodArray; taskListIds: z.ZodArray; planIds: z.ZodArray; agentIds: z.ZodArray; statuses: z.ZodArray>; priorities: z.ZodArray>; tags: z.ZodArray; changedAfter: z.ZodNullable; dueBefore: z.ZodNullable; }, z.core.$strict>; cursor: z.ZodNullable; limit: z.ZodNumber; }, z.core.$strict>; audience: z.ZodEnum<{ private: "private"; organization: "organization"; }>; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; task_templates: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; titlePattern: z.ZodString; descriptionPattern: z.ZodNullable; priority: z.ZodEnum<{ low: "low"; medium: "medium"; high: "high"; critical: "critical"; }>; tags: z.ZodArray; acceptanceCriteria: z.ZodArray; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; approvals: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; status: z.ZodEnum<{ pending: "pending"; rejected: "rejected"; expired: "expired"; approved: "approved"; }>; reason: z.ZodString; requestedBy: z.ZodObject<{ owner: z.ZodString; id: z.ZodString; digest: z.ZodString; }, z.core.$strict>; decidedBy: z.ZodNullable>; requestedAt: z.ZodISODateTime; decidedAt: z.ZodNullable; expiresAt: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; deletion_records: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; reasonCode: z.ZodString; deletedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; }, z.core.$strict>; dependencyClosure: z.ZodArray; }, z.core.$strict>>; referenceClosure: z.ZodArray; id: z.ZodString; kind: z.ZodOptional>; version: z.ZodOptional; digest: z.ZodOptional; }, z.core.$strict>; references: z.ZodArray; id: z.ZodString; kind: z.ZodOptional>; version: z.ZodOptional; digest: z.ZodOptional; }, z.core.$strict>>; }, z.core.$strict>>; attachmentContentReferences: z.ZodArray; id: z.ZodString; }, z.core.$strict>; index: z.ZodNumber; contentRef: z.ZodObject<{ algorithm: z.ZodLiteral<"sha256">; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>; }, z.core.$strict>>; referenceOnly: z.ZodObject<{ owner: z.ZodString; agentIds: z.ZodArray; externalOwnerRefs: z.ZodArray>; ownerQualifiedRefs: z.ZodArray>; }, z.core.$strict>; bundleChecksum: z.ZodString; }, z.core.$strict>; export type TodosTransferBundle = z.infer; export interface TodosTransferBundleWithDigestsInput { bundleId: string; createdAt: string; source: { authorityId: string; }; contractDigest: string; manifestDigest: string; records: { projects: TodosProject[]; task_lists: TodosTaskList[]; plans: TodosPlan[]; tasks: TodosTask[]; comments: TodosComment[]; dependencies: TodosDependency[]; activities: TodosActivity[]; verification_evidence: TodosPortableVerificationEvidence[]; task_files: TodosPortableTaskFile[]; runs: TodosRun[]; run_events: TodosRunEvent[]; run_commands: TodosPortableRunCommand[]; run_files: TodosPortableRunFile[]; run_artifacts: TodosPortableRunArtifact[]; git_commits: TodosPortableGitCommit[]; git_refs: TodosGitRef[]; traceability: TodosTraceability[]; task_to_pr_projections: TaskToPrProjection[]; saved_views: TodosSavedView[]; task_templates: TodosTaskTemplate[]; approvals: TodosApproval[]; deletion_records: TodosDeletionRecord[]; }; } export interface TodosTransferBundleUnsigned extends Omit { } export declare function computeTodosDependencyClosure(tasks: readonly TodosTask[], dependencies: readonly TodosDependency[]): TodosDependencyClosureEntry[]; export declare function computeTodosTransferReferenceClosure(sections: TodosTransferSections): TodosTransferReferenceClosureEntry[]; export declare function computeTodosTransferBundleChecksum(value: TodosTransferBundleUnsigned): string; export declare function createTodosTransferBundleWithDigests(input: TodosTransferBundleWithDigestsInput): TodosTransferBundle; export declare const TodosTransferIssueSchema: z.ZodObject<{ code: z.ZodEnum<{ invalid_bundle: "invalid_bundle"; canonical_digest_mismatch: "canonical_digest_mismatch"; count_mismatch: "count_mismatch"; section_digest_mismatch: "section_digest_mismatch"; bundle_checksum_mismatch: "bundle_checksum_mismatch"; duplicate_record: "duplicate_record"; classification_mismatch: "classification_mismatch"; missing_reference: "missing_reference"; projection_history_mismatch: "projection_history_mismatch"; dependency_cycle: "dependency_cycle"; closure_mismatch: "closure_mismatch"; reference_closure_mismatch: "reference_closure_mismatch"; attachment_reference_mismatch: "attachment_reference_mismatch"; deletion_redaction_failure: "deletion_redaction_failure"; }>; path: z.ZodString; message: z.ZodString; repairable: z.ZodBoolean; }, z.core.$strict>; export type TodosTransferIssue = z.infer; export declare const TodosTransferConflictSchema: z.ZodObject<{ resourceKind: z.ZodString; resourceId: z.ZodString; reason: z.ZodString; }, z.core.$strict>; export type TodosTransferConflict = z.infer; export declare const TodosTransferRepairIssueSchema: z.ZodObject<{ section: z.ZodEnum<{ approvals: "approvals"; tasks: "tasks"; dependencies: "dependencies"; task_files: "task_files"; projects: "projects"; comments: "comments"; traceability: "traceability"; plans: "plans"; task_lists: "task_lists"; activities: "activities"; verification_evidence: "verification_evidence"; runs: "runs"; run_events: "run_events"; run_commands: "run_commands"; run_files: "run_files"; run_artifacts: "run_artifacts"; git_commits: "git_commits"; git_refs: "git_refs"; task_to_pr_projections: "task_to_pr_projections"; saved_views: "saved_views"; task_templates: "task_templates"; deletion_records: "deletion_records"; }>; resourceId: z.ZodNullable; action: z.ZodEnum<{ supply_reference: "supply_reference"; remove_cycle: "remove_cycle"; regenerate_digest: "regenerate_digest"; regenerate_closure: "regenerate_closure"; regenerate_reference_closure: "regenerate_reference_closure"; regenerate_classification: "regenerate_classification"; }>; reason: z.ZodString; }, z.core.$strict>; export type TodosTransferRepairIssue = z.infer; export declare const TodosTransferValidationSchema: z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.transfer_validation.v1">; dryRun: z.ZodLiteral; valid: z.ZodBoolean; issues: z.ZodArray; path: z.ZodString; message: z.ZodString; repairable: z.ZodBoolean; }, z.core.$strict>>; conflicts: z.ZodArray>; repairIssues: z.ZodArray; resourceId: z.ZodNullable; action: z.ZodEnum<{ supply_reference: "supply_reference"; remove_cycle: "remove_cycle"; regenerate_digest: "regenerate_digest"; regenerate_closure: "regenerate_closure"; regenerate_reference_closure: "regenerate_reference_closure"; regenerate_classification: "regenerate_classification"; }>; reason: z.ZodString; }, z.core.$strict>>; verifiedCounts: z.ZodRecord; verifiedDigests: z.ZodRecord; }, z.core.$strict>; export type TodosTransferValidation = z.infer; export declare function validateTodosTransferBundleIntegrity(input: unknown): TodosTransferValidation; export declare const TodosTransferImportPreviewSchema: z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.transfer_import_preview.v1">; dryRun: z.ZodLiteral; sourceAuthorityId: z.ZodString; bundleId: z.ZodString; bundleChecksum: z.ZodString; contractDigest: z.ZodString; manifestDigest: z.ZodString; targetAuthorityId: z.ZodString; importPlanId: z.ZodString; valid: z.ZodBoolean; conflicts: z.ZodArray>; repairIssues: z.ZodArray; resourceId: z.ZodNullable; action: z.ZodEnum<{ supply_reference: "supply_reference"; remove_cycle: "remove_cycle"; regenerate_digest: "regenerate_digest"; regenerate_closure: "regenerate_closure"; regenerate_reference_closure: "regenerate_reference_closure"; regenerate_classification: "regenerate_classification"; }>; reason: z.ZodString; }, z.core.$strict>>; sectionCounts: z.ZodRecord; importPlanDigest: z.ZodString; }, z.core.$strict>; export type TodosTransferImportPreview = z.infer; export interface TodosImportPlanIdentityInput { sourceAuthorityId: string; targetAuthorityId: string; bundleId: string; bundleChecksum: string; contractDigest: string; manifestDigest: string; } export declare function computeTodosImportPlanId(input: TodosImportPlanIdentityInput): string; export declare function createTodosTransferImportPreviewIntegrity(bundle: TodosTransferBundle, targetAuthorityId: string, conflicts?: TodosTransferConflict[], validation?: { schema: "hasna.todos.transfer_validation.v1"; dryRun: true; valid: boolean; issues: { code: "invalid_bundle" | "canonical_digest_mismatch" | "count_mismatch" | "section_digest_mismatch" | "bundle_checksum_mismatch" | "duplicate_record" | "classification_mismatch" | "missing_reference" | "projection_history_mismatch" | "dependency_cycle" | "closure_mismatch" | "reference_closure_mismatch" | "attachment_reference_mismatch" | "deletion_redaction_failure"; path: string; message: string; repairable: boolean; }[]; conflicts: { resourceKind: string; resourceId: string; reason: string; }[]; repairIssues: { section: "approvals" | "tasks" | "dependencies" | "task_files" | "projects" | "comments" | "traceability" | "plans" | "task_lists" | "activities" | "verification_evidence" | "runs" | "run_events" | "run_commands" | "run_files" | "run_artifacts" | "git_commits" | "git_refs" | "task_to_pr_projections" | "saved_views" | "task_templates" | "deletion_records"; resourceId: string | null; action: "supply_reference" | "remove_cycle" | "regenerate_digest" | "regenerate_closure" | "regenerate_reference_closure" | "regenerate_classification"; reason: string; }[]; verifiedCounts: Record; verifiedDigests: Record; }): TodosTransferImportPreview; export declare const TodosTransferCheckpointSchema: z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.transfer_checkpoint.v1">; sourceAuthorityId: z.ZodString; bundleId: z.ZodString; bundleChecksum: z.ZodString; importPlanId: z.ZodString; importPlanDigest: z.ZodString; contractDigest: z.ZodString; manifestDigest: z.ZodString; targetAuthorityId: z.ZodString; idempotencyKey: z.ZodString; sequence: z.ZodNumber; completedSections: z.ZodArray>; nextSection: z.ZodNullable>; state: z.ZodEnum<{ pending: "pending"; interrupted: "interrupted"; committed: "committed"; }>; digest: z.ZodString; }, z.core.$strict>; export type TodosTransferCheckpoint = z.infer; export interface TodosTransferCheckpointInput { sourceAuthorityId: string; bundleId: string; bundleChecksum: string; importPlanId: string; importPlanDigest: string; contractDigest: string; manifestDigest: string; targetAuthorityId: string; idempotencyKey: string; sequence: number; completedSections: TodosTransferSectionName[]; nextSection: TodosTransferSectionName | null; state: "pending" | "interrupted" | "committed"; } export declare function createTodosTransferCheckpoint(input: TodosTransferCheckpointInput): TodosTransferCheckpoint; export declare function validateTodosTransferCheckpointTransition(previousInput: unknown, currentInput: unknown): boolean; export declare const TodosTransferImportExecutionSchema: z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.transfer_import_execution.v1">; sourceAuthorityId: z.ZodString; bundleId: z.ZodString; bundleChecksum: z.ZodString; importPlanId: z.ZodString; importPlanDigest: z.ZodString; contractDigest: z.ZodString; manifestDigest: z.ZodString; targetAuthorityId: z.ZodString; idempotencyKey: z.ZodString; checkpoint: z.ZodNullable; sourceAuthorityId: z.ZodString; bundleId: z.ZodString; bundleChecksum: z.ZodString; importPlanId: z.ZodString; importPlanDigest: z.ZodString; contractDigest: z.ZodString; manifestDigest: z.ZodString; targetAuthorityId: z.ZodString; idempotencyKey: z.ZodString; sequence: z.ZodNumber; completedSections: z.ZodArray>; nextSection: z.ZodNullable>; state: z.ZodEnum<{ pending: "pending"; interrupted: "interrupted"; committed: "committed"; }>; digest: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>; export type TodosTransferImportExecution = z.infer; export declare const TodosMigrationReceiptSchema: z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.migration_receipt.v1">; id: z.ZodString; receiptSequence: z.ZodNumber; previousReceiptDigest: z.ZodNullable; sourceAuthorityId: z.ZodString; targetAuthorityId: z.ZodString; bundleId: z.ZodString; bundleChecksum: z.ZodString; importPlanId: z.ZodString; importPlanDigest: z.ZodString; contractDigest: z.ZodString; manifestDigest: z.ZodString; idempotencyKey: z.ZodString; status: z.ZodLiteral<"committed">; importedCounts: z.ZodRecord; checkpoint: z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.transfer_checkpoint.v1">; sourceAuthorityId: z.ZodString; bundleId: z.ZodString; bundleChecksum: z.ZodString; importPlanId: z.ZodString; importPlanDigest: z.ZodString; contractDigest: z.ZodString; manifestDigest: z.ZodString; targetAuthorityId: z.ZodString; idempotencyKey: z.ZodString; sequence: z.ZodNumber; completedSections: z.ZodArray>; nextSection: z.ZodNullable>; state: z.ZodEnum<{ pending: "pending"; interrupted: "interrupted"; committed: "committed"; }>; digest: z.ZodString; }, z.core.$strict>; committedAt: z.ZodISODateTime; receiptDigest: z.ZodString; }, z.core.$strict>; export type TodosMigrationReceipt = z.infer; export interface TodosMigrationReceiptInput { id: string; receiptSequence: number; previousReceiptDigest: string | null; sourceAuthorityId: string; targetAuthorityId: string; bundleId: string; bundleChecksum: string; importPlanId: string; importPlanDigest: string; contractDigest: string; manifestDigest: string; idempotencyKey: string; importedCounts: Record; checkpoint: TodosTransferCheckpoint; committedAt: string; } export declare function createTodosMigrationReceipt(input: TodosMigrationReceiptInput): TodosMigrationReceipt; export type TodosMigrationReceiptChainValidation = { success: true; action: "valid"; canonicalReceiptCount: number; } | { success: true; action: "replay"; canonicalReceiptCount: number; receipt: TodosMigrationReceipt; } | { success: false; action: "conflict"; issues: string[]; }; export declare function validateTodosMigrationReceiptChain(input: unknown): TodosMigrationReceiptChainValidation; export type TodosImportExecutionDecision = { action: "commit"; } | { action: "replay"; receipt: TodosMigrationReceipt; } | { action: "reject"; error: TodosError; }; export declare const TodosTransferExecutionContextSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{ state: z.ZodLiteral<"uncommitted">; }, z.core.$strict>, z.ZodObject<{ state: z.ZodLiteral<"committed">; receipt: z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.migration_receipt.v1">; id: z.ZodString; receiptSequence: z.ZodNumber; previousReceiptDigest: z.ZodNullable; sourceAuthorityId: z.ZodString; targetAuthorityId: z.ZodString; bundleId: z.ZodString; bundleChecksum: z.ZodString; importPlanId: z.ZodString; importPlanDigest: z.ZodString; contractDigest: z.ZodString; manifestDigest: z.ZodString; idempotencyKey: z.ZodString; status: z.ZodLiteral<"committed">; importedCounts: z.ZodRecord; checkpoint: z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.transfer_checkpoint.v1">; sourceAuthorityId: z.ZodString; bundleId: z.ZodString; bundleChecksum: z.ZodString; importPlanId: z.ZodString; importPlanDigest: z.ZodString; contractDigest: z.ZodString; manifestDigest: z.ZodString; targetAuthorityId: z.ZodString; idempotencyKey: z.ZodString; sequence: z.ZodNumber; completedSections: z.ZodArray>; nextSection: z.ZodNullable>; state: z.ZodEnum<{ pending: "pending"; interrupted: "interrupted"; committed: "committed"; }>; digest: z.ZodString; }, z.core.$strict>; committedAt: z.ZodISODateTime; receiptDigest: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>; export type TodosTransferExecutionContext = z.infer; export declare function evaluateTodosImportExecutionIntegrity(requestInput: unknown, contextInput: unknown): TodosImportExecutionDecision; export declare const TODOS_TRANSFER_CLASSIFICATION: Readonly<{ version: "1"; portableSections: readonly ["projects", "task_lists", "plans", "tasks", "comments", "dependencies", "activities", "verification_evidence", "task_files", "runs", "run_events", "run_commands", "run_files", "run_artifacts", "git_commits", "git_refs", "traceability", "task_to_pr_projections", "saved_views", "task_templates", "approvals", "deletion_records"]; referenceOnly: readonly ["agent_ids", "external_owner_ids", "owner_qualified_refs"]; excludedCategories: readonly ["credentials", "authentication_tokens", "session_state", "billing_records", "worker_state", "lease_state", "machine_topology", "process_configuration", "command_text", "command_arguments", "filesystem_paths", "storage_internals", "provider_internals"]; fieldClassification: Readonly<{ transferSections: Readonly<{ approvals?: Readonly>; tasks?: Readonly>; dependencies?: Readonly>; task_files?: Readonly>; projects?: Readonly>; comments?: Readonly>; traceability?: Readonly>; plans?: Readonly>; task_lists?: Readonly>; activities?: Readonly>; verification_evidence?: Readonly>; runs?: Readonly>; run_events?: Readonly>; run_commands?: Readonly>; run_files?: Readonly>; run_artifacts?: Readonly>; git_commits?: Readonly>; git_refs?: Readonly>; task_to_pr_projections?: Readonly>; saved_views?: Readonly>; task_templates?: Readonly>; deletion_records?: Readonly>; }>; "hasna.todos.owner_qualified_ref.v1": Record; "hasna.todos.external_owner_ref.v1": Record; "hasna.todos.task.v1": Record; "hasna.todos.project.v1": Record; "hasna.todos.task_list.v1": Record; "hasna.todos.plan.v1": Record; "hasna.todos.agent.v1": Record; "hasna.todos.comment.v1": Record; "hasna.todos.dependency.v1": Record; "hasna.todos.activity.v1": Record; "hasna.todos.saved_view.v1": Record; "hasna.todos.search_request.v1": Record; "hasna.todos.verification_evidence.v1": Record; "hasna.todos.task_file.v1": Record; "hasna.todos.run.v1": Record; "hasna.todos.run_event.v1": Record; "hasna.todos.run_command.v1": Record; "hasna.todos.run_file.v1": Record; "hasna.todos.run_artifact.v1": Record; "hasna.todos.git_object_id.v1": Record; "hasna.todos.git_commit.v1": Record; "hasna.todos.git_ref.v1": Record; "hasna.todos.traceability.v1": Record; "hasna.todos.task_template.v1": Record; "hasna.todos.approval.v1": Record; "hasna.todos.deletion_record.v1": Record; "hasna.todos.task_context.v1": Record; "hasna.todos.stats.v1": Record; }>; }>; export declare const TODOS_TRANSFER_SCHEMAS: Readonly<{ "hasna.todos.transfer_bundle.v1": z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.transfer_bundle.v1">; version: z.ZodLiteral<"1">; bundleId: z.ZodString; createdAt: z.ZodISODateTime; source: z.ZodObject<{ authorityId: z.ZodString; }, z.core.$strict>; contractVersion: z.ZodLiteral<"1.0.0">; contractDigest: z.ZodString; manifestVersion: z.ZodLiteral<"1">; manifestDigest: z.ZodString; sections: z.ZodObject<{ projects: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; repositoryRef: z.ZodNullable>; archivedAt: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; task_lists: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; slug: z.ZodString; name: z.ZodString; description: z.ZodNullable; archivedAt: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; plans: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; taskListId: z.ZodNullable; name: z.ZodString; description: z.ZodNullable; status: z.ZodEnum<{ draft: "draft"; active: "active"; archived: "archived"; completed: "completed"; }>; objective: z.ZodString; taskIds: z.ZodArray; completedAt: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; tasks: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; title: z.ZodString; description: z.ZodNullable; status: z.ZodEnum<{ pending: "pending"; failed: "failed"; cancelled: "cancelled"; blocked: "blocked"; ready: "ready"; in_progress: "in_progress"; completed: "completed"; }>; priority: z.ZodEnum<{ low: "low"; medium: "medium"; high: "high"; critical: "critical"; }>; projectId: z.ZodNullable; taskListId: z.ZodNullable; planId: z.ZodNullable; parentTaskId: z.ZodNullable; assignedAgentId: z.ZodNullable; fingerprint: z.ZodNullable; tags: z.ZodArray; acceptanceCriteria: z.ZodArray; dueAt: z.ZodNullable; completedAt: z.ZodNullable; externalOwnerRefs: z.ZodArray>; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; comments: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; kind: z.ZodEnum<{ comment: "comment"; note: "note"; progress: "progress"; }>; content: z.ZodString; progressPercent: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; dependencies: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; activities: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; resourceRef: z.ZodObject<{ owner: z.ZodString; kind: z.ZodString; id: z.ZodString; digest: z.ZodString; }, z.core.$strict>; action: z.ZodString; summary: z.ZodString; occurredAt: z.ZodISODateTime; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; verification_evidence: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; summary: z.ZodNullable; durationMs: z.ZodNullable; }, z.core.$strict>>; owner: z.ZodString; status: z.ZodEnum<{ failed: "failed"; passed: "passed"; inconclusive: "inconclusive"; }>; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; summary: z.ZodString; startedAt: z.ZodISODateTime; completedAt: z.ZodNullable; taskId: z.ZodNullable; runId: z.ZodNullable; verifierRef: z.ZodObject<{ owner: z.ZodString; id: z.ZodString; digest: z.ZodString; }, z.core.$strict>; confidence: z.ZodNullable; contentRefs: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>>; commandReceipts: z.ZodArray; exitCode: z.ZodNullable; durationMs: z.ZodNullable; outputRefs: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>>; }, z.core.$strict>>; }, z.core.$strict>>; }, z.core.$strict>; task_files: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>; purpose: z.ZodEnum<{ attachment: "attachment"; evidence: "evidence"; deliverable: "deliverable"; }>; }, z.core.$strict>>; }, z.core.$strict>; runs: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; taskIds: z.ZodArray; planId: z.ZodNullable; agentId: z.ZodNullable; startedAt: z.ZodNullable; completedAt: z.ZodNullable; ledgerDigest: z.ZodString; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; run_events: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; run_commands: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; exitCode: z.ZodNullable; durationMs: z.ZodNullable; outputRefs: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>>; completedAt: z.ZodNullable; }, z.core.$strict>>; }, z.core.$strict>; run_files: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>; role: z.ZodEnum<{ output: "output"; input: "input"; evidence: "evidence"; }>; }, z.core.$strict>>; }, z.core.$strict>; run_artifacts: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>; verified: z.ZodBoolean; verificationEvidenceId: z.ZodNullable; }, z.core.$strict>>; }, z.core.$strict>; git_commits: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; objectId: z.ZodObject<{ algorithm: z.ZodEnum<{ sha256: "sha256"; sha1: "sha1"; }>; value: z.ZodString; }, z.core.$strict>; message: z.ZodString; authorRef: z.ZodObject<{ owner: z.ZodString; id: z.ZodString; digest: z.ZodString; }, z.core.$strict>; committedAt: z.ZodISODateTime; changedFileDigests: z.ZodArray; }, z.core.$strict>>; }, z.core.$strict>; git_refs: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; type: z.ZodEnum<{ branch: "branch"; pull_request: "pull_request"; tag: "tag"; }>; name: z.ZodString; target: z.ZodObject<{ algorithm: z.ZodEnum<{ sha256: "sha256"; sha1: "sha1"; }>; value: z.ZodString; }, z.core.$strict>; published: z.ZodBoolean; providerObservedAt: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; traceability: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; gitRefIds: z.ZodArray; verificationEvidenceIds: z.ZodArray; projectionIds: z.ZodArray; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; task_to_pr_projections: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray>>; }, z.core.$strict>; saved_views: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; query: z.ZodObject<{ query: z.ZodString; filters: z.ZodObject<{ projectIds: z.ZodArray; taskListIds: z.ZodArray; planIds: z.ZodArray; agentIds: z.ZodArray; statuses: z.ZodArray>; priorities: z.ZodArray>; tags: z.ZodArray; changedAfter: z.ZodNullable; dueBefore: z.ZodNullable; }, z.core.$strict>; cursor: z.ZodNullable; limit: z.ZodNumber; }, z.core.$strict>; audience: z.ZodEnum<{ private: "private"; organization: "organization"; }>; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; task_templates: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; titlePattern: z.ZodString; descriptionPattern: z.ZodNullable; priority: z.ZodEnum<{ low: "low"; medium: "medium"; high: "high"; critical: "critical"; }>; tags: z.ZodArray; acceptanceCriteria: z.ZodArray; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; approvals: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; status: z.ZodEnum<{ pending: "pending"; rejected: "rejected"; expired: "expired"; approved: "approved"; }>; reason: z.ZodString; requestedBy: z.ZodObject<{ owner: z.ZodString; id: z.ZodString; digest: z.ZodString; }, z.core.$strict>; decidedBy: z.ZodNullable>; requestedAt: z.ZodISODateTime; decidedAt: z.ZodNullable; expiresAt: z.ZodNullable; id: z.ZodString; owner: z.ZodString; version: z.ZodNumber; createdAt: z.ZodISODateTime; updatedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; deletion_records: z.ZodObject<{ owner: z.ZodString; count: z.ZodNumber; digest: z.ZodString; records: z.ZodArray; reasonCode: z.ZodString; deletedAt: z.ZodISODateTime; }, z.core.$strict>>; }, z.core.$strict>; }, z.core.$strict>; dependencyClosure: z.ZodArray; }, z.core.$strict>>; referenceClosure: z.ZodArray; id: z.ZodString; kind: z.ZodOptional>; version: z.ZodOptional; digest: z.ZodOptional; }, z.core.$strict>; references: z.ZodArray; id: z.ZodString; kind: z.ZodOptional>; version: z.ZodOptional; digest: z.ZodOptional; }, z.core.$strict>>; }, z.core.$strict>>; attachmentContentReferences: z.ZodArray; id: z.ZodString; }, z.core.$strict>; index: z.ZodNumber; contentRef: z.ZodObject<{ algorithm: z.ZodLiteral<"sha256">; digest: z.ZodString; mediaType: z.ZodString; byteLength: z.ZodNumber; }, z.core.$strict>; }, z.core.$strict>>; referenceOnly: z.ZodObject<{ owner: z.ZodString; agentIds: z.ZodArray; externalOwnerRefs: z.ZodArray>; ownerQualifiedRefs: z.ZodArray>; }, z.core.$strict>; bundleChecksum: z.ZodString; }, z.core.$strict>; "hasna.todos.transfer_validation.v1": z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.transfer_validation.v1">; dryRun: z.ZodLiteral; valid: z.ZodBoolean; issues: z.ZodArray; path: z.ZodString; message: z.ZodString; repairable: z.ZodBoolean; }, z.core.$strict>>; conflicts: z.ZodArray>; repairIssues: z.ZodArray; resourceId: z.ZodNullable; action: z.ZodEnum<{ supply_reference: "supply_reference"; remove_cycle: "remove_cycle"; regenerate_digest: "regenerate_digest"; regenerate_closure: "regenerate_closure"; regenerate_reference_closure: "regenerate_reference_closure"; regenerate_classification: "regenerate_classification"; }>; reason: z.ZodString; }, z.core.$strict>>; verifiedCounts: z.ZodRecord; verifiedDigests: z.ZodRecord; }, z.core.$strict>; "hasna.todos.transfer_import_preview.v1": z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.transfer_import_preview.v1">; dryRun: z.ZodLiteral; sourceAuthorityId: z.ZodString; bundleId: z.ZodString; bundleChecksum: z.ZodString; contractDigest: z.ZodString; manifestDigest: z.ZodString; targetAuthorityId: z.ZodString; importPlanId: z.ZodString; valid: z.ZodBoolean; conflicts: z.ZodArray>; repairIssues: z.ZodArray; resourceId: z.ZodNullable; action: z.ZodEnum<{ supply_reference: "supply_reference"; remove_cycle: "remove_cycle"; regenerate_digest: "regenerate_digest"; regenerate_closure: "regenerate_closure"; regenerate_reference_closure: "regenerate_reference_closure"; regenerate_classification: "regenerate_classification"; }>; reason: z.ZodString; }, z.core.$strict>>; sectionCounts: z.ZodRecord; importPlanDigest: z.ZodString; }, z.core.$strict>; "hasna.todos.transfer_import_execution.v1": z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.transfer_import_execution.v1">; sourceAuthorityId: z.ZodString; bundleId: z.ZodString; bundleChecksum: z.ZodString; importPlanId: z.ZodString; importPlanDigest: z.ZodString; contractDigest: z.ZodString; manifestDigest: z.ZodString; targetAuthorityId: z.ZodString; idempotencyKey: z.ZodString; checkpoint: z.ZodNullable; sourceAuthorityId: z.ZodString; bundleId: z.ZodString; bundleChecksum: z.ZodString; importPlanId: z.ZodString; importPlanDigest: z.ZodString; contractDigest: z.ZodString; manifestDigest: z.ZodString; targetAuthorityId: z.ZodString; idempotencyKey: z.ZodString; sequence: z.ZodNumber; completedSections: z.ZodArray>; nextSection: z.ZodNullable>; state: z.ZodEnum<{ pending: "pending"; interrupted: "interrupted"; committed: "committed"; }>; digest: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>; "hasna.todos.transfer_execution_context.v1": z.ZodDiscriminatedUnion<[z.ZodObject<{ state: z.ZodLiteral<"uncommitted">; }, z.core.$strict>, z.ZodObject<{ state: z.ZodLiteral<"committed">; receipt: z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.migration_receipt.v1">; id: z.ZodString; receiptSequence: z.ZodNumber; previousReceiptDigest: z.ZodNullable; sourceAuthorityId: z.ZodString; targetAuthorityId: z.ZodString; bundleId: z.ZodString; bundleChecksum: z.ZodString; importPlanId: z.ZodString; importPlanDigest: z.ZodString; contractDigest: z.ZodString; manifestDigest: z.ZodString; idempotencyKey: z.ZodString; status: z.ZodLiteral<"committed">; importedCounts: z.ZodRecord; checkpoint: z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.transfer_checkpoint.v1">; sourceAuthorityId: z.ZodString; bundleId: z.ZodString; bundleChecksum: z.ZodString; importPlanId: z.ZodString; importPlanDigest: z.ZodString; contractDigest: z.ZodString; manifestDigest: z.ZodString; targetAuthorityId: z.ZodString; idempotencyKey: z.ZodString; sequence: z.ZodNumber; completedSections: z.ZodArray>; nextSection: z.ZodNullable>; state: z.ZodEnum<{ pending: "pending"; interrupted: "interrupted"; committed: "committed"; }>; digest: z.ZodString; }, z.core.$strict>; committedAt: z.ZodISODateTime; receiptDigest: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>; "hasna.todos.transfer_checkpoint.v1": z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.transfer_checkpoint.v1">; sourceAuthorityId: z.ZodString; bundleId: z.ZodString; bundleChecksum: z.ZodString; importPlanId: z.ZodString; importPlanDigest: z.ZodString; contractDigest: z.ZodString; manifestDigest: z.ZodString; targetAuthorityId: z.ZodString; idempotencyKey: z.ZodString; sequence: z.ZodNumber; completedSections: z.ZodArray>; nextSection: z.ZodNullable>; state: z.ZodEnum<{ pending: "pending"; interrupted: "interrupted"; committed: "committed"; }>; digest: z.ZodString; }, z.core.$strict>; "hasna.todos.migration_receipt.v1": z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.migration_receipt.v1">; id: z.ZodString; receiptSequence: z.ZodNumber; previousReceiptDigest: z.ZodNullable; sourceAuthorityId: z.ZodString; targetAuthorityId: z.ZodString; bundleId: z.ZodString; bundleChecksum: z.ZodString; importPlanId: z.ZodString; importPlanDigest: z.ZodString; contractDigest: z.ZodString; manifestDigest: z.ZodString; idempotencyKey: z.ZodString; status: z.ZodLiteral<"committed">; importedCounts: z.ZodRecord; checkpoint: z.ZodObject<{ schema: z.ZodLiteral<"hasna.todos.transfer_checkpoint.v1">; sourceAuthorityId: z.ZodString; bundleId: z.ZodString; bundleChecksum: z.ZodString; importPlanId: z.ZodString; importPlanDigest: z.ZodString; contractDigest: z.ZodString; manifestDigest: z.ZodString; targetAuthorityId: z.ZodString; idempotencyKey: z.ZodString; sequence: z.ZodNumber; completedSections: z.ZodArray>; nextSection: z.ZodNullable>; state: z.ZodEnum<{ pending: "pending"; interrupted: "interrupted"; committed: "committed"; }>; digest: z.ZodString; }, z.core.$strict>; committedAt: z.ZodISODateTime; receiptDigest: z.ZodString; }, z.core.$strict>; }>;