{"id":"fencing-rejects-stale-writes","text":"`FencedResourceServer.write()` rejects any write with a fencing token strictly less than the highest token previously seen for that resource; equal tokens are accepted","truth_value":"IN","source":"entries/2026/05/29/fencing-tokens-fencing_tokens.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"highest = self._highest_token.get(resource, 0)\nif fencing_token < highest:\n    return {\"success\": False, \"error\": f\"Token {fencing_token} is stale\"}\nself._highest_token[resource] = fencing_token"},"explanation":{"steps":[{"node":"fencing-rejects-stale-writes","truth_value":"IN","reason":"premise"}]}}