realseaberry 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 ...] 标记。