WaitSignal的least参数只写“等待阈值”，约束仅要求远端更新signal以避免永久等待。实现先以低bits位掩码再比较least。bits=8、least=256都是声明类型可表示的值，但掩码后最大255，远端无论如何递增或更新都无法使等待结束。文档缺少least与bits之间必须成立的范围关系。
master 基线 e3b8a5a8a27feb68686d56367d15a5a68e8030ff。
e3b8a5a8a27feb68686d56367d15a5a68e8030ff
核对ain_impl.h实际掩码和比较条件；Host穷举8位掩码全部256种结果，确认least=256全部不满足而255可以满足。核对64位最大值边界。未运行或构造会挂起的设备Kernel；仅验证数学条件与文档说明。 仓库适用 pre-commit hooks 与 diff --check 通过。 Markdown链接hook以离线模式使用lychee 0.23.0，未声明外部HTTP链接检查通过。
中英文WaitSignal约束补充least必须不大于低bits位最大值，说明bits=64的完整uint64_t范围，以及8位阈值256的不可达反例。接口行为和函数原型保持原样。
本地无NPU，未执行设备运行测试。
/assign @Ethan_Zou
场景与影响
WaitSignal的least参数只写“等待阈值”，约束仅要求远端更新signal以避免永久等待。实现先以低bits位掩码再比较least。bits=8、least=256都是声明类型可表示的值，但掩码后最大255，远端无论如何递增或更新都无法使等待结束。文档缺少least与bits之间必须成立的范围关系。
版本与位置
master 基线
e3b8a5a8a27feb68686d56367d15a5a68e8030ff。复现与验证
核对ain_impl.h实际掩码和比较条件；Host穷举8位掩码全部256种结果，确认least=256全部不满足而255可以满足。核对64位最大值边界。未运行或构造会挂起的设备Kernel；仅验证数学条件与文档说明。 仓库适用 pre-commit hooks 与 diff --check 通过。 Markdown链接hook以离线模式使用lychee 0.23.0，未声明外部HTTP链接检查通过。
预期与修复建议
中英文WaitSignal约束补充least必须不大于低bits位最大值，说明bits=64的完整uint64_t范围，以及8位阈值256的不可达反例。接口行为和函数原型保持原样。
本地无NPU，未执行设备运行测试。