関数 requireKnownKeys

その文脈で認めていないキーが宣言されていればエラーにする（宣言の書き間違いを黙って捨てない）。

判定は「認めるキーの集合」だけで表す。 呼び出し側ごとに数え上げを書き下すと、同じ文言が散り、 メッセージを変えるのに全箇所を直すことになる。noteは理由を添えたい場所（主語によって使える演算子が 変わる、など）だけで使う。