模块按职责划分为四个文件：models.py 定义不可变 dataclass（GoalRecord、GoalClaim、GoalCriterion、EvidenceInput/EvidenceRecord、AuditRow）及 GoalStatus、RiskTier 枚举；store.py 通过 GoalStore 类用 SQLite 持久化这些实体，使用 BEGIN IMMEDIATE 事务 + threading.RLock 串行写访问，并通过 _require_mutable_goal 实现基于 expected_goal_id 的并发/过期保护；policy.py 集中合规策略，用正则拒绝包含下单/交易意图的目标文本；context.py 将 store 快照格式化为 XML-ish 块（format_goal_context、format_goal_continuation_prompt）供上层 agent 注入到模型提示中，并提供 get_current_goal_context 懒加载 store。依赖方向单向：store → models + policy，context → store + models，__init__.py 仅做白名单式 re-export，对外暴露统一 API。