Crate xchecker_lock 

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.

Modules

utils

Utility functions for lock management

Structs

DriftPair

Drift pair showing locked vs current value

FileLock

File lock manager for spec directories

LockDrift

Lock drift information

LockInfo

Lock information stored in the lock file

RunContext

Context for current run to compare against lockfile

XCheckerLock

XChecker lockfile for reproducibility tracking (schema v1) Pins model, CLI version, and schema version to detect drift

Enums

LockError

Lock errors for file locking operations