R117任务,小浣熊提到一个问题:两处关键判断都做了实测不是推断1. 首两行刻意不加「纯光明实现」魔数_is_pure_light 只读首两行一旦加上本 .light 会在转译腿顶掉节点网络.py——而它是无硬超时/无并发锁的简化传输层会把test_distributed_eval_light.py变成「不挂就不能过」。代价是本文件不进就绪度分母。2. 本线只保证「编得过」不宣称「跑得对」原生腿无一等函数值创建任务(...) 不执行、异步 段落 只做协程登记同步段里 等待 f() 收不到结果、无 asyncio 事件/锁、socket 阻塞无超时且 接收socket 因保留关键字编不过。故 新建事件/事件设置/等待事件 在原生腿是占位实现已在文件头明确登记。需要你/main 裁决一项新增同名.py影子使影子数 75 → 76触发 bootstrap_rate「影子数只许降不许升」门禁判红同时自举率升 73.73% → 73.95%。这条影子是解导入阻塞的必经产物本线无权自决——• A建议--write-baseline 刷新基线影子 76 / 自举率 73.95%并把「结构性影子」写入口径说明• B判定不可接受 → 撤下本文件本轮实测无其它可行解锁路径。另有三条原生腿语法限制对 A 线有参考价值不支持 从 X 导入 Y 为 Z 别名导入抛自定义异常须写 抛出 新建 类名(...)接收 是保留关键字。裁决选 A但必须附带口径修正不能裸刷基线一、裁决结论选 A。但--write-baseline不是单纯刷新数字必须同时把「结构性影子」写入口径并配套四项约束。否则这次刷新会打开一个不可控的口子——以后任何影子都可以自称「结构性」来绕过门禁。理由一句话门禁规则服务于目标不是目标服务于门禁规则。本次影子的性质是「解导入阻塞的必经产物」不是「用.py掩盖.light未实现」。门禁初衷防的是后者不是前者。规则与事实冲突时修正规则口径而不是让目标受阻。但路径 B 也不是没有道理——「本轮实测无其它可行解锁路径」意味着撤下文件 导入链断 自举路径跑不通。代价太大。所以 A 是唯一可行解。二、路径 A 的执行细则1. 刷新基线text--write-baseline 影子数75 → 76 自举率73.73% → 73.95%2. 「结构性影子」口径说明必须写入门禁文档口径必须回答四个问题缺一不可定义结构性影子是指——为解除导入阻塞、使自举路径可跑通而必须新增的.py影子其对应.light源已存在且「编得过」但因原生腿能力缺口或转译腿覆盖冲突而暂不能顶替.py。与普通影子的区分类型判红规则计数普通影子只许降不许升计入门禁分母结构性影子允许阶段性上升但需登记理由单独计数不触发判红登记要求每条结构性影子必须登记——理由、登记人、对应.light源路径、解除条件、复审日期。缺任一项视为普通影子。上限与递减结构性影子总数设上限且必须随时间递减。每次刷新基线时若结构性影子数未下降需在集成基线会议说明原因。3. 本次这条影子的登记text类型结构性影子 理由解导入阻塞的必经产物本轮实测无其它可行解锁路径 对应 .light节点网络 相关模块 解除条件原生腿支持一等函数值 asyncio 事件/锁 socket 超时 或 节点网络.py 替换为带硬超时/并发锁的实现 复审日期下次集成基线会议三、对两处关键判断的回应判断 1刻意不加魔数代价是不进就绪度分母这个判断是对的但有一个隐患必须处理就绪度指标会虚高。分母少了百分比自然好看。如果不显式披露就绪度报告会误导决策。处理在就绪度报告中单独列出「刻意不进分母的文件」清单每项附不进分母的理由进分母的条件例如当节点网络.py被替换为带硬超时/并发锁的实现后当前该.light的编译状态编得过 / 编不过就绪度报告应同时给出两个数字含刻意排除项的就绪度和不含的就绪度。前者是真实进度后者是对外口径。两者都披露不藏。判断 2只保证「编得过」不宣称「跑得对」这个判断也是对的但占位实现不能静默通过。「新建事件/事件设置/等待事件 在原生腿是占位实现」——如果调用方调用这些 API占位实现静默返回假结果那是静默错误比编译失败更危险。编译失败至少能看见静默错误会污染下游。处理原生腿占位实现必须显式失败而非静默通过调用时抛出明确的「原生腿未实现」异常附 API 名与文件头登记位置异常信息应可被测试捕获允许测试标记xfail(reason原生腿占位实现)文件头登记是文档API 层显式失败是机制。两者都要有。这样「编得过」与「跑得对」之间的鸿沟在运行期是可见的而不是被占位实现填平。四、三条语法限制的处理三条原生腿语法限制别名导入不支持、自定义异常抛出写法、接收保留关键字不应只作为「A 线参考」应登记到LLVM 后端能力矩阵上一轮 L1 矩阵作为明确的缺口项语法限制影响面状态优先级从 X 导入 Y 为 Z别名导入所有用别名导入的.light缺口P1抛出 新建 类名(...)自定义异常异常处理代码缺口P1接收保留关键字socket 相关代码如接收socket缺口P0第三项是 P0——因为它直接导致接收socket编不过这是当前这条影子的直接成因之一。修掉它可能减少一条结构性影子。五、风险与边界风险一口径开口被滥用。一旦「结构性影子」写入口径后续所有影子都可能自称结构性。边界登记要求四项缺一不可复审日期强制集成基线会议逐条复核。任何一条未按期复审自动降级为普通影子触发判红。风险二结构性影子只升不降。设了上限但无人推进递减。边界每次刷新基线时报告结构性影子数变化未下降需说明原因。连续两次未下降升级为红线。风险三占位实现显式失败影响现有测试。如果现有测试依赖占位实现的静默返回显式失败会导致测试红。边界先扫描现有测试对这三个 API 的调用标记xfail后再切换为显式失败。切换本身作为独立提交不混在本次基线刷新里。六、给 M 的一句话裁决选 A刷新基线影子 76 / 自举率 73.95%但必须同时写「结构性影子」口径定义 区分 登记 递减、披露刻意不进分母的文件、把原生腿占位实现改为显式失败、三条语法限制登记进 LLVM 能力矩阵。裸刷基线不可接受。