検証器ルール一覧
このページは検証器の全57ルールのフラットな索引です。音楽上の考え方を学ぶには対位法コースを読み、エラー・ログ・イベントデバッグでルール ID を見たときは、このページから該当する解説へ飛んでください。
ルール ID の読み方
ルール ID は品質スコアではなく、破られた音楽的契約の名前です。同じ楽句が複数の契約に同時に違反することもあります。検証器は最初の失敗で停止せず、その処理で見つけた失敗をまとめ、各違反を指摘対象のスパンとともに報告します。
ルールの層
検証器は作曲の複数の層を守ります。局所的な音程ルールと形式の同一性ルールはどちらも失敗ですが、理解に必要な文脈が異なります。
| 層 | 守るもの | 必要な文脈 |
|---|---|---|
| 局所的な縦の響き | 安定した音程、和声音 | ある拍で鳴る二声 |
| 旋律の妥当性 | 一つの声部内の自然な動き | 同じ声部の前後の音 |
| 声部の独立 | 別々に聴き取れる線 | 二つの時点にまたがる二声 |
| 調性の文法 | 終止、借用和音、転調 | 和声プランとフレーズ上の位置 |
| フーガの構造 | 主唱・応唱・対主題・模倣 | 宣言された素材とエントリのスパン |
| フレーズの構造 | 小節グリッドの一貫性 | フレーズのメタデータと拍子 |
| 形式の同一性 | 固定されたグラウンド・定旋律・フィグレーションの役割 | 素材キャリアと形式の配置 |
| 物理的な制約 | 演奏可能な音域、楽器の音域 | 声部音域・ペダル音域・楽器傾向 |
| 宣言との整合 | 出力された音が形式の宣言どおりか | 来歴レコードと作譜済みスパン |
すべての失敗には FailKind も付きます。MusicalFail（対位法・和声の契約。既定値）、StructuralFail（形式の構造的な約束——不変キャリアと終止レイアウトの破綻）、ConfigFail（不正なリクエスト。作曲前に報告）の三種です。
停止させる失敗と参考情報
最終スコアの検査は、作譜済みの素材も含めて出力された音そのものを対象にします。違反に関わる音がすべて不変の作譜素材だった場合、実行を止める失敗ではなく参考情報として記録されます。探索音や装飾音が1つでも関わっていれば、対処可能なスパンを持つ失敗のまま扱われます。現在の公開生成経路は停止させる失敗があると処理を中止し、スコアの修復や生成の再試行は行いません。getDiagnostic() が返すのは停止させる失敗のほうです。
声部の運動と独立
| Rule ID | コースの章 | 読み方 |
|---|---|---|
parallel_fifth | 2. 運動 | 両声部が動き、直前と現在の縦の音程がどちらも完全5度。 |
parallel_octave | 2. 運動 | 両声部が動き、直前と現在の音程がどちらもユニゾンまたはオクターヴ。 |
hidden_parallel_fifth | 2. 運動 | 5度以外の音程から、同方向の運動で完全5度に着地。 |
hidden_parallel_octave | 2. 運動 | 上声部ペアの強拍で、同方向の運動でオクターヴに着地。 |
voice_crossing | 2. 運動 | 下の声部が上の声部を越えた（声部の上下関係はテクスチュアの契約）。 |
spacing_adjacent_voices_within_octave | 2. 運動 | 三声以上で、隣接する上声部の間隔がオクターヴを超えた。 |
invertible_at_octave | 2. 運動 | 上声部ペアが強拍で並行8度を作った。転回すると並行ユニゾンになる。 |
不協和音の扱い
| Rule ID | コースの章 | 読み方 |
|---|---|---|
strong_beat_dissonance | 3. 不協和 | 小節頭の音がその場の三和音の外にある。 |
vertical_dissonance | 3. 不協和 | 強拍で同時に鳴る声部が、支えのない不協和音程を作った。 |
unprepared_dissonance | 3. 不協和 | 弱拍の不協和が順次進行で出入りしていない。 |
suspension_preparation | 3. 不協和 | 掛留の準備が、最下声の相手に対して協和になっていない。 |
suspension_preparation_duration | 3. 不協和 | 準備が、それが準備する掛留より短い。 |
suspension_metrical_accent | 3. 不協和 | 掛留が準備より強い拍に置かれていない。 |
suspension_resolution_step_down | 3. 不協和 | 掛留が定められた方向への順次進行で解決していない（4-3 / 7-6 / 9-8 は下行、2-3 は上行）。 |
suspension_interval | 3. 不協和 | 最下声に対する掛留音と解決音の音程が、宣言された型（4-3 / 7-6 / 9-8 / 2-3）に合っていない。 |
suspension_seventh_sixth | 3. 不協和 | 宣言された 7-6 掛留が、バス上の本物の7度→6度の形を作っていない。 |
旋律のルール
| Rule ID | コースの章 | 読み方 |
|---|---|---|
augmented_melodic | 4. 旋律 | 増音程の旋律進行（副次ドミナント圏では免除）。 |
diminished_melodic | 4. 旋律 | 減音程の旋律進行（同上の免除）。 |
tritone_melodic | 4. 旋律 | 三全音の跳躍（同上の免除）。 |
consecutive_leaps | 4. 旋律 | 大跳躍（5度以上）が2回連続した（方向は問わない）。 |
leading_tone_resolution | 4. 旋律 | 印づけられた導音が主音へ上行解決していない。 |
voice_range_integrity | 4. 旋律 | 音が声部の宣言された MIDI 音域の外に出た。 |
調性の文法
| Rule ID | コースの章 | 読み方 |
|---|---|---|
cadence_voice_leading | 5. 調性 | 外声が宣言された終止型（完全・不完全正格・変格・半・偽・フリギア・ピカルディ）に一致しない。終止レイアウトの破綻（2声未満・独立したバスがない）は StructuralFail、声部進行の不一致そのものは MusicalFail。 |
doubling_no_leading_tone | 5. 調性 | 導音を含む和音で導音が重複された。 |
doubling_no_seventh | 5. 調性 | 和音の第7音が重複された。 |
cross_relation | 5. 調性 | 1拍の窓の中で、声部間に同じ音度の半音階的衝突（対斜）が生じた。 |
secondary_dominant_resolution | 5. 調性 | 副次ドミナントの次に目標の度数が来ていない。 |
modulation_pivot_chord_required | 5. 調性 | ピボット転調のピボット和音が両方の調で全音階的でない。 |
フーガの構造
| Rule ID | コースの章 | 読み方 |
|---|---|---|
tonal_answer_dominant_mapping | 6. フーガ | 変応の冒頭が主唱の開始ピッチクラスを I↔V で写像していない。 |
countersubject_continuous | 6. フーガ | 応唱の区間で対主題が途切れた。 |
episode_motif_derived | 6. フーガ | 嬉遊部の音が、宣言された元スライス×モチーフ変形の結果と一致しない。 |
sequence_pattern_consistency | 6. フーガ | ゼクエンツの段が、種の宣言どおりの正確な移調になっていない。 |
imitation_entry_match | 6. フーガ | 後続声部のエントリが、宣言された時間差または音程差とずれている。 |
imitation_entry_realization | 6. フーガ | 出力された音が、宣言された主唱・応唱のエントリをキャリア声部で実際には実現していない。 |
countersubject_invertible | 6. フーガ | 対主題が強拍で主唱に対して完全5度を作り、オクターヴで転回できない。参考情報のみ — 自由書法の対主題では正当に起こるため、実行を止めることはない。 |
middle_entry_in_related_key | 6. フーガ | 中間入りの調が V/vi/IV/ii の一族でない、またはその調の音階から外れた。 |
stretto_overlap_valid | 6. フーガ | ストレッタのエントリが重なっていない、または後続が正確な移調でない。 |
pedal_point_tonic_or_dominant | 6. フーガ | 保続音が主音・属音以外の音度に置かれた。 |
フレーズ・テクスチュア・物理的制約
| Rule ID | コースの章 | 読み方 |
|---|---|---|
phrase_periodicity_4_or_8_bar | 7. 形式 | 宣言されたフレーズ開始の間隔が3〜8小節の整数小節ではない。互換性のため固定されたルール ID には、以前の「4または8小節」という名前が残っている。 |
anacrusis_consistent | 7. 形式 | 弱起のメタデータとフレーズ開始のメタデータが食い違っている。 |
pedal_range_soft_penalty | 7. 形式 | オルガンのペダル音が演奏可能な音域（MIDI 12〜62）の外に出た。 |
voice_independence_threshold | 7. 形式 | トリオ・ソナタの声部ペアの独立度スコアが 0.6 を下回った。 |
trio_upper_register_overlap | 7. 形式 | トリオ・ソナタの2つの上声部が音域をまったく共有せず、掛け合う一対ではなく別々の鍵盤に聞こえる。 |
section_contrast_required | 7. 形式 | ファンタジアの隣接セクションが密度でも音域でも対比していない。 |
形式の同一性
| Rule ID | コースの章 | 読み方 |
|---|---|---|
ground_bass_immutable | 7. 形式 | シャコンヌの固執低音が周回の途中で変わった。StructuralFail。 |
passacaglia_ground_immutable | 7. 形式 | パッサカリアの8小節グラウンドが周回の途中で変わった。StructuralFail。 |
cantus_firmus_immutable | 7. 形式 | コラール前奏曲の小節頭が宣言された骨格音を再現していない。StructuralFail。 |
goldberg_aria_bass_immutable | 7. 形式 | ゴルトベルクの変奏がアリアのバスを正確に再現していない。StructuralFail。 |
variation_role_ornament_constraint | 7. 形式 | グラウンド役の変奏が4分音符より細かく分割された。 |
figuration_harmonic_consistency | 7. 形式 | フィグレーションの小節頭が非和声音で始まった。 |
toccata_archetype_compatible | 7. 形式 | トッカータのセクション原型が宣言された性格と両立しない。 |
implicit_voice_counterpoint | 7. 形式 | 独奏弦のアルペジオの暗示声部（低音線・上声線）が旋律ルールに違反した。 |
arpeggio_no_parallel_perfect | 7. 形式 | 暗示声部がセル間で完全音程の並行を作った。 |
宣言との整合
これらは最終スコアの検査でのみ走り、音楽的な契約ではなく出力された楽譜と来歴レコードを突き合わせます。いずれも StructuralFail です。これが出たということは、出力が形式の宣言と一致していないということであり、音を作り直しても解消しません。
| Rule ID | コースの章 | 読み方 |
|---|---|---|
note_provenance_alignment | -- | ノート列と来歴列の長さが異なり、どの音も来歴に紐付けられない。 |
carrier_declaration_integrity | 7. 形式 | 作譜済みキャリアを名乗る音が、そのキャリアの宣言された開始位置・長さ・音高と一致しない。 |
ornament_declaration_integrity | 7. 形式 | 装飾音について、それが装飾するキャリアとの間で同じ不一致が起きた。 |
ornament_group_integrity | 7. 形式 | 装飾の展開が元のキャリアを正確に覆っていない（隙間・重なり、または主要音以外で終わっている）。 |
デバッグの手順
- ルール ID と
FailKindを特定する。 - 問題の音がイベント JSON で
source: "material"/"compose"/"ornament"のどれかを確認する。 - 局所ルールなら、前後の音のペアを調べる。
- 構造ルールなら、宣言された形式・素材スパン・フレーズスパン・和声プランを調べる。
- API レベルではなく音楽的なルールなら、リンク先のコース章を読む。
役に立つメンタルモデル
形式ディレクターが構築する音楽オブジェクトを宣言する。既定では素材キャリアがすべての作譜済みスパンを再生し、採点付き探索は任意の自由対位法でのみ使われる。検証器は宣言された音楽的契約への違反をすべて報告し、公開生成経路は停止させる失敗があれば処理を中止する。