The Semantic Arrow of Time, Part IV: Why Transactions Fail
Paul Borrill

TL;DR
This paper explores how the failure to incorporate a reflecting phase in systems' causal processes leads to semantic corruption across various domains, emphasizing the importance of the semantic arrow of time.
Contribution
It identifies the FITO category mistake as a fundamental cause of semantic failures in systems that assume forward-only temporal causality.
Findings
Forward-only systems cause semantic corruption in data, communication, and memory.
The FITO category mistake underpins failures across multiple scales and domains.
Addressing the semantic arrow of time can improve system integrity and causality understanding.
Abstract
This is the fourth of five papers comprising The Semantic Arrow of Time. Parts I-III established that computing's hidden arrow of time is semantic rather than thermodynamic, that bilateral transaction protocols create causal order through a mandatory reflecting phase, and that RDMA's completion semantics implement the FITO category mistake at industrial scale. This paper traces the consequences of the FITO category mistake beyond the data center, into systems people use every day. We examine three domains where forward-only temporal assumptions destroy meaning: file synchronization, where cloud platforms silently delete user content because last-writer-wins cannot represent distributed causality; email, where timestamp-based ordering produces phantom messages, causality violations, and stuck synchronization; and memory--both human and artificial--where reconstructive processes that…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed systems and fault tolerance · Personal Information Management and User Behavior · History of Computing Technologies
