Gargoyle, a decade later

A nearly decade-later look at Gargoyle as temporal memory-state research: what the original Win32 proof taught, what the refresh fixed, and why better evidence matters.