CSS Shadow Parts Module Level 1

◎要約

この仕様は、 `~shadow~host$上に `part()$pe 疑似要素を定義する。それは、 `~shadow~host^が［自身の`~shadow~tree$から選ばれた要素たち］を［ ~style付け目的~用に，外側~pageへ選択的に公開する］ことを許容する。 ◎ This specification defines the ::part() pseudo-element on shadow hosts, allowing shadow hosts to selectively expose chosen elements from their shadow tree to the outside page for styling purposes.

~CSSisaLANG

1. 序論

~shadow~DOMは、 ~pageをいくつかの “~component” — ~markupが成す下位treeであって、その詳細は，外側~pageでなく~component自身に限り関連なもの — に分離することを，作者に許容する。これは、［ ~pageを成すある~part用に意味されたある~styleが，不用意に適用され過ぎて、 ~pageの異なる~partの見かけをおかしくする機会c ］を抑制する。しかしながら，この~style付け防壁により、 ~pageが~componentとヤリトリすることも難しくなる — 実際にそうするよう`求まれた^emときに。 ◎ Shadow DOM allows authors to separate their page into "components", subtrees of markup whose details are only relevant to the component itself, not the outside page. This reduces the chance of a style meant for one part of the page accidentally over-applying and making a different part of the page look wrong. However, this styling barrier also makes it harder for a page to interact with its components when it actually wants to do so.

この仕様は、 `part()$pe 疑似要素を定義する。それは、作者が［ `~shadow~tree$内にある，ある目的で公開された特定の要素］を［外側~pageの文脈から~styleする］ことを許容する。これらの疑似要素は、 `~custom~prop$ （それは、外側~pageが，自身の好きなように特定0の値（~theme色など）を~componentに渡せるようにする）と組合せることにより — ~capsule化を保守しつつ，すべての制御をあきらめることなく — ~componentと外側~pageが安全かつ強力な仕方でヤリトリすることを許容する。 ◎ This specification defines the ::part() pseudo-element, which allows an author to style specific, purposely exposed elements in a shadow tree from the outside page’s context. In combination with custom properties, which let the outside page pass particular values (such as theme colors) into the component for it to do with as it will, these pseudo-elements allow components and the outside page to interact in safe, powerful ways, maintaining encapsulation without surrendering all control.

1.1. 動機

~custom要素の能力が — 組込みの要素と同程度に — 全部的に有用になるためには、次がアリになるベキである ⇒＃要素を成す各~partを外側から~styleすること／ ~custom要素の作者が，外側から正確に何を~styleできるか制御すること／ ~custom要素が~style付け用に安定的な “~API” を呈示すること ◎終すなわち、 ~custom要素を成すある~partを~styleするために利用される選択子は、要素の内部的な詳細~についての知識を［公開する／要求する］ベキでない。 ~custom要素の作者は、選択子には触れずに，要素の内部的な詳細を変更-可能になるベキである。 ◎ For custom elements to be fully useful and as capable as built-in elements it should be possible for parts of them to be styled from outside. Exactly what can be styled from outside should be controlled by the element author. Also, it should be possible for a custom element to present a stable "API" for styling. That is, the selector used to style a part of a custom element should not expose or require knowledge of the internal details of the element. The custom element author should be able to change the internal details of the element while leaving the selectors untouched.

~shadow~treeの内側に対する~style付け用として以前に提案された結合子 `~gt3^css 【“~shadowを貫く結合子” 】は、 `強力~過ぎて^em~~元も~~子もないことが~~判明した — それは、［ ~componentの内部~構造を微細にわたり公開し過ぎる］ため，［ `Shadow DOM^cite を利用することで得られる~capsule化の便益］の一部を無為にしていた。この理由から, および他の処理能に関係する理由から、 `~gt3^css 結合子は最終的に落とされた。 ◎ The previous proposed method for styling inside the shadow tree, the >>> combinator, turned out to be too powerful for its own good; it exposed too much of a component’s internal structure to scrutiny, defeating some of the encapsulation benefits that using Shadow DOM brings. For this, and other performance-related reasons, the >>> combinator was eventually dropped.

