[1] 【SGML】 マーク区間宣言の中で、そのマーク区間の目的を識別するのが、 状態見出し語 (Status keyword) です。 (JISX4151‐1992 9.4.2, 定義 (130) 参照。)

[2]

• 状態見出し語指定 = *(1*ps (状態見出し語 / TEMP)) *ps ;; (97)
• 状態見出し語 = CDATA / IGNORE / INCLUDE / RCDATA ;; (100)

[3]

指定に重複がある場合、

1. IGNORE
2. CDATA
3. RCDATA
4. INCLUDE

状態見出し語 (規格参照具象構文)	意味
IGNORE	文字がないものとして扱う
INCLUDE	無視しない
CDATA	文字データとして扱う
RCDATA	置換可能文字データとして扱う
TEMP	いずれ取り除くことになるかもしれない一時的な部分として扱う

という優先順を持ちます。

[4] IGNORE が有効な状態であるマーク区間では、 入れ子になったマーク区間宣言の終わりを識別するために、 マーク区間開始及びマーク区間終了の認知だけ行います。

有効な状態見出し語が IGNORE であるマーク区間には、 Ee は現れてはなりません。 (というか現れ得ません。)

[5] CDATA 又は RCDATA が有効な状態であるマーク区間では、 最初に現れたマーク区間終了によってマーク区間は終わります。 (マーク区間開始の認知が行われないので、入れ子にはなり得ません。)

[6] >>5 について、規格では

備考 CDATA 又は RCDATA のマーク区間では、それが1個の実体の中にある限り、 マークの認知を行わないので、その中に入れ子になったマーク区間宣言が表れることはない。

と書いてありますけど、「それが1個の実体の中にある限り」 というのは RCDATA で、一般実体参照が含まれる場合のみですよね?

で、

<!ENTITY ent "
  <![ IGNORE [
    foo
  ]]>
">
 ...
<!
&ent;
>

だったら結局 foo は無視されるんですか?

[8] >>6 W3CのValidator に解釈させてみたら、実体 ent の置換文も RCDATA と解釈されるみたいです。だから、 foo もそのまわりのマーク区間宣言に見えるものも、文字データとして扱われます。

[9] >>8 <!ENTITY ent PCDATA "..."> として宣言しておけば、、、と思ったら、 この場所で見出し語 PCDATA は使えないのでした。

• [10] 状態見出し語指定の部分は ps が入る領域ですから、引数実体参照が使えます。例えば: <!ENTITY % systemA "INCLUDE">...<![ %systemA [ <? systemA dependent command ?> ] ]> (都合上 msc は ] ]> にしてます。)
• [11] 状態見出し語の指定が1つも無い場合には、 INCLUDE として扱われます。
• [12] 規則 (100), 定義 (130) に従えば TEMP は状態見出し語ではありませんが、普通状態見出し語の一種として扱われます。当の JIS X 4151 でさえ、 9.4.2 で構文規則を提示したすぐ後で状態見出し語に TEMP を含めています。
• [13] ただ、 TEMP が、他の見出し語とは異なり SGML 処理系ではなく人間を対象とするものである (単なる備忘である) 点に注意したいところです。