案例

Pocket Tasks：重建任务状态与持久保存行为

此教学案例明确披露作者先前接触过源码，将一次 REA 辅助的小型命令行应用调查推进为另行编写的 Node 实现。它保留所观察到的任务编辑、持久保存及选择行为，再将限定范围的输出与固定期望值及捕获的参考会话比较。

使用条件与局限

Pocket Tasks 1.0.0 是作者自编的本地命令行应用，不是商业应用或原生二进制评测基准。另行编写的 Node.js 20+ 候选实现支持九条命令与 schema-1 JSON 存储，包括已保存／草稿分离、显式保存、取消、重启及原有按行位置选择的特殊行为。它只需 Node 标准库与一次性本地数据文件；没有图形界面或网络后端。
历史调查结合了 REA 对 JavaScript 源码的分析、普通源码阅读和记录下来的进程／文件观察。经脱敏的 REA 摘录标识了相同目标字节，但保留语义覆盖未知及 230 项语义未知。这不是规范 Evidence 包或独立证明，解析覆盖也不等于行为等价。后续 Node 验证器不重跑该次 REA 会话。
实现前，作者已看过目标源码、评审场景、测试及先前答案。候选只导入 Node 的文件系统／路径模块；公开测试定义会单独复制候选文件，再检查保存行为。运行时不依赖参考实现，不代表独立发现、盲测、净室来源或智能体／模型性能结果。
保存的报告记录了 12 个场景中的 16/16 次检查器进程会话，以及七个场景中捕获观察的 10/10 次回放。两组存在重叠，不能合计为 26 次独立观察。检查器使用固定、人工编写的期望值；响应与保存的 JSON 按语义比较，需保护的畸形数据文件与外来临时文件则检查字节保留。报告仍标注 humanReview=pending、reaTrial=unverified 和 independentEvaluation=false；这些是作者报告的结果，本合集未重新运行。
报告中的目标／候选／观察／验证器／检查器／证据包工具六项哈希及预期场景摘要，与所审阅源码一致。但证据包中 TASK.md 的哈希对应较早的指令版本：后续修改只调整了审阅／授权措辞，未改变行为约定。应将该证据包记录视为历史证据，而非对当前包中每个文件的新验证。失败历史还保留了受限 Windows 环境下五项通过、四项失败的首次尝试，以及在允许执行的本地环境中、候选代码未变时九项通过的后续尝试。
约定限制每次调用最多 64 条命令、65,536 个 UTF-8 字节，最多保存 32 个任务，标题最多 80 个 UTF-16 码元。覆盖仅限列明的行为和测试；并发写入、崩溃持久性、恶意文件系统竞态、界面行为、隐藏后端和生产性能均不在一致性主张内。MIT 覆盖作者自编示例；上游 REA 及其他链接材料另行处理。本次未执行目标、候选、检查器、安装器、模型或上游测试。

关于此条目

类型: 案例
类别: REA 社区调查案例
关联: 作者报告的混合工具流程
目标: 应用

来源复核于 2026-10-17

说明已依据一手来源复核；这不代表已运行验证、经过安全审计或确认兼容。