唯一残された，~shadow~treeの中まで~styleする仕方は、 `~custom~prop$を利用することである： ~componentは、［一定の`~custom~prop^を利用して，自身の内部を~styleする］よう広告する — 外縁~pageは、自身が望む~propを`~shadow~host$上に設定することができ，値を必要な所まで奥深く継承させられる。これは、多くの単純な~theme法の利用事例には，とても上手く働く。 ◎ This left us with using custom properties as the only way to style into a shadow tree: the component would advertise that it uses certain custom properties to style its internals, and the outer page could then set those properties as it wished on the shadow host, letting inheritance push the values down to where they were needed. This works very well for many simple theming use-cases.

しかしながら，これでは立ち往かない事例もある。ある~componentが［自身の~shadow~tree内の何かに任意な~style付けを許容する］よう望む場合、何百もの`~custom~prop$を定義する他に仕方がない（制御を許容するよう望む~CSS~propごとに 1 個ずつ） — それは、利用性, 処理能の両面で明白に馬鹿げている。この状況は、作者が［ ~componentの~styleを `hover$ps の様な疑似類に基づいて違える］よう望む場合，さらに複合される — ~componentは、利用する`~custom~prop^を各~疑似類~用に重複する必要がある（ `:hover:focus^css の様な各~組合nごとに必要なので、組み合わせは膨大になる）。これは、利用性と処理能の問題をさらに悪くする。 ◎ However, there are some cases where this falls down. If a component wishes to allow arbitrary styling of something in its shadow tree, the only way to do so is to define hundreds of custom properties (one per CSS property they wish to allow control of), which is obviously ridiculous for both usability and performance reasons. The situation is compounded if authors wish to style the component differently based on pseudo-classes like :hover; the component needs to duplicate the custom properties used for each pseudo-class (and each combination, like :hover:focus, resulting in a combinatorial explosion). This makes the usability and performance problems even worse.

`part()$pe は、この事例をずっと~elegantかつ高処理能に取扱うために導入される。 `~custom~prop$名の中に何もかも束ねるのでなく、機能性は，元々意味された様に選択子と~style規則~構文~内に生き続ける。これは、 ~componentの作者, その利用者どちらからも，ずっと利用し易くなることに加え、処理能はずっと良くなるはずであり，より良い［ ~capsule化／~API表面化］を許容する。 ◎ We introduce ::part() to handle this case much more elegantly and performantly. Rather than bundling everything into custom property names, the functionality lives in selectors and style rule syntax, like it’s meant to. This is far more usable for both component authors and component users, should have much better performance, and allows for better encapsulation/API surface.

`part()$pe は、 `理論的には，新たな力は何ら提供しない^emことに注意。それは， `~gt3^css 結合子の焼き直しではなく、作者が`~custom~prop$ですでに行える何か用の［単純で, より簡便で, 一貫した構文］である。要素を成すある~part（`~part要素~map$）を明示的に “公表して”，単に包含されるだけの下位-~partから分け隔てることは、 ~capsule化の一助にもなる — 作者は、不用意に~styleし過ぎるおそれなしに `part()^pe を利用できるので。 ◎ It’s important to note that ::part() offers absolutely zero new theoretical power. It is not a rehash of the >>> combinator, it is simply a more convenient and consistent syntax for something authors can already do with custom properties. By separating out the explicitly "published" parts of an element (the part element map) from the sub-parts that it merely happens to contain, it also helps with encapsulation, as authors can use ::part() without fear of accidental over-styling.

2. ~shadow要素の公開-法

`~shadow~tree$内の要素は、［ `part$a, `exportparts$a ］属性を利用して，~treeの外側へ — ~stylesheetによる~style付け用に — ~exportできる。 ◎ Elements in a shadow tree may be exported for styling by stylesheets outside the tree using the part and exportparts attributes.

各~要素は、次に挙げるものを有する： ◎ ↓

