{"id":"wallet-deadlock-free-concurrent-transfers","text":"Wallet achieves deadlock-free concurrent transfers through sorted lock acquisition (prevents cycles), two-tier locking (isolates balance vs transaction-list contention), and frozen checks inside the lock (eliminates TOCTOU between freeze and movement).","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["wallet-lock-ordering-prevents-deadlock","wallet-frozen-check-inside-lock","wallet-two-tier-locking"],"outlist":[],"label":"Three complementary locking disciplines compose into a deadlock-free, race-free concurrency model"}],"dependents":["wallet-transfers-are-safe-under-concurrency"],"metadata":{"last_reviewed":"2026-06-06T06:26:57","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"wallet-deadlock-free-concurrent-transfers","truth_value":"IN","reason":"SL justification valid","antecedents":["wallet-lock-ordering-prevents-deadlock","wallet-frozen-check-inside-lock","wallet-two-tier-locking"],"label":"Three complementary locking disciplines compose into a deadlock-free, race-free concurrency model"},{"node":"wallet-lock-ordering-prevents-deadlock","truth_value":"IN","reason":"premise"},{"node":"wallet-frozen-check-inside-lock","truth_value":"IN","reason":"premise"},{"node":"wallet-two-tier-locking","truth_value":"IN","reason":"premise"}]}}