First request performs the effect once; a replay of the same key returns the stored result with no new effect
Guided views
Explore this system
Step through curated paths without changing the source diagram.
Beat
Next
ReadyChapter 01 / 01
Guided chapter
Diagram guideExplore this system
Inspecting compiled semantics
E ExportT ThemeS Style0 Reset+ Zoom in- Zoom outEsc Close
Find a node
⌕/
No matching nodes
Semantic passport
Verified source
Authored reach
Route probeChoose a start node
Pick two semantic nodes on the diagram
Choose the source, then the destination. Direction matters.
Semantic lensCompare system roles
Choose up to two semantic kinds. One reveals its real traffic; two compare only direct authored relationships.
Choose a kind to inspect its nodes and touching relationships.
Semantic radar
Building overview
Click nodeDrag to pan
First Request
• The key k is a MISS in the idempotency store
• The effect on the ledger runs exactly once
• The result is saved under k before responding
Replay of Same Key
• A timeout or retry resends the identical key k
• The store returns a HIT and the saved result
• The ledger is never touched again
The Point
• Idempotency guarantees exactly-once EFFECT
• It does not guarantee exactly-once delivery
• Clients may retry freely without duplicate effects
Sequence diagram • Built with Archify • Create yours ↗ • Hover to trace • R route • Click to focus • +/− zoom • M radar • [/] views • P play story • T theme • E export