`~part名~list@ 【 `part$a 属性により拡充される】 ◎ Each element has a part name list＼: ~tokenたちが成す`有順序~集合$ ◎ which is an ordered set of tokens.
`回送される~part名~list@ 【 `exportparts$a 属性により拡充される】 ◎ Each element has a forwarded part name list＼: ［ 2 個の`文字列$が成す`~tuple$ ］たちが成す`~list$ — 各~tupleは、 ( 【外縁へ】回送される内縁~partの名前, 公開される名前 ) を与える。 ◎ which is a list of tuples containing a string for the inner part being forwarded and a string giving the name it will be exposed as.

各`~shadow根$は、 `~part要素~map@ を有するものとみなせる — それは、 `文字列$を［要素【／疑似要素】たちが成す`有順序~集合$ ］へ対応付ける`~map$である。 ◎ Each shadow root can be thought of as having a part element map with keys that are strings and values that are ordered sets of elements.

`~part要素~map$は、この仕様にて~styleを計算するための~algoの一部としてのみ述べられる — この~mapを計算することは、高価にもなり得るので【実装には，実際に必要になるまで計算しない裁量の余地がある】。それはまた、 ~DOMを介して公開されることはない — 公開すると、閉な~shadow根の内側にある要素への~accessを許容するので。 ◎ The part element map is described only as part of the algorithm for calculating style in this spec. It is not exposed via the DOM, as calculating it may be expensive and exposing it could allow access to elements inside closed shadow roots.

`~part要素~map$は、要素の追加や除去, および~DOM内の要素の［ `~part名~list$／`回送される~part名~list$ ］に対する変更により影響される。 ◎ Part element maps are affected by the addition and removal of elements and changes to the part name lists and forwarded part name lists of elements in the DOM.

`~part名~mapを計算する@ ~algoは、所与の ( ~shadow根 %外縁~根 ) に対し： ◎ To calculate the part element map of a shadow root, outerRoot:

%外縁~map ~LET %外縁~根の`~part要素~map$ ◎ ↓
%外縁~map を空にする【この段は、この訳による補完。さもなければ、計算し直す度に~mapは肥大する一方になる。】
%外縁~根の中の ~EACH( `子孫$ %子孫 ) に対し： ◎ For each descendant el within outerRoot:
1. %子孫の`~part名~list$を成す ~EACH( %名前 ) に対し ⇒ %外縁~map[ %名前 ] に %子孫を`付加する$set ◎ For each name in el’s part name list, append el to outerRoot’s part element map[name].
2. ~IF［ %子孫は`~shadow~host$でない］ ⇒ ~CONTINUE 【この ~CONTINUE は、この訳による補完。】 ◎ ↓
3. %内縁~根 ~LET %子孫の`~shadow根$el ◎ If el is a shadow host itself then let innerRoot be its shadow root.
4. `~part名~mapを計算する$( %内縁~根 ) 【前回の計算と同じ結果になることが判っていれば、実装は，この段を省ける。】 ◎ Calculate innerRoot’s part element map.
5. %内縁~map ~LET %内縁~根の`~part要素~map$ ◎ ↓
6. %子孫の`回送される~part名~list$を成す ~EACH( ( %内縁~名, %外縁~名 ) ) に対し： ◎ For each innerName/outerName in el’s forwarded part name list:
  1. ~IF［ %内縁~map[ %内縁~名 ] ~EQ ε ］~OR［ %内縁~map[ %内縁~名 ] は空である］ ⇒ ~CONTINUE
  2. ~IF［ %外縁~map[ %外縁~名 ] ~EQ ε ］ ⇒ %外縁~map[ %外縁~名 ] ~SET 新たな`有順序~集合$
    
    【この段と前~段は、この訳による補完。】
  3. %内縁~map[ %内縁~名 ] を成す ~EACH( %要素 ) に対し：
    1. ~IF［ %内縁~名は疑似要素~名である］ ⇒ %要素 ~SET %要素を`出自の要素$とする, 名前 %内縁~名を伴う疑似要素【！%内縁~根の疑似要素たち】
    2. %外縁~map[ %外縁~名 ] に %要素を`付加する$set
    ◎ If innerName is an ident: • Let innerParts be innerRoot’s part element map[innerName] • Append the elements in innerParts to outerRoot’s part element map[outerName] ◎ If innerName is a pseudo-element name: • Append innerRoot’s pseudo-element(s) with that name to outerRoot’s part element map[outerName].

