PTX-EMU

PTX-EMU 项目经验沉淀 — 跨模块状态翻译、递归锁、分 Phase commit、基线 worktree、qualifier 类型判断等具体失败模式与可复用 checklist。来自 2026-06 barrier module 迁移 + 2026-07 cute_rmsnorm float 类型判断实战

ADR 合规检查 — 开发完成后对照 ADR 检查清单验证实现是否符合架构决策

Implement tasks from an OpenSpec change. Use when the user wants to start implementing, continue implementation, or work through tasks.

Archive a completed change in the experimental workflow. Use when the user wants to finalize and archive a change after implementation is complete.

Propose a new change with all artifacts generated in one step. Use when the user wants to quickly describe what they want to build and get a complete proposal with design, specs, and tasks ready for implementation.

PTX-EMU 专用调试技能 - 自动化调试配置选择和场景化调试方法

三模式 PTX 测试生成框架 — 从任意 CUDA 程序自动生成 PTX/IR/执行三种测试模式

PTX-EMU 屏障机制全解 — S_BAR vs S_BAR_WARP_SYNC 双路径、bar.sync 翻译、Wbar 生命周期、PC 管理、多层覆写风险

Use when adding new unit tests that test barrier/warp/gpu scenarios directly via Wbar API or ThreadContext methods, to ensure corresponding integrated tests driven by execute_warp_instruction exist and validate thread PC expectations.

防止 Oracle 子代理虚构文件/代码的提示词构造规则 — 预加载索引 + 强制引用 + 假设框架 + 验证门禁

PTX ANTLR4 语法修改流程 — 强制 TDD 流程、错误分类、测试验证

PTX-EMU 指令执行流水线全貌 — 从 Warp 调度到 Thread 执行、Handler 分发、屏障处理、PC 同步的完整调用链与危险区地图

PTXIR 二进制序列化格式 — 预解析 PTX kernel 的快速加载与存储，绕过 ANTLR 解析开销