Expand description
Read-path executor: policy check, hardware access, and audit for scalar reads and bounded snapshots.
Every attempted operation is audited, including rejections, which never touch hardware. A snapshot validates every item before the first read and is an ordered series of reads, not an atomic hardware snapshot.
Structs§
- Clock
Disable Outcome - The outcome of a completed Clock disable.
- Clock
Enable Outcome - The outcome of a completed Clock enable.
- Clock
GetRate Outcome - The outcome of a completed Clock get_rate.
- Clock
IsEnabled Outcome - The outcome of a completed Clock is_enabled query.
- Clock
Query Rate Outcome - The outcome of a completed Clock query_rate.
- Clock
SetRate Outcome - The outcome of a completed Clock set_rate.
- Exec
Limits - Instance-wide execution limits, derived from the target ceiling.
- Executor
- Read-path and sequence executor shared by all sessions. Each call takes the
calling session’s validated
AccessPolicy. - Gpio
Read Outcome - The outcome of a completed GPIO read.
- Gpio
Write Outcome - The outcome of a completed GPIO write.
- I2cTransfer
Outcome - The outcome of a completed I2C transfer.
- Poll
Outcome - The outcome of a completed 32-bit poll.
- Read
Outcome - A completed scalar read.
- Reset
Assert Outcome - The outcome of a completed Reset assert.
- Reset
Deassert Outcome - The outcome of a completed Reset deassert.
- Reset
Status Outcome - The outcome of a completed Reset status query.
- Reset
Toggle Outcome - The outcome of a completed Reset toggle.
- Sequence
Item Result - Result of one sequence item that began execution.
- Sequence
Outcome - Outcome of a sequence whose prevalidation succeeded.
- Serial
Read Outcome - The outcome of a completed Serial read.
- Serial
Write Outcome - The outcome of a completed Serial write.
- Snapshot
Item - One requested snapshot read.
- Snapshot
Item Result - The per-item result of a snapshot read that began execution.
- Snapshot
Outcome - Outcome of a snapshot whose prevalidation succeeded.
- SpiTransmit
Outcome - The outcome of a completed SPI transmit.
- Write
Outcome - The outcome of a completed 32-bit write.
Enums§
- Clock
OpError - Why a Clock operation did not complete.
- Gpio
Read Error - Why a GPIO read did not complete.
- Gpio
Write Error - Why a GPIO write did not complete.
- I2cTransfer
Error - Why an I2C transfer did not complete.
- Poll
Error - Why a 32-bit poll did not complete.
- Read
Error - Why a scalar read did not complete.
- Reset
OpError - Why a Reset operation did not complete.
- Sequence
Error - Why a sequence was rejected before any hardware access.
- Sequence
Item - An operation within a bounded sequence.
- Sequence
Item Outcome - The outcome of one sequence item that completed.
- Serial
OpError - Why a Serial operation did not complete.
- Snapshot
Error - Why a snapshot was rejected before any hardware access.
- SpiTransmit
Error - Why a SPI transmit did not complete.
- Write
Error - Why a 32-bit write did not complete.