用途
Codex Goal Mining 用于恢复结构化的 Codex 目标历史,并将自由形式的运行记录转换为有证据支撑、可重复执行的套件。
适用场景包括:
- 用户询问本地或整个机器集群中运行过哪些 /goal 命令。
- 大型 QA、测试版、发布、本地化、模型、清理或 PR 活动需要复测。
- 用户希望按活跃、暂停、阻塞或长时间运行对目标进行排序。
- 重复的语义运行需要稳定的套件名称和可直接复制的提示词。
- 需要关注目标时间、线程跨度、token、日期、机器或可达性。
主要能力
- 通过 scripts/codex-goal-report.py 收集结构化数据。
- 支持集群报告、仅本地报告、按日期窗口筛选、精确活动窗口筛选。
- 支持有界重复快照,通过 --cursor-file 计算重置安全的增量。
- 支持选择指定机器(重复使用 --machine <fleet-alias>)。
- 支持 --fleet 要求集群覆盖,任何不可达来源都会被渲染并返回非零值,而不是静默报告成功。
- 支持 --one-attempt,对每台主机仅尝试一次已配置或首个解释器。策略条目可声明 python 和 wsl_python。
- 集群配置可从 references/fleet-policy.example.json 开始,不应提交真实的私有清单。
使用方式
集群报告:
scripts/codex-goal-report.py --policy ~/.config/codex-goal-mining/fleet-policy.json --json --output ~/.codex/reports/codex-fleet-goals.json
仅本地:
scripts/codex-goal-report.py --local --json
近期窗口:添加 --since YYYY-MM-DD。
精确活动窗口:添加 --activity-overlap --since <ISO> --until <ISO>。不带该标志时,现有 --since 语义仍基于创建时间。
有界重复快照:添加 --cursor-file <path> 以计算重置安全的增量。默认不创建游标或报告目录。
选择机器:重复 --machine <fleet-alias>。
要求集群覆盖:使用 --fleet;任何不可达来源都会被渲染并返回非零值,而不是静默报告成功。
单次尝试:使用 --one-attempt,对每台主机仅尝试一次已配置或首个解释器。策略条目可声明 python 和 wsl_python。
集群配置从 references/fleet-policy.example.json 开始;切勿提交真实的私有清单。
数据源处理
- 优先使用 goals_1.sqlite 获取目标、状态、token 和 Codex 记录的活跃目标时间。
- 连接 state_5.sqlite 获取线程时间戳和 rollout 路径。
- 仅在较旧安装中回退使用 JSONL。
- 墙钟线程跨度包含空闲和恢复间隔;切勿将其描述为活跃劳动。
- 目标数据库计数器是生命周期快照。只有游标增量才有观察区间,重置是未知而非零。
- 在状态数据库提供的情况下保留根/子身份。JSONL 回退报告未知,而不是猜测。
报告流程
首先报告收集覆盖情况:
- 列出已到达和不可达的机器。
- 给出日期范围、目标数量、状态、总活跃目标时间和目标时间中位数。
- 保留确切的传输阻塞原因,而不是静默缩小集群范围。
语义挖掘模式:
- 精确重复文本是弱证据,因为操作者会改写目标。
- 按预期测试面、矩阵、退出标准和重复操作契约进行聚类。
- 优先处理未完成目标和反复出现的高耗时活动。
- 将产品测试版套件与运营队列(如贡献者 PR 清扫)分开。
生成可重复运行:
- 使用 [suite:<name>] [baseline:<sha-or-date>] [matrix:<targets>] [exit:<criteria>]。
- 包含固定矩阵、证据要求、阻塞规则和完成定义。
- 从 references/goal-suite-patterns.md 开始,然后根据当前证据调整。
保持报告私密:
- 默认使用终端/JSON 交付。仅在请求或需要保留输出时使用 --output。
- 在创建 gist 或对外分享前,清除密钥、私有主机、个人绝对路径和凭据。
- 除非用户明确要求公开可见,否则使用秘密 gist。
- 对于保留输出或可恢复的收集状态,应用 $operations-worktree 中的任务工件契约。复用身份匹配的规范清单,而不是复制大型负载。
输入
- 本地 Codex 存储位于 ~/.codex/ 下。
- 可选的集群策略,通过 --policy 或 CODEX_FLEET_POLICY 提供。
- 可选的日期窗口、机器别名、套件焦点或输出路径。
输出
- Markdown 或 JSON 集群目标报告。
- 按活跃、暂停、阻塞和长时间运行排序的目标。
- 带时间和可达性注意事项的语义活动摘要。
- 稳定的可复制 /goal 套件提示词和重跑优先级顺序。
限制
- 墙钟线程跨度包含空闲和恢复间隔,不能视为活跃工作时间。
- 目标数据库计数器是生命周期快照,只有游标增量才有观察区间,重置状态未知而非零。
- JSONL 回退无法提供根/子身份,报告为未知。
- 精确重复文本是弱证据,需按语义聚类。
- 默认不创建游标或报告目录。
- 不应提交真实的私有集群清单。
- 对外分享前需清除敏感信息。