863.txt

[15] [DFN[Infra Standard]] は、 [[Web技術][Webプラットフォーム]]の[[仕様書]]で共通して参照される概念を規定する[[仕様書]]です。

[16] [[文字列]]、[[リスト]]など [[Web]] の特定の技術の領域に属するというよりは様々な技術の基礎となる事項が規定されています。
[[アルゴリズム]]の記述や[[適合性]]の解釈など[[仕様書]]の記述方法に関する事項も含まれています。
[CITE[HTML Standard]]、[CITE[DOM Standard]]、 [[CSP]] などから参照されています。

* 仕様書

[REFS[
- [14] [CITE@en[Infra Standard]] ([TIME[2016-11-22 03:28:16 +09:00]]) <https://infra.spec.whatwg.org/>
]REFS]

* 内容

[78] 
次の目標が掲げられています [SRC[>>14]]。

- [79] 各[[仕様書]]に重出する決まり文句部分をまとめること
- [80] 各[[仕様書]]の[[表記法]]、[[用語]]、[[データ構造]]を揃えること
- [81] 複数の[[仕様書]]で使われるが良い場所が他にない[[概念]]の置き場となること
- [82] 明確化せねば曖昧になってしまう[[概念]]を明確にし、
明解かつ可読性の高い[[アルゴリズム]]の記述の助けとなること
- [83] (その他必要に応じて追加)

[84] 具体的には次のような内容が含まれます。

[FIG(short list)[ [18] [CITE[Infra Standard]] の規定
- [[規定]]
- [[助動詞]]
- [[意図的違反]]
- [[or]]
- [[アルゴリズム]]
- [[バイト]]
- [[バイト列]]
- [[符号位置]]
- [[文字列]]
- [[リスト]]
- [[スタック]]
- [[キュー]]
- [[集合]]
- [[写像]]
- [[Base64]]
- [[JSON]]
- [[名前空間URL]]
]FIG]

* 利用

[85] 
[CITE[Infra Standard]]
を使う[[仕様書]]は、
「[VAR[仕様書名]] depends on the Infra Standard.」
と書くことになっています [SRC[>>14]]。

;; [86] [CITE[Infra Standard]] を使う[[仕様書]]は、
[CITE[Infra Standard]] の [[GitHub Wiki]] のページ [SRC[>>22]] 
に名前を掲載する[[[RUBYB[べき]@en[encourage]]][encourage]]とされています
[SRC[>>14]] が、実際には掲載されていない[[仕様書]]の方が多いです。

-*-*-

[87] 
また、曖昧性をなくすため、[[用語]]は[[相互参照]]する[[[RUBYB[べき]@en[encourage]]][encourage]]です
[SRC[>>14]]。

[88] [CITE[Infra Standard]] に限らずですが、
[[ハイパーリンク]]による[[相互参照]]を使って意味を明確化しているため、
文面上は[[語尾]]が違ったり ([[活用]]していたり、
[[名詞形]]や[[動詞形]]だったり)、[[用語]]の一部が省略されて用いられたりしています。
[[Hixie]] 時代からそうした利用法はそれなりに見られましたが、
[[annevk]] らが多用するようになったように感じられ、
[CITE[Infra Standard]] の[[用語]]は基本的なものが多いだけに一層その傾向が進んでいるように見受けられます。


* 歴史

[19] [[Anne][annevk]] は複数の[[仕様書]]で同じ基本概念を定義していて他の[[仕様書]]からどう参照するべきかわからない、
といったような問題に対して、基盤となる仕様書を設けることを何度か提唱していました。

[17] [CITE[HTML Standard]]、[CITE[Encoding Standard]] などの色々な
[[WHATWG]] の[[仕様書]]でそれぞれ別個に定義されていた事項をまとめる形で
[TIME[2016年11月][2016-11]]に [CITE[Infra Standard]] が新設されました。

[73] [[W3C]] 時代にはこうした基本的な事項は暗黙の了承とされたり、
そもそもこうした事項が議論できるほどの正確性を[[仕様書]]が有していなかったりしました。
[[HTML5]] が[[仕様書]]の厳密性を高める中で、
そうした事項の明文化を進めました。 ([SEE[ [CITE[Web Applications 1.0]] ]])

