PASS 200000 randomized monitor polls; initialized=25644 completed=17932 halted=7712 cancelled=201; 2 full32768 XYZ/DSP models + 6 rejected-window models + 20 persistent configuration-change models; SPI/time/storage/delivery modeled
