{"id":"fencing-token-monotonic","text":"`LockService._counter` starts at 1, increments by 1 on every successful `acquire()`, and is never decremented or reset, guaranteeing strict monotonicity of issued tokens","truth_value":"IN","source":"entries/2026/05/29/fencing-tokens-fencing_tokens.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"token = FencingToken(self._counter, lock_name, client_id, current_time, ttl)\nself._counter += 1"},"explanation":{"steps":[{"node":"fencing-token-monotonic","truth_value":"IN","reason":"premise"}]}}