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
三段检查，只做确定性算术
• retry_check：按幂等键查回执，命中就直接用，不重放
• pre_check：累计已退 + 本次 > 实付，拦住
• post_check：重读快照，确认这笔动作真的发生了
• 任何一段读不到权威状态：UNKNOWN，一律不当作成功
为什么裁决不属于门禁
• 门禁只回答「会不会超预算」「有没有生效」
• 「这笔钱确实多退了」必须由 Oracle 在权威状态上算出来
• 门禁不写业务状态，不做语义判断，不调用模型
Agent 看不见门禁
• Agent 包不 import 门禁任何符号，含 TYPE_CHECKING
• 门禁的理由码只留在网关的调用记录里
• Agent 只知道「这次调用没发生」或「结果不确定」
Architecture 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