2026-07-27

CMU 暑研日报｜2026-07-27 中文摘要：今天与 Mengdi 的讨论形成了明确研究决策：先把 scope、状态语义和端到端 formalization 定义清楚，再扩展特性与算法。actor-driven、按 warp 建模的整体方向基本合理，并与 Mengdi 正在搭建的 prototype 相近；但现有文档仍偏 high-level，需要用一个具体 kernel 逐步展示从程序到