lili
6f69167d97
feat(cheap-worker): 自动 play-spec 加厚到金标同质 + 防自证(M1 U2)
ensure_play_spec 的 tap-targets occupied 族补 expectedEngineCallPrefixes,让生产自动
spec 的 F_wiring 从「宽松过(只验有调用)」升到「验调了正确 L2 插件」、达金标同质。期望取
自预置常量 _TAP_TARGETS_CALL_PREFIXES(外生 held 期望,对齐三份金标 fixtures),绝不从
该局实际 __engineCalls 反推——否则 F_wiring 退化自证、必过、假绿。key-cycle 族保持薄版
(待输入键契约 WU-C 5.4)。spec 构造抽 _build_play_spec 纯函数便于单测。
验证:test_ensure_play_spec.py 8/8(与三份金标逐字段一致 + 防自证外生恒定 + key-cycle
薄版 + 已存在不覆盖);auto-vs-golden 真跑 delta=0(打地鼠自动 spec 驱动 vs 金标 9 门全
一致,F_wiring 在自动 spec 下真验语义期望仍过)。
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
2026-06-27 04:40:04 -07:00
..
2026-06-26 10:43:39 -07:00
2026-06-27 04:40:04 -07:00
2026-06-26 02:42:14 -07:00
2026-06-26 02:42:14 -07:00
2026-06-27 04:40:04 -07:00
2026-06-27 02:01:20 -07:00
2026-06-26 02:42:14 -07:00
2026-06-26 11:00:00 -07:00
2026-06-26 02:42:14 -07:00