6. 并发、同步和错误

函数不得返回带有未完成副作用的异步操作；对 global/buffer/image store 至少等待 vst，对 load/返回原子等待 vm/tex，对 SFU 等待 sfu。workgroup 屏障由调用者保证所有活跃 warp 到达；ABI 不允许跨 workgroup 共享隐式栅栏。trap 保存现场包含当前段编号、拼接后 PC、EXEC 和 scratch 指针，CP 可按段元数据恢复或终止。