Source: docs/threat-model.md v1.0, Spoof.7 (planned hardening).
propose_manager (event_ops.rs:198) overwrites any existing PendingManager without emitting PendingManagerCancelled. An observer following events sees two ManagerProposed entries and no cancellation for the first, so the timeline is ambiguous.
Source:
docs/threat-model.mdv1.0, Spoof.7 (planned hardening).propose_manager(event_ops.rs:198) overwrites any existingPendingManagerwithout emittingPendingManagerCancelled. An observer following events sees twoManagerProposedentries and no cancellation for the first, so the timeline is ambiguous.PendingManagerCancelled{event_id}before writing the replacement (or refuse while one is pending and requirecancel_pending_managerfirst)