zeling_v2

416 Commits 1 Branch 0 Tags

3 Commits

Include renames

Author	SHA1	Message	Date
joywayerandClaude Opus 5	0f676b0e88	feat(ai): Build() 校验「非终态必须有出口」，堵住零报错的永久卡死 BrainBuilder.Build() 此前只做正向校验——边指向的态是否已声明（RequireState 的同款关切）；反向从不检查。一个已声明却没有任何出边的非终态，会让敌人进去就永久停在那里，且全程零报错。计划里点名的风险点是 BossFragments.PhaseTransition：它按设计不自带出边，出口全靠调用方补挂，漏一条就把 Boss 锁死。做法：AiState 加 IsTerminal，StateBuilder 加 .Terminal() 显式标记， AiStateFragments.Terminal() 自带该标记；Build() 对「非终态且无出口」抛异常。「有出口」的判定比计划原话严一档，两点都是照 AiRuntime 的实际行为定的： - 自转换不算——Switch 对 Target == 当前态直接 return false，根本出不去； - 全局转换不算——全局事件边要外部推信号才触发，不是自主出口。把它算作出口，等于让「只有死了才出得去」的死角通过校验，而那恰是本校验要暴露的东西。校验放在 Build() 而非各生产入口：生产的完整图装配点是 AiScript.GetOrBuildGraph 与 AiRecipeSO 两处，放 Build() 能让将来新增的入口默认受保护。代价是模块单测需要一条别的路——单个 IUnawareModule / IEngagementModule 按设计只声明自己的态，升级边由 PerceptionSkeleton 事后挂，单独构建时的死角是正常中间态而非缺陷。为此加 BuildPartial()：跳过本项校验，其余照旧。测试侧按语义分两类处理，没有一刀切： - 概念上确实是终态的（Dead）标 .Terminal()，保留 Build() 的全量校验； - 隔离验证单个模块/片段的部分图改用 BuildPartial()； - AiScriptTests / AiDefinitionRegistryTests 的夹具经 GetOrBuildGraph 走生产 Build()，给桩汇态补了回边——这两条本就该验完整图。 - 断言 Build() 因别的原因抛异常的用例原样保留。 PerceptionSkeleton 与嘲风图建的都是完整图，无需改动即通过——这本身就是覆盖。验证：编译 0 错；EditMode 269/269（264 + 新增 5）。加校验后曾有 49 条既有测试变红，全部为上述两类夹具，逐条按语义修正后转绿。变异验证：注释掉 ChaoFengAi 里 PhaseTx 的 txDone 出边后，ChaoFengAiTests 8 条全部变红，报错精确点名 'PhaseTransition'；还原后复验 269/269。本改动之前，同样的删除是零报错的——Boss 会静默锁死在过渡态，这正是本校验存在的理由。 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>	2026-07-31 13:21:07 +08:00
joywayer	fd238b71f1	refactor(ai): AiSignal 8→1，删除零发送方零消费方的死枚举	2026-07-29 11:14:29 +08:00
joywayer	55b6255ce6	@ test(ai): BrainGraph 全面测试——框架边界 + 全感知矩阵(70 tests 全绿) 保证自研 AI 状态机(BrainGraph)稳定与功能正确性。EditMode AI 测试从 31 增至 70。新增 AiFrameworkTests(17)——框架健壮性/边界(与 AiRuntimeTests 主干互补)： - 构图校验：Entry 未设/未声明、全局转换目标未声明、GlobalBuilder 顺序错用抛异常 - 转换优先级：同态多条件首声明胜、全局条件转换、全局优先于局部 - 事件 vs 条件：事件优先(Tick 首步)、未匹配信号被消费不阻塞、多信号首个匹配胜 - 时序：条件自转换 no-op、转换当帧跳过 OnTick、Tick 双参传 dt - trace 环形上限 16、事件推进后清挂起、State 重声明累加转换重写 PerceptionStateMachineTests(22)——完整感知↔状态矩阵： - 待机/巡逻/警觉/追击/死亡全转换 + HasAlert 分支(无警觉态不进警觉) - 追击优先于警觉；追击永不回警觉、脱离全部感知才降级 R(=Patrol) - 视野单独/追逐区单独仍维持追击；locomotion 意图(Idle/Patrol/Face) - 追击触发能力、离开中断能力；死亡为终态不复活验证：反射调用全部 [Test] 方法(负对照确认能捕获失败)，70/70 通过。去重：Blackboard/局部转换目标校验已由 BlackboardTests/BrainBuilderTests 覆盖，不重复。 Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> @	2026-07-20 11:11:54 +08:00