2.1. ~shadow要素の命名-法： `part^a 属性

~shadow~tree内のどの要素にも `part@a 属性を指定できる。これは、要素を`~shadow~tree$の外側に公開するために利用される。 ◎ Any element in a shadow tree can have a part attribute. This is used to expose the element outside of the shadow tree.

`part$a 属性は、［この要素の~part名を表現している~token ］たちが成す，~space等で分離された~listとして構文解析される。 ◎ The part attribute is parsed as a space-separated list of tokens representing the part names of this element.

注記：同じ~partに複数個の名前を与えてもかまわない。 “~part名” は、 `id^a や~tagnameではなく， `class^a に類似なものと見なすベキである。 ◎ Note: It’s okay to give a part multiple names. The "part name" should be considered similar to a class, not an id or tagname.

<style>
  c-e`::part(textspan)^mk { color: red; }
</style>

<template id="c-e-template">
  <span `part="textspan"^mk>
この~textの色は `red^v になる
◎
This text will be red
</span>
</template>
<c-e></c-e>
<script>
  /* 
`template^e を，~custom要素 `c-e^e として追加する
◎
Add template as custom element c-e
 */
  ...
</script>

2.2. ~shadow要素の回送-法： `exportparts^a 属性

~shadow~tree内のどの要素にも `exportparts@a 属性を指定できる。要素はある`~shadow~tree$ %~shadow~tree 内の`~shadow~host$である場合、これは，［要素が~hostしている`~shadow~tree$の内側にある~partたちを， %~shadow~tree の外側にある規則で~styleする］のを許容するために利用される（それらが［ %~shadow~tree 内にある， `part$a 属性で命名された要素］であったかのように）。【文書~tree内にある, または~shadow~hostでない要素には、効果はない。】 ◎ Any element in a shadow tree can have a exportparts attribute. If the element is a shadow host, this is used to allow styling of parts from hosts inside the shadow tree by rules outside this the shadow tree (as if they were elements in the same tree as the host, named by a part attribute).

`exportparts$a 属性は、［ ~commaで分離された~part対応付け］たちが成す~listとして構文解析される。各~part対応付けは、次に挙げるいずれかとして与えられる： ◎ The exportparts attribute is parsed as a comma-separated list of part mappings. Each part mapping is one of:

%内縁~ident : %外縁~ident ◎ innerIdent : outerIdent: %子孫の`回送される~part名~list$に ( %内縁~ident, %外縁~ident ) を追加する。 ◎ Adds innerIdent/outerIdent to el’s forwarded part name list.; 【各 “~ident” の構文は，明示的に定義されていないが、他所の記述から， `ident$t に合致する文字列が想定されているであろう。】
%~ident: %子孫の`回送される~part名~list$に ( %~ident, %~ident ) を追加する。 ◎ Adds ident/ident to el’s forwarded part name list.; 注記：これは、 %~ident : %~ident 用の略記である。 ◎ Note: This is shorthand for ident : ident.
%疑似要素~名 : %外縁~ident ◎ ::ident : outerIdent: %疑似要素~名（ `::^l が接頭された~ident ）は、 `全部的に~style可能な疑似要素$の名前である場合、 %子孫の`回送される~part名~list$に ( %疑似要素~名, %外縁~ident ) を追加する。他の場合、何もしない。 ◎ If ::ident is the name of a fully styleable pseudo-element, adds ::ident/outerIdent to el’s forward part name list. Otherwise, does nothing.
その他 ◎ anything else: ［ ~error回復／将来の互換性］用にあり、無視される。 ◎ Ignored for error-recovery / future compatibility.

注記：下位-~partから複数個の名前へ~mapしてもかまわない。 ◎ Note: It’s okay to map a sub-part to several names.

<style>
  c-e`::part(textspan)^mk { color: red; }
</style>

<template id="c-e-outer-template">
  <c-e-inner `exportparts="innerspan: textspan"^mk></c-e-inner>
</template>

