fy59/trainlog
1
0
Fork 0
Code Issues Pull requests Projects Releases 6 Packages Wiki Activity Actions

docs(sync): clarify transient request readmission

Browse source
This commit is contained in:
fy59 2026-09-25 09:15:16 +02:00
parent 42cee73632
commit 8b3a91cf50
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
tools/trainlog_syncd.py
View file

@ -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 WHY: modern Android may publish the same intent on full-generation and
legacy channels, while stale legacy files remain durable on MTP. CONTRACT: legacy channels, while stale legacy files remain durable on MTP. CONTRACT:
full-generation wins and an older alternate intent is retired. INVARIANT: 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) full = request(root / FULL_GENERATION_REQUEST_NAME)
legacy = request(root / REQUEST_NAME) legacy = request(root / REQUEST_NAME)