pub fn reobservation(seat: Option<&Worktree>, branch: &str) -> Option<String>Expand description
Judge the last-moment re-observation of one confirmed worktree:
None clears the removal, Some(reason) keeps it.
Verification
authorized only the state it saw, so the fresh record must still be
the same resource — present, unlocked, its directory standing, and
seating the very branch the merge proof named; a seat that switched
branches keeps, because the proof would otherwise authorize removing
a different resource. The caller passes None for a record the fresh
inventory no longer carries, and keeps on its own when the inventory
itself could not be read — an unobservable state clears nothing.