<template id="c-e-inner-template">
  <span `part="innerspan"^mk>
    
この~textの `color^p は `red^v になる
— 包含している~shadow~hostは，
`innerspan^v を `textspan^v として文書へ回送し，それは文書~styleに合致するので。
◎
This text will be red because the containing shadow host forwards innerspan to the document as "textspan" and the document style matches it.

  </span>
  <span `part="textspan"^mk>
    
この~textの `color^p は `red^v にならない
— 文書~style内の `textspan^v は、
回送されない場合には，内縁~custom要素の内側にある~partには合致し得ないので。
◎
This text will not be red because textspan in the document style cannot match against the part inside the inner custom element if it is not forwarded.

  </span>
</template>

<c-e></c-e>
<script>
  /* 
各 `template^e を，~custom要素 `c-e^e, `c-e-inner^e として追加する。
◎
Add template as custom elements c-e-inner, c-e-outer
 */
    ...
</script>

`exportparts$a 属性には、 `全部的に~style可能な疑似要素$の名前も利用できる — それにより、この属性を利用した~component内にある当の疑似要素は， `part()$pe として装うようになる： ◎ For example, a fully styleable pseudo-element can be used in the exportparts attribute, to masquerade as a ::part() for the component it’s in:

<template id=custom-element-template>
    <p exportparts="::before : preceding-text, ::after : following-text">
        Main text.
</template>

この `template^e を利用している要素は、 `x-component::part(preceding-text)^css の様な選択子を利用して，その~shadow~tree内の `p::before^css 疑似要素を~targetにできる。なので、当の~componentの利用者は， `preceding-text^v として公開されたもの【！the preceding text】が疑似要素として実装されたかどうか知る必要はない。 ◎ An element using that template can use a selector like x-component::part(preceding-text) to target the p::before pseudo-element in its shadow, so users of the component don’t need to know that the preceding text is implemented as a pseudo-element.

3. ~shadow要素の選択-法： `part()^pe 疑似要素

`part()@pe 疑似要素は、 `part$a 属性を介して公開された要素を選択することを，作者に許容する。その構文は： ◎ The ::part() pseudo-element allows you to select elements that have been exposed via a part attribute. The syntax is:

