docs(w05): S1 配方次序改对 —— 案卷排到骨架两笔之后

gate_reason 引的 parts_profile_missing / parts_parameter_missing 要等
②③ 把骨架行铺出来才有值。排在前面时引擎给它读到 0,卡照样正确发出,
但卡上那句「还差什么」是空白的 —— 恰在人最想要一句解释的时候。

计划与 spec 两处都写着旧次序,不改则下游任务照抄同一个错。
S2/S3/S4 已核,次序都对(投影在前、读它的排在后),病只在 S1 一处。

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LKMZDwMbyKzjw6Hembwvet

docs/superpowers/specs/2026-08-29-act-work-05-rewrite-design.md

@@ -200,26 +200,16 @@ let  evalRef = cat('W05-', fmt(case:openedAt, digits))
                        then 'found' else 'absent'
      chip_type_id  = lookup('parts.profile' by internal_pn={col:'pn'} take chip_type_id, else '')
 
-② project sub_eval.case  from once
-     eval_ref     = {in:'evalRef'}
-     chip_type_id = lookup('mine:sub_eval.part' by role='original' take chip_type_id, else '')
-     gate_reason  = when 链(**全读基座数**):
-                      两颗 PN 有一格为空                       → 「原 / 候选料号还没填」
-                      sub_eval_part_exists_status_absent > 0    → 「<PN> 库里没有,请在下面建」
-                      sub_eval_part_distinct_chip_type_id > 1   → 「两颗料类型不一致,换一颗或把类型改对」
-                      parts_profile_missing + parts_parameter_missing > 0 → 「还差 n 格没填」
-                      其余                                     → ''
-
-③ project parts.profile  prune  from each('mine:sub_eval.part')     ← **两颗料都铺**
+② project parts.profile  prune  from each('mine:sub_eval.part')     ← **两颗料都铺**
      internal_pn = {col:'internal_pn'}
      chip_type_id / brand_name / lifecycle_status / specification_description /
      manufacturer_name / datasheet_ref / datasheet_version
         = lookup('parts.profile' by internal_pn={col:'internal_pn'} take 同名列, else '')  ← 回填现值
-     ↑ 与④同构。在库那颗回填出它此刻的样子;要建那颗全空等人填。
+     ↑ 与③同构。在库那颗回填出它此刻的样子;要建那颗全空等人填。
        **「在库的老料还没归类型」于是也被拦住** —— 那一格回填出来是空的,而 chip_type_id 必填。
        人不必在件上「加一行」:要建哪颗料是启动参数就定死的事,行由系统摆好,他只填格子。
 
-④ project parts.parameter  prune
+③ project parts.parameter  prune
      from each('mine:sub_eval.part')                       ← **两颗料都铺,不只是缺库那颗**
        then each('parts.type_param' where type_id={outer:'chip_type_id'})
      internal_pn = {outer:'internal_pn'};param_name / param_unit ← {col:…}
@@ -232,6 +222,21 @@ let  evalRef = cat('W05-', fmt(case:openedAt, digits))
        · 在库那颗料**也**铺,值回填现值 → 屏上是它此刻的样子,`_missing` 不会误报;
        · **「在库但参数没录全」于是自动被拦住** —— 那一格回填出来是空的,红带点名、闸按不下。
 
+④ project sub_eval.case  from once
+     eval_ref     = {in:'evalRef'}
+     chip_type_id = lookup('mine:sub_eval.part' by role='original' take chip_type_id, else '')
+     gate_reason  = when 链(**全读基座数**):
+                      两颗 PN 有一格为空                       → 「原 / 候选料号还没填」
+                      sub_eval_part_exists_status_absent > 0    → 「<PN> 库里没有,请在下面建」
+                      sub_eval_part_distinct_chip_type_id > 1   → 「两颗料类型不一致,换一颗或把类型改对」
+                      parts_profile_missing + parts_parameter_missing > 0 → 「还差 n 格没填」
+                      其余                                     → ''
+     ↑ **这一笔必须排在②③之后,不许提前**(2026-08-29 走查实测):`gate_reason` 是**摆给人看的那句解释**,
+       而它引的 `parts_profile_missing` / `parts_parameter_missing` 要等②③把骨架行铺出来才有值。
+       排在前面时,引擎在②③写入**之前**给它读到 0 —— 卡照样正确发出(`card.when` 排在更后面,读到的是真缺口),
+       但卡上那句「还差什么」是**空白的**,恰在人最想要一句解释的时候。
+       **一笔读的是另一笔写出来的数,它就得排在那一笔后面。**
+
 ⑤ card 执行工单 · variant data · view 'input-supplement'      when gate_reason != ''
      gateLedgers = [parts.chip_type, parts.type_param, parts.profile, parts.parameter]