mirror of
https://github.com/torlando-tech/pyxis.git
synced 2026-09-25 06:04:51 +00:00
[SENDT] marks: queue_wait (mailbox wait), identity_recall, router_lock, save_message (isolated), admission_done, ui_commit_done. Instrumentation only; to be removed before merge. Loosens one contract pin to the save call expression (invariant preserved: save runs in persistOutgoingMessage, not service_pending_sends).