關鍵字目錄與位置分層
本頁只處理 T-SQL 關鍵字的產生、位置旗標與資料庫物件過濾；子句回溯的邊界另見 子句邊界與不開清單，SET 選項這類非保留字見子句片語。
產生與維護
T-SQL 關鍵字不是手寫的，由 tools/Generate-Keywords.ps1 反射 SSMS 自帶的 ScriptDom 產生，結果 commit 進 Core/Keywords/SqlKeywordCatalog.Generated.cs。 換 SSMS 版本重跑就更新。剖析結果快取在 artifacts/cache/，只剖析新出現的文字。 快取只存剖析器的回答（拒收落在 哪一段、整段完不完整），解讀每次重算；ScriptDom 版本、拒收錯誤碼或探測器 <cache-facts> 區段一變就整份作廢，懷疑不一致時加 -NoCache 重建。每個階段都自我驗證，不猜字：
取字面值：
TSqlTokenType的成員名稱大寫後丟回 tokenizer，對得回原成員才採用； camelCase 的再試補底線的寫法（CURRENT_TIMESTAMP、IDENTITY_INSERT）。定位置：把每個關鍵字塞進樣板的洞裡剖析，依錯誤碼判定它在該位置合不合法。 46005（必須是 X 卻發現 Y）、46010（語法不正確）、46014（只可存在於資料行層級）、 46001（內部錯誤）= 不合法；46029（未預期的檔案結尾）= 合法，只是語句沒寫完。「不是這裡的選項」那一族 （46006…）從剖析器的訊息資源撈。單一續尾會誤判，所以每個位置試一組續尾取聯集。非保留字要以關鍵字身分過才算 屬於那個位置：同一組續尾換成普通名稱也過的話，那一次只證明它能當名字。 MERGE 少了分號只報 46097、之後不再檢查：補上分號重剖析，整段比對仍有 46097 就算拒收。
寫完一項或一句的字：樣板接上它就是完整的一句。以它結尾的是片段（
NULL、DESC）時 之後往回找子句；是語句本身（BREAK）時是語句界線， 那一句再也接不了別的字時之後才是語句開頭（COMMIT還接TRAN，照舊Any）。
手寫的只有每個位置的樣板，分類全部由剖析器決定。樣板必須是分析器判得出、 而且回報含該位置的文字：樣板表隨產物輸出成 SqlKeywordCatalogData.Templates， 由 Core 測試逐條回驗。只有產生器分得出的位置是自欺——型別寫完之後（CREATE TABLE t (a int |）因此沒有樣板，是 Any。
非保留字是唯一的例外：THROW、APPLY、NOLOCK 不在 token 列舉裡，由產生器的 $NonReservedSupplement 手寫，位置一樣自動分類。
召回稽核
SqlKeywordRecallTests 以召回稽核的判定守 RecallCorpus.sql 零漏。 沒有豁免名單：刻意不收的不進語料，理由寫在那一格的文件。
依位置分層
每個關鍵字帶著「可以出現在哪些位置」，由 SqlKeywordPositionAnalyzer 判斷位置後過濾：
（語句開頭） → SELECT、USE、BACKUP、RESTORE、CREATE…
SELECT * FROM t ORDER BY a → ASC、DESC
SELECT * FROM t GROUP BY a → HAVING、ORDER（GroupByTail）
SELECT TOP 10 → PERCENT、WITH，以及選取清單起點的字（TopClauseTail）
SET NOCOUNT → ON、OFF（SetOptionValue）
BEGIN … END → 下一句的字，加上 ELSE、TRY、CATCH（BlockEnd）
IF @a = 1 SELECT 1 → 選取清單尾端，加上 ELSE（IfBodyEnd）
DECLARE c CURSOR LOCAL → FOR（CursorOption；選項由片語給）
CREATE SEQUENCE s AS int → START、NO（SequenceOption；選項由片語給）
ALTER TABLE t → ADD、ALTER、DROP、CHECK、NOCHECK、SET、WITH、MERGE
ALTER TABLE t ADD → CONSTRAINT、DEFAULT、PRIMARY、FOREIGN、UNIQUE、CHECK、INDEX…
CREATE TABLE t ( → CONSTRAINT、PRIMARY、UNIQUE、INDEX…，沒有 DEFAULT（ColumnDefinition）
CREATE TRIGGER tr ON t AFTER → INSERT、UPDATE、DELETE（TriggerEvent）
OVER (ORDER BY a → ASC、DESC、ROWS、RANGE（WindowOrderTail）
GRANT EXECUTE ON → SCHEMA、OBJECT…與名稱（PermissionOn）
CREATE INDEX … WITH ( → ONLINE、FILLFACTOR…（IndexOption）
FOR XML RAW, → TYPE、ROOT、ELEMENTS（OptionItem）
TABLESAMPLE (10 → PERCENT、ROWS（TableSampleTail）
PIVOT (SUM(x) FOR y → IN（PivotClause）位置切在「游標前一個詞元」之後，那是分析器認得的粒度——它分不出 FROM t 的 t 是資料表還是聯結對象，目錄就不假裝分得出來。
判不出位置的字只在判不出位置時出現
產生器判不出位置的深層子句字（STOPLIST、NOLOCK…）產出為 None，None 只有 這一個意思：分析器也判不出位置（Any）時才出現。規則在 SqlKeywordPositionExtensions.Allows， 關鍵字、內建函式與片段共用。放行到每個位置的話 SELECT S 列得出 STOPLIST； 整個藏起來也不行，判不出位置的地方（WITH (、= ANY）正是它們的用處。 某個字的用法落在判得出的位置時，該補的是產生器的樣板，不是放寬這一條。 「這一格是新名字」是另一軸（SqlCompletionSlot），不借用 None。
Any 是給「判不出來」用的，不是給「不想判」用的
Any 含所有位元，而過濾是 positions & 目前位置，所以回一次 Any 等於 所有關鍵字與片段進場。分析器判得出來卻回 Any 的地方，症狀量得出來 ——同一組候選、同一個前綴 C：
ORDER BY C 回 Any 時有 118 個候選、欄位掉到第 14；回 OrderByColumn 只剩 30 個，cs 之後就是欄位。
因此 OrderByColumn（ORDER BY／GROUP BY 的欄位，含逗號之後）與 AlterTableAction／AlterTableAdd／AlterTableColumn、BlockEnd、IfBodyEnd、CursorOption 這類敘述自己的格子 都是自己的成員，不借用 Any。欄位之後是 OrderByTail（ASC／DESC）與 GroupByTail（HAVING）。 SELECT a INTO t 、OFFSET 10 、REFERENCES u (a) 這類子句尾端也各有位置，不借長得像的 OrderByTail。 FunctionCallTail 是疊加位元：函式呼叫之後多接 OVER，WITHIN GROUP (…) 之後也是；限定名稱（dbo.fn_Fee(a)）是 UDF，不加。
ALTER TABLE 那三個位置認的是「往回正好是 ALTER TABLE 加一個含點號的名稱單位」， ADD 清單的逗號之後走回同一個 ADD（SqlTokenNavigator.SkipQualifiedNameBackward）。
位置過濾也管資料庫物件
關鍵字、內建函式與片段各自帶著位置旗標，名稱沒有——資料表與程序是執行期從 中繼資料來的，帶不了旗標。所以反過來列寫不出名稱的位置（SqlKeywordPositionExtensions.AcceptsNames）， 每一項都要說得出「那裡沒有任何名稱是合法的」：
| 位置 | 那裡只接受 |
|---|---|
子句尾端（GROUP BY a |、WHERE a = 1 |、FROM t a |） | 運算子或關鍵字；別名是新名字 |
StatementStart、BlockStart、BlockEnd、IfBodyEnd（;、BEGIN、區塊的 END 之後） | 下一句的關鍵字或 ELSE |
選項清單與其餘敘述自己的格子（CursorOption、TriggerEvent、MergeAction…，全部見 NoNamePositions） | 選項、事件、動作或下一個子句的字 |
ByAnchor（ORDER |、GROUP |） | BY |
DdlObject（CREATE |、ALTER |、DROP |） | 物件種類 |
AlterTableAction、AlterTableAdd、ColumnDefinition | 動作、條件約束關鍵字，或新資料行名稱 |
SetOptionValue（SET NOCOUNT |） | ON、OFF（SET IDENTITY_INSERT | 要資料表，不在此） |
子句尾端換行後補上的語句開頭照樣不接名稱：FROM t a⏎CREA 的欄位屬於上一句， 省略 EXEC 的程序呼叫又只在批次第一句合法（文件開頭或 GO 之後，StartsBatch）。 那裡只放行程序。
InsertTarget 刻意不在裡面：INSERT dbo.Loan VALUES (…) 是合法的 T-SQL，INTO 可以省略。SetTarget 也不在——SET | 與 UPDATE t SET | 是同一個位置，而後者要的是 資料行。CaseArm、CaseBody 不在：CASE 的各段寫的是運算式，欄位與函式都對。
判斷比的是「位置裡還有沒有別的位元」而不是位元交集：判不出位置時回傳的 Any 含著上表每一個旗標，用交集的話 fail-open 會變成 fail-closed，每一個位置的資料庫 物件都會消失。