[74] その後 [[WHATWG]] の扱う[[仕様書]]や [[HTML5]] 以後世代の厳密性を増した
[[W3C]] の[[仕様書]]が増加するにつれ、 [[HTML5]] の基本事項の規定を適宜[[コピペ]]したり、
時には[[引用]]したりするようにもなりました。
しかし、厳密に言えば [[HTML]] に含まれず、 [[Web platform]]
の共通の事項や[[仕様書]]上の表記法に関する事項を [[HTML]]
にどんどん追加していくことには無理があり、 [[HTML]] のそれ以外の機能を使っていない[[仕様書]]が
[[HTML]] を参照することには抵抗感も持たれていました。
また [[HTML]] も[[英語]]と計算機技術者の常識に依拠した暗黙の部分が
(現在となってみれば) 少なくありませんでした。
こうした状況から、基本事項や暗黙の了承となっていた部分は[[仕様書]]ごとに扱いがまちまちで、
その違いに意味があるのかどうかも定かでなく、不明瞭となってしまっていました。

[75] 
そこで複数の [[Web platform]] から参照される基本記述や[[仕様書]]の表記法に関する事項をまとめた単独の[[仕様書]]として
[CITE[Infra]] が創設されました。 [[WHATWG]] の各[[仕様書]]が採用したのはもちろん、
[[WHATWG]] の[[仕様書]]と同様に厳密性を有する [[W3C]]
などの [[Web platform]] 技術の[[仕様書]]にも採用されるようになりました。

[76] 
なお、
[CITE[Infra]] を採用した[[仕様書]]であっても、
すべての部分が [CITE[Infra]] の概念をベースに記述されているとは限りません。
[CITE[HTML]] を始めとする多くの[[仕様書]]が既に [CITE[Infra]]
以前に書かれていましたから、 [CITE[Infra]] ベースへの書き換えによる明確化は漸進的に行われています。

[EG[
[77] [[アルゴリズム]]の決まり文句の置き換えなど一気に変更できるものは一斉に置換された例もありますが、
[[リスト]]や[[写像]]の用語など個別に詳細な検討が必要なものは、
他の変更と共に修正するなど徐々に置き換えられています。
]EG]

[1] [CITE@en[Infra Standard]]
([TIME[2016-11-17 05:53:10 +09:00]])
<https://infra.spec.whatwg.org/>

[2] [CITE@en[whatwg/infra: Infra Standard]]
([TIME[2016-11-17 16:09:51 +09:00]])
<https://github.com/whatwg/infra>

