import * as z from "zod/v4"; import { createTodosMigrationReceipt as createTodosMigrationReceiptIntegrity, createTodosTransferCheckpoint as createTodosTransferCheckpointIntegrity, validateTodosMigrationReceiptChain as validateTodosMigrationReceiptChainIntegrity, type TodosImportExecutionDecision, type TodosTransferBundle, type TodosTransferBundleWithDigestsInput, type TodosTransferConflict, type TodosTransferImportPreview, type TodosTransferValidation } from "./transfer-schema"; export { TODOS_TRANSFER_CLASSIFICATION, TODOS_TRANSFER_SCHEMA_IDS, TODOS_TRANSFER_SECTION_NAMES, TodosAttachmentContentReferenceSchema, TodosDependencyClosureEntrySchema, TodosPortableCommandReceiptSchema, TodosPortableGitCommitSchema, TodosPortableRunArtifactSchema, TodosPortableRunCommandSchema, TodosPortableRunFileSchema, TodosPortableTaskFileSchema, TodosPortableVerificationEvidenceSchema, TodosTransferBundleSchema, TodosTransferConflictSchema, TodosTransferImportPreviewSchema, TodosTransferIssueSchema, TodosTransferRecordRefSchema, TodosTransferReferenceClosureEntrySchema, TodosTransferReferenceOnlySchema, TodosTransferRepairIssueSchema, TodosTransferSectionNameSchema, TodosTransferSectionsSchema, TodosTransferValidationSchema, computeTodosDependencyClosure, computeTodosImportPlanId, computeTodosTransferBundleChecksum, computeTodosTransferReferenceClosure, } from "./transfer-schema"; export type { TodosAttachmentContentReference, TodosDependencyClosureEntry, TodosImportExecutionDecision, TodosImportPlanIdentityInput, TodosMigrationReceipt, TodosMigrationReceiptChainValidation, TodosMigrationReceiptInput, TodosPortableCommandReceipt, TodosPortableGitCommit, TodosPortableRunArtifact, TodosPortableRunCommand, TodosPortableRunFile, TodosPortableTaskFile, TodosPortableVerificationEvidence, TodosTransferBundle, TodosTransferBundleUnsigned, TodosTransferCheckpoint, TodosTransferCheckpointInput, TodosTransferConflict, TodosTransferExecutionContext, TodosTransferImportExecution, TodosTransferImportPreview, TodosTransferIssue, TodosTransferRecordRef, TodosTransferReferenceClosureEntry, TodosTransferReferenceOnly, TodosTransferRepairIssue, TodosTransferSectionName, TodosTransferSections, TodosTransferValidation, } from "./transfer-schema"; 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 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 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 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 declare const TODOS_TRANSFER_SCHEMAS: Readonly<{ "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>; "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>; }>; export interface TodosTransferBundleInput extends Omit { } export declare function createTodosTransferBundle(input: TodosTransferBundleInput): TodosTransferBundle; export declare function validateTodosTransferBundle(input: unknown): TodosTransferValidation; export declare function createTodosTransferImportPreview(bundle: TodosTransferBundle, targetAuthorityId: string, conflicts?: TodosTransferConflict[]): TodosTransferImportPreview; export declare function createTodosTransferCheckpoint(input: Parameters[0]): ReturnType; export declare function validateTodosTransferCheckpointTransition(previousInput: unknown, currentInput: unknown): boolean; export declare function createTodosMigrationReceipt(input: Parameters[0]): ReturnType; export declare function validateTodosMigrationReceiptChain(input: unknown): ReturnType; export declare function evaluateTodosImportExecution(requestInput: unknown, contextInput: unknown): TodosImportExecutionDecision; export declare const TODOS_CANONICAL_TRANSFER_BINDING: Readonly<{ schema: "hasna.todos.transfer_bundle.v1"; contractDigest: string; manifestDigest: string; }>;