Interactive Distributed Architecture Workbench

System Lab Studio — Distributed Saga & Chaos Simulator

Step frame-by-frame through the production order fulfilment state machine across Event Choreography and Central Saga Orchestration. Inject warehouse shortages, courier losses, worker crashes, and bank declines while verifying inventory & monetary conservation invariants in real time.
1. Scenario & Chaos Control Deck
Order ORD-LAB-1042 · $128.00 · 2 units
Architecture Mode
All 4 Saga Invariants Verified
Warehouse FailRejects pick after payment capture
Courier Parcel LostLoses parcel in transit after ship
Worker Crash + RetryThrows on attempt #1, retries via outbox
Payment DeclinedBank refuses transfer before capture
2. Live Animated Service Topology
Frame 9 / 9
Event-Driven ChoreographyCancelledRefunded
+894 ms
OrderInventoryPaymentBank adapterWarehouseCourierNotifier
Order· CompensatingInventory· HealthyPayment· HealthyBank adapter· HealthyWarehouse· HealthyCourier· HealthyNotifier· Healthy
3. Interactive Discrete-Event Timeline Scrubber
Frame #9 · +894 msEVT CompensationsCompleted
Fulfilment: pick_failed
Order cancelledorder published CompensationsCompleted -> order (order status: cancelled).
4. Real-Time Ledger & Invariant Monitor
4/4 Holding
Stock On Hand12 unitsInitial: 12 units
Stock Reserved0 unitsSoft checkout hold
Stock Shipped0 unitsDispatched from warehouse
Customer Charged$128.00Demo Bank settlement
Customer Refunded$128.00Reverse saga compensation
Net Captured$0.00Charged minus refunded
Inventory ConservationVERIFIED
onHand + reserved + shipped === initialStock12 + 0 + 0 = 12 (initial 12)
Monetary Conservation & Zero Double-ChargeVERIFIED
0 <= refunded <= charged <= orderAmountCharged 12800, refunded 12800, net 0 (cap 12800)
Idempotent Crash RecoveryVERIFIED
attempts >= 1 => sideEffects(key) === 1Idempotency keys guard every outbox consumer delivery (single-attempt execution).
Terminal Saga ConvergenceVERIFIED
terminal => reserved === 0 && (failed => netCaptured === 0)Converged to cancelled: reserved stock = 0 and net customer charge = 0 minor units.
5. W3C Distributed Trace Waterfall
trace-id: 7b96ed2ff328…
Showing 11 span(s) emitted through +894 ms with W3C traceparent propagation across service boundaries.
checkout-apiPOST /checkout
+<1 ms · 20 ms
00-7b96ed2ff328e8edeae59589a0c79887-e83b057c38fa14fe-01
orders-outboxOutbox Append OrderPlaced
+20 ms · 12 ms
00-7b96ed2ff328e8edeae59589a0c79887-eb3b0a3537fa136b-01
inventoryinventory:OrderPlaced
+46 ms · 18 ms
00-7b96ed2ff328e8edeae59589a0c79887-ea3b08a236fa11d8-01
demo-bankpayment:StockReserved
+78 ms · 18 ms
00-7b96ed2ff328e8edeae59589a0c79887-e53b00c33dfa1cdd-01
demo-bankWebhook PaymentCaptured
+306 ms · 18 ms
00-7b96ed2ff328e8edeae59589a0c79887-e43aff303cfa1b4a-01
warehousewarehouse:PaymentCaptured
+338 ms · 18 ms
00-7b96ed2ff328e8edeae59589a0c79887-e73b03e93bfa19b7-01
warehousewarehouse:PickStarted
+370 ms · 18 ms
00-7b96ed2ff328e8edeae59589a0c79887-e63b02563afa1824-01
warehousewarehouse:PickTimerFAULT
+808 ms · 18 ms
00-7b96ed2ff328e8edeae59589a0c79887-f13b13a731fa09f9-01
inventoryinventory:PickFailedCOMPENSATE
+840 ms · 18 ms
00-7b96ed2ff328e8edeae59589a0c79887-f03b121430fa0866-01
demo-bankpayment:PickFailedCOMPENSATE
+858 ms · 18 ms
00-7b96ed2ff328e8edeae59589a0c79887-e0e956a47faec04a-01
orders-outboxorder:PickFailedCOMPENSATE
+876 ms · 18 ms
00-7b96ed2ff328e8edeae59589a0c79887-e1e9583780aec1dd-01
6. AI SRE Incident Postmortem & Architecture Verdict
Ready to analyze ORD-LAB-1042 (choreography mode)Click “Generate SRE Postmortem” to synthesize the fault propagation timeline, invariant proof, choreography vs. orchestration hop trade-offs, and production hardening checklist (with optional AI SRE executive commentary when a model provider is active).