Crate sim_relation_plan 

Complete provider-neutral relational plans with a sealed admission boundary.

Providers receive CheckedQuery or CheckedMutation, never SQL text or unchecked syntax. The public algebra binds every field explicitly, including correlated subqueries and the excluded row of conflict updates.

Structs

AdmissionLimits

Admission resource limits.

CheckedMutation

Opaque admitted mutation.

CheckedQuery

Opaque admitted query. Its fields cannot be forged or changed by providers.

FieldRef

An explicitly qualified field reference.

NamedAggregate

A named aggregate projection.

NamedScalar

A named scalar projection.

OrderKey

A typed ordering expression.

Enums

AdmissionError

Plan admission failure.

Aggregate

Aggregate operations with domain-derived result types.

ConflictAction

Complete conflict behavior.

ConflictTarget

A uniqueness target for insert conflicts.

JoinKind

Join semantics.

Mutation

Provider-neutral data mutation.

OrderDirection

Sort direction.

Rel

Complete logical relation algebra.

Scalar

A scalar expression. Subqueries retain lexical access to their outer scope.

ScalarOp

Portable scalar operators.

SetOp

Set operation semantics.

Functions

admit_mutation

Admits a complete insert, update, or delete plan.

admit_query

Admits a complete query against immutable schema, catalog, and parameter contracts.