Expand description
Application-owned authorization and domain execution boundary.
Structs§
- Auth
Context - Server-derived authenticated identity. Client claims must match it.
- Authenticated
Operation - Operation whose identity claims match the authenticated connection.
- Authoritative
Mutation - Mutation produced only after application authorization and validation.
- Authorized
Operation - Authenticated operation approved by application authorization policy.
- Current
Entity - Current authoritative snapshot passed into an application handler.
- Dependency
Plan - Deterministic topological execution plan.
- Derived
Event Provenance - Identity and inherited lineage for a server-derived authoritative event.
- Executable
Operation - Fully planned operation accepted by
OperationExecutor::execute. - Execution
Error - Typed application rejection.
- Incoming
Operation - Untrusted operation before authenticated identity claims are checked.
- JobProvenance
- Required durable metadata for a job/outbox record derived from an authenticated operation.
- Operation
Registry - Typed operation dispatcher with an explicit scope authorizer and schema compatibility window.
- Trusted
Provenance - Server-trusted provenance created only from an authenticated operation and connection context.
- Validated
Operation - Authorized operation whose authoritative preconditions were validated.
Enums§
- Dependency
Error - Invalid intra-batch operation dependency graph.
- Registration
Error - Invalid typed registration configuration.
Traits§
- Domain
Operation - Strongly typed domain command registered with
OperationRegistry. - Operation
Executor - Application operation registry/dispatcher.
- Operation
Handler - Authorization and execution logic for one typed domain command.
- Payload
Migrator - Pure adapter that upgrades one supported historical payload directly to the handler’s current schema. Database migrations remain separate.
- Scope
Authorizer - Application authorization for a requested partial synchronization scope.
Functions§
- plan_
dependencies - Builds a stable
O(V + E)dependency plan for operations contained in one batch. Dependencies outside the batch remain server-ledger prerequisites and are not graph edges.