`cycle` — 並列反復ラベル（窓でなくラベル）

分類: 窓生成語（premise 層）／ シグネチャ: cycle(labels) anchor: r : Stream -> Stream(labeled) ／名は確定（spec §5.4）

意味

対象のパーティション窓に反復ラベルを付す。窓を作らない——曜日が日を分割しないように、ラベルは窓と並列の概念（ADR-03）。周期長は任意（7・10・12・60…）、適用先も任意の窓（day の曜日に限らず month・year にも張れる——十二支は year cycle […]）。

リストは巡回順を与えるだけで、先頭に「開始」の意味はない（週の開始は WKST の仕事。 stdlib/gregorian.md §4.1）。
anchor: は位相を留める実日——「anchor の属する対象窓が先頭ラベル」。
束縛名は値式の「点 → ラベル」関数として読める——weekday(d)・yearBranch(d)。解決は点 → 属する窓 → ラベルの二段（ADR-27/30）。

例

年の十二支——2020 年（子）を anchor に、午年の元日を選ぶ:

# eval: 2020-01-01..2028-01-01
premise JPEto = Gregorian with {
  tz: "Asia/Tokyo"                  # anchor（日付リテラル）の錨打ちに要る（ADR-33）
  yearBranch = year cycle [子, 丑, 寅, 卯, 辰, 巳, 午, 未, 申, 酉, 戌, 亥] anchor: 2020-01-01
}
@JPEto
everyDay |> within(year) |> first |> filter(d => yearBranch(d) == 午)
#=> 2026-01-01

標準の曜日（Gregorian.weekday）を述語で読む:

# eval: 2026-01-01..2026-01-20
@JP
everyDay |> filter(d => weekday(d) == Mon)
#=> 2026-01-05 2026-01-12 2026-01-19

落とし穴

cycle は律動（暦法純粋・無限）——二十四節気の名前のような有限データへの 1 対 1 ラベルは cycle ではなくテーブルの labels:（テーブルリテラル。源が違うだけで読む側は同じ束縛名射影）。データ由来の窓列に固定周期を貼るのは segmentBy の labels: cycle 形（ADR-47——本ページと同じ「anchor の属する窓が先頭ラベル」）。
リストの回転（[Mon, …, Sun] を [Sun, Mon, …] に書き換える等）は anchor も対応する実日に取り直してはじめて同一の暦——anchor 固定のままではラベルが一斉に回る（位相は「anchor の属する窓＝先頭ラベル」で決まる。旧記述「anchor が同じなら同一の暦」は誤り＝2026-07-25 訂正）。リスト順が週の開始（WKST）と無関係である点は従来どおり。
60 干支のような合成周期は 60 要素の cycle 一本でも、十干と十二支の二本を述語で合成してもよい（cycle の積 zip は未導入・宿題 F16）。

cycle — 並列反復ラベル（窓でなくラベル）

意味

例

落とし穴

関連

`cycle` — 並列反復ラベル（窓でなくラベル）