 DKChan
|
9f94c9e100
|
工程(合回闸关联档＋闸机编排快速失败): 收口跑批按改动关联面选测＋红树快速失败——①tools/run_all_gates.sh 关联档选闸（推广 2026-10-28 影响面选闸）：00 冒烟/01 系统测试/09 静态扫描三件保险恒跑不降（测量面批不再免 00）；03/04 探针与 05 渲染闸维持影响面口径；02 单元与集成改「选套件跑」——套件集＝需求卡片申报∪diff 推导并集（申报=本批 diff 触及卡片∪roadmap 进行中行登记卡片的对照表「验收测试」列测试文件名；推导=脚本内套件族映射表按 game/ 代码面文件归族，映射不到一律横切），横切（公共件前缀 config_db*/rng_service*/save_manager*/meta_progression*/main*、project.godot autoload 注册面、game/data/tables、PARITY 触面表）→ 02 回落全部套件；PARITY 触面表上移单点定义（gate 11 与横切判定共用同一清单）；回执加 scope（full｜related）与 scope_terms 字段，worktree-guard 校验逻辑不动——②game/tests/run_all.gd 快速失败：连续 3 个套件超时（可调常量 CONSECUTIVE_TIMEOUT_ABORT 初值 3）即中止整轮、汇总已见失败与超时清单、退出码非 0，不连续超时照旧逐个回收；_run_suite 改返 {fail, timed_out}；新增 --only-source=gates 来源标记（关联档选跑横幅，区别于开发期选跑免责句），无选跑参数时行为与现状完全一致——③规则同批同步（禁只改闸不改规则）：AGENTS.md「交付前验收」句与硬性红线改按关联档选测口径（所选域绿即可合回，全量回归由用户自发、合入后无自动兜底，2026-10-29 用户裁）＋规范导航行同步；process-conventions §3 第 8 条合回闸细则同口径；test-conventions §4 改「提交前验证」、code-conventions §3 主题行随改；game/tests/README.md 工具速查 run_all.gd 行（快速失败＋闸机关联档选跑＋manifest 实数 65）与挂死防护注、门禁/本地闸回执字段句同步——④待办清单「合回闸关联档」「闸机编排快速失败」两条目完成整条删除。孤立验证：推导沙箱七场景（行为面归族/触面横切/测量面批/main* 横切/project.godot 横切/申报并集/横切优先）＋run_all 闸源选跑 9/65 绿＋2s 截止连续超时第 3 个中止（exit 1 带汇总）
|
2026-10-29 04:36:26 +08:00 |
|
|
DKChan
|
6abaf67dd5
|
合并分支 caplist-20261029（能力清单改版——验证账本改实现指导地图）入 master：能力清单四列制义务声明定位（写卡当场入表＋实现照单落名＋收尾核对，废滞后一个迭代）＋test-conventions §8.3/§8.9 改写＋capability_audit 双通道判据＋pipeline_gate 新增行收紧；收口回执 game/tests/.gates/receipt.json（域=docs 全绿，tree=分支尖内容树）
|
2026-10-29 04:06:03 +08:00 |
|
|
DKChan
|
b96aab8a5a
|
合并 master（6690c2a7 文档纯度批）入 caplist-20261029——capability_audit.py 冲突解法＝保留 master 反引号调用形态判红（CALL_FORM_RE）与本批四列双通道判据；docstring A 条两侧合写
|
2026-10-29 04:05:25 +08:00 |
|
|
DKChan
|
21d40a5388
|
收尾(能力清单改版批): 待办清单「能力清单改版——验证账本改实现指导地图」条完成即整条删除＋改动报告落 reports/（改动面、判据变更前后对照、真实入口双通道延伸申报、闸机验证与回执证据）——报告接收方=该条目，随批入库
|
2026-10-29 04:04:08 +08:00 |
|
|
DKChan
|
2a087c9ead
|
工程(能力清单改版——验证账本改实现指导地图): 能力清单定位改实现指导＋阅读导航＋义务声明，只宣布「要验证什么」不记验证状态（落地账归改动—验收对照表＋合回前独立审计）——game/tests/README.md 八张能力表瘦身四列（能力｜系统｜真实入口｜代表用例，删「最后验证批次」「缺口」两列，存量行内容保留不回溯验证）、引区块改版（义务清单定位＋写卡当场入表＋实现照单落名＋收尾核对，废「滞后一个迭代」），覆盖域表保留现状不动；test-conventions §8.3 维护锚整段改写、§8.9 三层模型中层「覆盖索引」改「义务清单」并同步法则与机器闸句；tools/capability_audit.py 判据随改（CAP_COLS 收窄四列含系统列非空、删「最后验证批次＝真实 commit」检查、代表用例与真实入口改双通道＝代码在或卡在 reports/需求卡片*.md——两头都无＝红、条件闸行豁免保留代表用例口径）；tools/pipeline_gate.py 对照表能力行收紧（「新增：<能力名>」同样要求该能力行已在清单在场——写卡与入表同 commit）。新判据经造红探针孤立验证（两头无=红/卡在=绿/代码在=绿；新增不在表=红）
|
2026-10-29 04:02:20 +08:00 |
|
|
DKChan
|
6690c2a75b
|
文档(实现指证清理): GDD 全树纯代码指证换代中文设计表述＋纯度闸新增反引号调用形态判红——六类清算（方法/信号/类/常量/探针/调试与遥测入口名/提交号与运行时文件路径），保留面＝数据索引（.tres 表路径与表名、表字段、表内枚值、存档键、封闭词表标签）并在 doc-conventions §5 明文写死；能力审计闸加 CALL_FORM_RE 窄规则兜底；顺修 §5 表两行误合并
|
2026-10-29 03:58:14 +08:00 |
|
|
DKChan
|
fafb4fee0a
|
工程(gdstyle基线死键清账): 基线按实测重锚168→16键——152死键随迭代39–41还债消失清账,3条活键只降不升重锚(battle_orchestrator文件长1037→1035、board_cell_unit类变量31→30、standee_body类变量29→19),16键与迭代41键账终局构成逐键吻合,S13闸转绿(126文件16命中基线内零新增零恶化);待办清单条目完成即删
|
2026-10-29 03:43:19 +08:00 |
|
|
DKChan
|
4a7565592e
|
订正(表结构版本): 数据配置删「当前 = 2」版本行与配套验收/依赖表述——用户裁甲案，存档版本为唯一现役版本常量
- 数据配置.md：删调参表「表结构版本」行、验收标准「版本常量在位」条，依赖表与不负责表去掉「版本常量」表述（19 张表与 schema 均无版本字段，原表述三处失实）
- 存档序列化.md：迁移链「版本号推进仅为表结构版本对齐」改「仅随表结构变化」，消掉已退役概念
- architecture.md：save_system 契约锚与 RNG 快照节两处 SCHEMA_VERSION 改现役 SAVE_FORMAT_VERSION
- 待办清单：迭代 41 测试债条追加死常量 SCHEMA_VERSION（全仓零引用）随该批删除的登记
|
2026-10-29 03:31:36 +08:00 |
|
|
DKChan
|
0c33c3df12
|
登记(会话三裁决): 待办清单新增三条——①合回闸关联档: 收口跑批按「卡片申报∪diff推导」选关联测试族,三件保险恒跑,横切面回落全量,回执加scope,合入后全量兜底待裁;②闸机编排快速失败: 连续N套件超时中止整轮,红树不再磨2h;③能力清单改版: 验证账本改实现指导地图,四列制删批次/缺口列,废滞后一个迭代,写卡时本批能力行入表且测试名卡里定死,实现照单落名;三条均待用户发令,清单改版试点=下次写卡
|
2026-10-29 02:58:56 +08:00 |
|
|
DKChan
|
3dbbbf43bc
|
登记(验证与清单体系·阶段1收口): 五批落地凭据入实况——03 能力审计接闸上电（915222fa）、05 GDD 清理 124 处实现指证归零；迭代41测试债条目标明带红合并裁（代码域红由该条承接，本批零新增）
|
2026-10-29 02:55:52 +08:00 |
|
|
DKChan
|
af853b62d5
|
登记(迭代41测试债修复·待执行): 9 个单元套件失败＋静态扫描 S9/S10/S11 三项红——能力审计上电批全量复跑首次暴露，来源=迭代 41 测试特许移交；实况带逐套件证据与红项清单，改动面=游戏代码，只修测试与注解不改行为
|
2026-10-29 02:55:07 +08:00 |
|
|
DKChan
|
915222fa0a
|
工程(能力审计闸上电): tools/capability_audit.py 接入文档域 08e——GDD 纯度＋能力清单与覆盖域表结构由机检兜底；baseline 加 08e 绿记录、07/08d 条目随批 5 文档清理实测归绿；test-conventions §8.9 与 doc-conventions §5 补闸件指路句（闸件清单唯一出处=run_all_gates.sh 头部）
|
2026-10-29 02:55:06 +08:00 |
|
|
DKChan
|
a10bf92656
|
收尾(迭代41批后收尾): 反哺点落文对账闭合（A1–A6=提交 3213722f；B7/B8/B9 随并行文档纯度批 00312e12 入库——B7 引用块整删承载、B8/B9 三行随批；C10 核对结论=两豁免段在位/模块归属表零行变化零落文动作）——产出物退役：iter41 实现报告/反哺点清单与两卡需求卡片按吸收即死删除（卡片死期=实现批合回、报告遗留义务先迁：四项实机目检入体验验证清单 ㊵、golden 改前锚未建让步入 golden README 备案、152 死键 refresh 换入待办清单新条目）——账面换代：待办清单 gdstyle 存量债条目整条删除（键账终局 16 在册构成随新条目留档）＋roadmap 迭代 41 行已完成/卡片与报告列退役保留字＋收口注脚（测试特许移交＋直接合回）＋当前位换代（迭代位 1–41 全完成、下一步=待编池＋refresh 可裁事项）
|
2026-10-29 02:16:50 +08:00 |
|
|
DKChan
|
3213722fed
|
docs(迭代41反哺落文): architecture v1.23——全清定稿注记转现状登记（ConfigDB 三域容器 7/7/5 与公开面 8、SlotStore 10/4 经 save.slots 直连、MetaStateStore 写口13+读投影6 经 save.meta_state 直连、meta_progression 公开面 20 定稿三并组）＋minesweeper_rules 消费依赖补 last_round_end 方法形态注记；B7/B8/B9 三条已随并行文档纯度批 00312e12 入库（B7 引用块整删承载、B8/B9 调参表落点改段路径三行随批入库）
|
2026-10-29 02:13:17 +08:00 |
|
|
DKChan
|
00312e12f4
|
清理(GDD 实现内容·批5): 30 篇 GDD 去 124 处代码指证——能力审计纯度红项归零
- `.gd`／`.py`／`.sh` 路径（含 data/schemas 脚本路径）、测试与探针名、代码行号、提交号全部清出 design/gdd/；唯一保留＝game/data/tables/*.tres 表索引（用户裁：GDD 禁实现内容，仅配置索引例外）
- 锻造工坊：删「现役代码事实」「实装边界」两节——实装已随迭代 23 收官、设计事实正文已有（默认值所有权／敌方攻击轴未开／存档域／满级不实装），无独有事实需迁 architecture；正文去指证并清交叉引用
- UX 三份 spec 的「> 事实源＝代码路径」体例统一改指设计件；battle／level-map／interaction-patterns 三张组件表的「现有 demo 组件／现有实现锚／状态」列改「载体」，只留状态与设计载体名
- 术语表与 08-Alpha 的事实源列去闸件路径，改指 process-conventions 运行与验证节；08 v1.19→v1.20 与 02 根索引指针随动
- 事实订正三处：存档调参表版本 6→7、数据模型样本 version 6→7（v7 锻造域已落地）；冒险结构调参表冒险表字段名按现行表结构对齐（value_segment／quota_segment）；删除「存档版本＝表结构版本常量同源」这一错误断言（实为两个独立常量）
- 架构文档的未提交改动（迭代 41 反哺落文）非本批产物，未纳入本提交
|
2026-10-29 02:07:56 +08:00 |
|
|
DKChan
|
f32634446e
|
工程(流水线闸): 验收对照表加「能力行」列——2026-10-29 起生效，既有名回核 game/tests/README.md 能力表
check_ledger 增第七列：每行写 既有：<能力名> 或 新增：<能力名>（分号可多段）。既有名须在能力表首列可查，新增放行（新能力行由写卡段落表，test-conventions §8.9 滞后一迭代）。日期门控对齐 BINDING_RULE_DATE 同构：文件名日期早于 2026-10-29 的旧卡不回头改。自测四况通过（既有命中/新增放行/既有不存在红/格式错红/缺列红/旧卡免检）。req-card 与 iter 两技能本地件同批同步（不进 git）：对照表改七格、写卡段增删能力行并刷最后验证批次、实现批禁写 README。
|
2026-10-29 01:55:59 +08:00 |
|
|
DKChan
|
ae3c99e34e
|
工程(能力审计工具): capability_audit.py 入库——七组机检覆盖三层模型的机检半边，本批不接闸
检查组：A 文档纯度（design/gdd 全树禁 .gd/.py/.sh 路径与断言名，围栏块跳过，.tres 表索引放行）／B 系统文档验收标准非空（豁免两件具名附理由）／C 能力行六列结构与格非空／D 代表用例三核（文件存在、在 run_all.gd manifest、func 函数名可达）／E 真实入口方法在产品码有定义（static func 兼容）／F 最后验证批次为真实 commit／G 覆盖域表 25 篇逐篇登记、状态三档、非未覆盖行能力行可回指能力表、部分/未覆盖行缺口指待办清单。自检四道防扫描面空转（文档数/能力行数/套件数/覆盖表行数任一为零 exit 2）。当前实测：能力行 59 全过、覆盖域表 25 行全过，仅余纯度红 124 处（GDD 存量实现细节，归清理批）。接闸与基线登记待清理批之后单独批执行。
|
2026-10-29 01:54:45 +08:00 |
|
|
DKChan
|
5377b2ce2e
|
文档(能力清单v2): 三段扩面＋覆盖域表——排雷循环9行/表现与支撑10行/数据配置与契约10行入清单，25 篇系统文档逐篇对照；修两处真实入口笔误与 manifest 计数 64→65
能力清单从核心四域扩到七段（58 能力行＋条件闸 1 行），维护规则改写为写卡段维护、实现批禁写（test-conventions §8.9）；新增覆盖域表按 25 篇系统文档逐篇对照（已覆盖／部分覆盖／未覆盖），八处缺口指待办清单（新登记「能力清单覆盖缺口补齐」条承接六项，教学与生涯归各自在册条目）。修两处与产品码失配的真实入口（SaveManagerCore.add_keystone/tree_nodes → MetaStateStore/MetaProgression 实有方法）；manifest 计数行按实数订正 64→65（62 单元＋3 集成），对应待办条目完成即删。pipeline_gate 绿。
|
2026-10-29 01:54:33 +08:00 |
|
|
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 |
|
|
DKChan
|
eb9bb53752
|
合并(迭代41 gdstyle存量债清偿两卡): 卡①核心数据面结构收敛批(85键全清——校验族13文件/生成器族2文件/效果引擎四域拆域+config_db归位三域容器+存档拆件SlotStore/MetaStateStore+meta_progression瘦身20+adventure_table拆段3段件+action_economy删并+spawn签名束化,行为零变化,8新件键账在阈)+卡②呈现层结构收敛批(67清+2豁免在册+2展平改善——视图拆私有族+六状态件+ui_kit公开面26→20+flow context三束+print×3删除;含u14补做与并master并案)——用户2026-10-29裁直接合回
|
2026-10-29 01:37:25 +08:00 |
|
|
DKChan
|
2789adf606
|
iter41-卡2：呈现层结构收敛批：67清＋2豁免＋2展平改善——拆私有族＋六状态件＋ui_kit收敛＋束收拢＋print删；含u14补做、并master并案与批末运行期断链修复
|
2026-10-29 01:33:51 +08:00 |
|
|
DKChan
|
a613a3cb90
|
iter41-卡1：核心数据面结构收敛批：85键全清——三族拆域＋config_db归位容器＋存档拆件＋meta瘦身＋adventure拆段＋spawn束化；行为零变化，8新件在阈
|
2026-10-29 01:33:50 +08:00 |
|
|
DKChan
|
bda377eb16
|
收尾(art-bible 成文整备批): 待办清单「圣经口号型条款机检化批」备选条目整条删除——主体(全文三档验收标注补齐:机检37/目检64/方向性8+§5–§9续补,闸机验证覆盖)已随本批(合并提交 7cff1278)完成;剩余「口号型逐步改写为带值」按用户 2026-10-28 裁不再另立条目,随战斗一屏样张批定值时自然迭代
|
2026-10-29 00:12:05 +08:00 |
|
|
DKChan
|
774e221f8b
|
docs(验证与清单体系整改·阶段2收口): 验证集清单退役——C 档精简合回 87d241c1（6 组手写断言族并为 7 个表驱动站点，33→7、1587→1561）后删除冻结册（基准留 git 历史）；README 能力清单冻结注改写为退役口径、RNG 行最后验证批次刷新 fd6cf968；test-conventions §8.3 维护锚定稿为「能力清单唯一承担覆盖索引」；待办清单销「存量断言精简」条目（两波合计 1604→1561），新登记「恒真与名实不符断言五条——判据缺陷修正」（feat_vouchers:51／treasure_effects:263／level_shop_economy:593、696／system_contracts:66-67）与「断言提取器改版——覆盖 Kit.check_quiet 静默通道」（407 站点口径外），「验证与清单体系整改」条目补阶段 2 闭合；流水线闸 PASS（43 条／41 行／交叉核 1 链／卡片 7 张）
|
2026-10-29 00:03:23 +08:00 |
|
|
DKChan
|
87d241c15a
|
合并(存量断言精简·C档批): 6 组手写断言族改表驱动循环——33 静态站点并为 7、清单 1587→1561、验证项目覆盖逐条不变；全码域闸回执 fd6cf968（all_green，09 存量红零新增）
|
2026-10-28 23:57:28 +08:00 |
|
|
DKChan
|
fd6cf968dc
|
工程(存量断言精简·C档批): 六组手写断言族改表驱动循环——33 静态站点并为 7，清单 1587→1561，运行期条数不变
- C1 level_gen_params 逐类负向 11→1（消息带期望/实际与违例明细）；C2 rng_stream_boot 黄金向量 8→1；C3 player_copy 禁词族 3→1、2→1；C4 standee_fx 蓄力判据 4→1；C5 ui_font 字形集 3→1（缺字明细进消息）；C6 forge_workbench 持有行 2→1（两行取谓词并集，轻甲行补两子句，只增不减）
- 个案标签字面量全部保留在表内，失败定位不降级；冻结清单不动（对账基准 1587），extract_checks --diff＝消失 33／新增 7，逐条对应删并申报表
- 用户裁决 2026-10-28：六组全批
|
2026-10-28 23:51:01 +08:00 |
|
|
DKChan
|
7cff127813
|
合并(art-bible 成文整备批): 全文成文重写——行内日期/版本/裁决注记 195 处清零(工作日志体,结论内联或归 git 提交史)+三档验收标注补齐(机检/目检/方向性)+黑话与工作包代号清除+超长段拆分+定值复述改指路(§4.1/§8.2 单点)+营地双写消解+中文标点全角归一;内容冲突归一:§4.1 对比硬指标退役候选值对齐现行(0.08–0.14/L≥0.75)、§8.2 删 48×72 过期立绘行、样张 v2 散路径删留「原件已丢失」;美术族同批整备(character-design 注记与标点/两清单死指针与悬空路径/过期口径/remote-gen-prompts 豁免句/art-prompts 版本史行)+术语表 v1.24 登记样张等九个美术词+退役词清零(清日期后由留档转现行的插旗/敌人卡/不得)+防复发闸件:gdd_lint 收编 design/art(体裁规则豁免子集)与 doc_link_audit 扫描域扩展;§4.1/§4.2 定值对账与基线一致(退役色随沿革删,现行锚值零漂移);4 提交+f60442e8/f68fa7d3/3bad690a,文档域闸全绿
|
2026-10-28 23:48:43 +08:00 |
|
|
DKChan
|
75eb16b510
|
Merge branch 'master' into art-bible-prose-20261028
|
2026-10-28 23:48:19 +08:00 |
|
|
DKChan
|
3bad690ac1
|
文档(art-bible 成文整备·扫尾): 残留流程词「口径」四处改白话(用色规则/机制规则/落码取值/格边长取值)+§8.1 节标题同步
|
2026-10-28 23:47:24 +08:00 |
|
|
DKChan
|
f68fa7d307
|
文档(art-bible 成文整备·§5–§9 与闸件收口): §5–§9 行内日期/版本/批名注记全清(结论内联、证据归 git 提交史)+三档验收标注补齐+§6.5 记忆态长条拆分+§6.2/§7.5 营地双写消解(§7.5 改指路)+定值单点纪律白名单改口径+§8.2 删主角战斗状态图 48×72 过期行(站桩立绘唯一 owner=源档表)+中文标点全角归一(代码/数值语境保护)+样张 v2 散路径删留「原件已丢失」;退役词清零(插旗→封印/背包旗、敌人卡→敌种呈现形态、不得→禁止——清日期后由留档类转疑似现行暴露);版本 v3.21;gdd_lint 收编 design/art(R3/R4/R6 执法,R1/R5/R7/R8/R9/R11 体裁豁免)+doc_link_audit 扫描域加 design/art
|
2026-10-28 23:46:17 +08:00 |
|
|
DKChan
|
6df43525ea
|
docs(验证与清单体系整改·阶段1): 能力清单 v1 落 game/tests/README——四域29行＋跨域条件闸1行共30行，验证集清单整册冻结、覆盖索引职能转移
- 能力清单 v1：六列（能力｜系统｜真实入口｜代表用例｜最后验证批次｜缺口），代表用例口径＝文件:函数，维护＝每批收口核对本批受影响行
- test-conventions §8.3 维护锚改写：验证集清单冻结（基点 b9260138／1587 条）→阶段 2 对账基准→精简后删除；覆盖索引改由能力清单承担
- 验证集清单头注冻结声明：停止同步、停止回填
- 待办条目「验证与清单体系整改」状态推进为文档设计已闭合，（缺口属性删除）
|
2026-10-28 23:35:44 +08:00 |
|
|
DKChan
|
cd1e56e766
|
登记(存量断言精简·第一波收口): 待办清单实况补第一波执行凭据与余账四条（盘点方法／判据线收紧／19 站点已合回 65054b1d／清单 1604→1587 对账 PASS／闸回执 20c13c3a／余账＝类别②实测 0 承载·C 档循环合并·D 档待认四处·恒真五条另账·静默通道 407 站点在冻结口径外）；报告订正复验缺口一条——合回后按 §3.9 冒烟启动三闸全过 15 项 0 失败，smoke_boot 两站点执行证据补齐。状态段依直改序列保持「待执行」（无部分完成态用词），余账未闭合不删条目
|
2026-10-28 22:53:29 +08:00 |
|
|
DKChan
|
65054b1d3a
|
合并(存量断言精简·A+B档首批): 19 静态断言站点删并——验证项目覆盖逐条不变、清单 1604→1587
判据线＝同一读数面＋同一输入＋谓词字面等价或字面是承接者真子集；机器初筛＋七路只读子代理
语义裁决＋主会话逐条抽验，由约 150 点候选核减至 19 点（17 在册＋smoke_boot 2 点口径外）。
两条改判（seal_polarity:442 三腿缺腿明细折入标签、roll_multiplier:132 seed 读数折入）判据本体
不变；15 条保留行「处置」列逐条回填去向指认。件核＝--diff 对账 PASS＋被删标签全仓零悬挂＋
条数下降留痕；未用变异法与撤销类取证。全量域闸回执 20c13c3a（domain=full，all_green，09 静态
扫描存量红零新增）；00 冒烟被影响面选闸 SKIP，故 smoke_boot 两站点复验由合回后冒烟启动承担。
承接待办清单「存量断言精简」条目第一波（C/D 档与恒真 4 条另账在册）。
|
2026-10-28 22:51:55 +08:00 |
|
|
DKChan
|
20c13c3a93
|
工程(存量断言精简·A+B档批): 闸况回填——全量域闸验收通过（4fbacc43，all_green，09 静态扫描存量红零新增指纹 8467b4588a20）；备案一条复验缺口＝第 18/19 两站点改在冒烟宿主自身而 00 冒烟被影响面选闸 SKIP，仅有静态蕴含论证无跑批证据；闸日志首跑误写仓库根触熵增闸越界、挪外重跑后代码面零改动
|
2026-10-28 20:18:41 +08:00 |
|
|
DKChan
|
4fbacc437b
|
工程(存量断言精简·A+B档首批): 19 静态断言站点删并——验证项目覆盖逐条不变
判据线＝同一读数面＋同一输入＋谓词字面等价或字面是承接者真子集；不同查询函数间的
算术蕴含与不同夹具实例的独立前置一律不删。机器初筛（同文件标签近似 223 对／cond 全同
42 组）＋七路只读子代理逐域语义裁决，主会话逐条抽验复核后由约 150 点核减至 19 点。
删并 17 在册站点（system_test #65／theme_projection #1519 #1520／config_db_cross_validator
#649／config_db_resolver #654／node_map_generator #1057／round_flow #201／board_gen_reward
#614／type_glow #1579 #1585 #1586／player_copy_sweep #1393 #1398／roll_multiplier #168／
seal_polarity #324 #325 #326）＋smoke_boot 两站点（该件不在清单源列＝口径外）。
两条改判＝seal_polarity:442 标签并入三腿缺腿明细、roll_multiplier:132 标签并入 seed 读数，
判据本体不变。随行删除只服务已删断言的 focus 扫描循环与无消费者局部量 aoe_f。
验证集清单重生成（基点 b9260138，1604→1587）＋15 条保留行「处置」列逐条回填去向指认；
--diff 对账 PASS（标签／cond／计数三对齐）；被删标签全仓 grep 零悬挂引用；未用变异法与
撤销类取证。删并申报表与后续账（类别② 实测承载 0 条／护栏 8 处不可删／quiet 通道 407 站点
在冻结口径外／恒真 4 条另账）落 reports/工程改动报告-存量断言精简AB档-2026-10-28.md。
|
2026-10-28 20:04:35 +08:00 |
|
|
DKChan
|
f60442e897
|
文档(art-bible 成文整备·头注与§1–§4): 行内日期/版本注记全清(结论内联、证据归 git 提交号)＋黑话与工作包代号清除(退役批/术语批/封印紫黑批/P1-2 批/T1 裁决/状态记录/勘误注记等)＋超长段拆分(高墙瓦片体系 844 字拆 6 条/样张 v2 v3 记录块解散并现行态段/数字墨双色制拆 4 条/微光色带拆 3 条)＋定值复述改指路(§1.4 与 §4.3 的 L 带重复值指路 §4.1)＋三档验收标注补齐(机检 37/目检 64/方向性 8)＋中文标点转全角；§4.1 对比硬指标段退役候选值对齐现行(已开格底 L 0.08–0.14/亮墨 L≥0.75,候选 0.20–0.32/L≥0.55 删)；样张冻结项并入 §4.1/§8.2 owner 表、v2 散路径删留「产物原件已丢失」；资产契约改五要素现行句(尺寸候选样张验收时冻结/占位现状/工单去向)；顺闸机修复两处退役词(不得→禁止/插旗→封印——原被日期注记遮蔽,清日期后暴露)；§4.1/§4.2 定值零改动(25 色值集合与基线一致,唯一差额=封印色史中已退场的旗朱/封印紫两值随沿革叙述删除)；§5 起至文末零改动
|
2026-10-28 08:47:39 +08:00 |
|
|
DKChan
|
b92601387e
|
docs(08 Alpha状态刷新): 节点图行刷新收口——「关卡节点图生成」行补记超预算图随动缺口（生成图 L3 深度域 0–13 超出关卡地图屏画布屏预算约 10 层——等比缩放／滚动视口两升级路径未设计待裁，待办清单「超预算图策略升级路径」条在册 2026-10-24 登记）；「关卡节点地图」「关卡节点图重构」两行既有事实核验无漂移零改动（信息迷雾可见性迭代 34 卡④／迭代 35 卡①② 合回／㉝ 目检登记不阻塞均仍成立）；02 系统清单 08 版本指针 v1.17→v1.19 随动（v1.17→v1.18 上批漏更本批补）；条目零增删，v1.18→v1.19
|
2026-10-28 08:35:15 +08:00 |
|
|
DKChan
|
1eca23b3ca
|
登记(工程改动·待执行): 存量断言精简——验证内容不变下的断言收敛——目标=减少断言数量更精简,配合 §8.2 接口测试导向(对外方法/功能行为),前提=验证项目覆盖逐条不变;口径=验证项目≠check 调用点,可删并两类(同行为重复钉合并/被入口承载的内部细节钉逐条申报承接者);删除=显式判据改判,逐条申报+去向列指认+禁变异法;工程改动 worktree 批,盘点先行→逐批裁决→分波执行→件核;前置=判据达标专项批(已销号)提供的公开面干净基线
|
2026-10-28 08:13:25 +08:00 |
|
|
DKChan
|
8d600d9a54
|
工程(单元闸挂死守护批·收尾): 待办清单「闸与探针批上下文挂死防护」条目整条删除(直改序列完成即删——probe_gate 件 2026-10-28 已落,run_all.gd 件本批 4afe6c47 合回,全量域闸回执 2955c049 存量红零新增);工程改动报告落 reports/(含改动—验收对照表四行+API 实证四件+闸况);同批登记新条目 tests/README manifest 计数行漂移订正(64 对实际 65,先于本批存在,归文档批)
|
2026-10-28 08:02:35 +08:00 |
|
|
DKChan
|
4afe6c47be
|
合并(单元闸挂死守护批): run_all.gd 每套件阻塞面超时守护——OS.execute 换 create_process+轮询+截止(默认120s,RUN_ALL_SUITE_TIMEOUT_SEC 可覆盖),超时 taskkill /T 整树回收判 FAIL 继续批;退出码经 cmd /V:ON 文件通道(值等价,读毕即删);正常路径判定形态不变;机制验证=挂死夹具 8s 触发+孤儿零残留+正常/负面选跑绿+全量 65 套件 all green;README 同步;全量域闸验收通过(存量红零新增,回执 2955c049);承接待办清单 2026-10-25 挂死防护条目件②
|
2026-10-28 07:59:27 +08:00 |
|
|
DKChan
|
2955c049de
|
Merge branch 'master' into runall-hangguard-20261028
|
2026-10-28 07:51:27 +08:00 |
|
|
DKChan
|
a2710f2253
|
工程(单元闸挂死守护): run_all.gd 每套件阻塞面超时——OS.execute 换 create_process 非阻塞+200ms 轮询+截止时间(默认120s,RUN_ALL_SUITE_TIMEOUT_SEC 可覆盖),超时 taskkill /T 整树回收(连 cmd wrapper 带引擎孙进程,等死确认10s宽限)判 FAIL 继续批,单套件挂死不再拖死整闸;退出码改经 cmd /V:ON !ERRORLEVEL! 文件通道(值与阻塞回传同一,读毕即删不积残件,起跑前清陈值);正常退出判定形态不变(错误扫描/expect 对比/负面豁免/选跑透传);机制验证=挂死夹具 8s 触发整树回收+孤儿清点零残留+正常/负面选跑绿+全量 65 套件 all green;README 超时记载同步换代;承接待办清单 2026-10-25 挂死防护条目件②,实证=迭代 40 批末三例阻塞面挂死同根
|
2026-10-28 07:51:20 +08:00 |
|
|
DKChan
|
cb3f6f353c
|
文档(P0① 死路径销号): art-bible §1.4 冻结记录与 art-status-checklist P0 样张行删除已丢失的冻结样张路径(artwork/mockups/sample-batch-v3-final-2026-09-30.png),按用户 2026-10-28 裁乙改留「产物原件已丢失、未入 git」、不给指路,机检报告凭据(git 提交 7a847c7)保留;待办清单「美术资产链路审计两项 P0」条目收窄为 P0② 主角棋盘小人像素管线重产(美术面,归美术设计段),改动面与状态同步收窄
|
2026-10-28 07:19:43 +08:00 |
|
|
DKChan
|
fd2d5702f0
|
收尾(断言归位专项批后): 待办清单条目整条删除——批已合回 master(合并提交见 git log 断言归位专项批):存量断言级内部直查 94 处完整口径全数处置,改钉 59 处四类手法+例外 35 处 §8.2 受控例外逐条登记(理由在各波次提交:呈现域 17/战斗域 12/core 6——均无公开可观测面);验证集清单机器重生成对账 PASS;16 套件单跑全绿+全量域闸验收通过存量红零新增;产品码零改动;例外清偿如需产品码只读访问器/探针属需求改动边界另行立项
|
2026-10-28 07:17:11 +08:00 |
|
|
DKChan
|
29d4914b93
|
合并(断言归位专项批): 存量断言级内部直查 94 处完整口径全数处置——改钉 59 处(属性直换/公开面等价式/真实路径重塑/公开面对比四类,样板上量)+例外 35 处按 §8.2 受控例外逐条登记(呈现域 17/战斗域 12/core 6——均无公开可观测面,理由在波次提交);件核=余 36 grep 命中中 35 对应例外台账+1 标签文本误命中;16 套件单跑全绿+全量域闸验收通过(存量红零新增,回执 ed5f1941/分支尖零代码面差);验证集清单机器重生成对账 PASS;产品码零改动;批次含 4 个执行子代理(波1×2+波2×2)与波主复核
|
2026-10-28 07:16:19 +08:00 |
|
|
DKChan
|
00bbb94a8e
|
Merge branch 'master' into assert-pin-sweep-20261028
|
2026-10-28 07:15:12 +08:00 |
|
|
DKChan
|
a658fbc462
|
文档(防复发扫描待裁条目退役): 用户两裁收口——①pipeline_gate 不加「变异测试/撤销证明」短语级扫描(假红面大),条目无余点整条删除;②req-card SKILL「撤销证明方式」残留三处改齐(.zcode|.qoder 两份同步直写): 文件头 description「必须…撤销证明」改「…判据绑定面」/验收步骤模板删「＋撤销证明方式」补「＋判据绑定面」/复核门「撤销证明方式写死」改「判据绑定面是否绑被测改动特有的可观测提交面」——与同文件第40行六列对照表、第44行禁列条款对齐;③更正＋顺带清: 本条原信息末句误记「终检零命中」,提交前同命令的 grep 实查仍有 iter 技能同族残留,已一并改净(.zcode|.qoder 两份同步)——iter SKILL 四处: 对照表开闸判据「无撤销证明方式」改「无判据绑定面」/施工禁令「撤销证明做不出来=停卡」改「判据绑不上可观测提交面=停卡呈报」/审计范围「对照表与撤销证明」改「对照表与验收断言」/审计抽查「按记录复现红绿」改「核对断言当轮真实跑批执行且通过(闸回执与测试输出为凭)」;iter evals 随判据换代: mock-subagent-report 第3条改「验收断言第二条没来得及跑」＋evals.json expected_behavior/rubric 两处同步(评估考点=对照表未闭合不得合并,不变)。残留成因=2026-10-24/28 两裁只改规约正文与对照表列定义,未扫技能文件自身模板句/复核门/审计步骤;技能面就此闭合,终检=两技能目录 grep 撤销证明/变异证明/undo_proof 仅禁令条款自身命中
|
2026-10-28 07:13:55 +08:00 |
|
|
DKChan
|
acb8e83aca
|
工程(undo_proof.py 退役): 撤销证明禁令生效后的死工具删除——tools/undo_proof.py(159行,挂死防护批产物)删除前全仓引用面实查仅自身与待办条目、零闸件/脚本调用,git rm 无破坏;同族残留顺带清——.zcode|.qoder 两份 skills/iter/evals mock-card-iter40-1 的「改动—验收对照表」从四列(含「撤销/变异证明」列,样例单元格即撤销/变异式取证)改写为现行 req-card 六列口径(需求点|改动|验收测试|层级|真实入口|判据绑定面,判据改真实入口正向断言);待办条目瘦身改题「撤销/变异禁令防复发扫描——pipeline_gate 短语级扫描待裁」保留唯一余点(pipeline_gate.py 是否加短语级扫描,按「变异」单词扫会命中地形变异等玩法词)待用户裁,裁后整条删;范围外发现随条目呈报: req-card SKILL 第88/106行两句「撤销证明方式」残留与同文件第44行禁令自相矛盾,属 2026-10-24/28 两裁未扫净的技能面残留
|
2026-10-28 07:08:03 +08:00 |
|
|
DKChan
|
ed5f19414e
|
Merge branch 'master' into assert-pin-sweep-20261028
|
2026-10-28 06:48:47 +08:00 |
|
|
DKChan
|
fbeab3e3fd
|
工程(断言归位批·清单同步): 验证集清单机器重生成——level_shop_economy :1325 非 quiet 断言改钉(deck().taken 公开面)致 cond 摘要漂移一条,--carry-from 承接回填列,对账 PASS 零差异;其余改钉全落 check_quiet 通道(提取扫描面外)
|
2026-10-28 06:47:52 +08:00 |
|