Commit Graph
86 Commits
Author SHA1 Message Date
DKChan 7d2fbe158f docs(池配额账面订正·代码面): adventure.tres 头注三代混写归一运行态口径——四档锚 70/25/3/0=98 句与三档旧名「罕见」句并存的失实头注,改为四级 70/25/7/0=102(稀有档=AP 件 3/储备金袋 2/时沙 2——后两件配额键未载表、运行取 schema 缺省值,补表归待办清单在册条目)+档位构成按现行键重列+追认 b「70/25/5」锚句换 schema TIER_QUOTAS;adventure_feats_test.gd:399 断言消息「稀有/罕见档」并写换现行档名,判定零变化。运行态真值证据:schema validate 对账 TIER_QUOTAS 绿+feat_vouchers_test:85 断言 rare_sum==7 在闸在役+curio_deck.gd:43 按 kind×tier 读实例值。零行为变化(纯注释与消息字符串),代码域闸验收 2026-10-26 03:40:56 +08:00
DKChan 48248b218b docs(件核): 退役符号注记同步——adventure_feats_test 去重身份注引用改指 CurioDeck.token_identity(拆件后宿主同名函数已出列,零行为改动) 2026-10-25 17:50:55 +08:00
DKChan e5ee4d04f0 refactor(runner拆件): 令牌池与商店族拆出两件+断点字段登记单源(零行为变更)
- curio_deck.gd(新增):令牌多重集/抽签/cap/凭证三计数与判定唯一宿主,随机经注入 rg 面;宿主公开面委托保持原签名
- shop_session.gd(新增):双模式货架/定价/购买/刷新入件,钱包原语留宿主经回调落账
- adventure_runner:BREAKPOINT_FIELDS 27 键登记单源驱动写侧拼装与两处读侧回退;续玩段拆为六小函数
- level_runner:商店族 21 函数转委托层,9 个成员改转发属性(类变量计数保持 38)
- breakpoint_resume_test:新增 P8 键集==写侧实拼键集与策略标签词表断言〔wr2〕
2026-10-25 07:32:20 +08:00
DKChan 2ed8166852 refactor(iter37-S13): 九条基线外漂移全部以代码压回——禁改基线口径的兑现批
- config_db 三 getter 退役(shop_relic_base_price/shop_spend_discount/hero_display_name):消费方改读公开行访问器(db.shop.* / db.hero.*),公开方法面 47→44
- shop_table.validate 单函数分步化(六个 _validate_* 子步骤):函数长度/分支数/局部变量三阈值同时回落,校验语义与报错顺序不变
- battle_end_overlay 庆祝句柄由类成员改为节点元数据承载(21→20 类变量):三处读写改 get_meta/set_meta/remove_meta,句柄单一活跃语义不变
- standee_body 死变量 _portrait_flip 删除(30→29);set_order 并入私有面(21→20 公开方法),唯一调用点同步
- 断言随动:level_shop_economy_test 读表直取;standee_fx_sweep_test d4 三断言改读节点元数据;theme_projection_test V4 蓄力档判据换代(卡① d2 已入库代码的断言补齐)
- tools/gdstyle_baseline.txt 零改动:扫描面 105 文件、基线内 229、基线外新违规 0
2026-10-25 05:47:01 +08:00
DKChan 353c1c6bb2 merge(master): 并入 master 新进提交(变异测试全项目清除/测试规约重编号/撤销证明口径/golden 加严/S13 基线)——本批测试面按现行规约重读复核 2026-10-25 04:23:42 +08:00
DKChan 1b9736f065 fix(iter37①): T1 core 域缺陷修——单据归属判定/数值入表/公式单点/信号契约载体统一
- d1 伤害控制器来源敌作废判定 `==`→`is_same`(同内容异实例不再误废;夹具双敌两断言〔wd1〕)
- d11 shop 表新增 relic_base_price/spend_discount 两 knob+域检+ConfigDB 访问器+level_runner 读表;
  level_shop_economy_test 三表值断言+relic 现价读表与迁移前字面量逐位等价〔wd11〕
- d16a HeroTable.display_name+域检+访问器+unit_container 读表;spawn 真实链断言〔wd16〕
- d14 board_generator 目标雷数公式单点 target_mine_count(两调用点改引)+legality 去 db 参数(两调用点同批改)〔wd14〕
- d15 蓄力层上限 CHARGE_LAYER_CAP 常量(两处字面量+注释随动)
- d16b unit_container/status_container 六处 Dictionary 取值显式 int() 包裹(读侧包)
- d10 minesweeper 两信号按 §2.1 三要素补契约(载荷键集按发射位并集实查)+全库 28 处信号注释载体 #→##

