来源: deepseek-v4-flash + Claude Code agentic 只读扫描(自动)
文件: server/src/zhenfa/mod.rs:3392
级别: major
证据
handle_zhenfa_disarm_requests 中 registry.remove(instance_id) 后仅清 Lingju 效果/移除方块/despawn 锚点,从未调用 release_zhenfa_qi_to_zone。布阵时 cultivation.qi_current -= qi_cost 且 should_release_sealed_qi_to_zone 对 Trap/Ward/ShrineWard/Lingju/BlastTrap 等为 true,密封真元应在销毁时归还 zone。拆阵经 client_request_handler.rs:1677 ZhenfaDisarmRequest 玩家可达,且 4.5 格内任意玩家可拆任意阵;每次拆高真元阵使 qi_current 扣减永久不回流,违反守恒红旗「容器把真元凭空消失不归还 zone」。对照到期路径 2833 行有 release。
对抗验证: 拆阵/强拆处理中 registry.remove 后仅清 Lingju/移除方块/despawn,未调用 release_zhenfa_qi_to_zone;布阵已扣 qi_current 且该类型应归还 zone,真元凭空消失,此路径由 ZhenfaDisarmRequest 可达,违反守恒。
重构清理时一并核实;修复或验伪后关闭。
来源: deepseek-v4-flash + Claude Code agentic 只读扫描(自动)
文件:
server/src/zhenfa/mod.rs:3392级别: major
证据
handle_zhenfa_disarm_requests 中
registry.remove(instance_id)后仅清 Lingju 效果/移除方块/despawn 锚点,从未调用 release_zhenfa_qi_to_zone。布阵时cultivation.qi_current -= qi_cost且 should_release_sealed_qi_to_zone 对 Trap/Ward/ShrineWard/Lingju/BlastTrap 等为 true,密封真元应在销毁时归还 zone。拆阵经 client_request_handler.rs:1677ZhenfaDisarmRequest玩家可达,且 4.5 格内任意玩家可拆任意阵;每次拆高真元阵使 qi_current 扣减永久不回流,违反守恒红旗「容器把真元凭空消失不归还 zone」。对照到期路径 2833 行有 release。对抗验证: 拆阵/强拆处理中 registry.remove 后仅清 Lingju/移除方块/despawn,未调用 release_zhenfa_qi_to_zone;布阵已扣 qi_current 且该类型应归还 zone,真元凭空消失,此路径由 ZhenfaDisarmRequest 可达,违反守恒。
重构清理时一并核实;修复或验伪后关闭。