Modules§
Macros§
- Audit
Decision Unknown - Pattern that matches an unknown
AuditDecisionmember. - Audit
Status Unknown - Pattern that matches an unknown
AuditStatusmember. - Barrier
Variant Unknown - Pattern that matches an unknown
BarrierVariantmember. - Open
Session Error Unknown - Pattern that matches an unknown
OpenSessionErrormember. - Operation
Error Unknown - Pattern that matches an unknown
OperationErrormember. - Resource
Kind Unknown - Pattern that matches an unknown
ResourceKindmember. - Sequence
Item Outcome Unknown - Pattern that matches an unknown
SequenceItemOutcomemember. - Sequence
Item Unknown - Pattern that matches an unknown
SequenceItemmember. - Takeover
State Unknown - Pattern that matches an unknown
TakeoverStatemember.
Structs§
- Access
Rule - One exact session allowlist rule. Wildcards do not exist.
- Audit
Entry - Audit
Page - Barrier
- Clock
Disable Result - Clock
Enable Result - Clock
GetRate Result - Clock
IsEnabled Result - Clock
Query Rate Result - Clock
SetRate Result - DelayNs
- Expectations
- Expected proxy identity. A mismatch – including an absent required field – is rejected before allowlist validation and before any hardware access. Extensible so phase 2 can add takeover expectations without a major version change.
- Gpio
Endpoint Write Request - Gpio
Read - Gpio
Read Result - Gpio
Write - Gpio
Write Result - I2cEndpoint
Transfer Request - I2cTransfer
- I2cTransfer
Result - Interrupt
Result - Poll32
- Poll
Result - Proxy
Description - Proxy
Open Session Response - Read32
- Read
Result - Reset
Assert Result - Reset
Deassert Result - Reset
Status Result - Reset
Toggle Result - Resource
Description - Logical description of one offered resource. Never contains physical addresses or raw handles.
- RunContext
- Host-supplied provenance recorded with the session. Diagnostic, not authorization.
- Sequence
Item Result - Sequence
Result - Serial
Read Result - Serial
Write Result - Session
Clock Disable Request - Session
Clock Enable Request - Session
Clock GetRate Request - Session
Clock IsEnabled Request - Session
Clock Query Rate Request - Session
Clock SetRate Request - Session
Execute Sequence Request - Session
Gpio Read Request - Session
Gpio Write Request - Session
I2cTransfer Request - Session
Poll32 Request - Session
Read32 Request - Session
Read Audit Request - Session
Reset Assert Request - Session
Reset Deassert Request - Session
Reset Status Request - Session
Reset Toggle Request - Session
Serial Read Request - Session
Serial Write Request - Session
Snapshot Request - Session
SpiTransmit Request - Session
Wait ForInterrupt Request - Session
Write32 Request - Snapshot
Item - Snapshot
Item Result - Snapshot
Result - SpiEndpoint
Transmit Request - SpiTransmit
- SpiTransmit
Result - Write32
- Write
Precondition - Write
Result
Enums§
- Access
Class - Access classes distinguished by policy. A grant for one class never authorizes another.
- Audit
Decision - Audit
Status - Barrier
Variant - Open
Session Error - Operation
Error - Machine-readable reason an operation, allowlist rule, or session open
was refused.
BACKEND_FAULTis an execution failure after policy allowed the operation; the audit ring records the distinction. - Resource
Kind - Sequence
Item - Sequence
Item Outcome - Session
Mode - Takeover
State - Managed-takeover lifecycle state. Phase 1 never activates takeover,
so the only reported state is
NOT_ACTIVE; phase 2 adds the takeover and restoration states without a major version change.
Constants§
- MAX_
ALLOWLIST_ RULES - MAX_
AUDIT_ PAGE_ ENTRIES - MAX_
NAME_ LENGTH - MAX_
OPERATION_ LENGTH - MAX_
RESOURCES - Bounds declared by the protocol; runtime target limits may be smaller.
- MAX_
SEQUENCE_ ITEMS - MAX_
SNAPSHOT_ ITEMS - MAX_
STRING_ LENGTH - MAX_
TRANSFER_ SIZE