撤销证明:回退 d1 hunk → 同容异实例断言红(A 单据被 B 死亡误废),还原复绿;
回退 d10 契约 → 契约在位扫描 undocumented=2 红,还原归零。等价类申报(d11/d14/d15/d16)见实现报告。
代拍板:#1 target_mine_count 签名(照接口块)、#2 契约措辞与载荷键并集(实查发射位)、#4 int() 读侧包写法。
2026-10-25 03:35:55 +08:00
DKChan e89f486aa9 merge(master)+禁令残留清扫:并回 master 新进提交(gdstyle 闸件批/S9 卡/iter36 收尾),冲突 test-conventions §8.4 保重编号版+吸收 master 新条款「判据绑可观测提交面」(措辞去变异化);随批清扫——待办清单 gdstyle/S9 两条目「变异验证义务」改撤销证明口径;S9 活卡全量改写(契约 3/T2/D2/D4/来源行/对照表列头/审计面/两轮 grilling 记录——旧「闸件豁免」定界标注经用户全项目禁令推翻,验证义务统一撤销证明,禁令条款原文保留) 2026-10-25 01:31:21 +08:00
DKChan 678ad791da merge(同步 master): 迭代 35 卡② 分支合入 master 现态(12 笔他批改动,含 game/ 呈现层与测试工具手册批)——按 process-conventions §1「master 若被别批推进,先在分支里 merge master 解冲突、重跑本域闸再合回」执行 2026-10-24 23:08:08 +08:00
DKChan 4ed53651ce test(迭代35卡②T3 V3 补口+报告对照表): 大岔口分区域兑付断言组落地(卡片 V3 是本卡 §8 唯一无机检断言的验收点,前口漏挂——本轮补)——level_shop_economy 新增 _smoke_multi_terminal_settlement 五条:L2 现行图 Boss 终点两颗以上、min/max 两轴各自收在本路终点 Boss(末句柄 6/11 互异且都属图 Boss 集,result=victory)、区域隔离(min 路不含 max 终点、反之亦然)、任一 Boss 胜即本关收束 level_finished 恰一次且载荷 result=victory·node_id=该终点句柄(真实 runner.start_level+pick_next_node+_autoplay_battle 全程驱动,兑付停点走 continue_after_node 与 _drive_level 同口径);宿主 176→181 条全绿。实现报告补 §二·十三 实际对照表(卡片 §8.2 八行逐行给文件:行/真实入口/撤销证明对应 M1-M7 与 T1/覆盖批变异)与终版宿主读数 2026-10-24 19:45:59 +08:00
DKChan 3461e83bec test(迭代35卡②T3 尾缀对齐): 本批新落地断言补可 grep 尾缀(〔v2〕入口候选数=参数档 entry_count 与第二入口进入/〔v5〕商店三性质与扫描面非空/〔v7〕同档同种子两次产图同图·起关图=生成器直取·种子 42 两开局同图·断点重生成同图·同种子重开局同图/〔v8〕快照代差标记·句柄往返·旧断点拒绝/〔v9〕快照无已抽模板键·表无 templates 键/〔v4〕三关图各含奖励节点)+商店宿主重复段头清理——独立审计第 1 件(对照表逐行核尾缀可 grep)的执行面;四宿主复跑 21/176/138 全绿零错误行 2026-10-24 19:35:01 +08:00
DKChan d48bf10fd7 test(迭代35卡②T3 件核): 商店宿主内联变异脚手架清退——宿主自改生成图节点的 MUTATION-A/B/C/D 段(店位改战斗/reward 位改第二家店/深度出表域/型别出枚举)与配套两条 MUT 断言整体删除,测试面不再自带变异开关;V5 两条拦截证据改由生产码注入取证(node_map_generator 产图尾段店位改 rest→性质①红、battle 改 shop→性质②60/60 图与性质③738/1413 路径同时红),宿主复跑 176 条全绿 2026-10-24 19:26:44 +08:00
DKChan 6b213a21ea test(迭代35卡②T3 S3/S4/S5 收口): 商店经济宿主断言面换代(147→176 条)——图源全面改参数档生成图(_generated_graph 单点取数+_level_active_nodes 随动,模板兜底段整体删除);① S4 形状写死断言退役:节点数/五型计数/岔口数/终点数/入口数改图读数性质并加非空扫描前置(含 L1 终点恰一、L2/L3 多终点大岔口投影、L1 终点深度=参数档层高);② S3 商店编排三条性质断言(每终点前一位恰一店·店数=终点数·入口→终点全路径 DFS 恰穿一店)× 三关参数档 × 种子 42+42–61 扫描,硬编码 node_depth 8/9·穿节点 8·L1 行集零改动退役,行进面保留「到店当前节点型别=shop 且出边恰一条指终点」与「min/max 两轴路径穿店恰一·逐跳为图出边」;③ S5 跨表覆盖改真实解析链(敌侧落带≥请求深度、板侧精确命中、终点 Boss 行集按图终点深度解析)并逐关登记扫描面颗数;④ 起关签名尾参 template_pick 退役、路径自洽断言新增(句柄轴行进·方向轴分岔终点互异);⑤ 段内注释与文件头随语义换代改口径 2026-10-24 19:16:23 +08:00
DKChan 3849211621 test(迭代35卡②T3 补口): V2 多入口与 V6 定位信息两条真实入口断言补位+死注释清扫——① node_map_templates 入口停点候选数改判「=参数档 entry_count」(L3 档实测 2)并加第二入口句柄显式进入断言(变异「候选写死单入口」的拦截面,原 >=1 写法拦不住);② adventure_feats 新增 _drive_to_pref 真实选路驱动(满配赢途中战→岔口按偏好点选),据此落三断言:奖励支路经停呈三选一候选在途、点选兑付受理、进战载荷 node_depth=节点深度且命中节点句柄≠深度(变异「enc 取句柄」拦截面〔v6〕);③ round_flow 模板时代孤儿注释删除 2026-10-24 19:09:04 +08:00
DKChan 9ee3bea194 refactor(迭代35卡②T2·二口+T3 S1/S2/S6/S8): 消费侧切源落定+断言面换代主体——① level_runner 图源换代(_generator 取代模板解析,_assign_generated_graph 读 level_gen_params 参数档产图并过 LevelTable.validate_graph,违规起关拒绝零兜底)+_entry_nodes 多入口首跳+_node_id 句柄单空间+enc node_depth 取节点 depth 值;② adventure_runner/main/save_manager 模板链路退役(first_script 参数与 template_pick 计算全删,断点 template_pick 键换生成图代差标记键 graph_gen_v2,缺键旧断点 resume 显式拒绝禁静默回放);③ level.tres 三行 templates 键清出(15 张模板数据出表,行级字段留,表尾注释改指参数档+生成器);④ sim/probe 随动(run_level/run_adventure 尾参退役、MC 出数字段 level_templates→level_maps 值=关卡#主种子、探针注释性质化、boss_depth 取节点 depth 键);⑤ 断言面换代:node_map_templates 宿主整段重写为生成图确定性套(纯函数复现/换种子变图/零计数器号位依赖/单一图源/种子 42 两开局同图/断点重生成同图/缺代差键拒绝/表无 templates/收束置位三条保留),breakpoint_resume 新增 P7 六断言(快照无已抽模板键、代差标记、停点句柄与已到序往返、续玩同图、旧断点拒绝、同种子重开局同图),S8 单测随动 first_script 键清退+断点夹具换代+meta 参数面 extra 键样换 treasure_unlocked(语义保持),S2 生成图取数面三宿主替换(level_active_nodes 走参数档+种子 42,消费点深度键换 depth,round_flow 死件 _boss_depth 随删),adventure_feats 覆盖义务段改真实解析链判据(敌侧落带≥请求深度+板侧命中+非空扫描面)、奖励节点段换「图侧含件+真实选路点选呈停兑付」双断言(旧单链必经形状前提随模板消亡,非放宽:经停即呈候选由真实 pick_next_node 入口证明)、商店余额段按每关恰一店投影改三关读数 2026-10-24 18:59:57 +08:00
DKChan 98c61d50c3 refactor(迭代35卡②T2·一口): 跨表校验④「关卡节点→敌/板覆盖与多终点 Boss 共带」随静态节点数据消亡整体退役——两条拦截语义改由运行时断言承接:顶 clamp 消解禁=〔v11〕「解析落带 ≥ 请求深度」、多终点 Boss 带键互异=〔v11〕逐终点带键两两比对(拦截面从表内静态代理升级到消费图本体,无削弱);其单测段 _test_level_node_band_rules 与随它而存的四个 preload 一并退役(fv15/fv16/fv17 三条判据的现役等价面在 level_shop_economy〔v11〕与 level_table_validate〔v1〕)
- 覆盖不降级的依据:生成图深度域实测 L1 0–6/L2 0–9/L3 0–13 为模板池深度域(0–4/0–9/0–9)的超集,且 〔v11〕扫描面三档×20 种子逐节点核敌带与板精确行
- save_manager 首次冒险位注释随确定性承载换代改口径(首局固定种子 42+参数档生成图,无兜底模板),键与行为零改动
- run_all 59 套件全绿
2026-10-24 16:08:57 +08:00
DKChan c0dd442060 feat(迭代35卡②T1): 加载校验换代——LevelTable.validate_graph(nodes) 静态单点承载四检+良构基底(①入口≥1 且终点≥1 ②全员从某入口可达且可达某终点 ③终点恒 Boss 且 Boss 无出边 ④出边目标深度严格大于源=无环;良构=句柄唯一·出边全命中·type 五类枚举·battle 带深度),表加载期图校验与旧六判据(Boss 恰一/战斗≥2/单链末 Boss/前三位纯战斗/出度≤2/Boss 编号最大)连同模板池校验分支、BFS 层宽≤5 一并退役,行级校验保留
- 新宿主 tests/unit/core/level_table_validate_test.gd〔v1〕15 条(正例三形:多入口多终点/含岔口单终点/单链退化显式出边;负例八类;范围反证三条:无商店图不报错·双入口合法·缺 next 字段仍拒)+run_all manifest 登记一行(59 套件全绿)
- 判据②与④在 DAG 上互斥的实证:无环图每个源点必为入口、每条极长路必止于终点,故「孤儿/断头」构造不出独立负例——② 保留为 ④ 失效时的纵深防御面,测试以两独立链正证不误伤(该关系拟入反哺点,文档判据②的表述宜注明其兜底定位)
- 旧断言随动四条(声明,非静默放宽):level_shop_economy ③ 段整段改走 validate_graph 并把「入口唯一违例」翻为合法正例、「孤儿」改为非 Boss 终点;level_map_type_vis 夹具注释订正;round_flow_skill_pool 敌表池清单 20→28 行补齐覆盖批八行池克隆键;board_gen_reward「(2,3) ceil 上取」改判精确命中并以临时摘同行的夹具面保留 ceil 能力判据(覆盖批补齐键域后旧判据对象消亡)
- 件核:全仓 grep 六判据消息文本零残留(唯一余留在 level.tres 表尾模板生成史注释,随 T3 模板清出一并消失)
2026-10-24 15:52:21 +08:00
DKChan 9eaafbf4e0 merge(迭代36): 三卡总收口合回——卡C 开场后缀认加算区+营地六处灰字深化+迷雾测点三关归一后基准(甲)+派生校验;卡A 玩家面文案/禁字清零 13 单元+player_copy_sweep 新宿主;卡③ 状态面板瘦身(八键投影+本局信息五件+跨关概览退役)。批末代码域闸全绿(回执 8b223392 对齐分支尖,11 对拍 NEED-APPROVAL 用户裁不跑;golden 加严句触发判存量漂移用户裁不重制)。变异测试经用户 P0 禁令停止(既有记录随实现报告申报)。独立验收审计两轮通过(卡C/A 19行+卡③ sv1–sv10)。 2026-10-24 10:15:43 +08:00
DKChan b5fd516b73 test(迭代35覆盖批): 〔v11〕敌侧覆盖判据由「行集非空」改为「解析落带 ≥ 请求深度」——非空不是覆盖判据(越顶 resolver clamp 照样返行),band_of 非 -1 才是卡② V11 的原意 2026-10-24 09:25:00 +08:00
DKChan 9214ef8e02 feat(迭代35覆盖批·同批落): 生成图深度扩面的敌/板表覆盖落地+S5/V11 覆盖断言——用户授权本批随卡② 同批落(卡② §0 原文允许「须先落或与本卡同批落」),数值按现有曲线插值全 provisional
- enemy.tres:战斗带顶扩到各关最大生成深度(L1 3→6、L2 7→9、L3 7→13,共 3 行);Boss 行按终点深度分带使多终点解析带键互异(L1 加 6、L2 加 8、L3 加 11/12/13,共 5 行);敌种一律复用在册 id(零新内容),AC 全部留在已裁带宽(杂鱼 0~5/Boss 8~12),模板时代带键 0-3/4/9 与 hobgoblin 留任位不动
- board_gen.tres:node_depth 键域补齐 0–6/0–9/0–13(新增 12 行,其余字段按该关同档行复制)
- 断言面:level_shop_economy_test 新增 _smoke_generated_coverage 三条〔v11〕(生成图每 battle/boss 深度经 resolve_enemy_rowset 解析非空=顶 clamp 消解禁/每深度 board_gen 精确命中且 node_depth 等值/多终点 Boss 解析带键两两互异),扫描面=三关参数档×种子 42–61,量程读数 L1 0–6、L2 0–9、L3 0–13
- 旧断言随动三条(声明于此,非静默改判):table_structure_guard 〔fv11〕行数与键序 20→28 换代为覆盖表序、〔fv13〕「三关 Boss 各恰一行=图 Boss 深度」换为 Boss 带键覆盖表清单(多终点必然多行,互异判据移交〔v11〕);level_shop_economy 混编段基线行数 20→28、深度 8 的板侧「无行残留」改判「覆盖行在册」(战斗侧仍禁 (L,battle,8) 精确键)
2026-10-24 09:23:55 +08:00
DKChan b2583f75f5 chore(变异类测试全项目清除): 用户裁——变异验证/变异测试全项目禁用,验收一律只走撤销证明。AGENTS.md 红线行删除+导航行改词;test-conventions §6 整节退役(§7–§9 重编号为 §6–§8,对照表第六格改「撤销证明」,§8.4 新增行为证明改撤销式);process-conventions 批清单第 8 条删除(后续条目重编号)+闸件义务句改人工确认;code-conventions/roadmap 同步;pipeline_gate 对照表证明标记删「变异」+报错文案改;run_all_gates.sh 注释同步;游戏测试面 8 件测试语义改写(layout_probe/ui_struct_probe/save_manager/save_boot/level_gen_params/forge_table/save_manager.gd/4 件表值措辞)——玩法术语(地形变异/变异格/变异角标/变异池等)逐个甄别后全数保留;活卡「状态面板瘦身批」变异列全量改写为撤销证明口径。全库方法术语 grep 零残留;全量域闸验收通过(回执随本批重跑补齐) 2026-10-24 08:35:18 +08:00
DKChan 9468c70ee2 iter(36): 卡C+卡A 实现——开场行后缀认加算区(六项布尔+三路径断言:白板反向/续玩重建正向,卡片②奖励节点前提缺陷改快照喂入形态代拍2)、营地六处灰字STONE_DEEP+取色/源扫描断言、迷雾测点三关归一后基准+派生校验(T0对拍L2/L3修值L2条款)、文案禁字清扫钉值表13单元+player_copy_sweep新宿主24断言入清单、变异验证全套留痕(对照表证据随实现报告) 2026-10-24 07:42:46 +08:00
DKChan ba6604464e test(迭代35卡①): 补战斗保底判据专测夹具(低于保底必拒+保底 1 下不误伤),使 fv7 有可红判据 2026-10-24 06:17:58 +08:00
DKChan a391512e98 test(迭代35卡①): 合流图夹具改按契约 2 语义重写(合法合流=第二入口直插主链取长路值+声明深度虚高必拒)——使深度赋值判据可被变异拦下;代拍板追认单落 reports/ 2026-10-24 06:00:50 +08:00
DKChan 16c776e9f3 fix(迭代35卡①): 致命面改沿 ConfigDB 既有体例(Core 置致命封印+断言,停机决策归组合根——OS.crash 会阻塞跑批且不可断言);fv4 判据改「致命置位→组合根停机码恰 1」;生成器断言补两处判别力(非 Boss 终点按判据消息专断+合流图深度非最长路径值被拒);反哺点清单七条落 reports/ 2026-10-24 05:54:40 +08:00
DKChan a039306f02 test(迭代35卡①): fv4 致命子进程判据改三分退出码(0 静默/2 失效分支/其余非零=致命中止)——使「无解路径改返回空图」变异能让断言见红 2026-10-24 05:41:14 +08:00
DKChan 63a6ea8055 feat(迭代35卡①): 节点图参数化生成器核心批落地——五旋钮参数档 schema+.tres 三行 provisional+ConfigDB 注册与 level_gen_params_row 单点读;RngService 新增 pure_stream 纯流面(不推计数器不落日志,derive_at 派生面流化);NodeMapGenerator 产图 generate(params,seed)+产出侧自证 validate_output(产出约束五条/结构铁律/摆放约束三条/多终点深度互异/深度=自入口最长路径步数)+参数无解致命中止无兜底图;三套断言宿主 68 条(fv1–fv10)+run_all manifest 三行登记;生长读数 L1/L2/L3 = 11/19/29 节点、层高 6/9/13。卡② 停工呈报随批(§0 硬交付序列——覆盖批未立卡) 2026-10-24 05:40:04 +08:00
DKChan 16c6f1362e refactor(波2 目录收尾): game/smoke/ 目录退役——44 件探针三件套迁 game/probe/、30 件测量/诊断/驱动件迁 game/sim/;全仓 100+ 处 res://smoke 与 game/smoke 引用改指(闸件/产品码 tune_sim_controller/宿主 preload/根规则/README/设计文档);熵增闸 RETIRED 收编 game/smoke 防回潮;AGENTS.md Project Layout 换代;static_scan 豁免理由换新宿主;波 2 施工件预计算表全部命中(8d 预扫零红灯);全量域闸验收通过零新增红 2026-10-24 02:09:27 +08:00
DKChan 5644d30c6b fix(核代码补审): A-1 _face_liveness 补 alive-null 臂(激活 13 条对象缺位拦截,both 合法 null 不受影响);A-2 V2-s4 补结构例外注;B×3 标签收口(V2d 删按钮承接叙事/V3h 删不复用冗余/V3 删续玩联动残留);C-1 重复注释删除——代码域闸 --code 全绿验证通过(激活臂零误红) 2026-10-24 01:25:58 +08:00
DKChan 957391e13b test(批B): 断言层级重构大提交——1065 条断言自 smoke_all.gd 全量迁入 16 标准宿主(冒烟/单元/集成/系统+UI 探针);smoke_all.gd 整体退役;变异引擎按用户令删除、验证改核代码(三冷启动审核员 1065 全审:1047 有效,17 存疑+2 段落级,其中 2 段落级经今日闸记录实证解决);10 条核代码修复(恒真/名实/静默跳过/键名等——grilling 一轮修订);验证集清单回写 1068 条三对齐零差异;底册去向补正与笔误清账 2026-10-23 20:48:20 +08:00
DKChan 824a88d26d test(迁移): 批 B 波 1 G3 套4 伤害量值区间五条迁入 board_gen_reward_test.gd——剪切挂载绿(宿主累计 62 检查)+变异 4/5 验红;「区间行上下阶实际流动」证死断言候选(守面同字典读数自比较恒假,源码自带缺陷非迁移引入,照迁禁删上报主会话);_row_power 套内独占随迁,smoke_all.gd 同批删函数与游离节头注释 2026-10-23 02:24:48 +08:00
DKChan 5dd6d8498a test(迁移): 批 B 波 1 G3 套3 棋盘生成 22 条迁入 board_gen_reward_test.gd——剪切挂载绿(宿主累计 57 检查)+按条变异 22/22 验红零死断言候选(_ceil_key 首试 crash 形态换 depth_ceil 插入已记账;legality 判别器隔离直调与内部消费);套内独占 _board_dump/_BoardRowStub 随迁,smoke_all.gd 同批删函数两 helper 2026-10-23 02:18:40 +08:00
DKChan c84a05f5a2 test(迁移): 批 B 波 1 G3 套2 资源身份面十条迁入 board_gen_reward_test.gd——剪切挂载绿(宿主累计 14 检查)+按条变异 10/10 验红全部红唯一(幂等两条用扰动副本形态、退役条两点变异已记账);smoke_all.gd 同批删函数 2026-10-23 02:00:41 +08:00
DKChan 7077a04d52 test(迁移): 批 B 波 1 G3 套1 格边公式两条迁入 board_gen_reward_test.gd——新宿主落位+manifest 登记+剪切挂载绿+按条变异 2/2 验红(间距项删除与钳制带出带各红唯一);smoke_all.gd 同批删函数,_mk_stream 共享 helper 双份过渡(G11 仍消费) 2026-10-23 01:54:24 +08:00
DKChan 331a0ba688 docs(描述性文档): 批 A 术语与读数换代——tests/README 术语表改标准四级(冒烟/单元/集成/系统+UI 探针与 golden)并删「别被字面骗了」警告节(名字对了警告就死),滞后读数订正(35 套件→manifest 40 条实数口径、挥发计数改口径描述、游离台账去硬计数并收 probe_ui_util 入表);architecture.md 测试域节换 run_smoke/run_system_test/run_all 三行模块登记+实证行去滞后读数+三层承载表改四级+改动域与三硬闸表同步;体验验证清单/待办清单/probe_gate.sh/golden_compare.py「轻闸/重闸」词面清扫(探针闸默认段/全量域闸口径);5 个单测头注释「单元套件」换「单元测试」(仅注释,闸 02 载体零改动) 2026-10-22 21:16:24 +08:00
DKChan ed8e0f9f3d iter34 卡④ T1-T3: 信息迷雾类型可见性——层距 N+Boss/候选豁免+单圈回雾(N 读表)+呈现显隐决策面+画布大图断言与探针常数同源
- level_table.gd: info_visible_layers 字段(int≥1)+validate 越域 domain 错;level.tres 挂 2
- level_runner.gd: type_visible_ids() 纯函数(入口 BFS 层差 ≤N ∪ Boss ∪ 候选,锚=当前节点层/入口停点 0;visited 不豁免)+_bfs_layers()
- level_map_screen.gd: node_display() 静态决策面+display_probe()+_draw_graph 图标/文字/Boss 描边三处改读决策面(结构通道零改动)
- 新单测 level_map_type_vis_test(26 断言)/level_map_info_fog_test(19 断言);run_all 注册两行
- smoke_all ⑬ 真图 L2 入口停点可见性组(+5 断言);ui_input_probe ⑬ 常数锚同源化+⑱ 雾不扩可点域

轻闸读数:冒烟 1211 项 0 失败(主区基线 1206,+5=新增组)/probe_gate --click 全绿
2026-10-22 05:52:11 +08:00
DKChan 43c0f3c118 merge(迭代34 卡③ 敌人表深度带换代批): 遭遇寻址 (L,row_kind,depth_band) 三参化+表键迁移+校验/跨表/消费面随动+独立复审通过(回执 commit=9ff0909a,--code 全绿)
- 冒烟 1161 项检查 0 失败;单元 35 套件全绿;探针 --click/--full 全绿;渲染闸绿;静态扫描归零;熵增闸绿
- 11 回放确定性对拍:数值零变更按档位规则不发起(NEED-APPROVAL)
- 独立验收审计两轮:首轮不通过(4 缺漏+4 描述不符)→ 修补后复审 A–F 全通过
2026-10-22 05:37:48 +08:00
DKChan 61537da889 test(敌人表深度带): 冒烟与单测断言按 S 清单改写
冒烟全部寻址点改为三参 resolve_enemy_rowset(关卡, 深度, 行类),结算/单元/探针直呼的
spawn 与 begin_battle 显式带行类(battle/boss)——终点战仍按 Boss 行集取数,行为不变。
首遇位断言改为扫表取该 (关卡, battle, 敌种) 的最低深度带,不再写死坐标〔fv21〕;新增
_enemy_bands 结构段验 20 行键序、hobgoblin 留任 (1,battle,3)、三 Boss 行类与带键〔fv11–fv13〕;
L2 混编 (2,battle,5) 行序与骰和、巨蜘蛛/bugbear/duergar 首遇带固定数、Boss 行类显式传入
等断言逐条加〔fv18/fv19/fv22–fv24〕尾缀。职业节奏探针与伤害探针同步三参寻址。

变异验证七项全部命中(记录表进实现报告):band_of 反向 floor → fv1/fv3 红;row_kind 枚举
判据注释 → fv7 红;Boss 同带判据删除 → fv15 红;顶带消解判据短路 → fv16 红;巨蜘蛛首遇行
加 unit_count_max → fv22 红;混编两行文件内对调 → fv18/fv11 红;hobgoblin 迁错带键 →
fv11/fv12 红(直接迁到带 2 先被加载期同带规则拦下,改用与带 2 行互换带键,表可加载后键位断言红)。
2026-10-22 04:17:40 +08:00
DKChan 4a8558a09f iter33 卡① 审计回炉: sv3 断言强化+生产链对照面+sv4 判别锚+变异⑥⑦补执行
首轮独立验收审计两缺漏回炉(零裁断纪律):
- sv3:拆闸实验证实原拒写断言无判别力(返 false 与下游写失败不可区分)且杂散 game/.tmp 落盘
  未被盘面断言覆盖、MetaProgression 生产链零对照面——回炉补「退化写目标(裸 .tmp)零新增」
  类级+链级两锚+settle_adventure 真表驱动生产链对照面(boot 套件 8→12 检查);变异⑦
  (闸短路)实测两锚全红。
- sv4:申报变异未执行且原段序(先删后建)无判别力——回炉改夹具为「非白板旧内容 999/5
  覆盖为白板+盘面核验非旧值」;变异⑥(create 读旧档)实测两断言红。
还原后冒烟 1201/0、38 套件全绿。实现报告 sv2/sv3/sv4 行与变异表对账更新。
2026-10-22 04:11:55 +08:00
DKChan 6a7c25755f iter33 卡① T1+T2+T3: 存档制数据层三槽承载+启动态钉死+档操作原语+窥视读器+断言批
基线复读(T0,2026-10-21):冒烟 1156/0、单测 35 套件全绿、probe_gate --click 全绿。
承载面(save_manager.gd):SLOT_COUNT=3 三文件制 user://save_slot_N.json(§9 白名单①拍板,
槽1 禁复用旧名单独派生);启动态钉死 _ready 不读槽(内存=默认空态、无激活态、写盘一律拒——sv2/sv3);
旧单档一次性字节迁槽1(Q1 甲:幂等判据槽1已存在不重迁、源改名 .migrated.bak 留痕——sv12);
原语 activate_slot/create_slot/delete_slot(失败恢复切换前三态、删激活槽指针连清除——sv4/sv5/sv6);
窥视读器 peek_slot_summary 三态零副作用(sv7/sv8);测试隔离注入口 attach_slot_template+
peek_summary_at(契约7 单路径语义保持,attach_path/注入面零变化——sv11)。
断言批:三新单元套件(isolation 22/boot 8/summary 12)+冒烟 V2-s1..s4 启动态段+
_smoke_save_slots 段(往返×3/删档/新档/各槽迁移/窥视/旧档迁移);V2d-1 按削弱申报改写
boot 恒隐(卡② mn8 再承接)。
真实链实证:本机 user://save.json(v7 空档)已随批内首次 boot 迁入槽1,原件留痕 .migrated.bak。
2026-10-21 23:44:03 +08:00
DKChan 33e1f11057 test(卡② T7补漏): 补齐 §9 正向验收主力 V1/V2/V6 与全 Vn 标注 + V1/V4 变异验证
前批合回时漏建卡② §9 逐需求点「正向验收主力」断言(四桶机制),仅靠迁移旧测+V12 兜底——
V12 formed/rules 输出面不作判据,adventure 桶跨战持久若坏不会红,核心缺陷消解无回归网。本批补:
- V1 冒烟新段:同一 RunLedger 两 begin_battle 各真实 request_dig,断 adv_twin_digs 经 ctx 就地写宿主字典跨战累积=2
- V2:start_adventure 后 adventure 桶置空(feat_vouchers)
- V6 冒烟新段:次战新编排器 fx_counters_battle 天然空、battle 桶 insurance_used 读 0
- V3/V4/V5/V7/V8/V9/V10 补〔无状态化 Vn〕尾缀使 §9 可追溯
- 变异验证:V1 断 adventure 桶引用改新建空字典→3 条红;V4 断 level 桶不共享→红(证回归网真拦得住)
2026-10-21 02:45:57 +08:00
DKChan 430f97f071 test(卡② T7-V13): 旧档改名前 counter 键续玩受理零崩溃断言
feat_vouchers 注入含旧键(拼接构造避 S12)的 adventure_counters → resume_adventure 受理、留桶成死键(无迁移,契约 9)。
2026-10-20 23:24:58 +08:00
DKChan 003581f4c4 feat(卡② T7-V10): static_scan 新增 S12 旧件零残留扫描 + 清尽注释内旧符号
- S12 扫 game/ 全域 .gd/.tres(改名与旧符号同存数据行/测试/smoke,非仅 core):
  counters_export/counters_seed/counters_merge_export/counters_seed_snapshot/_reset_tree_limited_counters
  + 带引号旧 id "tree_sense_*"/"twin_digs"/"instinct_atk"(引号锚定不误伤新名)零命中
