Expand description
Lossless retirement arbitration for signing and verification results.
The external black box retires one result per cycle. Signing has priority; verification completions that coincide with signing are retained in a compact 64-entry queue. The queue stores only tag, decision, and error.
Structs§
- Result
Arbiter - Sign-priority arbiter with a 64-completion verifier backlog.
- Result
Arbiter In - Inputs to
ResultArbiter. - Result
Arbiter Out - Outputs from
ResultArbiter. - Sign
Completion - A completed signing operation.
- Verify
Completion - A completed strict-verification operation.
Functions§
- result_
arbiter_ kernel - State transition for
ResultArbiter.