インターフェイス Recording

ワールドを変えた経過の控え（runAndRecordChange）。

経過し切った時刻の控えは持たない（その並びは行動の効果まで含めてonElapsedが見せる）ため、そこで起きた出入りだけが控えから漏れる。changesAtEndがその分を引き取る。

interface Recording {
    changesAtEnd: readonly WorldChange[];
    gains: readonly InteractionGains[];
    signalsAtEnd: readonly WorldSignal[];
    ticks: readonly RecordedView[];
}

プロパティ

changesAtEnd: readonly WorldChange[]

経過し切った時点で見せる分の出入り。

gains: readonly InteractionGains[]

操作そのものが増やしたキャラクタの値（PropertyGain）。粒にして飛ばす（showGains）。

signalsAtEnd: readonly WorldSignal[]

同じく、経過し切った時点で見せる分の出来事。アクションの効果は時間が経ち切ってから適用される（ActionSystem.md 2節）ので、操作が結果として告げる出来事（signal）はこちらに入る。

始まったことを告げる分（announce、GameElementDefinition.md 11.6節）は入らない。 告げるのは時間を進める前なので、その時間の最初のtickの控え（ticks）に乗る——押した覚えの無い時間が過ぎるとき、理由が先に出るのはこの違いによる。

ticks: readonly RecordedView[]

経過中の各tick境界の控え（実時間をかけて再生する分）。