range: 7 cases, 0 failures
link: missing definition rejected
cli: 10 cases passed
PASS pc-workbench
buffer: boundary, null, copy, corrupt-length; 0 failures
memory-cli: 8 cases passed
debug record: fields present (values require review)
UBSan: corrected buffer passed
PASS memory-records
hal: 35 checks, 0 failures
alternate HAL: 0 failures
HAL fault: 0 failures
HAL fault: 0 failures
registers: 196608 comparisons, 0 failures
button: 28 checks, 0 failures
controller: 36 checks, 0 failures
controller fault: 8 checks, 0 failures
fixture: 11 rows passed
timer-events: 91 cases, 0 failures
sensor-buses: 79 cases, 0 failures
bus-demo: samples=10 spi=130 temp_mc=-500 adc_mv=3300 stopped=1
retry-budget: 11 cases, 0 failures
state-recovery: 126 cases, 0 failures
120 state=IDLE records=1 temp_mc=1000 valid=1 led=1
220 state=IDLE records=2 temp_mc=1000 valid=1 led=1
250 state=RECOVER records=2 temp_mc=1000 valid=0 led=0
400 state=MEASURE records=2 temp_mc=0 valid=0 led=0
420 state=IDLE records=3 temp_mc=10000 valid=1 led=1
620 state=IDLE records=5 temp_mc=10000 valid=1 led=1
recovery-demo: records=5 spi=65 reconnect=fresh
queue: 135 checks, 0 failures; delivered=10000
pipeline: 55 checks, 0 failures; DROP_NEW=4 STALE=1 CANCEL=17 sent=2
task-model: 5 checks, 0 failures; missed=1 unprotected=1 protected=2
120 state=IDLE records=1 temp_mc=1000 valid=1 led=1
220 state=IDLE records=2 temp_mc=1000 valid=1 led=1
250 state=RECOVER records=2 temp_mc=1000 valid=0 led=0
400 state=MEASURE records=2 temp_mc=0 valid=0 led=0
420 state=IDLE records=3 temp_mc=10000 valid=1 led=1
620 state=IDLE records=5 temp_mc=10000 valid=1 led=1
pipeline-demo: records=5 spi=65 sent=5 reconnect=fresh
resource: 23 checks, 0 failures
release: 9 checks, 0 failures
replay: same seed equal; different seed differs; rollover and invalid inputs pass
virtual24h: samples=864000 errors=0 max_latency_ms=2 dropped=0 queue_high=1
evidence: raw.csv and summary.json match replay; 5 handoff documents present
pipeline: 55 checks, 0 failures; DROP_NEW=4 STALE=1 CANCEL=17 sent=2
sanitizer: replay864000 and pipeline boundaries passed
