CI: the all-rules denominator counts members, not internal features

这一步比较包里每一个 `[features.<x>]` 与夹具激活的那一列,好让第七个成员不能被悄悄漏出
「every rule module compiles for this host」。`[features.surface]` 让它红了,而且红得对:
那是一个夹具没点名的新 feature。

但它不是成员。它承载 surface 的构建程序那一半,每个成员都 implies 它,消费者永远不写它。
把它加进夹具是错的修法 —— 夹具那一列的含义是「消费者能激活的成员」,为了让检查变绿而往里
填东西,只会让检查的含义变少。

所以分母减去「被别的 feature implies 的」。这条规则从 manifest 推出来而不是列在这里,正是
这个检查原本就有的性质:第七个**成员**仍会被抓到,因为没有东西 implies 它。

两条腿都验过:修正后两列一致;临时加一个新成员,它出现在分母里并会让这一步失败。

Author: Sunrisepeak

.github/workflows/ci.yml

@@ -752,8 +752,20 @@ jobs:
           # `<name> = { ... }`. Reading keys out of the table BODY matched
           # `sources` once per feature and reported the fixture as
           # incomplete while the extractor was what broke.
+          # MEMBERS, NOT EVERY FEATURE. A feature that another feature
+          # IMPLIES is internal -- `surface` carries the build-program half of
+          # the generated surface and every member implies it, and a consumer
+          # never writes it. Subtracting the implied ones keeps this check
+          # meaning "the fixture names every member a consumer can activate";
+          # padding the fixture instead would make it mean less.
+          #
+          # The rule is read out of the manifest, not listed here, so a seventh
+          # MEMBER is still caught: nothing implies it.
+          implied=$(grep -oE '^implies[[:space:]]*=.*' mcpp.toml \
+                    | grep -oE '"[a-z0-9-]+"' | tr -d '"' | sort -u)
           feats=$(grep -oE '^\[features\.[a-z0-9-]+\]' mcpp.toml \
-                  | sed 's/^\[features\.//; s/\]$//' | sort)
+                  | sed 's/^\[features\.//; s/\]$//' | sort \
+                  | comm -23 - <(printf '%s\n' $implied | sort))
           used=$(sed -n '/features = \[/,/\], host-module/p' tests/all-rules-compile/mcpp.toml \
                  | grep -oE '"[a-z-]+"' | tr -d '"' | sort)
           [ -n "$feats" ] || {