{"id":"fenced-server-rejects-strictly-lower-tokens","text":"`FencedResourceServer.write` rejects writes where `fencing_token < highest` (strict less-than, not less-than-or-equal), meaning same-token retries succeed — enabling idempotent writes with the same lock acquisition","truth_value":"IN","source":"entries/2026/05/29/topic-ddia-ch8-process-pauses.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"fenced-server-rejects-strictly-lower-tokens","truth_value":"IN","reason":"premise"}]}}