File locking system for xchecker with advisory semantics and crash recovery
This module provides exclusive file locking per spec ID directory to prevent concurrent execution. The locking is advisory and coordinates xchecker processes but is not a security boundary.