Audits are stitched together during initialization. Craft can request audits. Test calls are generated and monitored to detect timing irregularities. Operating system monitors scheduling to detect overload or fault. Hardware sanity timers to detect basic processor sanity.
Overload is caused by a shortage of resources.
In overload give preference to terminating traffic. During growth intervals, audits must be gracefully updated to test new resources. Restricted control of the process stack improves reliability. Program design represented by finite state machine. Audits are powerful enough to disconnect stable calls and initialize the system.