对 LeetCUDA 技术书做“第零层(数理逻辑)+ 四层”正确性自审:先验推导链与量词/蕴含,再查定义/指称、API/硬件契约、资源/类型计数、表达一致性。当任务涉及修改 chapters/*.tex 后的自审、审阅 CuTe/CUDA/PTX 事实断言、排查“公式对了但名词/作用域/寄存器口径错了”、检查图注/表格/面试问答与正文冲突、commit 或发布前验收、复核“零拷贝/必然/所有/唯一/最优/寄存器/共享/周期”等高风险表述时使用。产出逐条 claim…
Langue du texte source : chinois