`at` — 日集合への壁時計時刻の付与

分類: 糖衣（stdlib・Gregorian 公開語＝変換）／ シグネチャ: at(a) : Stream -> Stream（a は単独時刻リテラル Thh:mm）／名は確定（ADR-51）

意味

日集合の各日について、その日の壁時計 a 時の時点を返す。展開は壁時計正準形の機械的差し込み（糖衣＝spec §4.8）:

at(a) = s => (everyInstant |> strideBy(1d, from: a)) |> filter(t => coincides(s, day, t))

「その日の H 時」は壁時計の概念である。窓単位 shift（unit: hour）は経過時間意味論（F76）で、DST のある tz では切替日に壁時計からずれる——at は tick（市民日幅の等差＝壁時計保存）で刻むため、切替日でも壁時計を保つ。単独時刻リテラルは epoch 錨日 1970-01-01（在圏 tz）で錨打ちされる——評価範囲がどこまで過去でも欠けない（ADR-51）。

例

月末営業日の 17:00（経過算術形 snapTo(day) |> shift(+17, unit: hour) の置き換え——JST では外延同値・警告の経路が消える）:

# eval: 2026-08-01..2026-11-01
@JP
bizDay |> within(month) |> last |> at(T17:00)
#=> 2026-08-31T17:00 2026-09-30T17:00 2026-10-30T17:00

10 月は 10/31 が土曜なので前営業日 10/30 の 17:00。DST のある tz では壁時計の保存が経過形との差になる（NY の春の切替日——経過形なら 10:00 に着地する。06 §6.1）:

# eval: 2026-03-07..2026-03-10 tz: America/New_York
premise NY { calendar-system: Gregorian; tz: "America/New_York"; wkst: Sun }
@NY
everyDay |> at(T09:00)
#=> 2026-03-07T09:00 2026-03-08T09:00 2026-03-09T09:00

sub-hour も同様（T07:30——壁時計オフセット保存・F81）。「前日の 23:00」は日の調整を日の層で済ませてから時刻を貼る: marks |> shift(-1, unit: day) |> at(T23:00)。

落とし穴

at に渡すのは単独時刻リテラル。日時リテラル（at(2026-01-01T17:00)）も型は通るが、 tick の起点が前方専用のため anchor より前の日が黙って空になる（ADR-51 が案 B を不採とした理由）。時刻だけを書けば欠落は構造的に起きない。
経過算術形からの乗り換えで消える警告は末尾形の分。マーカー準備側（外部 instants の snapTo(day)）の horizon-clip（端の数点・無害）は残る（ADR-37 判断 8 の既知動作）。
DST の隙間日（その壁時計時刻が存在しない日）は F81 の規約——隙間明けの最初の瞬間へ繰り下げ・重複日は最初の出現（09-dst §9.2。「名指しは厳格・導出は規約」——入力リテラルの明示エラー〈ADR-33〉とは層が違う）。
takeLast と組むときは数える段は日の層・時刻付与は後 （takeLast(3, until: …) |> at(T07:00)）——日付リテラルの until: は 00:00 錨なので、時刻付与を先にすると当日分が数えから外れる。
単独時刻リテラルは strideBy(1d, from:) の位置でのみ時点に具現する——他の点位置・他の幅は誘導つき静的エラー（黙って epoch 日に固定しない。ADR-51）。

at — 日集合への壁時計時刻の付与

意味

例

落とし穴

関連

`at` — 日集合への壁時計時刻の付与