AutoMCM-Pro：opencode 绑定

这是 AutoMCM-Pro 协议在 opencode（sst/opencode， MIT 授权）上的运行时绑定（Binding），不是另一套独立协议。 行为规范权威来源仍是 仓库根目录的 AutoMCM_SOP.md（工具无关，原样复用）；可选探索层见 LOS_ALAMOS_DESIGN.md。Claude Code 绑定是 .claude/skills/auto-mcm/SKILL.md， DeepSeek Harness 绑定是 .dsh/skills/auto-mcm/SKILL.md，Codex 绑定是 .agents/skills/auto-mcm/SKILL.md——几份文件描述同一套流程，只是把"怎么调用 工具"换成各自 runtime 的实际工具名。完整背景见 OPENCODE_INTEGRATION.md。

---

【工具映射表】—— opencode 的工具名和 Claude Code 几乎一一对应

Claude Code	opencode 工具
Agent(description, prompt)	task
AskUserQuestion	question
Bash	bash
Read	read
Write	write
Edit	edit
Glob	glob
Grep	grep
WebSearch	websearch
WebFetch	webfetch
TodoWrite	todowrite
（载入其他 skill）	skill

以上 12 个工具 id 全部用真实任务实测过（不是文档推断），详见 OPENCODE_INTEGRATION.md §3。

【触发时的依赖安装询问】

每个新的 OpenCode 会话首次触发本 Skill 时，先用 question 分别询问是否安装核心 Python 建模依赖，以及是否准备可选的 LeanGate / Lean 4。不预扫描、不静默安装； 用户同意后才调用 bash install.sh --with-python-deps 和/或 --with-lean，拒绝后 同一会话不重复询问。opencode run 无法等待回答时，显示问题并暂停，不得自行选择。

⚠ 关键限制：question 在 opencode run（单次任务/headless）模式下默认权限 是 deny——模型会尝试提问，但工具调用被权限系统挡下，退化成打印文字、没人能 回答。【唤醒协议】Step 2a、MANUAL 模式的逐阶段确认、Checkpoint LA 的强制人类 终审，这几个环节都依赖 question 真正等到回复，必须用交互式的 opencode （TUI）或 opencode web 跑，不能用 opencode run。 工作区初始化完成后，如果 某一段流程确定不会触发任何需要人类介入的分支，才可以考虑用 opencode run 做 单次调用。

task（子代理委派）实测发现：委派子代理访问项目工作区之外的绝对路径会触发 工作区边界限制、卡在 running 状态问不到答案；委派子代理操作工作目录内的相对 路径则正常。Los Alamos 路径 C 用 task 派发 Division/红队/评审子代理时， prompt 里给的路径应该是当前工作区内的相对路径，不要用跨目录的绝对路径。

【运行方式】（opencode 特有）

opencode          # 交互式 TUI
opencode run "task"   # 单次任务模式

Skill 发现路径是 .opencode/skills/<name>/SKILL.md（opencode 自己的仓库 sst/opencode 就用这个路径放它自己的内部 skill，.opencode/skills/auto-mcm/ 是同一套约定）。opencode 额外还有 .opencode/agent/*.md（子代理人格定义， frontmatter 支持 mode/tools 白名单/黑名单）和 .opencode/command/*.md （slash command，支持 !`shell命令` 内联执行）两种配置文件类型，本次绑定 用不到，仅供后续想做更深度定制时参考。

---

【流水线执行】

阶段定义、状态机、Checkpoint 编号（①~⑤）、质量门控（quality_gate.py）、 Los Alamos 探索层（路径 C）、图表风格规范（plot_style.py）、Andon 紧急停止 （pipeline_manager.py andon-pull/andon-clear/andon-status）、Go/No-Go 发射前检查 （quality_gate.py launch-check，final_compile 前强制）、Skunk Works 轻量模式 （pipeline_manager.py init --skunk-works）、Track2 的 RAND Delphi 多轮收敛 （adjudicate.py delphi-summary）、Kaizen 质量打磨循环 （pipeline_manager.py kaizen-assess/kaizen-round-start/kaizen-status）、工作日志 （worklog.py append/tail，单文件简体中文完整记录，唤醒协议 Step 0）、文献引用 真实性核验+共享池（cite_check.py register/verify/list/export-bibitems）、写作 风格打磨（style_check.py scan，latex_draft 固有规范非可选 addon）、官方格式 合规（quality_gate.py anon-check、ai_usage_doc.py generate/cite-format/ mcm-entry、compile_pdf.py 编译后页数提醒，AutoMCM_SOP.md §17）、画图前先查 领域惯例（AutoMCM_SOP.md §18）全部内容 与 Claude Code 版本一致，见 .claude/skills/auto-mcm/SKILL.md 对应小节（标题相同）， 按上方【工具映射表】逐一替换调用方式即可——由于工具名高度对应，这份绑定的 替换规则比 dsh/Codex 都更直接：几乎是把 Agent( 换成 task(、 AskUserQuestion 换成 question，其余照搬。

scripts/*.py 系列命令（pipeline_manager.py/quality_gate.py/ los_alamos/*.py/plot_style.py）完全不变，全部通过 bash 调用。

---

【安全规程】

AutoMCM_SOP.md 的 S1~S5 原样适用。

---

【LeanGate：可选 Lean 形式化验证】

LeanGate 默认关闭；共享规范见 AutoMCM_SOP.md §19。OpenCode 用 bash 调用同一实现：

python scripts/leangate.py doctor
python scripts/leangate.py --workspace CUMCM_Workspace init --policy selected
python scripts/leangate.py --workspace CUMCM_Workspace status --problem-n 1
python scripts/leangate.py --workspace CUMCM_Workspace verify --problem-n 1
python scripts/quality_gate.py formal --problem-n 1

LeanGate 启用后，离开 problem_analysis 前必须逐问题登记适用性并执行 leangate.py seal-assessment；安全边界、整数可行性、守恒、不变量、递推、收敛、 求解器证书或决策关键结论必须用 --risk-category 标注，自动成为 mandatory。

不得直接编辑权威状态或用 reviewer 意见升级 FORMALLY_PROVED。输入变化后必须重新审查、 冻结和验证；Lean FAIL、UNKNOWN、STALE 或 Python FAIL 都是 NO-GO。 LeanGate 启用后的 model_N_verify 推进必须传入工作区内真实验证脚本： pipeline_manager.py advance model_N_verify --verify-script CUMCM_Workspace/src/verifications/verify_*.py。 required claim 还必须使用人类文件中的 [APPROVED LeanGate ...] 与 [REQUIRED LeanGate ...] 标记。