[3] [CITE@en[Start using the Infra Standard · Issue #2053 · whatwg/html]]
([TIME[2016-11-18 08:50:39 +09:00]])
<https://github.com/whatwg/html/issues/2053>

[4] [CITE[The WHATWG Blog — Infra]]
([TIME[2016-11-18 10:34:02 +09:00]])
<https://blog.whatwg.org/infra>

[5] [CITE@en[Editorial: refactor modules to use Infra Standard data structures]]
([[domenic]]著, [TIME[2016-11-17 08:03:04 +09:00]])
<https://github.com/whatwg/html/commit/37ea5ac07f36b71b1b9e3861804f623752ed210d>

[6] [CITE@en[Editorial: refactor to depend on the Infra Standard]]
([[domenic]]著, [TIME[2016-11-17 07:29:00 +09:00]])
<https://github.com/whatwg/html/commit/4ac633e08c2c9430853fc8322943bc2438ed36a3>

[7] [CITE@en[Editorial: start using the Infra Standard]]
([[annevk]]著, [TIME[2016-11-18 20:21:54 +09:00]])
<https://github.com/whatwg/encoding/commit/a26f76889bf393999e9caad84a3647ab09c39e09>

[8] [CITE@en[Editorial: start using the Infra Standard]]
([[annevk]]著, [TIME[2016-11-18 23:44:14 +09:00]])
<https://github.com/whatwg/fetch/commit/9ba4e78e5cb5fc1132f89d7e344cd2c2e1950c67>

[9] [CITE@en[Editorial: make use of the Infra Standard]]
([[annevk]]著, [TIME[2016-11-18 20:06:36 +09:00]])
<https://github.com/whatwg/dom/commit/bb2890beed2be14d2f7633ec89e2bbb88ec7fdcd>

[10] [CITE@en[Editorial: start using the Infra Standard]]
([[annevk]]著, [TIME[2016-11-21 20:23:59 +09:00]])
<https://github.com/whatwg/url/commit/9001b9be7475fdf4a7a2757b5417aa4a9f06b3b6>

[11] [CITE@en[Editorial: use the Infra Standard]]
([[annevk]]著, [TIME[2016-11-21 20:27:58 +09:00]])
<https://github.com/whatwg/fullscreen/commit/06ae8faa6335bfdcc5c9d9e643c0cb797efbc9d9>

[12] [CITE@en[Editorial: use the Infra Standard]]
([[annevk]]著, [TIME[2016-11-21 20:45:48 +09:00]])
<https://github.com/whatwg/notifications/commit/b9b20eeec611cc5156cc0b331b7ce60a963054ba>

[13] [CITE@en[Editorial: use the Infra Standard]]
([[annevk]]著, [TIME[2016-11-21 22:08:47 +09:00]])
<https://github.com/whatwg/storage/commit/b67910830cdb8f4c29a2094648d72049940de43b>

[20] [CITE@en[Use INFRA.]]
([[mikewest]]著, [TIME[2016-11-30 20:25:40 +09:00]])
<https://github.com/w3c/webappsec-csp/commit/8a2b0ebd25ea8d0e793ab48a1c51a6d45834fab5>

[21] [CITE@en[Meta: encourage tracking of dependent specifications]]
([[domenic]]著, [TIME[2016-12-08 04:51:58 +09:00]])
<https://github.com/whatwg/infra/commit/a9809e160e536c3b283a690087b88802de905153>

[22] [CITE@en[Dependent specs · whatwg/infra Wiki]]
([TIME[2016-12-08 17:17:16 +09:00]])
<https://github.com/whatwg/infra/wiki/Dependent-specs>

[23] [CITE@en[Intersection of serialized source lists (#157)]]
([[Sun77789]]著, [TIME[2016-12-13 18:29:44 +09:00]])
<https://github.com/w3c/webappsec-csp/commit/59b2839f98e491d0170d1389c6fd857d44b92247>

[24] [CITE@en[Editorial: let Infra define byte-lowercasing/uppercasing]]
([[domenic]]著, [TIME[2016-12-30 14:16:46 +09:00]])
<https://github.com/whatwg/fetch/commit/4b165c215787ea18a610481508f8d575263e0959>

[25] [CITE@en['''['''css-paint-api''']''' Convert spec to using whatwg infra maps.]]
([[bfgeek]]著, [TIME[2017-01-09 03:23:13 +09:00]])
<https://github.com/w3c/css-houdini-drafts/commit/1d186e58df344a0a2f4b12c215482e9710ea61d7>

[26] [CITE@en[Large rewrite/refactoring of the spec (#156)]]
([[tobie]]著, [TIME[2017-01-26 09:59:32 +09:00]])
<https://github.com/w3c/sensors/commit/615141fdd299e63e221a87d27f83766f345829e9>

[27] [CITE@en[Move string algorithms to Infra]]
([[shekyan]]著, [TIME[2017-02-02 03:36:38 +09:00]])
<https://github.com/whatwg/infra/commit/b8444dba3d774144c91982298ef663d196e12084>

[28] [CITE@en[Editorial: use more terms from the Infra Standard]]
([[annevk]]著, [TIME[2017-02-08 17:12:54 +09:00]])
<https://github.com/whatwg/html/commit/104bd78697738af2eab61740a2f1421ae49a3c95>

[29] [CITE@en[Editorial: use the Infra Standard for URL's path]]
([[annevk]]著, [TIME[2017-02-10 02:32:12 +09:00]])
<https://github.com/whatwg/url/commit/2f99502dc12b781f5bf6a062257ba031c7129c1e>

[30] [CITE@en[Meta: update spec deploy and editing infrastructure]]
([[annevk]]著, [TIME[2017-02-13 19:47:05 +09:00]])
<https://github.com/whatwg/infra/commit/d147492a6ca47249054017710046cb09f6b273ae>

[31] [CITE@en[Meta: enable PR preview]]
([[annevk]]著, [TIME[2017-02-19 02:07:27 +09:00]])
<https://github.com/whatwg/infra/commit/3af939f5982a32353d25c77fe5d394d50615838a>

[32] [CITE@en[Fixing references to infra/fetch.]]
([[mikewest]]著, [TIME[2017-03-03 14:51:43 +09:00]])
<https://github.com/w3c/webappsec-csp/commit/95f7715e9562f33b2009257a41a321ad95e170c1>

[33] [CITE@en[Editorial: use Infra "for each" as IDL "mapping" got removed]]
([[annevk]]著, [TIME[2017-03-06 19:38:32 +09:00]])
<https://github.com/whatwg/url/commit/8386c7a20435b2fb300038e8f1346dc6254ac710>

[34] [CITE@en[Add some infrastructure notes.]]
([[@annevk]]著, [TIME[2017-03-08 17:52:36 +09:00]])
<https://github.com/w3c/webappsec-csp/commit/40d2e607855b91f91cfb0f1a183be1b3ce209553>

[FIG(quote)[
[FIGCAPTION[
[35] [CITE@en[Editorial: use Infra to define the ordered set parser]]
([[annevk]]著, [TIME[2017-03-19 14:59:38 +09:00]])
<https://github.com/whatwg/dom/commit/a149b84dc99e82ad3a8c35d5e8193a93f2676770>
]FIGCAPTION]

> i

]FIG]


[36] [CITE@en[Editorial: use Infra to define the ordered set parser]]
([[annevk]]著, [TIME[2017-03-19 14:59:38 +09:00]])
<https://github.com/whatwg/dom/commit/a149b84dc99e82ad3a8c35d5e8193a93f2676770>

[37] [CITE@en[Clarify that the conformance section is widely applicable]]
([[annevk]]著, [TIME[2017-03-20 17:51:06 +09:00]])
<https://github.com/whatwg/infra/commit/fc952b8110467bd4357cf9d3ce97d430117918ee>

[38] [CITE@en[Add a goal about helping to write clear and readable prose]]
([[tobie]]著, [TIME[2017-03-24 19:07:18 +09:00]])
<https://github.com/whatwg/infra/commit/6b7bffa207fc16fda0a7f4c4a62a3f53eab61923>

[39] [CITE@en[Editorial: format bytes and code points per Infra]]
([[annevk]]著, [TIME[2017-03-28 21:14:42 +09:00]])
<https://github.com/whatwg/url/commit/91cb2aa532bc2b217e6237d23649aed0d2c566bb>

[40] [CITE@en[Editorial: let code point and friends be defined by Infra]]
([[annevk]]著, [TIME[2017-03-29 17:47:15 +09:00]])
<https://github.com/whatwg/html/commit/59595d9c2ccadb9332c15048be5d30174532ee70>

[41] [CITE@en['''['''cssom-view''']''' Move tokenizing of window.open's features arg to HTML]]
([[zcorpan]]著, [TIME[2017-04-06 23:47:41 +09:00]])
<https://github.com/w3c/csswg-drafts/commit/48c88c28bdc9a1ef2e52e38544cf7f90517b72e0>

[42] [CITE@en[Editorial: use noncharacter from Infra]]
([[annevk]]著, [TIME[2017-03-29 21:48:11 +09:00]])
<https://github.com/whatwg/url/commit/4a4c55959bec4f091373723bd0d507432d4b3dac>

[43] [CITE@en[Always update a DOMTokenList]]
([[annevk]]著, [TIME[2017-04-19 22:00:17 +09:00]])
<https://github.com/whatwg/dom/commit/d396872f847d63b803393092eb81843e80d566b7>

[44] [CITE@en[Editorial: use Infra in a/x-www-form-urlencoded]]
([[TimothyGu]]著, [TIME[2017-04-27 18:25:20 +09:00]])
<https://github.com/whatwg/url/commit/1cdcab314ed539a1b26f53a2618ef480708eb297>

[45] [CITE@en[Fixes "Does path A match path B?" (#183)]]
([[shekyan]]著, [TIME[2017-05-10 17:37:04 +09:00]])
<https://github.com/w3c/webappsec-csp/commit/6ae1d7688d0cdb933706ae589aa8012087a76fbb>

[46] [CITE@en[Editorial: use Infra for ordered sets and control flow]]
([[foolip]]著, [TIME[2017-05-10 18:04:09 +09:00]])
<https://github.com/whatwg/fullscreen/commit/50efe9774f5a17227e0b8fe0c8ca35b97dbc1a0a>

[47] [CITE@en[Editorial: use Infra's remove operation for top layer]]
([[foolip]]著, [TIME[2017-05-10 18:05:23 +09:00]])
<https://github.com/whatwg/html/commit/48132f23e64b5b3a3ef426eb3b45d4c35ad83c0d>

[48] [CITE@en[GPHemsley/WHATWG-Infra: A Perl implementation of the WHATWG Infra standard]]
([TIME[2017-06-05 10:39:26 +09:00]])
<https://github.com/GPHemsley/WHATWG-Infra>

[49] [CITE@en['''['''css-syntax''']''' Remove 'code point' and 'surrogate code point' in favor …]]
([[tabatkins]]著, [TIME[2017-06-10 03:59:51 +09:00]])
<https://github.com/w3c/csswg-drafts/commit/320a990184a331057a56a17cdf627fee81bdc5d3>

[50] [CITE@en[Feedback from @reschke.]]
([[@reschke]]著, [TIME[2017-06-29 20:47:29 +09:00]])
<https://github.com/w3c/webappsec-clear-site-data/commit/9f20dcc7580e241636c4787b6cf852a7e6258d63>

[51] [CITE@en[Editorial: Refactor overloading section using infra types (#392)]]
([[tobie]]著, [TIME[2017-08-17 05:45:48 +09:00]])
<https://github.com/heycam/webidl/commit/bfd0151e59b03639f9fae30da91ecf5e10d7c2af>

[52] [CITE@en[Editorial: remove "rethrow" per Infra]]
([[annevk]]著, [TIME[2017-09-04 18:11:21 +09:00]])
<https://github.com/whatwg/fetch/commit/829e56dd47534b8e6725ce0c56c5bdea6e23d222>

[53] [CITE@en[Use proper list and for each definitions from infra.]]
([[mkruisselbrink]]著, [TIME[2017-09-26 07:31:30 +09:00]])
<https://github.com/w3c/FileAPI/commit/b02f1c6d9133d2106017f17ec17399d7581f81f9>

[54] [CITE@en[Meta: update whatwg/meta references in the README]]
([[snuggs]]著, [TIME[2017-11-09 04:06:14 +09:00]])
<https://github.com/whatwg/infra/commit/aeadb8b937b23013d6bee5943aa6b1032ce275ac>

[55] [CITE@en[Editorial: Update whatwg/meta references in README.md by snuggs · Pull Request #170 · whatwg/infra]]
([TIME[2017-11-09 16:37:02 +09:00]])
<https://github.com/whatwg/infra/pull/170>

[56] [CITE@en[Use Infra notation for strings]]
([[TimothyGu]]著, [TIME[2017-12-04 05:16:23 +09:00]])
<https://github.com/heycam/webidl/commit/3fd171268407a34e28a4b32269031e3c0bd5ca94>

[57] [CITE@en[Add space to class string of iterator objects by TimothyGu · Pull Request #483 · heycam/webidl]]
([TIME[2017-12-08 16:28:34 +09:00]])
<https://github.com/heycam/webidl/pull/483>

[58] [CITE@en[Meta: use new WHATWG boilerplate and license]]
([[domenic]]著, [TIME[2018-01-04 08:54:03 +09:00]])
<https://github.com/whatwg/infra/commit/16de554be911fb6a46377f71a89c550f3421bfb9>

[59] [CITE@en[Meta: use new WHATWG boilerplate and license by domenic · Pull Request #184 · whatwg/infra]]
([TIME[2018-01-07 13:38:58 +09:00]])
<https://github.com/whatwg/infra/pull/184>

[60] [CITE@en[Meta: update maintainers link]]
([[snuggs]]著, [TIME[2018-01-06 20:30:35 +09:00]])
<https://github.com/whatwg/infra/commit/09a4b97ff908cd8cc2f6e61b53ddac7d6ee29f2f>

[61] [CITE@en[State that we depend on Infra]]
([[domenic]]著, [TIME[2018-02-17 04:44:53 +09:00]])
<https://github.com/whatwg/streams/commit/9f1652d2923be3d8dfbca316a2dfb1c8d7b81d76>

[62] [CITE@en[A variety of clarity and documentation improvements by domenic · Pull Request #875 · whatwg/streams]]
([TIME[2018-02-23 13:12:55 +09:00]])
<https://github.com/whatwg/streams/pull/875>

[63] [CITE@en[Editorial: use Infra to define mutation observers]]
([[annevk]]著, [TIME[2018-03-29 20:12:35 +09:00]])
<https://github.com/whatwg/dom/commit/50b3051320e9617e1b2ff899dfef6f8dc5255bdf>

[64] [CITE@en[Use infra spec and data-cite]]
([[kenchris]]著, [TIME[2018-02-20 22:39:33 +09:00]])
<https://github.com/w3c/manifest/commit/3612bb15b81290fee9f99aa6782bb5bc2dd33a41>

[65] [CITE@en[Use infra spec and data-cite by kenchris · Pull Request #655 · w3c/manifest]]
([TIME[2018-05-08 21:36:56 +09:00]])
<https://github.com/w3c/manifest/pull/655>

[66] [CITE@en[Review Draft Publication: July 2018]]
([[annevk]]著, [TIME[2018-07-23 22:09:50 +09:00]])
<https://github.com/whatwg/infra/commit/49cfbc0b9616de99c98863dc6187ef1df4170491>

[67] [CITE@en[Review Draft Publication: July 2018 by annevk · Pull Request #208 · whatwg/infra]]
([TIME[2018-07-26 16:45:42 +09:00]])
<https://github.com/whatwg/infra/pull/208>

[68] [CITE@en[Review Draft Publication: July 2018 by annevk · Pull Request #208 · whatwg/infra]]
([TIME[2018-07-26 16:45:42 +09:00]])
<https://github.com/whatwg/infra/pull/208>

[69] [CITE@en[Infra Standard Review Draft July 2018]]
([TIME[2018-07-24 02:00:22 +09:00]])
<https://infra.spec.whatwg.org/review-drafts/2018-07/>

[70] [CITE@en[Editorial: use Infra maps for dictionaries]]
([[annevk]]著, [TIME[2018-08-20 22:33:04 +09:00]])
<https://github.com/whatwg/fetch/commit/3ca2ee5968a60883c9e302f296047d539337b6dd>

[71] [CITE@en[Linkify "present" for dictionaries · Issue #513 · whatwg/fetch]]
([TIME[2018-08-25 13:22:51 +09:00]])
<https://github.com/whatwg/fetch/issues/513>

[72] [CITE@en[Editorial: use Infra maps for dictionaries by annevk · Pull Request #794 · whatwg/fetch]]
([TIME[2018-08-25 13:23:12 +09:00]])
<https://github.com/whatwg/fetch/pull/794>

[89] [CITE@en[Editorial: use Infra maps for dictionaries]]
([[annevk]]著, [TIME[2018-08-20 22:33:04 +09:00]])
<https://github.com/whatwg/fetch/commit/3ca2ee5968a60883c9e302f296047d539337b6dd>

[90] [CITE@en[Linkify "present" for dictionaries · Issue #513 · whatwg/fetch]]
([TIME[2019-02-27 13:49:15 +09:00]])
<https://github.com/whatwg/fetch/issues/513>

[91] [CITE@en[Editorial: use Infra maps for dictionaries by annevk · Pull Request #794 · whatwg/fetch]]
([TIME[2019-02-27 13:49:22 +09:00]])
<https://github.com/whatwg/fetch/pull/794>

[92] [CITE@en[Review Draft Publication: January 2019]]
([[annevk]]著, [TIME[2019-01-23 20:24:15 +09:00]])
<https://github.com/whatwg/infra/commit/b49b463a666b26fa230ac583ee9a15f9836deabe>

[93] [CITE@en[Review Draft Publication: January 2019 by annevk · Pull Request #237 · whatwg/infra]]
([TIME[2019-06-03 20:23:18 +09:00]])
<https://github.com/whatwg/infra/pull/237>

[94] [CITE@en[Infra Standard Review Draft January 2019]]
([TIME[2019-01-23 22:48:06 +09:00]])
<https://infra.spec.whatwg.org/review-drafts/2019-01/>