深色
风格
视觉表达
S
循环切换
经典
稳定的技术默认风格
信号流
突出动态流向
蓝图
工程评审
编辑风格
适合发布与上线说明
动态
演示
导出
导出图表
便携、整洁的输出
E
分享
路径分享卡片
1200×630 PNG
可达范围分享卡片
1200×630 PNG
复制图表
复制 PNG 到剪贴板
图像
PNG
无损图像
JPEG
紧凑图像
WebP
现代图像格式
矢量与动效
SVG · 自动
匹配宿主主题
SVG · 浅色
始终浅色
SVG · 深色
始终深色
WebM
6 秒动效
Monova 双芯片眼镜原 MT007 兼容链路:故障恢复
Monova 双芯片眼镜原 MT007 兼容链路:故障恢复
由 Archify 生成的时序图。
FRAME(session=7, seq=12)
首次执行副作用
真实结果
ACK 丢失
超时后允许重传同一序号
重传 FRAME(session=7, seq=12)
返回缓存回执,不重复执行
链路断开 / HAL death
关闭 MT007 可用状态并清空队列
按旧协议表现断连/不可用
重连 Mailbox/UART
重新确认能力端口可用
OPEN(session=8)
ACK(session=8, seq=0)
重新开放 MT007 端点
原 App 正常重连
重复包与超时
5100/链路故障
重新建立新会话
原 MT007 App · 保持旧行为 · 时序参与者
原 MT007 App
保持旧行为
2700 MT007 Endpoint · 对外状态 · 时序参与者
2700 MT007 Endpoint
对外状态
2700 Gateway · 会话租约 · 时序参与者
2700 Gateway
会话租约
Mailbox/UART · 内部链路 · 时序参与者
Mailbox/UART
内部链路
5100 Bridge · 停等/去重 · 时序参与者
5100 Bridge
停等/去重
能力端口 · 双芯片已有能力 · 时序参与者
能力端口
双芯片已有能力
图例
主路径请求
返回
安全
异步追踪
普通消息
图表指南
探索此系统
×
正在检查已编译语义
01
查找任意节点
搜索标签、职责、类型和稳定 ID。
/
02
追踪路径
查看两个语义节点如何按编写方向连接。
R
03
查看完整系统
打开带实时视口和稳定节点的语义雷达。
M
04
比较语义类型
统计角色、显示流量并比较直接编写的连接。
L
05
进入演示模式
让实时图表占满视口,同时不改变导出。
F
E
导出
T
主题
S
风格
0
重置
+
放大
-
缩小
Esc
关闭
查找节点
×
⌕
/
没有匹配的节点
语义护照
已验证来源
编写可达范围
上游
0
下游
0
×
复制链接
关系
路径
点击路径的起点
查找起点
复制链接
清除
在图上点两个节点
←
▶
旅程
→
总览
先点起点,再点终点,沿箭头方向找路。
语义透镜
比较系统角色
×
最多选择两种语义类型。选择一种可显示其真实流量;选择两种只比较直接编写的关系。
选择一种类型以检查其节点和相连关系。
复制链接
清除
语义雷达
正在构建总览
打开雷达
×
点击节点
拖动平移
语义雷达需要更多地图可见空间。
要点与索引
路径
地图
透镜
阅读
100%