GuardState
One lane-thread's watchdog state — everything except that lane's ABI kill-id field.
Properties
Link copied to clipboard
Link copied to clipboard
The generation whose budget the watchdog spent, or -1 (never a live generation). Compared for EQUALITY against gen, so a write from a body armed for an older frame carries that older number and reads as "not tripped" all by itself — which is what makes a watchdog racing a concurrent disarm a non-event.
Link copied to clipboard
Lane thread only, like depth — never read off-lane, so plain fields.