Crate type_bridge_schema 

Lossless schema documents and pure schema normalization.

This crate owns source-oriented schema concerns so YAML parsing never enters the protocol-level type-bridge-contract dependency graph.

Structs

AdoptionBaseline

An immutable, operation-free starting point adopted from canonical observation.

BoundManagedSchemaScope

A managed fact selection with an explicit durable deployment/profile binding.

CanonicalObservedSchema

Comparable direct schema and managed scope reconstructed from introspection.

DeltaSafetyReason

One deterministic fact-level reason for the aggregate classification.

DeltaSafetyReport

Advisory classification only; it never grants authorization to execute.

DerivedSafetyConditions

Ordered verifier output for one schema operation.

DescriptorId

Stable content-addressed query descriptor identity.

DescriptorIndex

Stable direct-fact descriptor lookup.

EffectiveOwns

Effective ownership, including resolved constraints and direct origin.

EffectivePlays

Effective role-playing interface and its independent annotations.

EffectiveRelates

Effective related role, including specialization replacement history.

EffectiveRelatesId

Derived relation-role identity that can represent an inherited role interface.

EffectiveSub

One direct subtype edge, including its exact declaration origin and annotations.

EffectiveValueType

Effective direct or inherited attribute value domain.

FactAssembler

Source-language-neutral construction of direct schema facts.

FactDependencyGraph

The exact fact-level dependency graph used to order schema operations.

ManagedDeltaContext

Explicit inputs which determine a managed schema state.

ManagedSchemaScope

Unbound evidence selecting direct fact identities observed as managed.

ObservedSchema

An immutable provider-introspection capture with no server or network behavior.

ObservedSchemaFact

One validated contract fact paired with provider provenance and deployment scope.

RequiredSafetyCondition

One exact verifier-derived requirement bound to its transition and profiles.

ResolutionOrigin

Direct-fact identity plus the inheritance path used to derive an effective entry.

ResolvedFunction

Opaque resolved function retained without speculative body typing.

ResolvedRole

Resolved role descriptor and accepted concrete player types.

ResolvedSchema

Immutable pure resolution result.

ResolvedStruct

A validated struct in resolved schema output.

ResolvedType

Fully resolved type semantics, rebuilt only from direct facts.

SafetyConditionDomainIndex

Precomputed source-domain evidence shared by every operation in one delta.

SafetyConditionId

Stable identity of canonical verifier-derived condition bytes.

SafetyDerivationProfile

Registry-owned profiles which affect safety derivation and lowering identity.

SchemaAuthorityError

A fail-closed schema-authority failure retaining nested diagnostics.

SchemaComment

A comment retained with its exact source location.

SchemaDependencyGraph

Projection dependency edges and deterministic strongly connected components.

SchemaDiscoveryEvidence

Reproducible Phase 2 input for the later workspace lock producer.

SchemaDiscoveryLimits

Resource ceilings for deterministic schema source discovery and parsing.

SchemaDiscoverySnapshot

One atomically captured schema-set manifest and its selected fragments.

SchemaDiscoveryVersion

A closed identifier for the source-discovery algorithm used by a snapshot.

SchemaDocument

One parsed schema source document.

SchemaDocumentSet

A deterministic, identifier-keyed collection of schema documents.

SchemaParseLimits

Resource ceilings applied before a schema document becomes trusted input.

SchemaPatternDiscoverySnapshot

An immutable set of captured schema source bytes parsed after revalidation.

SchemaSetManifest

Validated semantic fields from a typebridge.schema-set/v1 manifest.

SchemaSetManifestDocument

A validated schema-set manifest retaining its exact source presentation.

SchemaSourceCapture

One bounded file capture with observations from before and after the read.

SchemaSourceEvidence

One portable path and exact-source digest captured by schema discovery.

SchemaSourceIdentity

One service-defined stable object identity.

SchemaSourceObservation

One point-in-time source-path observation.

SchemaSourceRevision

One service-defined content or metadata revision token.

SchemaSourceServiceError

An unavailable or inconsistent observation from a schema source service.

SystemSchemaSourceService

Zero-sized adapter for the host filesystem.

VerifiedSchemaAuthority

Opaque source-free authority accepted only after complete reconstruction.

YamlMapping

A lossless, insertion-ordered YAML mapping.

YamlMappingEntry

One string-keyed YAML mapping entry.

YamlScalar

A decoded YAML scalar with its exact spelling and source location.

YamlSequence

A lossless YAML sequence.

Enums

CommentPlacement

Placement reported for a source comment.

DeltaError

A structured failure from contract checks or schema resolution.

ObservedFactProvenance

Provider evidence describing why an introspected fact is visible.

ObservedFactScope

Deployment ownership assigned while capturing one introspected fact.

SafetyClass

The exact eight-class provider-neutral migration safety vocabulary.

SafetyClassificationError

A malformed formal transition that cannot be assigned a safety class.

SafetyCondition

Closed verifier-derived safety-condition vocabulary.

SafetyConditionUnlock

Missing feature or workflow required to express a safety condition honestly.

ScalarSafetySubject

Scalar annotation subject that can be represented by the assertion algebra.

SchemaAuthorityErrorCode

Stable high-level classification for schema-authority failures.

SchemaSourceKind

The non-following or following kind observed for one source path.

UnresolvableSafetyReason

Closed reason vocabulary for conditions the current query algebra cannot express.

YamlCollectionStyle

YAML collection spelling retained by the lossless document layer.

YamlNode

A YAML node accepted by the closed schema-document grammar.

YamlScalarStyle

YAML scalar spelling retained by the lossless document layer.

Constants

BUILTIN_SCHEMA_CAPABILITY_IDS

Schema-feature capabilities implemented by the built-in compatibility resolver.

