ADR-01: 営業日は「濾過の残余」ではなく「上書き可能なカスケード」

判断: 営業日を、暦・曜日・祝日・組織休日の各層で単純に集合を引き算した残余とは定義しない。各層が日のステータス（就業／非就業）を優先順に上書きするカスケードとして定義する。

背景: 直観的には「各層をフィルターとして濾した残り」が営業日に見える。しかし上位層は営業日を削るだけでなく、足し戻す・反転させる。振替休日は祝日を翌平日へ移動・追加し、国民の休日（挟まれ休日）は休日を加算し、中国の調休は本来休みの週末を出勤日へ反転する。特に「ある年だけ特定の祝日を営業日とする」という実運用は、純粋な集合差では決して導けない。

却下した案: 層を集合とみなし、差・積だけで合成する純フィルターモデル。上書き・反転を表現できず却下。

帰結: 演算の本体は単調なフィルターの積ではなく、優先度付きの上書き合成（CSS のレイヤー合成に近い）となる。この性質は後に ADR-04 のストリーム代数の中へ吸収される（ADR-04 の帰結を参照）。