{"id":"fencing-provides-linearizable-writes","text":"Fencing tokens provide linearizable write protection at the resource server: stale tokens are permanently rejected (no expiration) and the monotonic token ordering ensures only the most recent lock holder can successfully write.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"_retracted":true},"explanation":{"steps":[{"node":"fencing-provides-linearizable-writes","truth_value":"OUT","reason":"retracted premise"}]}}