Author

SHA1

Message

Date

joywayerandClaude Opus 5

0f676b0e88

feat(ai): Build() 校验「非终态必须有出口」，堵住零报错的永久卡死

BrainBuilder.Build() 此前只做正向校验——边指向的态是否已声明（RequireState
的同款关切）；反向从不检查。一个已声明却没有任何出边的非终态，会让敌人进去
就永久停在那里，且全程零报错。计划里点名的风险点是 BossFragments.PhaseTransition：
它按设计不自带出边，出口全靠调用方补挂，漏一条就把 Boss 锁死。

做法：AiState 加 IsTerminal，StateBuilder 加 .Terminal() 显式标记，
AiStateFragments.Terminal() 自带该标记；Build() 对「非终态且无出口」抛异常。

「有出口」的判定比计划原话严一档，两点都是照 AiRuntime 的实际行为定的：
- 自转换不算——Switch 对 Target == 当前态直接 return false，根本出不去；
- 全局转换不算——全局事件边要外部推信号才触发，不是自主出口。把它算作出口，
  等于让「只有死了才出得去」的死角通过校验，而那恰是本校验要暴露的东西。

校验放在 Build() 而非各生产入口：生产的完整图装配点是 AiScript.GetOrBuildGraph
与 AiRecipeSO 两处，放 Build() 能让将来新增的入口默认受保护。代价是模块单测
需要一条别的路——单个 IUnawareModule / IEngagementModule 按设计只声明自己的态，
升级边由 PerceptionSkeleton 事后挂，单独构建时的死角是正常中间态而非缺陷。
为此加 BuildPartial()：跳过本项校验，其余照旧。

测试侧按语义分两类处理，没有一刀切：
- 概念上确实是终态的（Dead）标 .Terminal()，保留 Build() 的全量校验；
- 隔离验证单个模块/片段的部分图改用 BuildPartial()；
- AiScriptTests / AiDefinitionRegistryTests 的夹具经 GetOrBuildGraph 走生产
  Build()，给桩汇态补了回边——这两条本就该验完整图。
- 断言 Build() 因别的原因抛异常的用例原样保留。
PerceptionSkeleton 与嘲风图建的都是完整图，无需改动即通过——这本身就是覆盖。

验证：编译 0 错；EditMode 269/269（264 + 新增 5）。
加校验后曾有 49 条既有测试变红，全部为上述两类夹具，逐条按语义修正后转绿。

变异验证：注释掉 ChaoFengAi 里 PhaseTx 的 txDone 出边后，ChaoFengAiTests
8 条全部变红，报错精确点名 'PhaseTransition'；还原后复验 269/269。
本改动之前，同样的删除是零报错的——Boss 会静默锁死在过渡态，
这正是本校验存在的理由。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

2026-07-31 13:21:07 +08:00

joywayer

fd238b71f1

refactor(ai): AiSignal 8→1，删除零发送方零消费方的死枚举

2026-07-29 11:14:29 +08:00

joywayer

55b6255ce6

@

test(ai): BrainGraph 全面测试——框架边界 + 全感知矩阵(70 tests 全绿)

保证自研 AI 状态机(BrainGraph)稳定与功能正确性。EditMode AI 测试从 31 增至 70。

新增 AiFrameworkTests(17)——框架健壮性/边界(与 AiRuntimeTests 主干互补)：
- 构图校验：Entry 未设/未声明、全局转换目标未声明、GlobalBuilder 顺序错用抛异常
- 转换优先级：同态多条件首声明胜、全局条件转换、全局优先于局部
- 事件 vs 条件：事件优先(Tick 首步)、未匹配信号被消费不阻塞、多信号首个匹配胜
- 时序：条件自转换 no-op、转换当帧跳过 OnTick、Tick 双参传 dt
- trace 环形上限 16、事件推进后清挂起、State 重声明累加转换

重写 PerceptionStateMachineTests(22)——完整感知↔状态矩阵：
- 待机/巡逻/警觉/追击/死亡 全转换 + HasAlert 分支(无警觉态不进警觉)
- 追击优先于警觉；追击永不回警觉、脱离全部感知才降级 R(=Patrol)
- 视野单独/追逐区单独仍维持追击；locomotion 意图(Idle/Patrol/Face)
- 追击触发能力、离开中断能力；死亡为终态不复活

验证：反射调用全部 [Test] 方法(负对照确认能捕获失败)，70/70 通过。
去重：Blackboard/局部转换目标校验已由 BlackboardTests/BrainBuilderTests 覆盖，不重复。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@

2026-07-20 11:11:54 +08:00