A
licenseA
qualityA
maintenanceCoherence guard for shared files: when two agents write the same file, the stale writer is denied instead of silently overwriting, then reacquires and retries. Single-host, TLA+-verified.
Last updated
5
10
Apache 2.0