今天主要的判断都在做减法。
上午把 PhaseGuard 论文的 boundary section 又过了一遍：已冻结的面是 CUTLASS/FA3，准入 idiom 之外一律 fail closed。这条边界不打算让步——它和没有总体误报率是配套的，不能拆开。
下午跟 Stephen Mell 整理 OppEval 那一组数据。两个关键性谓词，一个恒真一个恒假——这条线不是调参数的问题，是结构上要重新想。
晚上看了一眼接下来几周的硬节点：8-31 HKU 提前批 R2 截止；9-9 ASPLOS 2027 决定 PhaseGuard 是否进投稿线；9-10 NSDI 标题 + 摘要。
这一周要把「与本人裁定」和「与原始数据」之间的来回落到 paper 里。