shiftBoundary の命名裁定材料（1.0 判断用）
言語で唯一の残る仮称（spec §5.4）。「1.0 は還流後判断」と裁定済み（2026-07-13）で、裁定自体は 1.0 宣言時（70-release-1.0.md 宣言条件 3）。本書はその比較材料の事前整理 ——裁定を仰ぐものではなく、判断時に即断できる状態を作る。
前提（確定済み・名だけが仮）
- シグネチャ:
|> shiftBoundary(δ, on: W, unit: U) : premise -> premise——窓Wの切れ目を 単位Uでδずらした派生 premise を作る糖衣（正本はreference/shiftBoundary.md（現 reference/rephase.md））。 - 展開:
W = U span (_ => k) phase: ((φ₀ + δ) mod k)（負の δ も法で正規化＝F65・base のlabel:は保存＝F96）。実体は「span の位相差し替え」であり、日付は動かない（I1）。 - 連動する射程外問題:
k（W ⊃ Uの個数）が可変な組（month ⊃ day等）は本語の射程外 ——必要になれば別演算子（90-open-questions）。1.0 送りの理由は「別演算子導入時に名の対称性を 再考する余地を残す」（2026-07-07）。 - 使用の現況: 公開層 13 ファイル（spec 7・reference 3・stdlib 2・impl 語彙）＋ en ミラー 13・ impl 実装済み（eval.ts）。置換は F51 と同じ一括置換手順で機械的に可能。
候補比較
| 候補 | 利点 | 難点 |
|---|---|---|
shiftBoundary（現仮称） |
意味が字面から読める（境界をずらす）・RC1 以来の実戦の慣れ・置換コストゼロ | 13 字と長い・点変換 shift と別物なのに同語幹（unit: 引数も共有し「点をずらす」との紛れ）・「動詞＋目的語」複合は一語動詞群（roll・shift・snapTo・rebase）と不揃い |
rephase |
展開の実体（phase: 差し替え）と名が一致・7 字と短い・rebase と re- 族の対（再錨↔再位相）で点変換族と対称・boundary の語を将来の k 可変真の境界演算子に温存できる |
phase:（span の位相）を知らない読者には不透明・「境界がずれる」という利用者視点の語感が消える |
shiftPhase |
実体に忠実＋shift の可読性 | shift 語幹の紛れは残る（層が違うのに同語幹） |
offsetBoundary |
shift との語幹衝突を回避 |
長さは現状同等・offset は言語内で未使用の新語幹（語彙の節約に反する） |
moveBoundary |
平易 | move も新語幹・精密さで劣る |
判断時の確認事項
- k 可変演算子の見込み——第二次還流までに需要が立たなければ「boundary 温存」論の重みは下がる （現時点の需要: F102 は within＋nth で解消済み・新規需要ゼロ）。
- Fiscal の書き味——
Gregorian |> rephase(+3, on: year, unit: month)は「year の位相を 3 か月進める」と読める（stdlib/fiscal の解説文が素直になるか）。 - 置換の影響範囲——公開層 13＋en 13＋impl。doc-consistency の仮称検査 3 種（仮称印・語数 主張・spec §5.4）が置換漏れを機械検出する。
整理者の見立て（参考・裁定は設計者）: 第一候補 rephase——定義的等式と名の一致・re- 族の
対称・簡潔の三点。次点は現状維持 shiftBoundary（自明さと慣れ。「仮称のまま正式名に昇格」も
F51 で前例あり）。
裁定結果（2026-07-26・設計者）
rephase に確定（1.0 宣言時予定を前倒し——条件 1 充足と同日）。裁定時の再点検で見立てを補強:
①ADR-47 が「位相」を利用者向け語彙に昇格させ（anchor:＝位相を留める実日・「守るのは位相の
宣言のみ」・エラー文言「位相が定まらない」）、難点「phase: を知らない読者には不透明」が軽く
なった。②確認事項 1（k 可変需要）は第 5〜7 便を通じて新規需要ゼロのまま。③re- 族の対称は
rebase↔rephase↔anchor: の錨・位相語彙系に拡大。処置＝全コーパス一括置換（F51 と同手順・
ページ改名 reference/shiftBoundary.md→rephase.md 英日）・spec §5.4 確定記載・CHANGELOG 追補 11・
doc-consistency の仮称検査 2 種を「仮称ゼロ」不変量へ状態遷移。言語の仮称はゼロになった。