Diagram — Sequence — Void

The void flow demonstrates idempotency via the voided_by_id FK and the compensating-entry pattern from ADR-0016. A duplicate /del call returns the existing compensation without inserting another row.

---

Diagram

---

Related artifacts

• SRS section: SRS — Telegram Finance Bot §FR-PFIN-06 — Void transaction, §⚙️ Technical Behavior (idempotency layers)
• ADRs: ADR-0016 (void via compensating entries), ADR-0019 (cross-port idempotency)