 iomgaa
|
6af289d283
|
feat(stores): 落成逐行追加的日志存储，契约套件第一次真的在跑
design 0011（待确认）定了六条：一次运行一个文件且文件名就是运行标识（不转义不哈希，按标识
去目录里找文件是最自然的用法；标识必须是安全文件名，否则 ../ 会把文件写到目录外面）；一行
一条记录加一个 record 类型标签（serialization 编出来的载荷没有元信息键，标签是存储这层加的，
record 从此是保留键）；第一条解不开的行就是日志结尾、它后面还有内容就是损坏；fsync 只在
运行开始、两条意图、运行结束四处（其余两处靠前缀持久性兜）；写入走 to_thread；运行开始记录
用 O_EXCL 兜住跨进程撞车。
契约套件里那条 test_step_without_an_action_is_still_recorded 转成真断言——它标着 xfail 的
理由是「StepCompleted.result_id 在 0006 里是必填字符串」，而 0006 决策七早就把它改成可为空
并加了不变量。xfail 8→7，跳过 24→14。
原子写「一起不可见」那一半按契约套件的点名在这一层补上了：给实现留一个可注入的故障点
（一个可替换的「把这些字节写进去」），测试把它换成写一半就抛异常，断言那条记录整条不可见。
前缀持久性仍然验不了（掉电才看得出来），继续登记为已知缺口。
调研三条实据写进了 0011：两个下游 fsync 全仓零处（一个的 SQLite 还开着 synchronous=NORMAL），
所以这条比它们都严、代价是每步两次 fsync；一个下游的轨迹检查器同样是「碰到第一条坏行就放弃
整个文件」；另一个下游踩过「文件名少一维导致两个阶段静默互相覆盖」，O_EXCL 把那类静默覆盖
变成显式失败。这几条我自己逐条核过——那份调研的 subagent 承认它编过一句「我抽查过了」。
migrations/dissect.md 登记两条：运行标识要带齐现在文件名里那五维，以及这份意图日志和它那份
逐步轨迹是两样东西不要混。
|
2026-08-10 03:38:31 -04:00 |
|
|
iomgaa
|
f8e02290f4
|
docs(design): 落成 0006 与 0007，公共 API 的名字、签名与接缝行为
0006 定「叫什么、什么形状」：五个接缝的 Protocol 名与签名、公共类型的英文名与
字段清单、类型分到 types / ports / tools 三个模块的判据。
0007 定「同一个签名下什么算对」：三个动作状态的触发条件、动作被拒绝时观察由库
合成而不取执行器那段、解释器不许抛异常、read_log 读不存在的运行返回空日志。
两份拆开是因为后者的权威处按 §0 是 tests/contract/，design doc 只记当初为什么这么定。
这两份改动了 0003 四处，全部在文首登记：记录集合是六种东西不是五类；
参数视图是方法不是字段；预算是四项不是两个计数；ports 装「Protocol 与它们的
入参/返回结构体」那半句写不出来——照它写 types 会反向依赖 ports。
四处全是「把字段类型逐个写出来」这个动作本身逼出来的，纯读文档看不见。
四轮评审：两轮硕士生冷读报了约 45 条，两轮 Codex 对抗审查报了 13 条，
逐条核实后基本全部成立并修完。最后一轮是唯一一次契约测试与文档互相抓到对方的错——
文档改了方法名测试没跟，测试把 dissect 的动作语言写死成输入会误杀 GovDoc 的实现。
结论回写 architecture.md：第七节补类型归属判据，第八节改 ports 那一行，
第九节补五个 Protocol 的英文名，第十四节把「英文名还没定」那条缺口换成指向；
决策索引加两行。字段表刻意不回写——按 §0 那是代码的权威。
CLAUDE.md 与 README.md 开头的「一次 Agent Session」是术语漂移，改成「一次运行」。
CLAUDE.md §7 加两条工作方式：能压成一段结论的活尽量交给 subagent、
委托出去的活交证据不交判断；以及持续往下做，只在人类门和真判断不了的岔路停。
§8 那句「讲完停下来等回应」与后者打架，收窄到只管说话方式。
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
|
2026-08-09 23:56:38 -04:00 |
|
|
iomgaa
|
a14bf8d288
|
test(contract): 落成五个接缝的契约骨架，用它逼出七个设计洞
第 ④ 阶段的核心交付物。这套测试不针对任何具体实现，写的是「不管你怎么实现
都必须满足这些行为」，下游写完自己的实现接到 fixture 上跑一遍即可，
是任何新适配器的准入标准（CLAUDE.md §0）。
现在全部跳过，因为公共类型与 Protocol 还没落地。价值不在跑，在写：
写一条契约要求把每次调用逐字写出来——方法叫什么、参数填什么、返回值怎么取，
而散文里读着通顺的地方，落到这一步就露出来了。
三轮文档评审没报出的七个洞，写这套测试时全部撞了出来：
没有动作的步 result_id 填什么；三个 ActionStatus 取值的触发条件；
动作被拒绝时观察的来源（执行器与 SyntheticObservations 两处都有）；
解释器能不能抛异常；Event 没有字段所以事件出口的契约只写得出一半；
read_log 读不存在的运行必须返回空日志而不是抛异常；
以及原子性与前缀持久性这两条 0005 的承诺根本没有机器兜底——
写这套测试之前我们默认它们会被契约测试接住。
洞标成 xfail(strict=True) 而不是常驻 fail：一个永远红的套件会训练所有人忽略红。
它们都不带 fixture，否则会被「实现还没有」那个跳过挡住，
于是「答不上来」就伪装成了「还没轮到」。补上之后 XPASS 会报错，逼人回来删标记。
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
|
2026-08-09 23:37:13 -04:00 |
|
|
iomgaa
|
a2e94318b9
|
chore(repo): 建仓，落成协作规范与文档骨架
协作方式以 CHSAnalyzer 为蓝本，按「库」这个身份改写：
- CLAUDE.md §0 的权威表换成公共 API 契约、公共类型、下游迁移三条主线，
数据库 schema / HTTP 契约 / alembic 迁移在本项目不存在，整体删去。
- §1 新增四条库特有的硬约束：字段只增不删不改名、持久化 schema 走显式版本、
不反向 import 下游、发布必须走完整流程（PolyGateway 有两个版本只 bump
没上传，registry 长期停在旧版且无人发现）。
- §3 的四类 Codex 对抗审查按同一判据重定：公共签名、停止判定与预算结算、
取消传播与 Session 隔离、schema 演进。共同点是错了不会当场炸。
- research-wiki 在常青层加第四类 migrations/，因为本项目的核心验收标准就是
能否搬回 dissect、能否替代 GovDoc-SaaS 的 docagent-core/，塞进 guides/
会让它看起来像可选工序。
reference/ 不入库：五个仓库各带一个 .git、合计约 96MB，提交进来会变成一堆
不可用的嵌套仓库。它也不是任何事实的权威，agent-core.md 同理。
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
|
2026-08-07 07:02:09 -04:00 |
|