本机工作台三轮实况：Skill 读、脚本产物与路径泄露门禁

本机工作台三轮实况：Skill 读、脚本产物与路径泄露门禁 由 Archify 生成的时序图。 Round 0 启动 (挂载 readSkillFile/runSkillScript) tool_invoke: readSkillFile → 写待办并挂起 拉取待办并提交 SKILL.md 回执 (outcome=succeeded) resumeOriginalToolRound 复跑完成 → 进 Round 1 tool_invoke: runSkillScript → 第二次挂起 进程树停止 + 校验输出 → 写 executionProof 提交脚本回执 (preparedInputDigest, artifactCount=1) 复跑原工具完成 → 进 Round 2 最终生成 校验结构化值与回复 (safeProjectionText) 命中路径/凭据抛 UNSAFE_PROJECTION reportProjectionRejection 仅记 ruleId 脱敏审计 Round 0：readSkillFile 挂起与 32ms 回执复跑 Round 1：runSkillScript 本机执行与产物证明 Round 2：汇总投影门禁与脱敏审计 WorkbenchExec · spreadsheet_ops · 时序参与者 WorkbenchExec spreadsheet_ops driveReActLoop · Round 0 → 1 → 2 · 时序参与者 driveReActLoop Round 0 → 1 → 2 Work Control · Pending / Receipt · 时序参与者 Work Control Pending / Receipt Desktop Main · deliverWorkSkill · 时序参与者 Desktop Main deliverWorkSkill ArtifactRegistry · executionProof · 时序参与者 ArtifactRegistry executionProof TranscriptGuard · safeProjectionText · 时序参与者 TranscriptGuard safeProjectionText 图例 请求 返回 安全

两阶段本机工具协同

  • • Round 0 先读 readSkillFile 获取最新脚本规范
  • • Round 1 调 runSkillScript 挂起交由 Main 执行
  • • 每次回执均经 resumeOriginalToolRound 零重调续跑

本机产物证明 (executionProof)

  • • processTreeStopped=true 确认子进程树完全退出
  • • outputsValidated=true 确认产物文件落盘合规
  • • 回执仅携带脱敏元数据与 artifactCount，不含绝对路径

Transcript 投影安全门禁

  • • 拦截 credential、raw_exception、fixed/relative_local_path
  • • 抛 LOCAL_WORKBENCH_TRANSCRIPT_UNSAFE_PROJECTION
  • • 审计只记录代码枚举 ruleId，绝不拷贝原始敏感文本