type-bridge-schema-migration 2.0.2

Canonical schema migration planning for type-bridge
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83

//! Verified offline schema migration contracts and provider lowering policy.

mod apply_plan;
mod coordinator;
mod directory;
mod execution;
mod generate;
mod history;
mod legacy;
pub mod lowering;
mod manifest;
mod policy;
pub mod profile;
mod rollback_plan;
mod verify;

pub use apply_plan::{
    MigrationApplyPlanError, MigrationApplyTarget, VerifiedMigrationApplyManifest,
    VerifiedMigrationApplyPlan, VerifiedMigrationApplyStep, VerifiedMigrationTransactionGroup,
    build_verified_migration_apply_plan, partition_transaction_groups,
};
pub use coordinator::{
    GroupCommitFailure, GroupCommitFuture, MigrationExecutionOutcome, MigrationExecutionPosition,
    MigrationExecutionProvider, MigrationRollbackOutcome, PreparedMigrationGroup,
    execute_verified_migration_apply_plan, execute_verified_migration_rollback_plan,
};
pub use directory::{
    MigrationAuthoringLock, MigrationDirectory, MigrationDirectoryEntry,
    validate_portable_direct_child,
};
pub use execution::{
    AppliedRecord, ExecutionFence, ExecutionFuture, ExecutionScope, GroupCommitCertainty,
    GroupEventRecord, GroupJournalEventKind, GroupRecoveryDecision, GroupRecoveryObservation,
    JournalEntry, JournalSequence, LeaseHolderId, MigrationExecutionJournal, MigrationLease,
    MigrationLeaseStore, OpenPlanRecord, OpenRollbackPlanRecord, PlanRecord, RollbackPlanRecord,
    RollbackStepEventRecord, RolledBackRecord, active_applied_entries, decide_group_recovery,
};
pub use generate::{
    GeneratedMigration, MigrationGenerationOutcome, MigrationGenerationRequest,
    MigrationPreviewError, generate_next_migration, render_migration_preview,
    try_acquire_migration_authoring_lock, write_generated_migration_under_lock,
};
pub use history::{
    CanonicalMigrationHistoryEvidence, MigrationHistoryGraph,
    canonical_history_declared_legacy_bridge_count_in, canonical_history_declares_legacy_bridge_in,
    discover_verified_migration_chain, discover_verified_migration_chain_in,
    discover_verified_migration_chain_with_evidence_in, discover_verified_migrations,
    discover_verified_migrations_in, require_adoption_authority_pair,
    require_adoption_authority_pair_state,
};
pub use legacy::{
    LEGACY_APPLIED_SET_ALGORITHM, LEGACY_APPLIED_SET_CANONICALIZATION, LEGACY_CHECKSUM_ALGORITHM,
    LegacyAppliedSetDigest, LegacyMigrationAppLabel, LegacyMigrationChecksum, LegacyMigrationId,
    LegacyMigrationName, LegacyMigrationReference, build_legacy_frontier_bridge,
};
pub use lowering::{
    SchemaFactCatalog, SchemaLoweringBinding, SchemaLoweringDiagnostic, SchemaLoweringPlan,
    StatementOperationKind, StatementUnit, TypeQlStatement, TypeQlVerb, lower_schema_delta,
};
pub use manifest::{
    SchemaMigrationDraft, VerifiedSchemaMigrationManifest, build_verified_manifest,
    decode_verified_manifest, encode_verified_manifest, verified_manifest_digest,
};
pub use policy::{MigrationApplyApproval, MigrationSafetyPolicy, SafetyPolicyDecision};
pub use rollback_plan::{
    VerifiedMigrationRollbackManifest, VerifiedMigrationRollbackPlan,
    VerifiedMigrationRollbackStep, build_verified_migration_rollback_plan,
};
pub use verify::{MigrationDriftFinding, MigrationVerifyReport, verify_migration_state};

pub use profile::{
    AnnotationKind, AnnotationSubjectKind, AnnotationTransition, EvidenceFlag, EvidenceRequirement,
    FactKind, FactTransition, InterfaceDefault, InterfaceKind, LoweringMechanism, SafetyScenario,
    SafetyScenarioRule, SchemaLoweringProfile, TransitionRule, annotation_transition_rule,
    canonical_profile_bytes, fact_transition_rule, profile_fingerprint,
    schema_lowering_profile_binding, typedb_3_12_1_profile,
};
pub use type_bridge_contract::schema_lowering::{
    SCHEMA_LOWERING_PROFILE_CANONICALIZATION, SCHEMA_LOWERING_PROFILE_FINGERPRINT_DOMAIN,
    SchemaLoweringProfileFingerprint, SchemaLoweringProfileId,
    TYPEDB_3_12_1_SCHEMA_LOWERING_PROFILE_ID,
};
pub use type_bridge_schema::{SafetyClass, SafetyClassificationError, classify_operation_safety};