Ziwei，你好，
【中文摘要】 今天的核心进展在 PhaseGuard：形式化模型已明确区分 software warp、TMA engine 与 Tensor Core，并把操作拆成 issue / access / complete；SM90 路径最完整，SM100 已覆盖部分 TMA、mbarrier 与 tcgen05 completion 建模。7 个 CUTLASS 算子已绑定真实源码与配置，原始协议完成有限验证。当前最有价值的下一步，是选定 1 个 CUTLASS kernel，完成“原版 + 两种删边变体 → 编译 → 抽取 → 验证 → Racecheck/Synccheck”的完整闭环，再扩大规模。今天未发现 Jia、Mengdi 或 CAKE 的新增反馈。
行政方面，延期材料已于 8 月 21 日 11:28 ET 提交 OIE，拟延至 2026 年 11 月 4 日；OIE 批准和新版 DS-2019 仍待确认。今天没有新回复。
眼前节点： - 8 月 24 日 12:00 ET：将 36×24 英寸 PDF 海报发送至 sawako@andrew.cmu.edu。发送状态未确认，建议周日完成内容、尺寸和导出检查。 - 8 月 26 日：14:30 到 GHC 7101 Atrium，15:00–16:30 展示；14:50 为绝对最晚到达时间。 - 投稿雷达：ASPLOS 9 月 9 日 AoE；NSDI 摘要 9 月 10 日、全文 9 月 17 日 ET；ICLR 摘要 9 月 18 日 AoE。当前投稿状态均未确认。USENIX Security ’27 Cycle 1 按主动不投归档。
财务（当前已同步数据）：BofA 信用卡余额 $126.72 / $700，利用率 18.1%；另有 $8.66 餐饮待入账。账户同步新鲜度未确认。 状态：本周 TOEFL 与健身均无已核实记录；实习日志基线待核 /14；To Do 同步尚未验证。
资料： - PhaseGuard / poster working notes: https://app.notion.com/p/3b3dec152e1d80bfb8d4e44ab12b34a8?pvs=204 - ASPLOS 2027 CFP: https://www.asplos-conference.org/asplos2027/cfp/ - NSDI ’27 CFP: https://www.usenix.org/conference/nsdi27/call-for-papers - ICLR 2027 CFP: https://iclr.cc/Conferences/2027/CallForPapers
限制说明：本次读取实习日历工作簿当前版本时遇到暂时性错误，因此日程依据 Google Calendar 与直接项目通知交叉核对。自然普通话与英语配音服务本次均不可用，未生成配音视频，也未使用机械语音替代。
【English Summary】 PhaseGuard advanced materially today. The formal model now separates software warps, the TMA engine, and Tensor Cores, and splits operations into issue, access, and complete. SM90 is the most complete path; SM100 partially models TMA, mbarrier, and tcgen05 completion. Seven CUTLASS operators are tied to real sources/configurations and their original protocols pass bounded verification. The decisive next step is one end-to-end CUTLASS kernel loop: original plus two edge-removal variants, then compile, extract, verify, and run Racecheck/Synccheck. No new feedback from Prof. Jia, Mengdi, or CAKE was found today.
The extension package was filed with OIE on Aug 21 at 11:28 ET for a proposed Nov 4, 2026 end date. OIE approval and the revised DS-2019 remain pending.
Immediate gates: - Aug 24, 12:00 ET: email the 36×24-inch poster PDF to Sawako. Send status is unconfirmed; complete content, dimensions, and export checks Sunday. - Aug 26: arrive at GHC 7101 Atrium at 14:30; presentation runs 15:00–16:30. Absolute latest arrival is 14:50. - Submission radar: ASPLOS Sep 9 AoE; NSDI abstract Sep 10 and paper Sep 17 ET; ICLR abstract Sep 18 AoE. Submission status is unconfirmed for each. USENIX Security ’27 Cycle 1 remains an intentional no-submit.
Finance, from currently synced data: BofA card balance $126.72 of $700, or 18.1% utilization; one $8.66 dining charge is pending. Sync freshness is unconfirmed.
Attached are the Chinese and English 1920×1080 boards. Narrated videos could not be produced because natural Mandarin and English speech services were unavailable in this run; no robotic substitute was used.