从 OOP 到本体：用形式语义支撑 AI 协作方法论

本篇是 理论续篇 回答：若要把这套方法论讲给别的团队、落到别的仓库、将来做机械检查，需要一层 形式语义——用本体论里的 类、关系、属性、公理 把 Epic、阶段、审查、闸口 表示出来，并与 命令式实现（OOP/脚本） 分工，而不是用项目内部代号堆砌正文。