Files
gplan-2/design/engineering
DKChan 032d923c7e 文档(验证与清单体系·阶段1): 三层模型入法——验收意图/覆盖索引/执行证据分层,四法则与写卡段维护时序落三份规约+AGENTS.md 红线
test-conventions 新增 §8.9(三层表+四法则=每格非空/每条断言有归属/数量不守恒覆盖守恒/无全局对账总账,含维护时序与文档纯度);§8.3 能力清单维护锚改写为写卡段维护、实现批禁写。doc-conventions §5 增「禁实现内容」行(代码路径/测试文件名/断言名全文禁写,例外=配置文件索引),§6 骨架验收标准口径同步。process-conventions §3 第 11 条与 AGENTS.md 改动四类红线补 `game/tests/README.md` 禁写面。待办条目 5 实况记 2026-10-29 用户三裁与五批落地计划,状态维持文档设计已闭合。pipeline_gate 绿(42 条目/41 行/7 卡)。
2026-10-29 01:48:40 +08:00
..
文档设计(迭代40反哺点落文): 13条全落+B3以撤销禁令为准换代——①architecture v1.22: A1 reward_economy消费依赖改注入Callable口径/A2 BattleFxHost补luck_bias_for查询口/A3接线款补注入Callable亦属接线面+battle_hooks三键回调束形态/A4补RunLedger退役后战斗域读面款/编排域拆件定稿节与battle_orchestrator行两处「实现批后」自挂钩兑现转现状(合并提交514457d1)/B2 S13豁免登记第三条battle_orchestrator类变量键(键账50→38,永久基线内禁再恶化);②test-conventions: B1 §5新增违约通道类需求点必须落独立负面套件显式条款(先例四件)/B3 §8.4全节改「真实入口断言(验收闭合的主判据)」——禁变异+禁撤销类取证两禁令入文、判据绑可观测提交面、绑不上=停卡呈报禁自造替代证明,§8.3对照表第六列改「判据绑定面」,§7/§8.6/§8.7同口径换代(撤销证明口径全撤);③AGENTS.md红线「验收闭合」换代(两禁令点名+停卡呈报出口);④req-card SKILL(.zcode/.qoder双份,本机件不入库)对照表第六列与口径bullet同步;⑤待办清单: C1 gdstyle条目波1+波7合回出账/C2深拆条目实测重锚(38/1036)+缝拆样本在库/C4挂死防护条目补124挂死实证(实现报告§三同源)/新登记undo_proof.py退役条目(禁令生效后死工具,同族evals残留与pipeline_gate短语级扫描随批裁);⑥roadmap迭代40行估时6.225→6.375(卡②v1.4缝拆增量)。D组四条随卡片退役消解(卡死期=合回即至,读数事实已由审计报告承载);反哺点清单文件留待batch-closure统一退役(实现报告引用面同批改写)。规约冲突消解说明: 挂死防护批当日写入§8.4的「合法手段只有真撤销+undo_proof.py」与用户2026-10-28撤销禁令相抵,本批按用户裁以禁令为准改写,undo_proof.py转退役条目
2026-10-28 05:11:10 +08:00