DKChan
8b9e55673f
P1-5/P2-7 组合根可测化+模态协议内聚（场景拆分后重估结论=抽取面收敛为模态编排域）: - modal_flow.gd 新纯逻辑类: 依赖仅 ModalStack+查询 Callable（审计处方）——开合编排 （挂起兜底/排播排空/遮挡记账/开合同步）/棋盘输入锁谓词（三例外注入）/双形制角标谓词； V6 modal_flow_test 19 断言直接 new() 进 run_all（26→27 套）——测试抓出并修正 挂起兜底 divergent return 一处（原 main 语义=先结挂起后继续开本层不短路） - ModalStack 互斥域随层登记: register(m, tags) + TAG_NON_LOCKING/TAG_SCREEN_STATE 封闭词表 + has_open_excluding_tags 组查询；原 has_open_excluding/_any 调用点拼装退役 （main 五处判据迁移）；main._modals=flow.stack（ui_struct _list 登记序断言缝保留） - P1-5 控制器构造收拢 context: curio 16 参→CurioFlowContext/camp 13 参→CampFlowContext （字段逐一同名迁移，控制器可独立实例化） 验收: 对拍三变体全同；冒烟 1079/0+run_all 27 套+probe click+render golden 全绿
2 lines
20 B
Plaintext
2 lines
20 B
Plaintext
uid://dxj1wy8n1yp6k
|