先证明尺子能红 · 三条新臂的定向手术
arm  手术                                            status          exit  frameRes  结论
a6    truncation_points 数组删去最后一个对象（18→11 项）            MISMATCH        3     1          RED-AS-DESIGNED
a7    server_cap 条目的 kept_chars 8000 → 7999            MISMATCH        3     1          RED-AS-DESIGNED
a8    pin 92e1f2f1 正文中段删 10 字符                         MISMATCH        3     1          RED-AS-DESIGNED

allRedAsDesigned=true  (0=三条都按设计翻红)
