Expand description
Authorized, versioned, database-neutral synchronization datasets.
A scope is a server-issued authorization contract, never an arbitrary client query. This crate defines identity, cursor validation, resolver, membership, projection, subscription, and transition semantics without importing a database or transport implementation.
Structs§
- Dataset
Partition Id - Stable, bounded partition selected by a server-owned scope definition.
- Evaluated
Journal Entry - One authoritative journal entry evaluated by a server-owned scope filter.
- Filtered
Scope Page - Filtered delivery plus a watermark through all evaluated entries, including excluded ones.
- Local
Scope State - Serializable reference model used by adapters and compliance tests.
- Membership
Record - One active entity-to-scope reference.
- Projection
Version - Versioned projection namespace. Different field visibility must never be merged accidentally.
- Resolved
Scope - Complete authoritative binding returned by a registered resolver.
- Scope
Bootstrap Plan - Scope-bound bootstrap plan; activation still requires an atomic
ScopeTransition. - Scope
Cursor - A journal watermark meaningful only with its complete scope binding.
- Scope
Definition Id - Stable application-assigned scope-definition identity. Zero is reserved.
- Scope
Descriptor - Canonical server-owned dataset descriptor; it contains no raw SQL or executable predicate.
- Scope
Generation - Incompatible authority timeline generation for one scope.
- Scope
Principal - Trusted authenticated identity supplied to a scope resolver by the server boundary.
- Scope
Registry - Definition registry that rejects duplicate identifiers and unknown client requests.
- Scope
Removal - Scope-local removal, deliberately distinct from a domain tombstone.
- Scope
Request - Bounded client request for one registered definition. Parameters are opaque to the core.
- Scope
Status - Payload-free status suitable for a negotiated scope control message.
- Scope
Transition - Retry-stable atomic transition input for a local adapter.
- Scope
Transition Id - Retry-stable identity of one scope transition.
- Scope
Transition Outcome - Result of one idempotent transition application.
- Scope
Version - Version of membership rules for one scope.
- Subscription
- Durable relationship between a client and one resolved scope.
- Subscription
Id - Durable identity of one client subscription.
Enums§
- Cursor
Validity - Server result for one bound cursor.
- Local
Retention Policy - Local retention behavior for data leaving an active scope.
- Membership
Decision - Deterministic membership result for an authoritative entity/event.
- Pending
Intent Disposition - Explicit disposition of pending intent affected by authorization loss.
- Scope
Bootstrap Mode - Safe bootstrap strategy for a version transition.
- Scope
Error - Scope semantic failure.
- Scope
Removal Reason - Why membership ended without deleting the authoritative domain entity.
- Scope
Server State - Current server view of one subscription.
- Scope
Transition Instruction - Versioned server instruction. Legacy peers safely map non-continue instructions to full resync.
- Scope
Transition Kind - Coherent transition category.
- Subscription
State - Durable client subscription lifecycle.
Traits§
- Membership
Evaluator - Pure application membership boundary.
- Projection
Rule - Authorized projection boundary.
Nonemeans the entity must not be delivered. - Scope
Resolver - Server-owned asynchronous scope resolution contract.
- Scope
Resource Authorizer - Authorization hook for blobs, integrity manifests, search indexes, or other scope-bound resources. Possessing a stale resource identifier never grants access by itself.
Functions§
- project_
filtered_ page - Applies a deterministic authorized projection while advancing through intentionally excluded journal entries.