Struct FlashDeviceModel 

pub struct FlashDeviceModel;

Tier A — a die-state DEVICE that SIMULATES the plan and reports each read’s actual completion cycle. It does not trust the plan’s promise: it replays each command against a per-die busy timeline and STALLS a command whose die is not yet free (a read issued into a mid-erase die waits out the erase). So on a legal plan the simulated beats equal planned_read_beats EXACTLY (zero jitter, cross-checked against the promise), and on an illegal plan they DIVERGE — the device is an independent collision detector, not an echo.

Implementations

impl FlashDeviceModel

pub fn execute(t: &FlashTimings, plan: &[TimedCmd]) -> Vec<u64>