在管约论（Government-Binding Theory, GB）时期，格理论（Case Theory）被规定为在表层结构（S-Structure, SS）上生效：名词性成分在进入推导时并不带格，而是在 SS 上由某个”管辖”（government）它的成分指派（assign）格；若到 SS 还没派到格，句子就崩（crash）。这套说法依赖两个技术假设：其一，格是被指派的；其二，指派在管辖构型下进行。

进入最简方案后，SS 这一层被取消。MP 只能利用概念上必需的两个接口层——逻辑形式 LF（给语义/思维系统读）和语音形式 PF（给发音—听觉系统读）。于是格理论被重新表述为核查（checking）：名词成分带着自己早已在词库中指定好的格特征进入推导，当它与某个局部中心语的格特征相匹配时，二者互相”核查”；若到 LF 仍无匹配，推导就在 LF 崩溃。这样就把格现象从”SS 指派”改写为”LF 过滤”，不再需要 SS。

这套核查思路在经验上甚至优于 GB：它能自然处理虚词结构（existential construction，如 *there is a cat*）和约束事实（如 *the men* 隐性移位后 C-统制并约束附加语里的反身代词），而不必附加特殊规定。它还能解释跨语言差异——法语动词上移、英语上移、汉语 wh- 不移——办法是引入强特征（strong feature）：强特征若不在显性句法中被核查，就会在 PF 崩溃。

核查装置虽然好用，却把一串”为什么”摆上了桌面。本章围绕两个根本谜团展开：

• 谜团一：为什么人类语言会有移位（movement）？ 表达出现在一个位置、却在另一个位置被解释，这种”位移”（displacement）是人类语言的”大事实”之一，GB 只描述它、不解释它。
• 谜团二：为什么词库里会有 [-interpretable]（不可诠释）的形式特征？ 性、数、人称、格这些信息，在名词上出现一次就够解释，为何要在动词/限定词上反复抄写三遍？

本章最迷人的主张是：这两个谜团是同一枚硬币的两面。如果词库里没有不可诠释的形式特征（[-interpretable] formal features），推导就不必删除它们；一旦这些”不该存在”的特征存在，语言机能就必须发明一套机制把它们删掉——否则 LF 读不懂计算系统产出的对象。移位（以及后来的一致 Agree）就是来救场的：它让 [-interpretable] 特征在被核查的同时被删除。于是”为什么有移位”和”为什么有不可诠释特征”互相定义。

旧框架把”隐性移位”（covert movement，Spell-Out 之后的移位）和”显性移位”对立起来，并靠两条经济性规定维持：Procrastinate（能隐性就隐性，因为隐性更省）和修订版扩展条件（显性 Merge 只能作用于根结点）。本章论证这两条规定都偷偷把 SS 复活成了一个过滤层，违反一致性条件（Uniformity Condition）。

为摆脱这两条规定，本章给出两套与一致性条件相容的方案：

1. Alternative I — Move F（特征移位）：真正移动的只是形式特征集 FF；整类短语被”拖带”（pied-piping）纯属形态—语音成分的要求。于是根本不必设”隐性成分”，一切移位都在显性句法里、循环地进行。
2. Alternative II — Agree（一致）：连特征都不必移动。带未赋值 [-interpretable] 特征的中心语作探针（probe），在其 C-统制域里搜寻带匹配 [+interpretable] 特征的目标（goal）；Agree 一次性完成”为形态赋值 + 为 LF 删除”。格由此成为一致关系的副产品。

建议按以下顺序啃：先吃透 9.3 的 [±interpretable] 与 Last Resort（这是两套方案共同的地基）；再看 9.3.3 虚词 there/it 的特征构成个案（最能检验你是否真懂”可诠释/不可诠释”）；然后 9.4.2 Move F 一路（注意 pied-piping、左侧分支条件、sideward movement 如何化解循环性难题）；最后 9.4.3 Agree 一路（重点是 probe/goal/active、格由一致派生、hyperraising 与 [person] 的关键作用）。两路线并列读、对照读，不要急于站队。

表卷首-1　第9章地图：节次、主题与关键装置