fix: harden Android recording recovery#1131
Conversation
|
Size Report
Startup median (7 runs, lower is better):
Top changed chunks:
|
bed0802 to
bc2bd44
Compare
5550d35 to
a526c8d
Compare
|
Review finding: the durable-manifest path still has an ownership hole when liveness is uncertain. In |
Review — hardening Android recording recovery (#1131)Reviewed the incremental delta on top of #1129 (commits 2–7): a durable device-side JSON manifest ( Findings1. [High] Recovery trusts device-supplied host paths → arbitrary host-file delete + overwrite 2. [Med] Rotation persists the manifest too late → crash mid-rotation loses ownership + earlier chunks 3. [Med] A live recording's durable manifest is deleted on any imperfect read 4. [Med] 5. [Low-Med] 6. [Cleanup] Duplicated recovery-decision pipeline and path grammar Notes (checked, not blocking)
|
35cf740 to
7041744
Compare
|
CI regression after latest head |
|
Fallow log is available now. Exact blocker:
Focused repro: Likely fix: split the rotation decision/cleanup/metadata update pieces into named helpers rather than adding more branching inside |
Summary
Harden Android recording recovery after daemon restart with a durable device-side manifest.
Preserve session ownership and manifest-known chunks, refuse wrong-session/ambiguous recovery, clean stale manifests, and bound Android recovery probes.
Update recording help/docs to clarify Android chunk guarantees after daemon restart.
Fixes #1130.
Stacked on #1129 because PR #1129 is still open.
Validation