Module semantic_document_read 

App reader registration and the SDK’s committed-read admission.

An app registers a reader: a closed request decoder, an exact result schema and a projection over its document at given heads. Registration confers no authority. The SDK alone runs a selected reader, and only over a document it can identify as the caller’s canonical record: the record store’s current loan of that exact document for a hosted invocation (whose route the scope verified against the owner), or the app’s mounted primary document on its current primary route. The read binds to the document’s committed heads, never commits a pending edit, and rechecks the original caller immediately before disclosure.

Modules

retirement

Retirement synchronization, never Source, caller or disclosure authority.

Structs

ReadPage

One page an app’s projection produced at the heads it was given.

RegisteredSemanticReader

App-owned code paired with a closed request decoder and exact result schema. Only the actual resolved Widget’s table participates in SDK selection. This public registration cannot create a frame, response stamp, or permission.

Enums

SemanticReadError

Constants

MAX_CURSOR_BYTES

The longest opaque cursor a paged read hands out or accepts.

MAX_REQUEST_BYTES

Functions

decode_cursor

The cursor an earlier page handed out, decoded; None reads from the start.

decode_request

A reader’s closed request, decoded from its payload. The SDK has already refused a payload over MAX_REQUEST_BYTES.

encode_cursor

The opaque cursor for the page after this one, when there is one.

registered_operations

Inert descriptors for reads registered by the actual retained widget tree. This admits no invocation or document: execution still needs the normal bound SDK door and its canonical owner loan. Generic effects are excluded.

result_schema

The exact result schema of a read whose projection yields content: the SDK stamps version, record and basis around it. A paged read returns an opaque nextCursor or null; any other read always returns null.

Type Aliases

ReadProjection

An app projection over document at exactly heads, for a request the registration’s decoder accepted.