全ての組み合わせを生成しても、
価値は判定側にしか無い。

粒度を動かすと対の数が爆発し、機械ゲートの却下率を動かすと生存候補が変わる。 本質的な制約は「全数に人間判定を付けられるか」で、それが取れない粒度では機械ゲートの偽陰性が永遠に測れない。 組み紐較正と同じ論理である。

式を分野で数えると際限がない。「＝（や→、⊢）が何を主張しているか」で分けると、驚くほど少数に収束する。 型をクリックすると、その型で使える機械ゲートと却下率の上限がシミュレーターに反映される。

「学問はいくつあるか」に正解は無い。数は知識の性質ではなく分類体系の性質である。 これらが数えているのは認識の対象でも方法でもなく、制度の単位——審査委員会を編成できる粒度、図書館の棚の数である。

新機構を「新規」と名乗る前に、既存 tool を順に compose した prototype との差分を明示する（Pattern 5 予防）。 audit の結果、構成要素のうち 2 つは既存研究が完全にカバーしている。

これは新装置ではない。既存装置（修正機器の reject 正規化、停止条件較正）を配線する回路である。 §1 のスライダーが、そのまま下の流量に反映される。