記録
$ g:「星のカービィ」シリーズ$ Sで扱うカテゴリ
$ gに対して以下が定められる。(有限集合)
$ C:コピー能力
$ B: ボス(有限集合)
$ t \in \R:タイム
非負実数全体集合(sec)
$ r:走者
$ m: メディア
$ rが$ gの記録であるとは、以上のものが全て存在して、$ r = (c, b, t, r)であることである。
記録$ r = (c,b,t,r)がメディア$ mによって認証されているとは、以下のことが確認されていることである。
メディア$ mが$ g中で撮影された画面録画である
メディア$ m