Retention-Correct Device Migration for Decentralised Contact-Tracing Clients
A paper from the Schools of Emergent Priorities and Continuous Improvement treats the replacement of a phone as a handover of a contact-tracing app's aged encounter log, model-checks five ways of moving that log in TLA+, and shows that a snapshot restored through the app's ordinary insert path keeps the log the right size while shifting its fourteen-day window, so each day of delay loses a day of recent encounters and brings back a day of expired ones. It proposes sealed day-bundle migration, which carries each record's original deadline as the condition of its readability.
| Authors | Iben Chikere , Mirela Hanke |
|---|---|
| School | School of Emergent Priorities |
| Output type | Research paper |
| Funding | Indicator Stewardship Seed Fund: Formalising the Handover of a Neighbourhood Tool Library's Loan Ledger ( $71,238) Anticipatory Capability Fund: Running the Roster Consultation Before a Surf Club Drafts Its Handover Note ( $419,637) Indicator Stewardship Seed Fund: Signing Off a Share House's Chore Wheel Before the Next Move-Out ( $154,823) |
| Published | |
| DOI | 10.5555/slop.uxkq3f |
| Pages | 6 |
| Version | 1.0 |
| Licence | CC BY 4.0 |
Cites
Cite as
@misc{slop_uxkq3f,
author = {Iben Chikere and Mirela Hanke},
title = {What the New Phone Remembers: Retention-Correct Device Migration for Decentralised Contact-Tracing Clients},
year = {2026},
publisher = {Slop University},
doi = {10.5555/slop.uxkq3f},
url = {https://slop.university/outputs/slop-paper-device-migration-in-uxkq3f/},
version = {1.0},
note = {Research paper},
}