Expand description
Deterministic fault injection and ownership auditing for accelerator backends.
FaultAccelerator wraps any [Accelerator] with an explicit script keyed by method and
one-based call occurrence. The wrapper records calls, release attempts, and provider ownership
without requiring host synchronization. It is test infrastructure, not part of the normative
accelerator ABI.
Structs§
- Call
Record - One backend method call.
- Fault
Accelerator - Accelerator wrapper driven by a validated deterministic fault script.
- Fault
Buffer - Fault
Context - Fault
Control - Cloneable control and audit handle for a
FaultAccelerator. - Fault
Event - Fault
Program - Fault
Queue - Fault
Script - Validated explicit fault schedule.
- Fault
Snapshot - Point-in-time copy of fault and ownership state.
- Fault
Step - One fault keyed by method and one-based call occurrence.
- Release
Record - One release attempt, including internal rollback after an injected post-create fault.
- Resource
Id - Stable harness-owned identity for one provider resource.
- Resource
Record - One recorded resource and its last known state.
- Resource
Tally - Resource counts for one ownership state.
Enums§
- Fault
Action - Fault behavior applied to one scripted method occurrence.
- Fault
Point - One fallible method in the [
Accelerator] contract. - Fault
Script Error - Invalid deterministic script.
- Ownership
Violation - Ownership-contract violation detected by the harness.
- Release
Outcome - Result of one provider release attempt.
- Resource
Kind - Provider resource category tracked by the harness.
- Resource
State - Last known provider ownership state.