- 非空扫描面自检(185 文件);注入 counters_export 见红、还原回绿(变异验证取证)
- 迁移注释措辞去除旧符号字面、feat_vouchers V16 写键 twin_digs→adv_twin_digs
编号说明:卡① 已占 S11(代码注释禁用词),本扫描落 S12(卡片成文时 S11 未定义,属卡片与现实偏差,归反哺点)。
2026-10-20 23:22:44 +08:00
DKChan b226a292df test(卡② T7-F2): 旧测试断言随无状态化换代迁移(smoke 裸引擎段 + 4 单测件)
- smoke_all 裸引擎段 ~53 dispatch/写口 ctx 化、twin_digs→adv_twin_digs
- _smoke_tree_rules:standalone 引擎自建 ctx、sense 限次跨战持久改 level 桶共享引用(删 export/seed 链)
- effect_words_t1_test ⑥⑦重写为桶语义(adventure 共享字典往返、round_ 前缀随 round_start 整桶清空、battle 无前缀存活、counter_spend 静态)
- tree_rules_v11_test 合成行夹具 lvl_ 改名+删 domain;treasure_effects/settle_segments dispatch/counter ctx 化、dig_combo→geo_types 活 id
冒烟 1150/0、四单测件 EXIT=0(换代同生死,无假绿)。
2026-10-20 23:19:40 +08:00
DKChan b3b77ff1b7 test(T7/N7): 新增 A10–A12 两态正向断言(seal_miss 行 highlight + _format_row 零「雷」)
A10 未豁免态 highlight==perfect_broken+完美不成立;A11 豁免态 highlight==空+完美仍成立;
A12 呈现两态文案含已破/已豁免且零「雷」字面。落点 feat_vouchers_test.gd,随 N7 同轮。
2026-10-20 22:24:34 +08:00
DKChan b6629d6848 feat(T2-T6): 五词注释换代——完美排雷→完美封印/板级→整图/门票→专长凭证/正主→现行事实源/落籍→已入库
全局 sed 替换 89 处命中清零(S11 绿)。修复:
- 移交 3 处保留原词(shop.tres:86 display_name、curio_controller:165-166 玩家文案)
- 豁免 enemy.tres:653 历史注记保持"已落籍"
- static_scan.sh 词表追加行与头注恢复禁「」引举句式
- S11 规则文件自身不被自身规则误伤(闸门自指豁免生效)
2026-10-20 20:41:50 +08:00
DKChan 6d601d23dc chore(禁写变更记录批): 版本历史节/日期批注全面废除——gdd_lint R4 反转禁设+三工具去豁免+48 文档删节+game/README 流水段删+代码注释 900 余行轨迹标签清偿(约束句保留)+规约/skills 五层指令面同批改指 git 沿革 2026-10-20 00:22:18 +08:00
DKChan 072c19b4a5 feat(凭证件裁削): 卡② 同调电池删除+完美保险迁专长+配额净删落地(迭代 31 卡②)
用户 2026-10-18 逐裁四项落码:
- T1/T2 同调电池整件删除:CURIO_KINDS 摘 kind、三字段与三处分发表分支删净、
  runner 侧 _battery_pending/断点键/getter/choose_battery_target 全清(呈现层零接线=有账本无入口)。
