Crate type_bridge_query 

Schema-aware validation for typed query foundations.

Structs

BindingDomain

Schema-derived possible runtime types and optional scalar value domain.

DocumentColumn

One typed fetched-document column derived solely by validation.

DocumentSchema

Ordered fetched-document schema derived solely by validation.

MigrationAssertionValidationContext

Trusted schema inputs which bind a plan to one exact managed selection.

RowColumn

One validator-derived output column.

RowSchema

Ordered output row schema derived solely by validation.

ValidatedMigrationAssertionPlan

Opaque, non-serializable result of schema-aware assertion validation.

ValidatedQuery

Opaque, non-serializable result of schema-aware plan validation.

Enums

DocumentColumnShape

The typed shape of one fetched document field.

OutputSchema

The validator-derived output shape of one query plan.

Functions

lower_condition_to_plan

Lower one trusted verifier-derived condition and validate it against source state.

safety_condition_to_assertion_plan

Compatibility spelling for lowering verifier-derived safety conditions.

validate_migration_assertion_plan

Validate topology and exact effective schema domains without provider I/O.

validate_query_local_function

Validate one plan-local function against exact resolved schema authority.

validate_query_plan

Validate one reusable plan against exact resolved schema authority.