深色
风格
视觉表达
S 循环切换
经典
稳定的技术默认风格
信号流
突出动态流向
蓝图
工程评审
编辑风格
适合发布与上线说明
动态
演示
导出
导出图表
便携、整洁的输出
E
分享
分享卡片
1200×630 PNG
路径分享卡片
1200×630 PNG
可达范围分享卡片
1200×630 PNG
复制分享卡片
复制 PNG 到剪贴板
复制图表
复制 PNG 到剪贴板
图像
PNG
无损图像
JPEG
紧凑图像
WebP
现代图像格式
矢量与动效
SVG
可编辑矢量图
WebM
6 秒动效
一次 run 的内部管线:claim→open→切片→落库→deliver 回路
←
引导视图
探索此系统
沿精选路径逐步查看,而不改变源图表。
节点
下一步
→
▶
播放故事
#
复制此刻
显示全部
一次 run 的内部管线:claim→open→切片→落库→deliver 回路
由 Archify 生成的工作流图。
01 / 宿主调用面 Host API
02 / AgentHarness 外循环 · ExecutionAdapter
EX / CommandGateway + Store
接收与认领
有界切片
落库与出口
每切片一个真实 AdapterSession
Host / Worker · run/resume/deliver 入口 · 宿主调用面 Host API › 接收与认领
Host / Worker
run/resume/deliver 入口
deliver(waitId,input) · →applyDelivery 原子写 · 宿主调用面 Host API › 接收与认领
deliver(waitId,input)
→applyDelivery 原子写
HarnessRunResult · CONTINUE/WAIT/终态 · 宿主调用面 Host API › 落库与出口
HarnessRunResult
CONTINUE/WAIT/终态
claimExecution · 租约+fencingToken · AgentHarness 外循环 · ExecutionAdapter › 接收与认领 · lease
claimExecution
租约+fencingToken
lease
adapter.open · ctx+budget+prevState · AgentHarness 外循环 · ExecutionAdapter › 每切片一个真实 AdapterSession › 有界切片
adapter.open
ctx+budget+prevState
session.run · 每切片一 session · AgentHarness 外循环 · ExecutionAdapter › 每切片一个真实 AdapterSession › 有界切片 · bounded
session.run
每切片一 session
bounded
snapshot() · 导出可序列化状态 · AgentHarness 外循环 · ExecutionAdapter › 每切片一个真实 AdapterSession › 有界切片
snapshot()
导出可序列化状态
结果映射 · CONTINUE/WAIT/终态 · AgentHarness 外循环 · ExecutionAdapter › 落库与出口
结果映射
CONTINUE/WAIT/终态
ensureWait · WaitRecord+Wakeup · CommandGateway + Store › 有界切片
ensureWait
WaitRecord+Wakeup
persistOutcome · outcome+checkpoint+event · CommandGateway + Store › 落库与出口
persistOutcome
outcome+checkpoint+event
answer+wakeup→READY
deliver 唤醒等待
完成/失败
waitId/HostInput/Approval
run(request)/resume(execId)
WAITING 返回
图例
Agent 逻辑
策略
上下文 / 追踪
外部系统
就绪
章节 01 / 01
引导章节
图表指南
探索此系统
×
正在检查已编译语义
01
查找任意节点
搜索标签、职责、类型和稳定 ID。
/
02
追踪路径
查看两个语义节点如何按编写方向连接。
R
03
查看完整系统
打开带实时视口和稳定节点的语义雷达。
M
04
比较语义类型
统计角色、显示流量并比较直接编写的连接。
L
05
播放引导故事
浏览已编写的章节和真实关系。
P
06
进入演示模式
让实时图表占满视口,同时不改变导出。
F
E
导出
T
主题
S
风格
0
重置
+
放大
-
缩小
Esc
关闭
查找节点
×
⌕
/
没有匹配的节点
语义护照
已验证来源
编写可达范围
上游
0
下游
0
×
复制链接
关系
路径探测
选择起点节点
查找起点
复制链接
清除
在图表中选择两个语义节点
←
▶
旅程
→
总览
先选择来源,再选择目标;方向很重要。
语义透镜
比较系统角色
×
最多选择两种语义类型。选择一种可显示其真实流量;选择两种只比较直接编写的关系。
选择一种类型以检查其节点和相连关系。
复制链接
清除
语义雷达
正在构建总览
打开雷达
×
点击节点
拖动平移
语义雷达需要更多地图可见空间。
路径
地图
透镜
阅读
100%
有界切片
• 每次 run 只跑一段受 HarnessRunBudget 约束的切片:open 建真实 session、跑 ReAct/工具、snapshot 导出状态
• claim 生成租约+fencingToken;持久化校验 fencing 拒绝陈旧 worker 的迟到写入
deliver 回路
• 切片返回 waitId 或抛 HostInput/ApprovalRequired → ensureWait 落 WaitRecord+Wakeup,执行转 WAITING
• deliver(waitId,input) 原子写 answer+wakeup 转 READY;下一切片从 prevState+answer 恢复续跑