moshcode work 的设计哲学借鉴自数学证明领域：人类不审查每个代理的推理过程，而是依赖客观的通过/失败信号（Lean 证明检查器或 verify 命令）。