From 8b3a91cf50410f25240041dc6894c0a1b3777262 Mon Sep 17 00:00:00 2001 From: fy59 Date: Fri, 25 Sep 2026 09:15:16 +0200 Subject: [PATCH] docs(sync): clarify transient request readmission --- tools/trainlog_syncd.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/trainlog_syncd.py b/tools/trainlog_syncd.py index 78cac34..c750d49 100755 --- a/tools/trainlog_syncd.py +++ b/tools/trainlog_syncd.py @@ -166,7 +166,8 @@ def select_request(root: Path, seen: list[str]) -> tuple[str, str, list[str]] | WHY: modern Android may publish the same intent on full-generation and legacy channels, while stale legacy files remain durable on MTP. CONTRACT: full-generation wins and an older alternate intent is retired. INVARIANT: - one request_id starts at most one daemon conversation. + one request_id owns at most one active daemon conversation; only an + explicitly transient terminal result permits its later readmission. """ full = request(root / FULL_GENERATION_REQUEST_NAME) legacy = request(root / REQUEST_NAME)