DEFAULT_MAX_DISCOVERY_DEPTH

Default maximum directory depth traversed below the schema root.

DEFAULT_MAX_DISCOVERY_ENTRIES

Default maximum filesystem entries inspected during one selection.

DEFAULT_MAX_SOURCE_PATTERNS

Default maximum number of source patterns in one schema-set manifest.

DEFAULT_MAX_SOURCE_PATTERN_BYTES

Default maximum UTF-8 bytes in one portable source pattern.

MAX_SCHEMA_AUTHORITY_BYTES

Maximum canonical schema-authority size under the shared contract codec.

OBSERVED_SCHEMA_CANONICALIZATION_VERSION

Version of the provider-introspection-to-direct-facts canonicalization policy.

SAFETY_CONDITION_CANONICALIZATION

Canonicalization identifier for verifier-derived safety conditions.

SAFETY_CONDITION_FINGERPRINT_DOMAIN

Fingerprint domain for verifier-derived safety-condition identities.

SCHEMA_AUTHORITY_FINGERPRINT_CANONICALIZATION

Canonicalization identity for the first schema-authority content envelope.

SCHEMA_AUTHORITY_FINGERPRINT_DOMAIN

Fingerprint domain for one exact canonical schema-authority content envelope.

SCHEMA_DISCOVERY_V1

The frozen Phase 2 source-discovery algorithm identifier.

SCHEMA_SET_V1_FORMAT

The only supported schema-set manifest format in V1.

SCHEMA_V2_FORMAT

Exact discriminator for the first YAML Schema V2 document grammar.

TYPEBRIDGE_SCHEMA_AUTHORITY_V1

The first source-free compiled schema-authority envelope.

TYPEDB_3_12_1_TEMPORAL_POLICY_ID

Exact temporal scalar domain accepted by the TypeDB 3.12.1 Rust driver.

TYPEDB_3_12_1_TIMEZONE_POLICY_ID

Exact named-timezone database policy used by the TypeDB 3.12.1 schema profile.

Traits

SchemaSourceService

Bounded environmental observations used by deterministic schema discovery.

Functions

adopt_observed_schema

Adopt canonical observed direct facts as one exclusive managed baseline.

apply_delta

Verify and apply a delta entirely in memory.

build_schema_authority

Build and immediately reverify one source-free schema authority.

canonical_managed_declared_identity_bytes

Return canonical declared-identity bytes for an explicitly bound managed scope.

canonical_managed_semantic_schema_bytes

Return canonical direct-semantic bytes for an explicitly bound managed scope.

canonical_semantic_schema_bytes

Return canonical direct-semantic bytes with equal explicit defaults normalized.

canonicalize_observed_schema

Canonicalize one captured provider schema without performing provider I/O.

classify_delta_safety

Classify a delta without consulting or producing an authorization decision.

classify_operation_safety

Classify one validated formal operation without granting execution authority.

classify_schema_operation_safety

Classify one operation and fail malformed transitions closed as unsupported.

decode_schema_authority

Decode canonical bytes and independently reconstruct every bound schema view.

derive_safety_conditions

Derive safety conditions from an exact trusted source/operation/target transition.

derive_safety_conditions_with_domain_index

Derive safety conditions while reusing one exact delta-level domain index.

diff_managed

Compute an exact formal managed-schema delta.

discover_schema_documents

Discovers and freezes schema documents with default resource ceilings.

discover_schema_documents_with_limits

Discovers and freezes schema documents with explicit resource ceilings.

encode_schema_authority

Return exact canonical bytes retained by an already verified authority.

inverse_delta

Reverse operation order, invert every operation, and swap exact states.

load_schema_set

Loads a strict schema-set manifest and atomically freezes all selected documents.

load_schema_set_with_limits

Loads a strict schema-set manifest with explicit discovery and parser ceilings.

load_schema_set_with_source

Loads a schema set through an injected bounded source-observation service.

managed_declared_identity_fingerprint

Fingerprint declared identity after explicit managed-scope filtering.

managed_schema_state

Derive the exact managed state from declaration facts and explicit context.

managed_semantic_schema_fingerprint

Fingerprint direct semantics after explicit managed-scope filtering.

normalize_documents

Normalize a lossless document set into provider-independent direct facts.

parse_provider_datetime_tz

Parse a canonical timezone-aware scalar and resolve named zones under the exact TypeDB 3.12.1 timezone policy.

parse_provider_datetime_tz_evidence

Parse exact datetime-tz evidence emitted by the driver bridge.

plan_schema_operations

Compute the exact formal diff and deterministic dependency-safe operation order.

project

Derive a target-specific runtime projection without provider I/O or mutation.

resolve

Resolve direct schema facts under the built-in semantic-profile compatibility surface.

resolve_provider_datetime_tz

Resolve a written timezone designator without selecting an arbitrary side of an IANA daylight-saving gap or overlap.

resolve_schema_with_capabilities

Resolve direct schema facts using an explicitly available schema-feature set.

schema_authority_capability_vocabulary

Return every capability understood by generated packages and the generic server.

semantic_schema_fingerprint

Fingerprint canonical direct semantics without hashing inherited resolver closure.

validate_provider_datetime_tz

Validate a carried canonical datetime-tz against the pinned provider timezone database without performing provider I/O.

validate_provider_duration

Validate the exact unsigned component domain used by the TypeDB 3.12.1 driver duration type (u32 months/days and u64 total nanoseconds).

validate_provider_temporal_literal

Validate temporal values that must be written as TypeQL literals.

validate_provider_temporal_value

Validate temporal values that may cross the TypeDB 3.12.1 driver API.

Type Aliases

DeltaSafety

Compatibility name retained for the schema-delta API.