Module logical 

Declared feature execution through the configured logical database adapter.

Structs

InsertedRow 🔒

QueryDependencyPlan 🔒

Owns bounded query-dependency resolution while a transaction is planned.

Enums

LogicalStore 🔒

Keeps one selected adapter and schema for the whole declared feature call.

Functions

append_read_guards 🔒

Binds a read set in bounded groups without consuming one transaction step per row. Grouping requires complete identities so matching duplicates cannot hide a stale row.

bind_guard_preconditions 🔒

Checks declared guards before writes and binds their read set into the transaction.

complete_insert_values 🔒

Completes a planned insert using declared defaults so local reads match its write.

ensured_existing_row 🔒

Captures an ensured row through the interface and guards its snapshot before writes.

execute_logical_queries 🔒

Executes declared feature queries without compiling SQL in the request path.

execute_logical_transaction 🔒

Executes declared writes and guards in one adapter transaction.

field_value 🔒

Converts HTML form booleans into the logical field type before any adapter sees them.

inserted_row 🔒

local_row_matches 🔒

Matches a declared equality filter against a transaction-local write.

map_database_error 🔒

Preserves the logical database error category at the declared feature boundary.

operation_query_references 🔒

Finds only declared query references used by one bounded operation.

planned_write_targets 🔒

Distinguishes unrelated prospective writes from changes to a query’s own entity.

predicate_for_filters 🔒

Resolves one declared field filter into a typed backend-neutral predicate.

predicate_for_transaction_filters 🔒

Resolves declared reservation filters without losing an ensured row identity.

prior_idempotent_result 🔒

Reuses a saved result only when every declared idempotency field still matches.

reservation_transition 🔒

Builds a bounded reservation status transition from app-owned declarations.

store_for_app 🔒

Opens the app’s logical entity catalog through its configured backend.

working_query_rows 🔒

Reuses a bounded, trusted request-local query binding without another storage read. Persistence still checks its captured row values inside the mutation transaction.

write_values 🔒

Compiles declared write values while preserving a prior generated-id binding.