- T3 完美保险出池:kind/字段/分发摘除,_pending_insurance 与 level_runner 注入通道
  (voucher_insurance 键、set_voucher_grants 第三参)整链拆除,battle_orchestrator._fx_insurance 删。
- T4 引擎扩签 forgive_seal_miss(EFFECT_KINDS 31→32)+两账相减:新增 _perfect_forgiven 单向累加、
  谓词抽成 perfect_sweep_earned()(有效误标=误标总数−豁免数),_perfect_hit_false 保持纯净=契约 2;
  seal_missed 发射时机与消费点零改动=契约 3(危险直觉·守同事件订阅面在验收组里对拍)。
- T5 feats.tres 第 30 行完美保险专长:rarity rare/cap 省略/domain=battle 显式写出(战斗域首例)/
  desc「本场首次封印落空,不计入完美封印判定」;限次由行 when counter(insurance_used) lt 1 承载,
  do 自带 counter_id 记账由授予段消费点落账(代拍板 3 选型:单行落表,理由见实现报告)。
- T6 配额净删:TIER_QUOTAS rare 9→7、令牌池总量 104→102,validate() 硬断言过;smoke 配额锚/牌库
  构成/专长行数随批换代。
- T7 验收:feat_vouchers_test 39 项全绿(出池反例/断点缺键兼容/账本保留/配额锚/装载/限次一次/
  计数纯净/两账相减真值表/跨战清零/事件不吞)+forge_table 词表闭集断言 31→32。
  变异验证 6 条:5 条证红;「domain battle→adventure」在本 rig 不可观测(未红),已如实登记。
