インターフェイス CurrentStageReading

段（6.4節）の刻みと、その中で今どこにいるか（PropertyDef.stageReadingAt）。 nameは識別子であり表示名ではない（表示名はLocalization.stageが引く）。

interface CurrentStageReading {
    boundaries: readonly number[];
    name: string;
    progress: StageProgress | undefined;
    span: StageSpan | undefined;
}

プロパティ

boundaries: readonly number[]

段の境目（rangeの中での位置、昇順）。両端（range自身の上下限）は含まない。

name: string

今いる段の名前。

progress: StageProgress | undefined

今いる段の中での進み。区間が定まらない段ではundefined（progressAt参照）。

span: StageSpan | undefined

rangeの中でこの段が占める区間。rangeを持たないプロパティと、eqで決まる段ではundefined。