深色
风格
视觉表达
S 循环切换
经典
稳定的技术默认风格
信号流
突出动态流向
蓝图
工程评审
编辑风格
适合发布与上线说明
动态
演示
导出
导出图表
便携、整洁的输出
E
分享
分享卡片
1200×630 PNG
路径分享卡片
1200×630 PNG
可达范围分享卡片
1200×630 PNG
复制分享卡片
复制 PNG 到剪贴板
复制图表
复制 PNG 到剪贴板
图像
PNG
无损图像
JPEG
紧凑图像
WebP
现代图像格式
矢量与动效
SVG
可编辑矢量图
WebM
6 秒动效
Plugin V2 三仓全链路:从 C0 广告摘要冻结、PluginCallJournal 栅栏到 6 表回执结算
←
引导视图
探索此系统
沿精选路径逐步查看,而不改变源图表。
节点
下一步
→
▶
播放故事
#
复制此刻
显示全部
Plugin V2 三仓全链路:从 C0 广告摘要冻结、PluginCallJournal 栅栏到 6 表回执结算
由 Archify 生成的时序图。
提交会话投影 listProjections(pluginId, contractDigest, runtimeRevision)
C0 冻结 pluginToolsDigest → assertWorkPluginSource 校验 Schema 与 Action
挂起载体 (effectRef=execute_plugin) → 下发 PluginToolCallRequest
journal.execute:核验 0700 目录 dev+ino,写 phase=admitted
verifyBundle + authorizeResource 通过 → beforeDispatch 写 phase=dispatched
MCP tools/call (_meta.aida=CallContext, token, packageIdentity)
返回 structuredContent + _meta.aida(artifacts, executionState) → 三方核对产物
写 phase=settled(reply);未派发写盘失败抛 UNAVAILABLE,已派发崩溃固化 unknown
submitWithRetry 回传 PluginToolReply + receiptIdentity
settlePluginReceiptInTx:6 表 Join + parseBoundPluginReply + 写 domain_facts
unknown 置 manual_recovery;succeeded 插 tool 消息并置 status=pending
阶段 1:C0 广告摘要冻结、assertWorkPluginSource 契约校验与挂起派发
阶段 2:Desktop Journal 物理防重栅栏、MCP CallContext 注入与三方产物核对
阶段 3:6 表 Join 回执验真、parseBoundPluginReply 与 unknown/succeeded 分流
Plugin Worker · sdk-js / MCP stdio · 时序参与者
Plugin Worker
sdk-js / MCP stdio
PluginCallJournal · 0700 Atomic Store · 时序参与者
PluginCallJournal
0700 Atomic Store
Desktop PluginHost · Lease & Runtime · 时序参与者
Desktop PluginHost
Lease & Runtime
Agent Work Control · Plugin Source & Receipt · 时序参与者
Agent Work Control
Plugin Source & Receipt
PG Work & Domain · 6-Table Join SoT · 时序参与者
PG Work & Domain
6-Table Join SoT
图例
请求
返回
安全
就绪
章节 01 / 01
引导章节
图表指南
探索此系统
×
正在检查已编译语义
01
查找任意节点
搜索标签、职责、类型和稳定 ID。
/
02
追踪路径
查看两个语义节点如何按编写方向连接。
R
03
查看完整系统
打开带实时视口和稳定节点的语义雷达。
M
04
比较语义类型
统计角色、显示流量并比较直接编写的连接。
L
05
播放引导故事
浏览已编写的章节和真实关系。
P
06
进入演示模式
让实时图表占满视口,同时不改变导出。
F
E
导出
T
主题
S
风格
0
重置
+
放大
-
缩小
Esc
关闭
查找节点
×
⌕
/
没有匹配的节点
语义护照
已验证来源
编写可达范围
上游
0
下游
0
×
复制链接
关系
路径探测
选择起点节点
查找起点
复制链接
清除
在图表中选择两个语义节点
←
▶
旅程
→
总览
先选择来源,再选择目标;方向很重要。
语义透镜
比较系统角色
×
最多选择两种语义类型。选择一种可显示其真实流量;选择两种只比较直接编写的关系。
选择一种类型以检查其节点和相连关系。
复制链接
清除
语义雷达
正在构建总览
打开雷达
×
点击节点
拖动平移
语义雷达需要更多地图可见空间。
路径
地图
透镜
阅读
100%
五元身份与 C0 摘要锁死
• pluginId + pluginVersion + toolId + contractDigest + runtimeRevision
• Agent 校验 canonicalJsonSha256(pluginTools) === pluginToolsDigest
• userActionOnly 工具强制核对已结算的 SettledPluginAction 回执
Journal 栅栏与三方产物核对
• PluginCallJournal 强制 0700 无软链目录,admitted→dispatched→settled
• 未派发写盘失败抛 UNAVAILABLE;已派发中断一律归类 outcome=unknown
• assertConditionalArtifactResult 核对声明、返回 refs 与 Lease 提交集
服务端 6 表结算与分流
• parseBoundPluginReply 复核五元身份、outputSchema、maxResultBytes 与观察截图
• outcome=unknown 直接调 parkRuntimeWorkCarrierInTx 进 manual_recovery
• outcome=succeeded 写 domain_facts 与 tool 消息后唤醒载体续跑