::part() = ::part( `ident$t+ )

`part()$pe 疑似要素は、［その`出自の要素$ %~host は`~shadow~host$である］場合に限り，合致する。 ◎ The ::part() pseudo-element only matches anything when the originating element is a shadow host.

例えば，ある~custom~button（ `id="x-button"^a ）が［ ~style付け用に（ `part="label"^a を介して）公開される `label^l 要素］を【当の~buttonが~hostしている~shadow~tree内に】包含する場合、作者は， `#x-button::part(label)^css でそれを選択できる。 ◎ For example, if you have a custom button that contains a "label" element that is exposed for styling (via part="label"), you can select it with x-button::part(label).

各~part名は、 ~classと同様に動作する ⇒＃複数個の要素が同じ~part名を有せる。同じ要素が複数個の~part名を有せる。 ◎ Part names act similarly to classes: multiple elements can have the same part name, and a single element can have multiple part names.

~tabstrip~controlを成す要素たちに `part="tab"^a を伴わせれば、そのすべては `::part(tab)^css により選択される。 ◎ A tabstrip control might have multiple elements with part="tab", all of which are selected by ::part(tab).

同時に “作動中（ `active^en ）” になる~UItabは 1 個だけならば、特別に `part="tab active"^a で指示した上で， `::part(tab active)^css により選択できる（順序は問われないので、 `::part(active tab)^css でも選択できる）。 ◎ If a single tab is active at a time, it can be specially indicated with part="tab active" and then selected by ::part(tab active) (or ::part(active tab), as order doesn’t matter).

`part()$pe 疑似要素は：

`全部的に~style可能な疑似要素$【`要素が裏にある疑似要素$】である。 ◎ The ::part() pseudo-element is a fully styleable pseudo-element.＼
その`出自の要素$が~hostしている`~shadow根$の`~part要素~map$ %~map に関して，次を満たす［要素【／疑似要素】］ %要素を表現する ⇒ 引数に指定されたどの `ident$t %ident に対しても，次が満たされる ⇒ ［ %~map[ %ident ] ~NEQ ε ］~AND［ %要素 ~IN %~map[ %ident ] ］ ◎ If the originating element’s shadow root’s part element map contains the specified <ident>, ::part() represents the elements keyed to that ident; if multiple idents are provided and the part element map contains them all, it represents the intersection of the elements keyed to each ident. Otherwise, it matches nothing.
その`出自の要素$が~hostしている~shadow~treeにおける，それら【それが表現する要素たち】の位置に則って継承する。 ◎ ::part() pseudo-elements inherit according to their position in the originating element’s shadow tree.

例えば `x-panel::part(confirm-button)::part(label)^css に合致するものは無い。合致すると，構造上の情報を意図される以上に公開することになるので。 ◎ For example, x-panel::part(confirm-button)::part(label) never matches anything. This is because doing so would expose more structural information than is intended.

`x-panel^e の内部的な “`confirm^en” ~buttonが `part="label => confirm-label"^a 【`exportparts="label : confirm-label"^a ？】の様な何かを利用して，~buttonの内部~partたちを `x-panel^e の自前の`~part要素~map$へ回送していた場合、 `x-panel::part(confirm-label)^css の様な選択子は、他のどの~labelも無視して，ただ 1 つの~buttonの~labelを選択することになる。 ◎ If the <x-panel>’s internal confirm button had used something like part="label => confirm-label" to forward the button’s internal parts up into the panel’s own part element map, then a selector like x-panel::part(confirm-label) would select just the one button’s label, ignoring any other labels.

4. `Element^I ~interfaceに対する拡張

partial interface `Element$I {
  [`SameObject$, `PutForwards$=`value$m] readonly attribute `DOMTokenList$I `part$m;
};

`part$m: 取得子は、次のようにされた `DOMTokenList$I ~objを返すモノトスル ⇒＃ `要素$tL ~SET コレ, `属性の局所~名$tL ~SET `part^l ◎ The part attribute’s getter must return a DOMTokenList object whose associated element is the context object and whose associated attribute’s local name is part.＼; この特定0の `DOMTokenList^I ~objを成す~token集合は、要素の `parts^en とも称される。 ◎ The token set of this particular DOMTokenList object are also known as the element’s parts.

これを~DOM仕様における `superglobal^en 【すべての名前空間より上位の大域~属性】として定義する。 [`3424$issue] ◎ Define this as a superglobal in the DOM spec. [w3c/csswg-drafts Issue #3424]

5. 構文解析~用の小構文

5.1. ~part対応付けを構文解析する規則

`妥当な~part対応付け@ は、文字~並び［ 0 個以上の~space【文字 `0020^U 】, 1 個の文字 `003A^U `COLON^cn, 0 個以上の~space ］で分離された 2 個の~tokenからなる【！↓tuple】。各~tokenは、文字［ `003A^U `COLON^cn ／ `002C^U `COMMA^cn ］を包含してはナラナイ。【~tokenに対するそれ以上の制約は、特に言及されてはいない。】 ◎ A valid part mapping is a tuple of tokens separated by a U+003A COLON character and any number of space characters before or after the U+003A COLON The tokens must not contain U+003A COLON or U+002C COMMA characters.

~part対応付けとして構文解析する規則は、所与の ( 文字列 %入力 ) に対し， 2 個の~tokenが成す`~tuple$を返す： ◎ The rules for parsing a part mapping are as follows: • Let input be the string being parsed.

%位置 ~LET %入力の先頭の文字を指している`位置~変数$ ◎ Let position be a pointer into input, initially pointing at the start of the string.
%入力内の %位置から文字 { ~space, `003A^U `COLON^cn } からなる`符号位置~並びを収集する$ ◎ Collect a sequence of code points that are space characters or U+003A COLON characters. This skips past any leading delimiters.
%最初の~token ~LET %入力内の %位置から { ~space, `003A^U `COLON^cn } 以外の`符号位置~並びを収集する$ ◎ Collect a sequence of code points that are not space characters or U+003A COLON characters, and let first token be the result.
~IF［ %最初の~token ~EQ 空~文字列］ ⇒ ~RET `~error^i ◎ If first token is empty then return error.
%入力内の %位置から~space文字からなる`符号位置~並びを収集する$ ◎ Collect a sequence of code points that are space characters.
~IF［ %位置↗ ~EQ ε ］ ⇒ ~RET `~tuple$( %最初の~token, %最初の~token ) ◎ If the end of the input has been reached, return the tuple (first token, first token)
~IF［ %位置↗ ~NEQ `003A^U `COLON^cn ］ ⇒ ~RET `~error^i ◎ If character at position is not a U+003A COLON character, return error.
%位置 ~INCBY 1 ◎ Consume the U+003A COLON character.
%入力内の %位置から~spaceからなる`符号位置~並びを収集する$ ◎ Collect a sequence of code points that are space characters.
%次の~token ~LET %入力内の %位置から { ~space, `003A^U `COLON^cn } 以外の`符号位置~並びを収集する$ ◎ Collect a sequence of code points that are not space characters or U+003A COLON characters. and let second token be the result.
~IF［ %次の~token ~EQ 空~文字列］ ⇒ ~RET `~error^i ◎ If second token is empty then return error.
%入力内の %位置から~space文字からなる`符号位置~並びを収集する$ ◎ Collect a sequence of code points that are space characters.
~IF［ %位置↗ ~NEQ ε ］ ⇒ ~RET `~error^i ◎ If position is not past the end of input then return error.
~RET `~tuple$( %最初の~token, %次の~token ) ◎ Return the tuple (first token, second token).

5.2. ~part対応付けが成す~listを構文解析する規則

`妥当な~part対応付け~list@ は、文字~並び［ 0 個以上の~space, 1 個の文字 `002C^U `COMMA^cn, 0 個以上の~space ］で分離された， 0 個以上の`妥当な~part対応付け$からなる。 ◎ A valid list of part mappings is a number of valid part mappings separated by a U+002C COMMA character and any number of space characters before or after the U+002C COMMA

~part対応付け~listとして構文解析する規則は、所与の ( 文字列 %入力 ) に対し，次に従う： ◎ The rules for parsing a list of part mappings are as follow: • Let input be the string being parsed.

%対応付け~list ~LET 空~list ◎ ↓Split the string input on commas. Let unparsed mappings be the resulting list of strings. ◎ Let mappings be an initially empty list of tuples of tokens. This list will be the result of this algorithm.
`~commaで分割する$( %入力 ) の結果を成す ~EACH( %対応付け~文字列 ) に対し： ◎ For each string unparsed mapping in unparsed mappings, run the following substeps:
1. ~IF［ %対応付け~文字列は~space以外の文字を包含しない（空~文字列も含む）］ ⇒ ~CONTINUE ◎ If unparsed mapping is empty or contains only space characters, continue to the next iteration of the loop.
2. %対応付け ~LET ~part対応付けを構文解析する規則を利用して %対応付け~文字列を構文解析した結果 ◎ Let mapping be the result of parsing unparsed mapping using the rules for parsing part mappings.
3. ~IF［ %対応付け ~EQ `~error^i ］ ⇒ ~CONTINUE ◎ If mapping is an error then continue to the next iteration of the loop. This allows clients to skip over new syntax that is not understood.
4. %対応付け~list に %対応付けを付加する ◎ Append mapping to mappings.

6. ~privacyの考慮点

この仕様は，~page上の要素の~style法を~targetにする新たな仕方を定義するが、それは，すでに他の仕方で全部的に~style可能である。そのようなわけで、この仕様が導入する新たな~privacyの考慮点は，無い。 ◎ This specification defines new ways to target styling of elements on the page, which are already fully styleable in other ways. As such, it introduces no new privacy considerations.

7. ~securityの考慮点

`~shadow~tree$は、 ~page作者の便利~用に過ぎず， ~security境界を成さないのは意図的である。 ~shadow~treeをこの仕方で選択子へ公開することで導入される新たな~securityの考慮点は，無い。 ◎ As shadow trees are intentionally not a security boundary, merely a convenience for page authors, exposing them to selectors in this way introduces no new security considerations.