fix: repair Goal execution and validation failures

[LeXwDeX]

Closes #568
Closes #569
Closes #570
Closes #571
Closes #572
Closes #574
Closes #575

Why

Goal 在用户开始新一轮操作后仍可能提交旧判定，并可能因交互提问或状态命令中断自动执行。生产依赖装配还缺少 Goal 服务，使 /goal status 退化成普通模型请求。此次修复也处理了完整测试中发现的 PTY 环境验证时序失败。

What changed

• 将 Goal 判定提交与普通输入、loop、shell 和控制命令的准入串行化；提交前重新确认消息边界、Goal 版本和自动化租约。
• 将 Goal/Subgoal 控制记录排除在模型工作消息之外，重复状态查询不会挤掉最近的有效回复、替换同一评审或重复消耗预算。
• 自主 Goal 轮次中的 question 立即返回可继续执行的结果；普通用户输入恢复正常提问。为生产 SessionPrompt 显式提供 Goal 服务。
• TUI 重连遇到 500 或网络错误时保留已知 Goal，404 才清除。增加 /goal --max-turns N <目标> 和 /goal resume --max-turns N，保留已用轮数。
• PTY 环境测试在读到输出后才通知 shell 退出，移除固定五秒窗口。延迟六秒连接的复验通过。

Evidence

使用固定 Bun 1.3.14。新增真实 AppRuntime 和 SessionPrompt/GoalLoop 组合回归，覆盖迟到 done/blocked/continue、25 次连续状态查询、子目标编辑、三类并发入口和普通/自动轮次中的 question。

• 工作区类型检查：29/29 通过。
• lint：0 错误，警告低于原有 4850 上限，未修改检查阈值。
• 最终生产装配与 Prompt 回归：88 通过、1 个既有跳过、0 失败。
• TUI 状态同步：6 通过、0 失败。
• opencode 全套：4571 通过、23 个既有跳过、1 个既有 TODO、0 失败；52 snapshots，379 个文件，644.84 秒。
• 其他工作区：1760 测试通过，7/7 Turbo 任务通过。
• DAG 核心：92 + 665 + 3 + 60 项通过，所有逐文件覆盖率门槛通过。
• 最终依赖声明做了等价分组以满足 Effect.pipe 的类型参数上限，随后生产/Prompt 回归和类型检查重新通过。

修复提交 9a651339b1df92e0739a9653e7f08f4c807f7a58 已推送。该 head 的 Typecheck、Linux Unit Tests、Linux/Windows E2E 和 CodeQL 已通过；SpecGit 远端验收暴露本地 worktree 绑定无法匹配 CI 普通 checkout。全部修复已作为祖先纳入 dev 候选 PR #577，将通过正式分支绑定和当前 head 验收完成集成。

Checklist

• 针对性回归通过
• 类型检查、lint 通过
• 用户文档与行为一致
• 全量测试和 DAG 覆盖率通过
• 当前提交的 CI 全部通过

[LeXwDeX]

全部 Goal 修复提交 9a65133 已作为祖先保留于 dev 整合 PR #577（当前 head 6d14e9a），且七个 issue 的 Closes 引用均已转入 #577。关闭此重复入口以解除同一 issue 的双重占用；原分支及提交保留。修复将在 #577 当前 head 验收通过并合入 dev 后统一关闭 issue，再继续 main 晋级及正式发布。