Crate type_bridge_schema_compat 

One-way compatibility front-ends for the V2 schema fact graph.

This public supporting crate is deliberately narrow. Source-language parsers converge on type_bridge_schema::FactAssembler; contract and schema crates never depend on compatibility parsers or their transitive grammar dependencies.

Re-exports

pub use shadow::ShadowCompared;

pub use shadow::ShadowComparison;

pub use shadow::ShadowCoverage;

pub use shadow::ShadowCoverageState;

pub use shadow::ShadowDimension;

pub use shadow::ShadowFinding;

pub use shadow::ShadowLaneNotRun;

pub use shadow::ShadowLaneOutcome;

pub use shadow::ShadowLaneRejection;

pub use shadow::ShadowLaneSummary;

pub use shadow::ShadowUnavailableLane;

pub use shadow::ShadowVerdict;

pub use shadow::V1ShadowInternalError;

pub use shadow::V1ShadowReport;

pub use shadow::v1_shadow_report;

Modules

shadow

Comparison-only reporting between the frozen V1 parser and the V2 fact graph. Honest, comparison-only shadowing of the frozen V1 schema parser.

Structs

AdoptedGenesisAuthority

Lossless authority view of one released pre-adoption schema.

FunctionBodyReferences

Static schema references found in one function body.

GeneratedDeclaredDescriptorSetV1

Closed, direct-only descriptor snapshot emitted by generated bindings.

LiveQueryAuthorityState

Exact live query authority reconstructed from one schema export.

TypeqlDeclaredSchema

A declared schema plus references derived from each TypeQL function body.

Enums

LiveLegacyLedgerPresence

Whether the exact released V1 migration-ledger schema is present.

LiveQueryControlPresence

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

SchemaReference

A neutral, static schema identity referenced by a TypeQL function body.

Constants

ADOPTED_GENESIS_FILE_NAME

File name of the adopted-genesis artifact inside the canonical migration directory.

GENERATED_DECLARED_DESCRIPTOR_PATH

Generated package path containing the canonical direct declaration snapshot.

GENERATED_DECLARED_DESCRIPTOR_V1

Exact discriminator for the first generated direct-descriptor format.

GENERATED_DECLARED_DESCRIPTOR_V2

Exact discriminator for generated descriptors that carry ordered collections.

LEGACY_LEDGER_SCHEMA_TYPEQL

Frozen TypeQL rendering of the released v1 migration-ledger schema.

MANAGED_FENCE_SCHEMA_TYPEQL

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

MAX_TYPEQL_SCHEMA_BYTES

Defensive source bound applied before entering the third-party parser.

Functions

attach_declared_descriptors

Attach an already-rendered declared-descriptor snapshot to a generated package exactly like the standard generation path: the snapshot file plus, for Python, the registry constant.

empty_generated_declared_descriptors_json

Render the canonical empty declared-descriptor snapshot: a closed world with zero declarations, as produced by a complete teardown.

generate_package_with_declared_descriptors

Render models and attach the direct declaration snapshot from the same input.

generated_declared_descriptors_json

Project a generation-time TypeQL input into canonical direct-descriptor JSON.

generated_descriptors_to_declared

Decode canonical generated-descriptor JSON and adapt direct declarations through the source-language-neutral FactAssembler.

is_legacy_ledger_label

Return whether a schema label belongs to the frozen v1 ledger vocabulary.

legacy_ledger_schema_presence

Inspect one TypeDB schema export for the exact frozen V1 ledger schema.

managed_fence_schema_presence

Inspect one TypeDB schema export for the exact managed writer-fence schema.

parse_adopted_genesis

Parse adopted-genesis bytes into the reconstructed legacy head.

parse_adopted_genesis_authority

Parse the raw durable artifact into portable facts plus lossless V1 identity.

parse_adopted_genesis_authority_with_internal

Parse a live adoption export while permitting one exact V2 control partition.

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.

released_typeql_to_declared_lossless_projection

Project released TypeQL without discarding any schema-semantic construct.

released_typeql_to_declared_lossless_projection_with_references

Losslessly project released TypeQL while retaining static function-body references.

released_typeql_to_declared_projection

Project released generator TypeQL through compatibility normalization.

released_typeql_to_declared_projection_with_references

Project released generator TypeQL while retaining references from every function body accepted by the strict importer.

toml_to_declared

Transpile one legacy TOML schema and adapt its rendered TypeQL into the canonical declared schema graph.

toml_to_facts

Transpile legacy TOML and return canonical direct facts in identity order.

typeql_to_declared

Parse one TypeQL define query into the canonical declared schema graph.

typeql_to_declared_with_references

Parse one TypeQL define query into the canonical declared schema graph and derive neutral references from every function body.

typeql_to_facts

Parse TypeQL and return canonical direct facts in identity order.

typeql_to_generated_descriptors

Project TypeQL direct facts into the closed generated-descriptor format.