High level requirements
- Translate validated specification traces into executable NVMe command sequences.
- Support deterministic replay with logs and captured environment details.
- Provide a simple interface with safeguards for destructive operations.
- Keep dependencies minimal so the system is easy to archive and run later.
Development process overview
- Define and refine specifications with the sponsor.
- Generate traces for target behaviors and edge cases.
- Execute on devices with logging and result packaging.
- Review results with the sponsor and iterate.