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
Semantic radar needs more MAP space.
What a chat response means
• A chat message is request/reply because the server-assigned MessageSeq and acceptance errors must be confirmed. A chat response means acceptance, validation, and MessageSeq confirmation, but it doesn't mean the counterpart read it.
• The Agent greeting becomes MessageSeq 1, and the Customer reply becomes MessageSeq 2, following the same flow in the opposite direction.
Typing and rejection after Closed
• SetTypingMsg is a one-way send with no response. After source-local admission, it doesn't guarantee the target handler or the counterpart received it — the effect is confirmed once TypingChangedNotify arrives at the counterpart.
• A SendChatMessageReq in the Closed state is an Application callback rejection and returns a typed `Rejected` error response, and a SetTypingMsg in the Closed state is silently ignored. This domain rejection is distinct from the Framework `ErrorKind` values used for transport, route, and protocol failures.