{"id":"fencing-token-counter-is-global","text":"The fencing token counter is global across all locks, not per-lock; tokens issued for different locks are comparable and strictly ordered by acquisition time","truth_value":"IN","source":"entries/2026/05/29/fencing-tokens-test_fencing_tokens.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"fencing-token-counter-is-global","truth_value":"IN","reason":"premise"}]}}