Module snapshot_read 

Pure exact-result and caller snapshot-read checks; no IO, control or dispatch.

Structs

SnapshotReadView

Read-only matching evidence; not a dispatch, spending or snapshot-completion permit.

Enums

SnapshotReadError

Typed denial; no error alters consumption or admits any paid effect.

SnapshotReadPath

Read permission established by qualified current input; never mutation control.

Functions

validate

Match exact current request/context/target/call bound and snapshot visibility permission.