Crate type_bridge_schema_migration_typedb 

TypeDB-backed fenced execution storage for V2 schema migrations.

This public leaf crate is the only layer that knows both the provider-neutral migration execution contracts and the TypeDB ORM. It does not extend or import the archival V1 migration state store.

Most embedders should use TypeDbMigrationRunner. Lower-level composition must construct one TypeDbExecutionBinding and reuse it for both TypeDbMigrationStore and TypeDbMigrationProvider; leases from an independent or unbound execution binding fail before TypeDB I/O.

Structs

ManagedDatabasePairAdministrator

Bound administration authority for exactly one managed database and derived journal.

ManagedDatabasePairDeletionPlan

Explicit single-use destructive admission bound to one inspected pair state.

PartitionedDeclaredSchema

One parsed TypeDB export partitioned into managed-user and internal facts.

TypeDbExecutionBinding

One validated, process-local TypeDB migration execution binding.

TypeDbMigrationProvider

TypeDB 3.12.1 execution provider bound to one managed/journal pair and context.

TypeDbMigrationRunner

Apply orchestrator bound to one managed/journal database pair.

TypeDbMigrationStore

TypeDB-backed lease and journal store bound to verified history evidence.

VerifiedMigrationCatalog

Verified historical manifest catalog used to rederive applied records.

Enums

LiveQueryControlPresence

Whether a live query schema carries the complete managed-database fence partition.

ManagedDatabasePairCreateOutcome

Normalized outcome of creating the managed member of one verified pair.

ManagedDatabasePairDeleteOutcome

Terminal result of one explicitly admitted pair deletion.

ManagedDatabasePairState

Read-only classification of one exact bound managed/journal pair.

MigrationDirectoryApplyError

Failure while orchestrating one directory apply pass.

MigrationDirectoryApplyOutcome

Result of one directory apply pass.

MigrationDirectoryRollbackOutcome

Result of one directory rollback pass.

Constants

JOURNAL_CONTROL_SCHEMA_TYPEQL

Exact TypeDB 3 authoritative lease and journal schema.

MANAGED_FENCE_SCHEMA_TYPEQL

Exact TypeDB 3 fence-mirror schema installed in a managed database.

TYPEBRIDGE_INTERNAL_PREFIX

Reserved prefix for every V2 migration control type.

Functions

control_schema_labels

Return every frozen control-schema label in canonical order.

derived_journal_database_name

Derive the one-to-one companion journal database name.

digest_legacy_applied_records

Digest semantic rows from the released applied ledger.

execute_catalog_apply_plan

Execute one catalog-authorized forward plan through its exact TypeDB pair.

execute_catalog_apply_plan_controlled

Execute one catalog-authorized forward plan under explicit shared controls.

execute_catalog_rollback_plan

Execute one catalog-authorized rollback plan through its exact TypeDB pair.

execute_catalog_rollback_plan_controlled

Execute one catalog-authorized rollback plan under explicit shared controls.

execution_capability_vocabulary

Compose the exact execution capability vocabulary for TypeDB 3.12.1.

extract_legacy_applied_set_digest

Digest every checksum-bound node in one checked legacy graph.

extract_legacy_frontier

Extract the canonical legacy frontier from one checked legacy graph.

is_typebridge_internal_label

Return whether a schema label belongs to the reserved control namespace.

load_catalog_applied_migrations

Load the active applied identities from the exact generated catalog journal.

observe_managed_state_from_export

Observe the exact live managed schema state from one provider export.

partition_typeql_export

Parse one full TypeDB export and partition it without editing raw TypeQL.

rebuild_live_managed_state

Rebuild the live managed state from one export for drift reporting.

rebuild_live_query_authority

Rebuild live schema authority together with exact control-schema presence.

rebuild_live_query_authority_state

Rebuild live schema authority for a read-only V2 query executor.

require_active_managed_fence

Require an exact active fence mirror inside a managed-database transaction.

require_supported_migration_execution_binding

Require the exact semantic profile and negotiated servers supported by TypeDB migration execution over one managed/journal pair.

require_supported_migration_server

Require the exact TypeDB server version supported by migration execution.

verify_catalog_state

Verify catalog, ledger, and live semantics without setup, lease, or mutation.

verify_legacy_continuity

Verify checksum continuity between legacy files and the applied ledger.