test: フィクスチャの断片化を解消し、ファイル分割の単位を規約化する

[k163377]

目的

テストフィクスチャが 1 宣言 1 ファイルで細かく分割され、package 行と import を除くと実質 2〜4 行のファイルが大半になっていた。原因は「クラスは 1 ファイルにつき 1 つまで」の規約であるため、規約を緩和したうえでフィクスチャを再編する。

規約変更

同一の sealed 階層を構成するクラス群は 1 ファイルへまとめてよいものとする（CLAUDE.md）。末端・中間の他、末端の吸収サブタイプや kind の親クラスも同階層の構成要素として扱う。

成果

対象	before	after
producer-jvm src/main fixtures	103	41
mpp-producer *Main	34	20
gradle-integration TestKit resources	370	180
うち diag-fail	148	35
うち diag-ok	86	25
合計	512	246

maven-integration は既に 1 階層 1 ファイルで断片化しておらず対象外とした。

分割の単位

• 階層フィクスチャ: 1 ファイル = 1 階層。ファイル名は基底名
• 診断フィクスチャ: 1 ファイル = 1 診断ケース。ファイル名は診断名

宣言のネスト位置は変更していない。entries の整列キーは末端の FQN であり、ネストを動かすと期待値が変わるためである。

分離を維持した箇所

統合すると検証が成立しなくなる配置は分離を保ち、理由をファイル先頭コメントに明記した。

条件	例
private トップレベル＝ファイルスコープの壁	VisRootFarLeaves / KaWalledLeaves / ScopePrivUse / Lc4Priv
K7「別ファイル配置」自体が次元値	order.flat の FlatRootLeaves
import 別名 / star import の解決文脈	scope.target の競合 3 形・NmAlImported / NmStarNoc / NmFarNoc
typealias の解決順（ファイル名順）	TypealiasAliases が TypealiasMatch より前
ファイル単位の非発火アサート	diag-mpp 全体・Mc1Si（ES 非発火）
IC のファイル粒度編集	ic-* / determinism / abi-propagation
runMain の mainClass がファイル名由来	各 probe フィクスチャの Main.kt

テスト側の変更

DiagSingleFailTest / DiagSingleOkTest / ProbeGateTest / TypealiasGateTest の file:line 照合を再編後の実測値へ書き換えた。同一ファイルへ複数宣言が同居するケースでは、言語診断も宣言単位の分解能を保つためファイル内断片照合から行照合へ変更している。

途中で踏んだ既知の制限

NmThSi : NmThAlias（生成型への頭別名）は別名が基底より先に解決される配置が成立条件であり、その順序はファイル名順である。統合時に TypealiasMatchAliases.kt と命名したところ TypealiasMatch.kt が先に処理され、修正方針案 #17 のバックエンド ICE（Exception during IR fake override builder）が再現した。TypealiasAliases.kt へ改名して解消し、順序が成立条件であることをファイル先頭コメントへ明記した。

検証

• integration-test:build（全モジュール・ktfmtCheck 含む）: BUILD SUCCESSFUL
• TestKit: 18 クラス / 142 テスト / 失敗 0 / skip 1（既存の @Disabled）
• maven-integration: 5 テスト PASSED

資料

docs/test/フィクスチャ構成.md §5 の「1 ファイル 1 クラス規約の適用外」という記述を、分割単位と分離が検証の成立条件となる条件の表へ差し替えた。

🤖 Generated with Claude Code