Module local_document_action 

Bounded, speculative local action observations. These are not authorizations.

A collaboration route installs a scope only while processing its local input, pinned to the directory revision actually published for that route. Background work and delivered broker invocations must not inherit a local-input scope.

Structs

CapturedAction

Exact local execution observation; an empty mutation set means read/no-op. context retains the parent record and source invocation independently of the published child address. Neither field establishes caller authority.

InvocationScope

PublishedInvocation

Original published invocation, before building or wrapping its typed action.

Queue

One route’s UI-thread queue. Draining never performs IO, signing or blocking.

Scope

Nestable scope guard. Not transferable to another thread.

Constants

MAX_REPORT_FIELD

The longest text a report field may carry.

Functions

has_invocation

input_is_active

Whether synchronous local input is being observed on this thread.

suspend

Exclude native work or a retained remote continuation from local-user capture. The surrounding route scope is restored on drop.

validate_report_field

Whether field can travel in a report: non-empty, at most MAX_REPORT_FIELD bytes, without control characters.

with_invocation

Temporarily retain an invocation before the framework builds its action. An inner typed apply keeps the outer named invocation instead of replacing it.