企业官网建设流程全解析

Partial runtime evidence

【免费下载链接】oh-my-openagentOmO: Just type "mass ulw" keyword with your prompt. Now you are the master of graph engineering.项目地址: https://gitcode.com/gh_mirrors/oh/oh-my-openagent

Question being verified

<具体的断言，例如 "Opus 4.7 默认 effort 是 'high'">

Available signals

• Tier 1: 调试日志 /tmp/trace.log 第 47-49 行显示effort: "high"✓
• Tier 3: 对 m5T() 函数的静态提取在 smart 模式下返回 "high" ✓
• Tier 6: 通过阅读 prompt-builder.js 核实了代码路径 ✓

Independence assessment

Tier 1 和 Tier 3 是独立的——该日志由不同于 m5T() 的代码路径发出， 如果静态阅读有误，两者会产生分歧。

Conclusion

VERIFIED 基于 Tier 1 + Tier 3 一致。无需升级。

### 无法达标时的明示要求 如果你既做不到一次完整的 Tier 2 捕获、也凑不出上表中两条独立的非 Tier 6 信号，**必须在交付物中写下显式说明**： > ⚠️ 部分证据结论。完整出站载荷因 [原因] 无法捕获。结论建立在： > - [信号 A —— 层级与来源] > - [信号 B —— 层级与来源] > 未来的验证应在 [条件] 满足时尝试 [缺失的层级]。 这条规则与 [02-investigate.md](https://link.gitcode.com/i/c606cd65b501441f00a49dabda810755) 的证据纪律一脉相承：**只记录逐字原值，不转述**——"messages.length=0" 是证据，"messages 看起来是空的"只是对观测的记忆，而记忆是调试会话的坟墓。 --- ## Verification Oracle 模式（用于非调试任务） 技能主流程的 Oracle Triple（[04-oracle-triple.md](https://link.gitcode.com/i/852f8b472c1c38bc88d26bc2ba3fb9e0)）服务于**卡死的调试**——连续 2 轮失败、思维困在盒子里、需要三个正交框架来打破。 而对于交付物是**工件而非 Bug 修复**的任务（逆向工程、提取、审计、合规文档），要使用另一种模式：**单个 Oracle、时机靠后、态度怀疑、交付物在手**。 ### 何时调用 - 就在宣布提取/审计任务"完成"之前 - 交付物每次重大修订之后（不是每次小编辑后） - 在升级给用户之前最多迭代 3-4 次 ### 模式模板

task(subagent_type="oracle", load_skills=[], run_in_background=false, prompt=""" SKEPTICAL FINAL VERIFICATION — 请保持批判，寻找任务不完整或出错的理由。

Original task

<逐字粘贴用户请求>

What I produced

<工件列表，带路径和简要描述>

Specific claims to verify

<交付物中每一个具体断言的列表>

Where to look

<Oracle 应 Read / Bash 核实的路径>

Your job

1. 阅读交付物。
2. 对照交付物引用的来源/证据，逐条抽查每个断言。
3. 找出任何无依据的断言、缺失部分或事实错误。
4. 以 PASS / FAIL / PARTIAL 结尾，并列出具体缺口。 保持怀疑。不要盖章放行。 """)

### 与 Oracle Triple 的区别 | | Oracle Triple（调试） | Verification Oracle（工件） | |---|---|---| | 触发时机 | 2 轮假设失败后 | 即将宣布"完成"时 | | 数量 | 3 个并行、正交框架 | 1 个串行、聚焦审查 | | 目标 | 打破思维盒子 | 抓住无依据的断言 | | 提示词语气 | 头脑风暴式发散 | 怀疑式审计 | | 迭代方式 | 之后重置假设集 | 修复缺口、重新调用直到 PASS | ### 不要混淆两者 卡在调试中，就做 Triple；手握交付物需要审计，就做 Verification Oracle。对一个已经完成的提取任务跑 Triple，会得到三条分叉的"你为什么不试试……"的题外话，那不是你需要的；对卡住的调试会话跑 Verification Oracle，只会得到一句你已经知道的礼貌版"证据不完整"。 仓库佐证：[04-oracle-triple.md](https://link.gitcode.com/i/852f8b472c1c38bc88d26bc2ba3fb9e0) 开头就醒目标注"⚠️ 非调试任务用错了工具"并链接回本文档的 Verification Oracle 模式；[SKILL.md](https://link.gitcode.com/i/2634dbafe6b06f0b29dffed1cdd79235) 的跨方法参考表中也单独列出了这一节，强调"Verification Oracle 不是 Oracle Triple——去读文件"。另外注意 [02-investigate.md](https://link.gitcode.com/i/c606cd65b501441f00a49dabda810755) 中 debug-squad 团队规范明确规定 **Oracle 是团队成员的硬拒绝类型**——Oracle 只在 Phase 4 单独使用。 --- ## 常见部分证据反模式 | 反模式 | 为什么失败 | 替代方案 | |---|---|---| | "代码里看起来对，所以它能工作" | 只有 Tier 6，未验证 | 至少加一条 Tier 1-3 信号 | | "我跑过一次，没报错，所以正确" | 没有错误 ≠ 正确 | 捕获实际输出并核验内容 | | "Mock 返回了我写的值，所以代码没问题" | 同义反复——Mock 把你的假设循环回来了 | 改用 Tier 2（代理），或用 Tier 3 交叉核验 | | "厂商仪表盘显示我的调用成功了" | 仪表盘往往只显示状态码，不显示行为 | 有可用时与 Tier 1 组合 | | "我信最新的 Stack Overflow 答案" | 代码来自不同版本/语境 | 对照你手上真实的二进制验证 | 这些反模式与 [06-fix.md](https://link.gitcode.com/i/e51e2e92c10026da61d03a273e224818) 的根因确认原则互相印证：**只有"切换疑似原因能切换 Bug"才叫根因确认**，类型检查或编译通过永远不能代替运行真实用户场景。 --- ## 部分证据工作的清理补充 调试技能的第二条纪律是"不留痕迹"（Leave no trace），完整清理走 [09-cleanup.md](https://link.gitcode.com/i/8dbed8431376fafd22cd574cc4dcb345) 的 Phase 9。部分证据工作会产生代理、日志、shim 库和 shell 环境变量等特有工件，本文档给出专属清理命令： ```bash # 代理工件 pkill -f mitmproxy 2>/dev/null rm -f ~/.mitmproxy/cache_* 2>/dev/null # 调试日志文件 rm -f /tmp/trace.log /tmp/*-debug-trace.log # DYLD_INSERT / LD_PRELOAD shim 库 rm -f /tmp/*.dylib /tmp/*.so # 确保 shell 中设置的 env 变量不被持久化 unset HTTPS_PROXY APP_DEBUG APP_LOG_LEVEL APP_LOG_FILE 2>/dev/null

【免费下载链接】oh-my-openagentOmO: Just type "mass ulw" keyword with your prompt. Now you are the master of graph engineering.项目地址: https://gitcode.com/gh_mirrors/oh/oh-my-openagent