- 存量缺陷顺带修:旧 _emit_row("insurance_used","",…) 空来源会触发行来源断言(旧路径无消费点故从未走红),
  新订阅面给出 source_class=seal_miss。

基线(卡① 合回后 master 4f953ce8):冒烟 1151/0、单元 34 套全绿、探针 --click 全绿(user:// 存档移开态)。
2026-10-19 04:45:49 +08:00
DKChan 32fdf957fd refactor(代码术语): 卡① flag→seal 全族换代+game/ 禁用词清扫(迭代 31 卡①)
标识符面:flag_*→seal_ 族(含 Godot 信号 flag_judged→seal_judged 与连接/回调同名、
FACTS 两键 flags_count→seals_count/dug_under_flag→dug_under_seal 全链、
.tres 键名与 schema .gd 同批同步);显式豁免零改动=size_flags_*(Godot 布局属性)+_fatal_flag。
中文面:金币→GP(金币袋→GP 袋)/插旗→封印/雷格→危险格/惩罚格→危险格/旗→封印·封印印记族,
game/ 内 *.gd/.tres/.md/.json 四类禁用词与 flag 双双零命中(V1/V4)。
守卫字面量不动(被检查的禁字不是使用):smoke_all V21 零「雷/旗」检查面、
ui_font_asset_test 字形集攻/雷/旗/封 保持原断言逻辑。
代拍板:板面单字槽 glyph「旗」→「封」(禁字纪律+单字位宽,消费面四处同名随动)。
素材换代(2026-10-18 用户裁案甲):assets/art/board/flag_seal.png→seal_mark.png(素材不入 git,
盘上改名+导入重刷),代码两处 res:// 字符串+COL_FLAG/CURSOR_FLAG 常量同步,
闸件四处随批(run_all_gates.sh/render_gate.sh/golden_baseline_refresh.sh/path_check.py)。
anchor.json 键名手改,重锚与改前改后 diff 随本卡收口(同裁案甲)。

基线读数(改前,主区 ed2dfaf6):冒烟 1151 检查 0 失败/单元 34 套全绿/探针 --click
存量红仅 screen_flow_probe(user:// 断点污染在册已知项)。
改后同批读数(本 worktree):冒烟 1151 检查 0 失败/探针 --click 同一存量红、其余全绿。
2026-10-19 02:52:38 +08:00
DKChan d659b065c1 chore(导入): 8 个 .uid 入库——迭代 30 期编辑器刷导入生成,此前一直未跟踪 2026-10-19 01:28:41 +08:00
DKChan d091c98163 feat(迭代29 T5): L1 覆盖补洞——4 个零指名 core 模块 + 呈现层两件直接单测
新增六套(run_all 27 → 33 套),全部进 manifest,全绿:
· core/board_generator_test(9 条):尺寸与 board_gen 表一致、每个安全格数字恒等于八邻雷数
  (全盘逐格复算)、同种子雷集/数字集逐位一致、可推理性度量与清图判定自洽。
· core/minesweeper_rules_test(12 条):装板带初始扩张揭示且未铺满安全格、安全格余量=总数−已揭示、
  挖已揭示格拒(target_revealed)、挖非相邻格拒(not_adjacent)、fx_reveal 推进揭示并递减余量、
  插旗落旗态与计数、目录外意图被拒。
· core/config_db_resolver_test(8 条):ceil 进度键偏难语义(请求 (1,1) 命中 (1,3) 而非 (1,0))、
  行集按表文件行序返回、ceil 行集、难度乘数 clamp 上下限、未登记坐标返回空修饰。
· core/config_db_cross_validator_test(4 条):正向全对齿零错(防误伤)、悬空 skill_id 必报、
  buff 挂主角侧状态必报(cast_side)。
· presentation/hud_presenter_test(5 条)+ battle_narrator_test(9 条):文案逐拒绝原因正确、
  兜底不吐空串、数值带入、胜负互异、关卡收束态恒定、Boss 名带入。
三屏壳的断言面由 T4 screen_flow_probe 承担(六步流程每步判屏级互斥),不另起第二载体。

变异验证:hud_presenter 的「AP 不足。」改漏句号 → hud_presenter_test 精确见红。
另有一批「写反的断言被实现抓出」的证据(首跑即红、逐条订正后转绿):装板并非零揭示而是带初始扩张、
挖受英雄邻接约束、插旗需 flag_range_free 或相邻且要先给足 AP、技能 type 是 basic 不是 attack、
状态表 id 键是 effect_id 不是 status_id、battle_end_text 在 level_end=true 时恒为「关卡通关!」。

顺带实证本批核心命题:config_db_resolver_test 首跑因诊断回调的 lambda 形参类型写错
(首参是表 id 字符串而非 int)触发 Callable 调用失败——脚本错误不改退出码却让整个解析函数静默
返回 null,套件仍会报「全绿」。正是脚本错误扫描存在的原因。
2026-10-16 15:55:33 +08:00